Pointer and escape analysis for multithreaded programs. - Alexandru Salcianu; Martin C. Rinard (PPoPP, 2001)

Ownership types for safe region-based memory management in real-time Java. - Chandrasekhar Boyapati; Alexandru Salcianu; William S. Beebee; Martin C. Rinard (PLDI, 2003)

Interprocedural compatibility analysis for static object preallocation. - Ovidiu Gheorghioiu; Alexandru Salcianu; Martin C. Rinard (POPL, 2003)

A classification system and analysis for aspect-oriented programs. - Martin C. Rinard; Alexandru Salcianu; Suhabe Bugrara (SIGSOFT FSE, 2004)

Purity and Side Effect Analysis for Java Programs. - Alexandru Salcianu; Martin C. Rinard (VMCAI, 2005)

Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses. - Alexandru Salcianu; Konstantine Arkoudas (COCV@ETAPS, 2005)

Pointer analysis for Java programs: novel techniques and applications. - Alexandru Salcianu (2006)