Martin Rinard
Massachusetts Institute of Technology(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Distributed systems and fault tolerance, Software Testing and Debugging Techniques, Formal Methods in Verification
Most-Cited Works
- → Ownership types for safe programming(2002)567 cited
- → Managing performance vs. accuracy trade-offs with loop perforation(2011)499 cited
- → Automatic patch generation by learning correct code(2016)482 cited
- → Compositional pointer and escape analysis for Java programs(1999)439 cited
- → Information-Flow Analysis of Android Applications in DroidSafe(2015)425 cited
- → An analysis of patch plausibility and correctness for generate-and-validate patch generation systems(2015)414 cited
- → Automatically patching errors in deployed software(2009)409 cited