Alexandru Salcianu

Publication Activity (10 Years)

Years Active: 2001-2005
Publications (10 Years): 0

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Alexandru Salcianu, Konstantine Arkoudas
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses. Electron. Notes Theor. Comput. Sci. 141 (2) (2005)
Alexandru Salcianu, Martin C. Rinard
Purity and Side Effect Analysis for Java Programs. VMCAI (2005)
Martin C. Rinard, Alexandru Salcianu, Suhabe Bugrara
A classification system and analysis for aspect-oriented programs. SIGSOFT FSE (2004)
Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard
Interprocedural compatibility analysis for static object preallocation. POPL (2003)
Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard
Ownership types for safe region-based memory management in real-time Java. PLDI (2003)
Alexandru Salcianu, Martin C. Rinard
Pointer and escape analysis for multithreaded programs. PPOPP (2001)