Alexandru Salcianu

According to our database, Alexandru Salcianu authored at least 7 papers between 2001 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

Pointer analysis for Java programs: novel techniques and applications.

Alexandru Salcianu

PhD thesis, 2006

2005

Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses.

Alexandru Salcianu, Konstantine Arkoudas

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005

Purity and Side Effect Analysis for Java Programs.

Alexandru Salcianu, Martin C. Rinard

Proceedings of the Verification, 2005

2004

A classification system and analysis for aspect-oriented programs.

Martin C. Rinard, Alexandru Salcianu, Suhabe Bugrara

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

2003

Interprocedural compatibility analysis for static object preallocation.

Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Ownership types for safe region-based memory management in real-time Java.

Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

2001

Pointer and escape analysis for multithreaded programs.

Alexandru Salcianu, Martin C. Rinard

Proceedings of the 2001 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'01), 2001