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
Jeevana Priya Inala,Yichen Yang,James Paulos,Yewen Pu,Osbert Bastani,Vijay Kumar,Martin Rinard,Armando Solar-Lezama +7 more
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.