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
Proceedings ArticleDOI
Static Verification of Design Constraints and Software Correctness Properties in the Hob System
P. Lam,Martin Rinard +1 more
TL;DR: The experience shows that Hob enables the effective expression and verification of precise design constraints that manifest themselves as important correctness properties that the implemented system is guaranteed to preserve.
Journal Article
High-Level Synthesis of Pipelined Circuits from Modular Queue-Based Specifications
TL;DR: A novel approach to highlevel synthesis of complex pipeline circuits, including pipelined circuits with feedback, which combines a high-level, modular specification language with an efficient implementation in synthesizable Verilog.
Posted Content
An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems
Fan Long,Martin Rinard +1 more
TL;DR: In this article, the authors present the first systematic analysis of the characteristics of patch search spaces for automatic patch generation systems, showing that correct patches are sparse in the search spaces (typically at most one correct patch per search space per defect), and incorrect patches that nevertheless pass all of the test cases in the validation test suite are typically orders of magnitude more abundant.