Concepedia

Alexandru Sălcianu

AS

Statistics

Publications

9

Citations

702

H-Index

9

Active since

2001

Affiliations

Massachusetts Institute of Technology(Current)

Alexandru Sălcianu is an author at Massachusetts Institute of Technology specializing in formal methods, system software, and engineering.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringComputer EngineeringComputer Architecture

Publications per year

2001–2004

9

Publications

9

A classification system and analysis for aspect-oriented programs

Martin Rinard, Alexandru Sălcianu, Suhabe Bugrara · 2004 · 167 citations

Software Maintenance, Engineering, Cross-cutting Concern +21

Pointer and escape analysis for multithreaded programs

Alexandru Sălcianu, Martin Rinard · 2001 · 160 citations

Engineering, Computer Architecture, Software Engineering +20

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

Chandrasekhar Boyapati, Alexandru Sălcianu, William S. Beebee et al. · ACM SIGPLAN Notices · 2003 · 150 citations

Engineering, Information Security, Computer Architecture +20

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

Chandrasekhar Boyapati, Alexandru Sălcianu, William S. Beebee et al. · 2003 · 105 citations

Engineering, Information Security, Computer Architecture +20

Interprocedural compatibility analysis for static object preallocation

Ovidiu Gheorghioiu, Alexandru Sălcianu, Martin Rinard · 2003 · 33 citations

Cluster Computing, Engineering, Compiler Technology +23

1–5 of 9