Jonathan Aldrich
Carnegie Mellon University(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Software Engineering Research, Advanced Software Engineering Methodologies, Security and Verification in Computing, Formal Methods in Verification
Most-Cited Works
- → ArchJava(2002)447 cited
- → Alias annotations for program understanding(2002)234 cited
- → Open Modules: Modular Reasoning About Advice(2005)232 cited
- → Modular typestate checking of aliased objects(2007)189 cited
- → Ownership Domains: Separating Aliasing Policy from Mechanism(2004)179 cited
- → ArchJava: connecting software architecture to implementation(2003)136 cited
- → Typestate-oriented programming(2009)122 cited