scispace - formally typeset
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

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

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

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.