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
Proceedings ArticleDOI
Role-based exploration of object-oriented programs
Brian Demsky,Martin Rinard +1 more
TL;DR: The experience indicates that, when combined with a powerful graphical user interface, roles are a useful abstraction for helping developers explore and understand the behavior of object-oriented programs.
Book ChapterDOI
Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs
Pedro C. Diniz,Martin Rinard +1 more
TL;DR: This paper proposes a method to reduce the overhead of atomic operations in parallel computing systems by coarsening the granularity at which the computation locks objects.
Journal ArticleDOI
Goal-Directed Reasoning for Specification-Based Data Structure Repair
Brian Demsky,Martin Rinard +1 more
TL;DR: The system accepts a specification of data structure consistency properties stated in terms of an abstract set-and relation-based model of the data structures in the running program, and automatically generates a repair algorithm that detects and repairs any violations of these constraints.
Proceedings Article
From Natural Language Specifications to Program Input Parsers
TL;DR: A Bayesian generative model is used to capture relevant natural language phenomena and translate the English specification into a specification tree, which is then translated into a C++ input Parsers based on the correlation between the text and the specification tree.
Book ChapterDOI
Field constraint analysis
TL;DR: This paper presents the results of a two-year study of the response of the immune system to repeated exposure to carbon monoxide in the presence of carbon dioxide.