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

On Algorithms and Complexity for Sets with Cardinality Constraints.

TL;DR: Note: MIT CSAIL Reference LARA-REPORT-2005-002 URL: http://arxiv.org/abs/cs/0508123 Record created on 2007-08-21, modified on 2017-05-12.
Proceedings Article

Neurosymbolic Transformers for Multi-Agent Communication

TL;DR: A novel algorithm is proposed that synthesizes a control policy that combines a programmatic communication policy used to generate the communication graph with a transformer policy network used to choose actions, forming a neurosymbolic transformer.
Journal ArticleDOI

Efficiency Limits for Value-Deviation-Bounded Approximate Communication

TL;DR: This article addresses the issue of the best-case effectiveness of techniques to reduce signal transitions on serial buses, if these techniques also allow some error in the numeric interpretation of transmitted data, and presents a study of the efficiency of these value-deviation-bounded approximate serial data encoders and proofs of their properties.
Proceedings ArticleDOI

Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives

TL;DR: This paper presents the first published algorithm that enables compilers to automatically generate optimistically synchronized parallel code and the presented experimental results indicate that optimistic synchronization is clearly the superior choice for this set of applications.