Craig Chambers

Publications by Year

Research Areas

Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Software Engineering Research, Advanced Software Engineering Methodologies, Formal Methods in Verification

Most-Cited Works

• → Extensibility safety and performance in the SPIN operating system(1995)949 cited
• → Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis(2007)598 cited
• → The dataflow model(2015)548 cited
• → ArchJava(2002)447 cited
• → Optimizing dynamically-typed object-oriented languages with polymorphic inline caches(2006)349 cited
• → FlumeJava(2010)331 cited
• → Debugging optimized code with dynamic deoptimization(1992)300 cited
• → Call graph construction in object-oriented languages(1997)294 cited
• → MultiJava(2000)281 cited
• → An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes(1989)274 cited