Martin Rinard - Concepedia

Author

Martin Rinard

Massachusetts Institute of Technology ORCID

Also Known As

M. Rinard, M.C. Rinard, MARTIN C. RINARD, Martin C Rinard, Martin C. Rinard, Martin C., Rinard, Martin Rinard, Rinard, Martin, Rinard, Martin C, Rinard, Martin C.

476

Publications

17K

Citations

H-Index

207

Concepts

All Affiliations

Massachusetts Institute of Technology IIT@MIT Stanford University

About

Martin Rinard is an author at Massachusetts Institute of Technology specializing in engineering, computer science, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	59	153	12.4K
2	Management	11	11	930
3	Business	2	2	62
4	Language Studies	2	2	56
5	Arts	1	1	27

Martin Rinard

188

Publications

14.7K

Citations

H-Index

Page 1

	Year	Citations
Ownership types for safe programming Chandrasekhar Boyapati, Robert Lee, Martin Rinard EngineeringInformation SecuritySafety ScienceComputer ArchitectureSoftware Engineering	2002	567
Managing performance vs. accuracy trade-offs with loop perforation Stelios Sidiroglou-Douskos, Saša Misailovíc, Henry Hoffmann, Artificial IntelligenceEngineeringMachine LearningAlgorithm ConfigurationLoop Perforation	2011	499
Automatic patch generation by learning correct code Fan Long, Martin Rinard Software MaintenanceEngineeringVerificationSoftware EngineeringSource Code Analysis	2016	481
Compositional pointer and escape analysis for Java programs John Whaley, Martin Rinard Java ProgramsEngineeringProgram AnalysisCompiler TechnologyEscape Analysis Algorithm	1999	438
Information-Flow Analysis of Android Applications in DroidSafe Michael I. Gordon, Deokhwan Kim, Jeff Perkins,	2015	424
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems Zichao Qi, Fan Long, Sara Achour, Ae SystemsEngineeringPatch PlausibilityVerificationSoftware Systems	2015	412
Automatically patching errors in deployed software Jeff Perkins, Sunghun Kim, Sam Larsen, Software MaintenanceEngineeringVerificationSoftware EngineeringSource Code Analysis	2009	409
The semantic foundations of concurrent constraint programming Vijay Saraswat, Martin Rinard, Prakash Panangaden	1991	381
Staged program repair with condition synthesis Fan Long, Martin Rinard Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering	2015	347
Taint-based directed whitebox fuzzing Vijay Ganesh, Tim Leek, Martin Rinard Software MaintenanceEngineeringVerificationSoftware EngineeringSource Code Analysis	2009	347

Page 1