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
Journal ArticleDOI
Verification of semantic commutativity conditions and inverse operations on linked data structures
Deokhwan Kim,Martin Rinard +1 more
TL;DR: Together, the commutativity conditions and inverse operations provide a key resource that language designers, developers of program analysis systems, and implementors of software systems can draw on to build languages, program analyses, and systems with strong correctness guarantees.
Proceedings ArticleDOI
Living in the comfort zone
TL;DR: This work has developed a rectifier for email messages and used this rectifier to force messages into a specific constrained form and shows that the rectifier completely eliminates a security vulnerability in the Pine email client.
Proceedings ArticleDOI
Synchronization transformations for parallel computing
Pedro C. Diniz,Martin Rinard +1 more
TL;DR: A new framework for synchronization optimizations and a new set of transformations for programs that implement critical sections using mutual exclusion locks are described, which allow the compiler to move constructs that acquire and release locks both within and between procedures and to eliminate acquired and release constructs.
Proceedings ArticleDOI
The challenges of staying together while moving fast: an exploratory study
Julia Rubin,Martin Rinard +1 more
TL;DR: In this paper, the authors report on the results of an empirical study conducted with 35 experienced software developers from 22 high-tech companies, including Google, Facebook, Microsoft, Intel, and others.
Book ChapterDOI
Lynx: a programmatic SAT solver for the RNA-folding problem
Vijay Ganesh,Charles W. O'Donnell,Mate Soos,Srinivas Devadas,Martin Rinard,Armando Solar-Lezama +5 more
TL;DR: Lynx, an incremental programmatic SAT solver that allows non-expert users to introduce domain-specific code into modern conflict-driven clause-learning (CDCL) SAT solvers, thus enabling users to guide the behavior of the solver, is introduced.