M
Martin Rinard
Researcher at Massachusetts Institute of Technology
Publications - 381
Citations - 19269
Martin Rinard is an academic researcher from Massachusetts Institute of Technology. The author has contributed to research in topics: Data structure & Compiler. The author has an hindex of 70, co-authored 372 publications receiving 18126 citations. Previous affiliations of Martin Rinard include University of California, Santa Barbara & Stanford University.
Papers
More filters
Automatic Inference of Code Transforms and Search Spaces for Automatic Patch Generation Systems
TL;DR: To the best of the knowledge, Genesis is the first system to automatically infer patch generation transforms or candidate patch search spaces from successful patches.
On Modular Pluggable Analyses Using Set Interfaces
TL;DR: A technique that enables the focused application of multiple analyses to different modules in the same program, and the key soundness property that an analysis plugin must satisfy to successfully participate in this system is characterized.
Proceedings ArticleDOI
Characterizing Developer Use of Automatically Generated Patches
TL;DR: In this paper, the authors present a study that characterizes the way developers use automatically generated patches when fixing software defects and highlight various potentially productive directions for future developer-centric automatic patch generation systems.
Proceedings ArticleDOI
Commutativity analysis: a technique for automatically parallelizing pointer-based computations
Martin Rinard,Pedro C. Diniz +1 more
TL;DR: Performance results are presented that demonstrate that commutativity analysis can be used to successfully parallelize the Barnes-Hut hierarchical N-body solver, an important scientific application that manipulates a complex pointer-based data structure.
AvatarSAT: An Auto-tuning Boolean SAT Solver
TL;DR: AVATARSAT, a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solvers on a per-instance basis, is presented.