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
Book ChapterDOI
Data structure fusion
TL;DR: This work permits the user to specify different concrete shared representations for relations, and shows that the semantics of the relational specification are preserved.
Proceedings ArticleDOI
Obtaining and reasoning about good enough software
TL;DR: This work shows how to exploit flexibility in software systems to obtain transformations that improve reliability and robustness or trade off accuracy in return for increased performance or decreased power consumption.
Proceedings ArticleDOI
High-level specification and efficient implementation of pipelined circuits
TL;DR: This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelining circuits with feedback, which combines a high- level, modular specification language with an efficient implementation in synthesizable Verilog.
Posted Content
Correctness Verification of Neural Networks.
Yichen Yang,Martin Rinard +1 more
TL;DR: This work presents the first verification that a neural network produces a correct output within a specified tolerance for every input of interest.
Book ChapterDOI
Utilitiy accrual scheduling with Real-Time Java
TL;DR: This paper outlines an investigation of several utility accrual scheduling algorithms implemented in a Real-Time Java (RTJ) environment and the architecture of an experimental distributed Real-time Java scheduler.