Martin C. Rinard -

Registered user since Sat 10 Nov 2018

Name:Martin C. Rinard

Country:United States

Affiliation:Massachusetts Institute of Technology

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

Contributions

‹Programming› 2024	Program Co-Chair in Organizing Committee Steering Committee Member in Steering Committee Program Co-Chair in Program Committee within the Research Papers-track
SAS 2023	PC Member in Program Committee within the SAS 2023-track
ESEC/FSE 2022	Author of Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module Recontextualization within the ESEC/FSE 2021-track
PLMW	Author of Your Research and Everyone Else within the PLMW-track
Commute	Author of Commutativity and Approximate Computing within the Commute 2022-track
PPoPP 2022	Author of POSTER: Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat within the Main Conference-track
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
ICFP 2021	Author of An Order-Aware Dataflow Model for Parallel Unix Pipelines within the Research Papers-track
ESEC/FSE 2021	Author of Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module Recontextualization within the Research Papers-track
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 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
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)
ICSE 2019	Author of Interactive Production Performance Feedback in the IDE within the Technical Track-track
POPL 2019	Author of Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling within the Research Papers-track
PEPM 2019	Committee Member in Program Committee within the PEPM 2019-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
Onward! 2018	Author of Inference and Regeneration of Programs that Store and Retrieve Data within the Onward! Papers-track
GPCE 2018	Author of SLE Keynote: A New Approach for Software Correctness and Reliability within the GPCE 2018-track
MAPL 2018	Author of The Three Pillars of Machine Programming within the MAPL 2018-track
PLDI 2018	Author of Probabilistic Programming with Programmable Inference within the PLDI Research Papers-track
SLE 2017	Author of Robust Programs with Filtered Iterators within the SLE-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
SPLASH 2012	Author of Bolt: on-demand infinite loop escape in unmodified binaries within the OOPSLA Research Papers-track
RACES 2012	Committee Member in Organizers within the RACES 2012-track
SPLASH 2011	Committee Member in Program Committee within the OOPSLA-track