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
Eliminating synchronization bottlenecks using adaptive replication
Martin Rinard,Pedro C. Diniz +1 more
TL;DR: Experimental results show that the combination of lock coarsening and adaptive replication can eliminate synchronization bottlenecks and significantly reduce the synchronization and replication overhead as compared to versions that use none or only one of the transformations.
Proceedings ArticleDOI
Eliminating synchronization bottlenecks in object-based programs using adaptive replication
Martin Rinard,Pedro C. Diniz +1 more
TL;DR: This paper presents a technique, adaptive replication, for automatically eliminating synchronization bottlenecks in multithreaded programs that perform atomic operations on objects and implements adaptive replication in the context of a parallelizing compiler for a subset of C++.
Journal ArticleDOI
Decision Procedures for Set-Valued Fields
Viktor Kuncak,Martin Rinard +1 more
TL;DR: In this article, the expressive power and complexity of specification languages based on first-order logic, two-variable logic with counting, and Nelson-Oppen combinations of multisorted theories are compared.
Proceedings Article
Lax: driver interfaces for approximate sensor device access
TL;DR: Lax is presented, a device driver abstraction for interacting with sensors that enables power savings in exchange for occasionally returning erroneous sensor data, and can deliver significant system-level energy savings.
Automatic Error Elimination by Multi-Application Code Transfer
TL;DR: PDNA as mentioned in this paper is a system for automatically transferring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient application, which is the first system to eliminate software errors via the successful transfer of correct code across applications.