| 2024 | ICML | Emergent Representations of Program Semantics in Language Models Trained on Programs. | Charles Jin, Martin C. Rinard |
| 2024 | ICSE | Software Engineering Research in a World with Generative Artificial Intelligence. | Martin C. Rinard |
| 2024 | SAGT | Edge-Dominance Games on Graphs. | Farid Arthaud, Edan Orzech, Martin C. Rinard |
| 2023 | ICLR | Incompatibility Clustering as a Defense Against Backdoor Poisoning Attacks. | Charles Jin, Melinda Sun, Martin C. Rinard |
| 2022 | PPoPP | Automatic synthesis of parallel unix commands and pipelines with KumQuat. | Jiasi Shen, Martin C. Rinard, Nikos Vasilakis |
| 2022 | SAGT | On the Impact of Player Capability on Congestion Games. | Yichen Yang, Kai Jia, Martin C. Rinard |
| 2021 | CCS | Supply-Chain Vulnerability Elimination via Active Learning and Regeneration. | Nikos Vasilakis, Achilles Benetopoulos, Shivam Handa, Alizee Schoen, Jiasi Shen, Martin C. Rinard |
| 2021 | PLDI | SPPL: probabilistic programming with fast exact symbolic inference. | Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka |
| 2021 | SAS | Exploiting Verified Neural Networks via Floating Point Numerical Error. | Kai Jia, Martin C. Rinard |
| 2021 | SAS | Verifying Low-Dimensional Input Neural Networks via Input Quantization. | Kai Jia, Martin C. Rinard |
| 2020 | AISTATS | The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions. | Feras Saad, Cameron E. Freer, Martin C. Rinard, Vikash Mansinghka |
| 2020 | ASPLOS | Noise-Aware Dynamical System Compilation for Analog Devices with Legno. | Sara Achour, Martin C. Rinard |
| 2020 | DSN | Comprehensive Java Metadata Tracking for Attack Detection and Repair. | Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Martin C. Rinard |
| 2020 | MSR | An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks. | Jrgen Cito, Jiasi Shen, Martin C. Rinard |
| 2019 | ICSE | Interactive production performance feedback in the IDE. | Jrgen Cito, Philipp Leitner, Martin C. Rinard, Harald C. Gall |
| 2019 | OOPSLA | Active learning for software engineering. | Jos Pablo Cambronero, Thurston H. Y. Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, Martin C. Rinard |
| 2019 | PLDI | Using active learning to synthesize models of applications that access databases. | Jiasi Shen, Martin C. Rinard |
| 2018 | ASPLOS | Time Dilation and Contraction for Programmable Analog Devices with Jaunt. | Sara Achour, Martin C. Rinard |
| 2018 | OOPSLA | Active learning for inference and regeneration of computer programs that store and retrieve data. | Martin C. Rinard, Jiasi Shen, Varun Mangalick |
| 2018 | PLDI | The three pillars of machine programming. | Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin C. Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson |
| 2018 | PLDI | Probabilistic programming with programmable inference. | Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin C. Rinard |
| 2018 | SLE | A new approach for software correctness and reliability (keynote). | Martin C. Rinard |
| 2017 | SLE | Robust programs with filtered iterators. | Jiasi Shen, Martin C. Rinard |
| 2016 | ACL | Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings. | Fereshte Khani, Martin C. Rinard, Percy Liang |
| 2016 | DAC | Reducing serial I/O power in error-tolerant applications by efficient lossy encoding. | Phillip Stanley-Marbell, Martin C. Rinard |
| 2016 | DIMVA | AutoRand: Automatic Keyword Randomization to Prevent Injection Attacks. | Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Daniel Willenson, Stelios Sidiroglou-Douskos, Martin C. Rinard |
| 2016 | EuroSys | Crayon: saving power through shape and color approximation on next-generation displays. | Phillip Stanley-Marbell, Virginia Estellers, Martin C. Rinard |
| 2016 | ICSE | An analysis of the search spaces for generate and validate patch generation systems. | Fan Long, Martin C. Rinard |
| 2016 | ICSE | The challenges of staying together while moving fast: an exploratory study. | Julia Rubin, Martin C. Rinard |
| 2016 | PLDI | Configuration synthesis for programmable analog devices with Arco. | Sara Achour, Rahul Sarpeshkar, Martin C. Rinard |
| 2016 | POPL | Automatic patch generation by learning correct code. | Fan Long, Martin C. Rinard |
| 2015 | ASPLOS | Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement. | Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse, Paolo Piselli, Fan Long, Deokhwan Kim, Martin C. Rinard |
| 2015 | CCS | Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity. | Isaac Evans, Fan Long, Ulziibayar Otgonbaatar, Howard E. Shrobe, Martin C. Rinard, Hamed Okhravi, Stelios Sidiroglou-Douskos |
| 2015 | HotOS | Lax: Driver Interfaces for Approximate Sensor Device Access. | Phillip Stanley-Marbell, Martin C. Rinard |
| 2015 | ISSTA | An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. | Zichao Qi, Fan Long, Sara Achour, Martin C. Rinard |
| 2015 | NDSS | Information Flow Analysis of Android Applications in DroidSafe. | Michael I. Gordon, Deokhwan Kim, Jeff H. Perkins, Limei Gilham, Nguyen Nguyen, Martin C. Rinard |
| 2015 | NDSS | Principled Sampling for Anomaly Detection. | Brendan Juba, Christopher Musco, Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard |
| 2015 | OOPSLA | Approximate computation with outlier detection in Topaz. | Sara Achour, Martin C. Rinard |
| 2015 | PLDI | Automatic error elimination by horizontal code transfer across multiple applications. | Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin C. Rinard |
| 2015 | SP | Missing the Point(er): On the Effectiveness of Code Pointer Integrity. | Isaac Evans, Sam Fingeret, Julian Gonzalez, Ulziibayar Otgonbaatar, Tiffany Tang, Howard E. Shrobe, Stelios Sidiroglou-Douskos, Martin C. Rinard, Hamed Okhravi |
| 2014 | OOPSLA | Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. | Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard |
| 2014 | PLDI | Automatic runtime error repair and containment via recovery shepherding. | Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard |
| 2014 | POPL | Sound input filter generation for integer overflow errors. | Fan Long, Stelios Sidiroglou-Douskos, Deokhwan Kim, Martin C. Rinard |
| 2013 | ACL | From Natural Language Specifications to Program Input Parsers. | Tao Lei, Fan Long, Regina Barzilay, Martin C. Rinard |
| 2013 | NDSS | Contextual Policy Enforcement in Android Applications with Permission Event Graphs. | Kevin Zhijie Chen, Noah M. Johnson, Vijay D'Silva, Shuaifu Dai, Kyle MacNamara, Thomas R. Magrino, Edward XueJun Wu, Martin C. Rinard, Dawn Xiaodong Song |
| 2013 | OOPSLA | Verifying quantitative reliability for programs that execute on unreliable hardware. | Michael Carbin, Sasa Misailovic, Martin C. Rinard |
| 2013 | PEPM | Verified integrity properties for safe approximate program transformations. | Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard |
| 2012 | DAC | Obtaining and reasoning about good enough software. | Martin C. Rinard |
| 2012 | ESOP | Reasoning about Lock Placements. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2012 | ICSE | Automatic input rectification. | Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, Martin C. Rinard |
| 2012 | OOPSLA | Workshop on relaxing synchronization for multicore and manycore scalability (RACES 2012). | Andrew P. Black, Theo D'Hondt, Doug Kimelman, Martin C. Rinard, David M. Ungar |
| 2012 | OOPSLA | Bolt: on-demand infinite loop escape in unmodified binaries. | Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard |
| 2012 | OOPSLA | Dancing with uncertainty. | Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard |
| 2012 | PLDI | Proving acceptability properties of relaxed nondeterministic approximate programs. | Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard |
| 2012 | PLDI | Concurrent data representation synthesis. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2012 | POPL | Randomized accuracy-aware program transformations for efficient approximate computations. | Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard |
| 2012 | RV | From Runtime Verification to Runtime Intervention and Adaptation. | Martin C. Rinard |
| 2012 | SAT | Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. | Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama |
| 2011 | ASPLOS | Dynamic knobs for responsive power-aware computing. | Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard |
| 2011 | CCS | Automatic error finding in access-control policies. | Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin |
| 2011 | ECOOP | Detecting and Escaping Infinite Loops with Jolt. | Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard |
| 2011 | PEPM | Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation. | Martin C. Rinard |
| 2011 | PLDI | Data representation synthesis. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2011 | PLDI | Verification of semantic commutativity conditions and inverse operations on linked data structures. | Deokhwan Kim, Martin C. Rinard |
| 2011 | SAS | Probabilistically Accurate Program Transformations. | Sasa Misailovic, Daniel M. Roy, Martin C. Rinard |
| 2010 | APLAS | Data Structure Fusion. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2010 | ICSE | Quality of service profiling. | Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard |
| 2010 | ISSTA | Automatically identifying critical input regions and code in applications. | Michael Carbin, Martin C. Rinard |
| 2010 | OOPSLA | Patterns and statistical analysis for understanding reduced resource computing. | Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou |
| 2010 | RTCSA | Optimal Scheduling of Urgent Preemptive Tasks. | Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence J. Osborne |
| 2009 | CADE | Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival. | Martin C. Rinard |
| 2009 | HOTNETS | WikiDo. | Nate Kushman, Micah Z. Brodsky, S. R. K. Branavan, Dina Katabi, Regina Barzilay, Martin C. Rinard |
| 2009 | ICSE | Taint-based directed whitebox fuzzing. | Vijay Ganesh, Tim Leek, Martin C. Rinard |
| 2009 | MEMOCODE | Survival strategies for synthesized hardware systems. | Martin C. Rinard |
| 2009 | PLDI | An integrated proof language for imperative programs. | Karen Zee, Viktor Kuncak, Martin C. Rinard |
| 2009 | SOSP | Automatically patching errors in deployed software. | Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard |
| 2009 | SYNASC | A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. | Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap |
| 2008 | PLDI | Full functional verification of linked data structures. | Karen Zee, Viktor Kuncak, Martin C. Rinard |
| 2007 | CADE | Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic. | Viktor Kuncak, Martin C. Rinard |
| 2007 | FOSSACS | Polynomial Constraints for Sets with Cardinality Bounds. | Bruno Marnette, Viktor Kuncak, Martin C. Rinard |
| 2007 | OOPSLA | Using early phase termination to eliminate load imbalances at barrier synchronization points. | Martin C. Rinard |
| 2007 | OOPSLA | Living in the comfort zone. | Martin C. Rinard |
| 2007 | RV | Runtime Checking for Program Verification. | Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard |
| 2007 | VMCAI | Using First-Order Theorem Provers in the Jahob Data Structure Verification System. | Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard |
| 2006 | ICS | Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. | Martin C. Rinard |
| 2006 | ISSTA | Inference and enforcement of data structure consistency specifications. | Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard |
| 2006 | OOPSLA | The ultra challenge: software systems beyond big. | Steven Fraser, Gregor Kiczales, Ricardo Lpez, Peter G. Neumann, Linda M. Northrop, Martin C. Rinard, Douglas C. Schmidt, Kevin J. Sullivan |
| 2006 | SYNASC | Incremental Deterministic Planning. | Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard |
| 2006 | VMCAI | Field Constraint Analysis. | Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard |
| 2005 | CADE | An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic. | Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard |
| 2005 | CC | Hob: A Tool for Verifying Data Structure Consistency. | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
| 2005 | ICSE | Data structure repair using goal-directed reasoning. | Brian Demsky, Martin C. Rinard |
| 2005 | OOPSLA | Exploring the acceptability envelope. | Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen |
| 2005 | SAS | Memory Usage Verification for OO Programs. | Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard |
| 2005 | SAT | Optimizations for Compiling Declarative Models into Boolean Formulas. | Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard |
| 2005 | VMCAI | Generalized Typestate Checking for Data Structure Consistency. | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
| 2005 | VMCAI | Purity and Side Effect Analysis for Java Programs. | Alexandru Salcianu, Martin C. Rinard |
| 2004 | ACSAC | A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors). | Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu |
| 2004 | ICFEM | Verifying a File System Implementation. | Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard |
| 2004 | OSDI | Enhancing Server Availability and Security Through Failure-Oblivious Computing. | Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, William S. Beebee |
| 2004 | PLDI | Region inference for an object-oriented language. | Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard |
| 2004 | SAS | Generalized Records and Spatial Conjunction in Role Logic. | Viktor Kuncak, Martin C. Rinard |
| 2004 | VMCAI | Boolean Algebra of Shape Analysis Constraints. | Viktor Kuncak, Martin C. Rinard |
| 2003 | ECOOP | A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. | Patrick Lam, Martin C. Rinard |
| 2003 | FASE | Pipa: A Behavioral Interface Specification Language for AspectJ. | Jianjun Zhao, Martin C. Rinard |
| 2003 | FM | A Formal Framework for Modular Synchronous System Design. | Maria-Cristina V. Marinescu, Martin C. Rinard |
| 2003 | ISSRE | Static Specification Analysis for Termination of Specification-Based Data Structure Repair. | Brian Demsky, Martin C. Rinard |
| 2003 | LICS | Structural Subtyping of Non-Recursive Types is Decidable. | Viktor Kuncak, Martin C. Rinard |
| 2003 | OOPSLA | Automatic detection and repair of errors in data structures. | Brian Demsky, Martin C. Rinard |
| 2003 | OOPSLA | Acceptability-oriented computing. | Martin C. Rinard |
| 2003 | PLDI | Ownership types for safe region-based memory management in real-time Java. | Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard |
| 2003 | POPL | Interprocedural compatibility analysis for static object preallocation. | Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard |
| 2003 | SAS | Existential Heap Abstraction Entailment Is Undecidable. | Viktor Kuncak, Martin C. Rinard |
| 2002 | ICSE | Role-based exploration of object-oriented programs. | Brian Demsky, Martin C. Rinard |
| 2002 | OOPSLA | Ownership types for safe programming: preventing data races and deadlocks. | Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard |
| 2002 | OOPSLA | Write barrier removal by static analysis. | Karen Zee, Martin C. Rinard |
| 2002 | POPL | Role analysis. | Viktor Kuncak, Patrick Lam, Martin C. Rinard |
| 2001 | ASPDAC | High-level specification and efficient implementation of pipelined circuits. | Maria-Cristina V. Marinescu, Martin C. Rinard |
| 2001 | CC | Design-Driven Compilation. | Radu Rugina, Martin C. Rinard |
| 2001 | EMSOFT | An Implementation of Scoped Memory for Real-Time Java. | William S. Beebee, Martin C. Rinard |
| 2001 | OOPSLA | A Parameterized Type System for Race-Free Java Programs. | Chandrasekhar Boyapati, Martin C. Rinard |
| 2001 | PLDI | Incrementalized Pointer and Escape Analysis. | Frdric Vivien, Martin C. Rinard |
| 2001 | PPoPP | Pointer and escape analysis for multithreaded programs. | Alexandru Salcianu, Martin C. Rinard |
| 2001 | SAS | Analysis of Multithreaded Programs. | Martin C. Rinard |
| 2000 | ICSE | Software analysis: a roadmap: a roadmap. | Daniel Jackson, Martin C. Rinard |
| 2000 | PLDI | Symbolic bounds analysis of pointers, array indices, and accessed memory regions. | Radu Rugina, Martin C. Rinard |
| 1999 | FCCM | Parallelizing Applications into Silicon. | Jonathan Babb, Martin C. Rinard, Csaba Andras Moritz, Walter Lee, Matthew I. Frank, Rajeev Barua, Saman P. Amarasinghe |
| 1999 | ICS | Eliminating synchronization bottlenecks in object-based programs using adaptive replication. | Martin C. Rinard, Pedro C. Diniz |
| 1999 | OOPSLA | Compositional Pointer and Escape Analysis for Java Programs. | John Whaley, Martin C. Rinard |
| 1999 | PLDI | Pointer Analysis for Multithreaded Programs. | Radu Rugina, Martin C. Rinard |
| 1999 | PPoPP | Automatic Parallelization of Divide and Conquer Algorithms. | Radu Rugina, Martin C. Rinard |
| 1997 | PLDI | Dynamic Feedback: An Effective Technique for Adaptive Computing. | Pedro C. Diniz, Martin C. Rinard |
| 1997 | POPL | Synchronization Transformations for Parallel Computing. | Pedro C. Diniz, Martin C. Rinard |
| 1997 | PPoPP | Effective Fine-Grain Synchronization for Automatically Parallelized Programs Using Optimistic Synchronization Primitives. | Martin C. Rinard |
| 1996 | COCOON | On the Complexity of Commutativity Analysis. | Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard |
| 1996 | EuroPar | Semantic Foundations of Commutativity Analysis. | Martin C. Rinard, Pedro C. Diniz |
| 1996 | PLDI | Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. | Martin C. Rinard, Pedro C. Diniz |
| 1995 | SC | Communication Optimizations for Parallel Computing Using Data Access Information. | Martin C. Rinard |
| 1992 | POPL | Semantic Foundations of Jade. | Martin C. Rinard, Monica S. Lam |
| 1992 | SC | Heterogeneous Parallel Programming in Jade. | Martin C. Rinard, Daniel J. Scales, Monica S. Lam |
| 1991 | POPL | Semantic Foundations of Concurrent Constraint Programming. | Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden |
| 1991 | PPoPP | Coarse-Grain Parallel Programming in Jade. | Monica S. Lam, Martin C. Rinard |
| 1990 | POPL | Concurrent Constraint Programming. | Vijay A. Saraswat, Martin C. Rinard |