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
Integrating model checking and theorem proving for relational reasoning
TL;DR: Prioni is a tool that integrates model checking and theorem proving for relational reasoning and uses Athena, a denotational proof language for proof discovery and checking.
Patent
Translating text to, merging, and optimizing graphical user interface tasks
TL;DR: In this paper, a system and method that enables a plurality of lay users to collaborate on automating computer tasks is described, rather than just documenting how to perform them, and a classifier is used to predict which steps are likely to be misinterpreted and requests human intervention to properly perform them.
Proceedings ArticleDOI
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement
Stelios Sidiroglou-Douskos,Eric Lahtinen,Nathan Rittenhouse,Paolo Piselli,Fan Long,Deokhwan Kim,Martin Rinard +6 more
TL;DR: DIODE is designed to identify relevant sanity checks that inputs must satisfy to trigger overflows at target memory allocation sites, then generate inputs that satisfy these sanity checks to successfully trigger the overflow.
Proceedings ArticleDOI
The three pillars of machine programming
Justin Gottschlich,Armando Solar-Lezama,Nesime Tatbul,Michael Carbin,Martin Rinard,Regina Barzilay,Saman Amarasinghe,Joshua B. Tenenbaum,Timothy G. Mattson +8 more
TL;DR: In this article, the authors describe their vision of the future of machine programming through a categorical examination of three pillars of research: intention, invention, and adaptation, emphasizing advancements in the human-to-computer and computer to machine learning interfaces.
Automatic Data Structure Repair for Self-Healing Systems
Brian Demsky,Martin Rinard +1 more
TL;DR: A system that accepts a specification of key data structure constraints, then dynamically detects and repairs violations of these constraints, enabling the program to recover from otherwise crippling errors to continue to execute productively.