| 2005 |
|---|
| 6 | EE | Alexandru Salcianu,
Martin C. Rinard:
Purity and Side Effect Analysis for Java Programs.
VMCAI 2005: 199-215 |
| 5 | EE | Alexandru Salcianu,
Konstantine Arkoudas:
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses.
Electr. Notes Theor. Comput. Sci. 141(2): 53-68 (2005) |
| 2004 |
|---|
| 4 | EE | Martin C. Rinard,
Alexandru Salcianu,
Suhabe Bugrara:
A classification system and analysis for aspect-oriented programs.
SIGSOFT FSE 2004: 147-158 |
| 2003 |
|---|
| 3 | EE | Chandrasekhar Boyapati,
Alexandru Salcianu,
William S. Beebee,
Martin C. Rinard:
Ownership types for safe region-based memory management in real-time Java.
PLDI 2003: 324-337 |
| 2 | EE | Ovidiu Gheorghioiu,
Alexandru Salcianu,
Martin C. Rinard:
Interprocedural compatibility analysis for static object preallocation.
POPL 2003: 273-284 |
| 2001 |
|---|
| 1 | EE | Alexandru Salcianu,
Martin C. Rinard:
Pointer and escape analysis for multithreaded programs.
PPOPP 2001: 12-23 |
