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

2025

‹Programming›

Steering Committee Member in Steering Committee

2024

PLMW

Panelist of Panel: PL and Beyond within the PLMW@PLDI 2024-track

ICSE

Keynote Speaker of Software Engineering in a World with Generative AI within the ICSE Keynotes-track

‹Programming›

Programming with AI

Author of Faster Feedback with AI? -- A Test Prioritization Study within the Programming with AI-track

PX

LAFI

Author of MultiSPPL: extending SPPL with multivariate leaf nodes within the LAFI 2024-track

2023

Static Analysis Symposium

PC Member in Program Committee within the SAS 2023-track

2022

ESEC/FSE

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

CORA

Author of Commutativity and Approximate Computing within the Commute 2022-track

Principles and Practice of Parallel Programming

Author of POSTER: Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat within the Main Conference-track

2021

Static Analysis Symposium

Author of Verifying Low-dimensional Input Neural Networks via Input Quantization within the SAS-track

SPLASH

ICFP

Author of An Order-Aware Dataflow Model for Parallel Unix Pipelines within the Research Papers-track

ESEC/FSE

Author of Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module Recontextualization within the Research Papers-track

PLDI

2020

ESEC/FSE

Mining Software Repositories

Author of An Empirical Study on the Impact of Deimplicitization on Program Comprehension within the Registered Reports-track

POPL

2019

SPLASH

PLDI

ICSE

Author of Interactive Production Performance Feedback in the IDE within the Technical Track-track

POPL

Author of Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling within the Research Papers-track

PEPM

Committee Member in Program Committee within the PEPM 2019-track

2018

SLE

Onward!

Author of Inference and Regeneration of Programs that Store and Retrieve Data within the Onward! Papers-track

GPCE

Author of SLE Keynote: A New Approach for Software Correctness and Reliability within the GPCE 2018-track

MAPS

Author of The Three Pillars of Machine Programming within the MAPL 2018-track

PLDI

Author of Probabilistic Programming with Programmable Inference within the PLDI Research Papers-track

2017

SLE

Author of Robust Programs with Filtered Iterators within the SLE-track

Principles and Practice of Parallel Programming

Programme Committee in Program Committee

2016

PLDI

POPL

Author of Prophet: Automatic Patch Generation via Learning from Successful Patches within the Research Papers-track

2015

SPLASH

PLDI

Author of Automatic Error Elimination by Multi-Application Code Transfer within the Research Papers-track

2014

SPLASH

Author of Chisel: Reliability-Aware Optimization of Approximate Computational Kernels within the OOPSLA-track

2013

SPLASH

2012

SPLASH

Author of Bolt: on-demand infinite loop escape in unmodified binaries within the OOPSLA Research Papers-track

RACES

Committee Member in Organizers within the RACES 2012-track

2011

SPLASH

Committee Member in Program Committee within the OOPSLA-track