M. Rinard

Most-cited papers

Automatic patch generation by learning correct code
Fan Long, M. Rinard
2016ACM-SIGACT Symposium on Principles of Programming Languages622 citations Open access
Semantic Scholar
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems
Zichao Qi, Fan Long, Sara Achour, M. Rinard
2015International Symposium on Software Testing and Analysis517 citations Open access
Semantic Scholar
Automatic inference of code transforms for patch generation
Fan Long, Peter Amidon, M. Rinard
2017ESEC/SIGSOFT FSE204 citations Open access
Semantic Scholar
An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems
Fan Long, M. Rinard
2016International Conference on Software Engineering196 citations Open access
Semantic Scholar
Bayesian synthesis of probabilistic programs for automatic data modeling
Feras A. Saad, Marco F. Cusumano-Towner, Ulrich Schaechtle, M. Rinard +1 more
2019Proc. ACM Program. Lang.78 citations Open access
Semantic Scholar
SPPL: probabilistic programming with fast exact symbolic inference
Feras A. Saad, M. Rinard, Vikash K. Mansinghka
2020ACM-SIGPLAN Symposium on Programming Language Design and Implementation71 citations Open access
Semantic Scholar
Efficient Exact Verification of Binarized Neural Networks
Kai Jia, M. Rinard
2020Neural Information Processing Systems70 citations
Semantic Scholar
The three pillars of machine programming
Justin Emile Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin +5 more
2018MAPL@PLDI69 citations Open access
Semantic Scholar
Probabilistic programming with programmable inference
Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul +2 more
2018ACM-SIGPLAN Symposium on Programming Language Design and Implementation64 citations Open access
Semantic Scholar
Exploiting Verified Neural Networks via Floating Point Numerical Error
Kai Jia, M. Rinard
2020Sensors Applications Symposium59 citations Open access
Semantic Scholar
Development and validation of a pancreatic cancer risk model for the general population using electronic health records: An observational study.
L. Appelbaum, J. Cambronero, J. Stevens, S. Horng +10 more
2020European Journal of Cancer56 citations
Semantic Scholar
The Challenges of Staying Together While Moving Fast: An Exploratory Study
J. Rubin, M. Rinard
2016International Conference on Software Engineering49 citations Open access
Semantic Scholar
Emergent Representations of Program Semantics in Language Models Trained on Programs
Charles Jin, M. Rinard
2023International Conference on Machine Learning45 citations
Semantic Scholar
Supply-Chain Vulnerability Elimination via Active Learning and Regeneration
N. Vasilakis, Achilles Benetopoulos, Shivam Handa, A. Schoen +2 more
2021Conference on Computer and Communications Security34 citations Open access
Semantic Scholar
CodeCarbonCopy
Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long +1 more
2017ESEC/SIGSOFT FSE31 citations Open access
Semantic Scholar
Neurosymbolic Transformers for Multi-Agent Communication
J. Inala, Yi-Chen Yang, James Paulos, Yewen Pu +4 more
2021Neural Information Processing Systems29 citations
Semantic Scholar
Configuration synthesis for programmable analog devices with Arco
Sara Achour, R. Sarpeshkar, M. Rinard
2016ACM-SIGPLAN Symposium on Programming Language Design and Implementation29 citations Open access
Semantic Scholar
Reducing serial I/O power in error-tolerant applications by efficient lossy encoding
Phillip Stanley-Marbell, M. Rinard
2016Design Automation Conference29 citations Open access
Semantic Scholar
Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings
Fereshte Khani, M. Rinard, Percy Liang
2016Annual Meeting of the Association for Computational Linguistics27 citations Open access
Semantic Scholar
Crayon: saving power through shape and color approximation on next-generation displays
Phillip Stanley-Marbell, V. Estellers, M. Rinard
2016European Conference on Computer Systems26 citations
Semantic Scholar
Inductive program synthesis over noisy data
Shivam Handa, M. Rinard
2020ESEC/SIGSOFT FSE25 citations Open access
Semantic Scholar
Manifold Regularization for Locally Stable Deep Neural Networks
Charles Jin, M. Rinard
202025 citations
Semantic Scholar
Using active learning to synthesize models of applications that access databases
Jia-Si Shen, M. Rinard
2019ACM-SIGPLAN Symposium on Programming Language Design and Implementation24 citations Open access
Semantic Scholar
Doing More with Less: Characterizing Dataset Downsampling for AutoML
Fatjon Zogaj, J. Cambronero, M. Rinard, J. Cito
2021Proceedings of the VLDB Endowment22 citations Open access
Semantic Scholar
Interactive Production Performance Feedback in the IDE
J. Cito, P. Leitner, M. Rinard, H. Gall
2019International Conference on Software Engineering21 citations Open access
Semantic Scholar
Characterizing Developer Use of Automatically Generated Patches
J. Cambronero, Jia-Si Shen, J. Cito, Elena L. Glassman +1 more
2019IEEE Symposium on Visual Languages / Human-Centric Computing Languages and Environments19 citations Open access
Semantic Scholar
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions
Feras A. Saad, Cameron E. Freer, M. Rinard, Vikash K. Mansinghka
2020International Conference on Artificial Intelligence and Statistics18 citations
Semantic Scholar
Active learning for software engineering
J. Cambronero, Thurston H. Y. Dang, N. Vasilakis, Jia-Si Shen +2 more
2019SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software18 citations Open access
Semantic Scholar
Noise-Aware Dynamical System Compilation for Analog Devices with Legno
Sara Achour, M. Rinard
2020International Conference on Architectural Support for Programming Languages and Operating Systems17 citations Open access
Semantic Scholar
Verifying Low-dimensional Input Neural Networks via Input Quantization
Kai Jia, M. Rinard
2021Sensors Applications Symposium16 citations Open access
Semantic Scholar
AL: autogenerating supervised learning programs
J. Cambronero, M. Rinard
2019Proc. ACM Program. Lang.16 citations Open access
Semantic Scholar
Cimple: instruction and memory level parallelism: a DSL for uncovering ILP and MLP
Vladimir Kiriansky, Hao-Ran Xu, M. Rinard, Saman P. Amarasinghe
2018International Conference on Parallel Architectures and Compilation Techniques16 citations Open access
Semantic Scholar
Probabilistic Programming with Programmable Variational Inference
McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami +3 more
2024Proc. ACM Program. Lang.15 citations Open access
Semantic Scholar
Warp: A Hardware Platform for Efficient Multimodal Sensing With Adaptive Approximation
Phillip Stanley-Marbell, M. Rinard
2020IEEE Micro15 citations Open access
Semantic Scholar
AMS: generating AutoML search spaces from weak specifications
J. Cambronero, J. Cito, M. Rinard
2020ESEC/SIGSOFT FSE15 citations Open access
Semantic Scholar
Manifold Regularization for Adversarial Robustness
Charles Jin, M. Rinard
2020arXiv.org14 citations
Semantic Scholar
Synthesizing replacement classes
Malavika Samak, Deokhwan Kim, M. Rinard
2019Proc. ACM Program. Lang.14 citations Open access
Semantic Scholar
Battery-aware transformations in mobile applications
J. Cito, J. Rubin, Phillip Stanley-Marbell, M. Rinard
2016International Conference on Automated Software Engineering14 citations Open access
Semantic Scholar
Probabilistic Programming with Stochastic Probabilities
Alexander K. Lew, Matin Ghavamizadeh, M. Rinard, Vikash K. Mansinghka
2023Proc. ACM Program. Lang.13 citations Open access
Semantic Scholar
Automatic synthesis of parallel unix commands and pipelines with KumQuat
Jia-Si Shen, M. Rinard, N. Vasilakis
2020ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming13 citations Open access
Semantic Scholar
Correctness Verification of Neural Networks
Yi-Chen Yang, M. Rinard
2019arXiv.org13 citations
Semantic Scholar
Program Synthesis Guided Reinforcement Learning
Yi-Chen Yang, J. Inala, Osbert Bastani, Yewen Pu +2 more
2021Neural Information Processing Systems12 citations
Semantic Scholar
Automatic Inference of Code Transforms and Search Spaces for Automatic Patch Generation Systems
Fan Long, Peter Amidon, M. Rinard
201612 citations
Semantic Scholar
Optimal approximate sampling from discrete probability distributions
Feras A. Saad, Cameron E. Freer, M. Rinard, Vikash K. Mansinghka
2019Proc. ACM Program. Lang.11 citations Open access
Semantic Scholar
An order-aware dataflow model for parallel Unix pipelines
Shivam Handa, Konstantinos Kallas, N. Vasilakis, M. Rinard
2020Proc. ACM Program. Lang.10 citations Open access
Semantic Scholar
Incompatibility Clustering as a Defense Against Backdoor Poisoning Attacks
Charles Jin, Melinda Sun, M. Rinard
2021International Conference on Learning Representations9 citations
Semantic Scholar
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle +5 more
2024Proc. ACM Program. Lang.8 citations Open access
Semantic Scholar
Active Learning for Inference and Regeneration of Applications that Access Databases
Jia-Si Shen, M. Rinard
2021ACM Transactions on Programming Languages and Systems8 citations Open access
Semantic Scholar
Efficient module-level dynamic analysis for dynamic languages with module recontextualization
N. Vasilakis, Grigoris Ntousakis, Veit Heller, M. Rinard
2021ESEC/SIGSOFT FSE8 citations Open access
Semantic Scholar
A Hardware Platform for Efficient Multi-Modal Sensing with Adaptive Approximation
Phillip Stanley-Marbell, M. Rinard
2018arXiv.org8 citations
Semantic Scholar