Martin C. Rinard

Registered user since Sat 10 Nov 2018

Name:Martin C. Rinard
Country:United States
Affiliation:Massachusetts Institute of Technology

Contributions

SAS 2021 Author of Verifying Low-dimensional Input Neural Networks via Input Quantization within the SAS-track
SPLASH 2021 Author of SPPL: Probabilistic Programming with Fast Exact Symbolic Inference within the SIGPLAN Papers-track
Committee Member in Program Committee within the Onward! Papers-track
Author of An Order-Aware Dataflow Model for Parallel Unix Pipelines within the SIGPLAN Papers-track
SPLASH 2010

PLDI 2021 Committee Member in Program Committee within the PLDI-track
Author of SPPL: Probabilistic Programming with Fast Exact Symbolic Inference within the PLDI-track
ESEC/FSE 2021 Author of Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module Recontextualization within the Research Papers-track
ICFP 2021 Author of An Order-Aware Dataflow Model for Parallel Unix Pipelines within the Research Papers-track
ESEC/FSE 2020 Author of Inductive Program Synthesis over Noisy Data within the Research Papers-track
Author of AMS: Generating AutoML Search Spaces from Weak Specifications within the Research Papers-track
MSR 2020 Author of An Empirical Study on the Impact of Deimplicitization on Program Comprehension within the Registered Reports-track
POPL 2020 Author of Synthesizing Replacement Classes within the Research Papers-track
Author of Optimal Approximate Sampling From Discrete Probability Distributions within the Research Papers-track
PEPM 2019 Committee Member in Program Committee within the PEPM 2019-track
SPLASH 2019 Author of AL: Autogenerating Supervised Learning Programs within the OOPSLA-track
Author of Active Learning for Software Engineering within the Onward! Papers-track
PLDI 2019 Committee 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 2019 Author of Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling within the Research Papers-track
MAPL 2018 Author of The Three Pillars of Machine Programming within the MAPL 2018-track
SLE 2018 Committee 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 2018 Author of SLE Keynote: A New Approach for Software Correctness and Reliability within the GPCE 2018-track
Onward! 2018 Author of Inference and Regeneration of Programs that Store and Retrieve Data within the Onward! Papers-track
ICSE 2019 Author of Interactive Production Performance Feedback in the IDE within the Technical Track-track
SLE 2017 Author of Robust Programs with Filtered Iterators within the SLE-track
PLDI 2018 Author of Probabilistic Programming with Programmable Inference within the PLDI Research Papers-track
PPoPP 2017 Programme Committee in Program Committee
PLDI 2016 Committee Member in External Program Committee
Author of Configuration Synthesis for Programmable Analog Devices with Arco within the Research Papers-track
POPL 2016 Author of Prophet: Automatic Patch Generation via Learning from Successful Patches within the Research Papers-track
SPLASH 2015 Author 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 2015 Author of Automatic Error Elimination by Multi-Application Code Transfer within the Research Papers-track
SPLASH 2014 Author of Chisel: Reliability-Aware Optimization of Approximate Computational Kernels within the OOPSLA-track
SPLASH 2013 Committee 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 2012 Committee Member in Organizers within the RACES 2012-track
SPLASH 2012 Author of Bolt: on-demand infinite loop escape in unmodified binaries within the OOPSLA Research Papers-track
SPLASH 2011 Committee Member in Program Committee within the OOPSLA-track