Martin Rinard

Registered user since Sat 10 Nov 2018

Name: Martin Rinard

Country: United States

Affiliation: MIT

Personal website: https://people.csail.mit.edu/rinard/

Contributions

PEPM 2019Committee Member in Program Committee within the PEPM 2019-track
SPLASH 2019Author of AL: Autogenerating Supervised Learning Programs within the OOPSLA-track
Author of Active Learning for Software Engineering within the Onward! Papers-track
PLDI 2019Committee Member in Program Committee within the PLDI Research Papers-track
Author of Using Active Learning to Synthesize Models of Applications That Access Databases within the PLDI Research Papers-track
Session Chair of Static Analysis (part of PLDI Research Papers)
POPL 2019Author of Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling within the Research Papers-track
MAPL 2018Author of The Three Pillars of Machine Programming within the MAPL 2018-track
SLE 2018Committee Member in Keynote Speaker within the SLE 2018-track
Author of A New Approach for Software Correctness and Reliability within the SLE 2018-track
GPCE 2018Author of SLE Keynote: A New Approach for Software Correctness and Reliability within the GPCE 2018-track
Onward! 2018Author of Inference and Regeneration of Programs that Store and Retrieve Data within the Onward! Papers-track
ICSE 2019Author of Interactive Production Performance Feedback in the IDE within the Technical Track-track
SLE 2017Author of Robust Programs with Filtered Iterators within the SLE-track
PLDI 2018Author of Probabilistic Programming with Programmable Inference within the PLDI Research Papers-track
PPoPP 2017Programme Committee in Program Committee
PLDI 2016Committee Member in External Program Committee
Author of Configuration Synthesis for Programmable Analog Devices with Arco within the Research Papers-track
POPL 2016Author of Prophet: Automatic Patch Generation via Learning from Successful Patches within the Research Papers-track
SPLASH 2015Author of Energy Efficient Computation in Topaz within the OOPSLA Artifacts-track
Author of Approximate Computation with Outlier Detection in Topaz within the OOPSLA-track
PLDI 2015Author of Automatic Error Elimination by Multi-Application Code Transfer within the Research Papers-track
SPLASH 2014Author of Chisel: Reliability-Aware Optimization of Approximate Computational Kernels within the OOPSLA-track
SPLASH 2013Committee Member in Program Committee within the Onward!-track
Author of Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware within the OOPSLA-track
RACES 2012Committee Member in Organizers within the RACES 2012-track
SPLASH 2012Author of Bolt: on-demand infinite loop escape in unmodified binaries within the OOPSLA Research Papers-track