Publications of Martin Rinard

Conference, Journal, Notices, and Invited Papers

• A pancreatic cancer risk prediction model (Prism) developed and validated on large-scale US clinical data
  Kai Jia, Steven Kundrot, Matvey Palchuk, Jeff Warnick, Kathryn Haapala, Irving Kaplan, Martin C. Rinard, Limor Applebaum
  eBioMedicine Volume 98, 104888
  November 2023
  
• Probabilistic Programming with Stochastic Probabilities
  Alexander Lew, Matin Ghavamizadeh, Martin C. Rinard, Vikash Mansinghka
  Proceedings of the ACM on Programming Languages, Volume 7, PLDI
  Orlando, Florida, June 2023
  
• Depth-Bounded Epistemic Logic
  Farid Arthaud, Martin Rinard
  Proceedings of Nineteenth Conference on Theoretical Aspects of Rationality
  Oxford, United Kingdom, June 2023
  

• Toward Capability-Aware Cooperation for Decentralized Planning
  Charles Jin, Zhang-Wei Hong, Martin Rinard
  IROS Workshop on Decision Making in Multi-Agent Systems
  Kyoto, Japan, October 2022
  
• On the Impact of Player Capability on Congestion Games
  Yichen Yang, Kai Jia, Martin Rinard
  The 15th International Symposium on Algorithmic Game Theory (SAGT 2022)
  Colchester, UK, September 2022
  
• Automated Synthesis of Parallel Unix Commands and Pipelines with Kumquat
  The full version of this paper is available
  Jiasi Shen, Martin Rinard, Nikos Vasilakis
  Proceedings of the 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Paralle Programming (PPoPP 2022) (Poster)
  Republic of Korea, April 2022
  April 2022
  
• Development and Experience with Cancer Risk Prediction Models Using Federated Databases and Electronic Health Records
  Limor Appelbaum, Irving Kaplan, Matvey Palchuk, Steven Kundrot, Jessamine Winer-Jones, Martin Rinard
  Exon Publications
  February 2022
  

• Towards Context-Agnostic Learning Using Synthetic Data
  Charles Jin and Martin Rinard
  Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS 2021)
  Virtual, December 2021
  
• Program Synthesis Guided Reinforcement Learning for Partially Observed Environments (Spotlight Presentation)
  Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, and Martin Rinard
  Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS 2021)
  Virtual, December 2021
  
• Supply-Chain Vulnerability Elimination via Active Learning and Regeneration
  Nikos Vasilakis, Achilles Benetopoulos, Shivam Handa, Alizee Schoen, Jiasi Shen, and Martin Rinard
  ACM Conference on Computer and Communications Security (ACM CCS 2021)
  Virtual, South Korea, November 2021
  
• Exploiting Verified Neural Networks via Floating Point Numerical Error
  Kai Jia and Martin Rinard
  SAS 2021 - 28th Static Analysis Symposium
  Virtual, Chicago, Illinois, October 2021
  
• Verifying Low-Dimensional Input Neural Networks via Input Quantization.
  Kai Jia and Martin Rinard
  SAS 2021 - 28th Static Analysis Symposium
  Virtual, Chicago, Illinois, October 2021
  
• An Order-aware Dataflow Model for Parallel Unix Pipelines
  Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, and Martin Rinard
  26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021)
  Virtual, August 2021
  
• Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module Recontextualization (Distinguished Paper Award)
  Nikos Vasilakis, Grigoris Ntousakis, Veit Heller, and Martin Rinard
  ACM Joint European Software Engineering Conference & Symposium on the Foundations of Software Engineering (ESEC/FSE 2021)
  Virtual, August 2021
  
• SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
  Feras A. Saad, Martin Rinard, and Vikash K. Mansinghka
  PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
  Virtual, Canada, June 2021
  
• Doing More with Less: Characterizing Dataset Downsampling for AutoML
  Fatjon Zogaj, Jose Pablo Cambronero, Martin Rinard, and Jurgen Cito
  Proceedings of VLDB Endowment
  Volume 14, Number 11 (2021)
  
• Active Learning for Inference and Regeneration of Applications that Access Databases
  Jiasi Shen and Martin Rinard
  ACM Transactions on Programming Languages and Systems
  Volume 42, Number 4 (February 2021)
  
• Development and validation of a pancreatic cancer risk model for the general population using electronic health records: An observational study
  Limor Appelbaum, Jose P. Cambronero, Jennifer P. Stevens, Steven Horng, Karla Pollick, George Silva, Sebastien Haneuse, Gail Piatkowski, Nordine Benhaga, Stacey Duey, Mary A. Stevenson, Harvey Mamon, Irving D. Kaplan, and Martin C. Rinard
  European Journal of Cancer
  Volume 143, pp. 19-30, 2021

• Neurosymbolic Transformers for Multi-Agent Communication
  Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, and Armando Solar-Lezama
  Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020
  Virtual, December 2020
  
• Efficient Exact Verification of Binarized Neural Networks
  Kai Jia and Martin Rinard
  Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020
  Virtual, December 2020
  
• Inductive Program Synthesis Over Noisy Data
  Shivam Handa and Martin Rinard
  ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
  Virtual, USA November 2020
  
• AMS: Generating AutoML Search Spaces From Weak Specifications
  Jose Cambronero, Jurgen Cito, and Martin Rinard
  ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
  Virtual, USA November 2020
  
• The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions
  Feras Saad, Cameron E. Freer, Martin Rinard, and Vikash Mansinghka
  The 23rd International Conference on Artificial Intelligence and Statistics, AISTATS 2020
  Virtual, Palermo, Sicily, Italy August 2020
  
• Comprehensive Java Metadata Tracking for Attack Detection and Repair
  Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, and Martin Rinard
  50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2020
  Valencia, Spain June 2020
  
• An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks
  Jurgen Cito, Jiasi Shen, and Martin Rinard
  MSR '20: 17th International Conference on Mining Software Repositories
  Seoul, Republic of Korea June 2020
  
• Noise-Aware Dynamical System Compilation for Analog Devices with Legno
  Sara Achour and Martin Rinard
  ASPLOS '20: Architectural Support for Programming Languages and Operating Systems
  Lausanne, Switzerland March 2020
  
• Warp: A Hardware Platform for Efficient Multimodal Sensing with Adaptive Approximation
  Phillip Stanley-Marbell and Martin Rinard
  IEEE Micro 48(1)
  Jan.-Feb. 2020
  
• Synthesizing Replacement Classes
  Malavika Samak, Deokhwan Kim, and Martin Rinard
  Proceedings of the ACM on Programming Languages 4 (POPL 2020)
  New Orleans, Louisiana January 2020
  
• Optimal Approximate Sampling from Discrete Probability Distributions
  Feras Saad, Cameron Freer, Martin Rinard, and Vikash Mansinghka
  Proceedings of the ACM on Programming Languages 4 (POPL 2020)
  New Orleans, Louisiana January 2020
  

• AL: Autogenerating Supervised Learning Programs
  Jose Cambronero and Martin Rinard
  Proceedings of the ACM on Programming Languages 3 (OOPSLA 2019)
  Athens, Greece October 2019
  
• Active Learning for Software Engineering
  Jose Cambronero, Thurston Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, and Martin Rinard
  Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2019)
  Athens, Greece October 2019
  
• Characterizing Developer Use of Automatically Generated Patches
  Jose Cambronero, Jiasi Shen, Jurgen Cito, Elena Glassman, and Martin Rinard
  Proceedings of the 2019 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
  Memphis, Tennessee, October 2019
  
• Using Active Learning to Synthesize Models of Applications That Access Databases
  Jiasi Shen, Martin Rinard
  Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)
  Phoenix, Arizona, June 2019
  

• Technical Perspective: Borrowing Big Code to Automate Programming Activities
  Martin Rinard
  Communications of the ACM, Volume 62, Number 3
  February 2019
  
• Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling
  Feras Saad, Marco Cusumano-Towner, Martin Rinard, Vikash Mansinghka
  Proceedings of ACM on Programming Languages 3 (POPL 2019)
  Cascais, Portugal, January 2019
  

• Active Learning for Inference and Regeneration of Computer Programs That Store and Retrieve Data
  Martin Rinard, Jiasi Shen, Varun Mangalick
  Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2018)
  Boston, MA, November 2018
  
• Cimple: Instruction and Memory Level Parallelism: A DSL for Uncovering ILP and MLP
  Vladimir Kiriansky, Haoran Xu, Martin Rinard, Saman Amarasinghe
  Proceedings of the 27th International Conference on Parallel Architectures and Compilation Techniques (PACT18)
  Limassol, Cyprus, November 2018
  
• Perceived-Color Approximation Transforms for Programs that Draw
  Phillip Stanley-Marbell, Martin Rinard
  IEEE Micro, Volume 38, Number 4
  July/August 2018
  
• Probabilistic Programming with Programmable Inference
  Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin Rinard
  Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018)
  Philadelphia, PA, June 2018
  
• Time Dilation and Contraction for Programmable Analog Devices with Jaunt
  Sara Achour and Martin Rinard
  ASPLOS '18 Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems
  Williamsburg, VA, March 2018
  

• Robust Programs with Filtered Iterators (Distinguished Artifact Award)
  Jiasi Shen and Martin Rinard
  10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017)
  Vancouver, Canada, October 2017
  
• Error-Efficient Computing Systems
  Phillip Stanley-Marbell, Martin Rinard
  Foundations and Trends in Electronic Design Automation, Volume 11, Number 4
  December 2017
  
• CodeCarbonCopy
  Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long, and Martin Rinard
  Proceedings of 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017)
  Paderborn, Germany, September 2017
  
• Automatic Inference of Code Transforms for Patch Generation
  Fan Long, Peter Amidon, and Martin Rinard
  Proceedings of 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
  Paderborn, Germany, September 2017
  

• Battery-Aware Transformations in Mobile Applications
  Jurgen Cito, Julia Rubin, Phillip Stanley-Marbell, and Martin Rinard
  31st IEEE/ACM International Conference on Automated Software Engineering
  Singapore, September 2016
  
• Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware
  Michael Carbin, Sasa Misailovic, and Martin C. Rinard:
  Communications of the ACM, Volume 59, Number 8
  August 2016
  
• Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings
  Fereshte Khani, Martin Rinard, and Percy Liang
  Association for Computational Linguistics 2016 Conference
  Berlin, Germany, August 2016
  
• Encoder Logic for Reducing Serial I/O Power in Sensors and Sensor Hubs
  Phillip Stanley-Marbell, P.A. Francese, and Martin Rinard
  28th IEEE Symposium on High Performance Chips (Hot Chips '16)
  Cupertino, California, August 2016
  
• AutoRand: Automatic Keyword Randomization to Prevent Injection Attacks
  Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Daniel Willenson, Stelios Sidiroglou-Douskos, and Martin C. Rinard
  13th Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA 2016)
  Donostia-San Sebastian, Spain, July 2016
  
• Configuration Synthesis for Programmable Analog Devices with Arco
  Sara Achour, Rahul Sarpeshkar, and Martin Rinard
  Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2016)
  Santa Barbara, CA, June 2016
  
• Reducing Serial I/O Power in Error-Tolerant Applications by Efficient Lossy Encoding
  Phillip Stanley-Marbell and Martin Rinard
  The 53rd Annual Design Automation Conference 2016
  Austin, Texas June 2016
  
• An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems
  The full version of this paper is available.
  Fan Long and Martin Rinard
  Proceedings of the ACM/IEEE 38th International Conference on Software Engineering (ICSE 2016)
  Austin, Texas May 2016
  
• The Challenges of Staying Together While Moving Fast: An Exploratory Study
  Julia Rubin and Martin Rinard
  Proceedings of the ACM/IEEE 38th International Conference on Software Engineering (ICSE 2016)
  Austin, Texas, May 2016
  
• Crayon: Saving Power through Shape and Color Approximation on Next-Generation Displays
  Phillip Stanley-Marbell, Virginia Estellers, and Martin Rinard
  Proceedings of EuroSys 2016
  London, UK April 2016
  
• Automatic Patch Generation by Learning Correct Code
  Fan Long and Martin Rinard
  Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016)
  St. Petersburg, Florida, January 2016
  

• Efficiency Limits for Value-Deviation-Bounded Approximate Communication
  Phillip Stanley-Marbell and Martin Rinard
  IEEE Embedded Systems Letters Journal
  Volume 7, Number 4 (December 2015)
  

• Covert Communication in Mobile Applications
  Julia Rubin, Michael I. Gordon, Nguyen Nguyen, and Martin Rinard
  Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering
  Lincoln, Nebraska, November 2015
  

• Approximate Computation With Outlier Detection in Topaz
  Sara Achour and Martin Rinard
  Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015)
  Pittsburgh, Pennsylvania, October 2015
  

• 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, and Stelios Sidiroglou-Douskos
  Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security
  Denver, Colorado, October 2015
  

• Program Fracture and Recombination for Efficient Automatic Code Reuse
  Peter Amidon, Eli Davis, Stelios Sidiroglou-Douskos, and Martin Rinard
  2015 IEEE High Performance Extreme Computing Conference (HPEC '15)
  Waltham, Massachusetts, September 2015
  

• Staged Program Repair with Condition Synthesis
  Fan Long and Martin Rinard
  10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015)
  Bergamo, Italy, August 2015
  

• An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems
  The full version of this paper is available.
  Zichao Qi, Fan Long, Sara Achour, and Martin Rinard
  Proceedings of the 2015 International Conference on Software Testing and Analysis (ISSTA 2015)
  Baltimore, Maryland, July 2015
  

• Automatic Error Elimination by Horizontal Code Transfer Across Multiple Applications
  The full version of this paper is available.
  Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, and Martin Rinard
  Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015)
  Portland, Oregon, June 2015
  

• Approximating Outside the Processor
  Phillip Stanley-Marbell and Martin Rinard
  Proceedings of the 2015 Workshop on Approximate Computing Across the Stack (WAX 2015)
  Portland, Oregon, June 2015
  

• Missing the Point(er): On the Effectiveness of Code Pointer Integrity
  Sam Fingeret, Julian Gonzalez, Ulziibayar Otgonbaatar, Tiffany Tang, Howard Shrobe, Stelios Sidiroglou-Douskos, Martin Rinard, and Hamed Okhravi
  36th IEEE Symposium on Security and Privacy
  San Jose, California May 2015
  

• Lax: Driver Interfaces for Approximate Sensor Device Access
  Phillip Stanley-Marbell and Martin Rinard
  Proceedings of the 15th Workshop on Hot Topics in Operating Systems
  Kartause Ittingen, Switzerland, May 2015
  

• Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement
  Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse, Paolo Piselli, Fan Long, Deokhwan Kim, and Martin Rinard
  Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015)
  Istanbul, Turkey, March 2015
  

• Principled Sampling for Anomaly Detection
  Brendan Juba, Christopher Musco, Fan Long, Stelios Sidiroglou-Douskos, and Martin Rinard
  2015 Network and Distributed System Security (NDSS) Symposium
  San Diego, California, February 2015
  

• Information Flow Analysis of Android Applications in DroidSafe
  Michael I. Gordon, Deokhwan Kim, Jeff Perkins, Limei Gilham, Nguyen Nguyen, and Martin Rinard
  2015 Network and Distributed System Security (NDSS) Symposium
  San Diego, California, February 2015
  

• Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels (Best Paper Award)
  Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, and Martin Rinard
  Proceedings of the 2014 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2014)
  Portland, Oregon, October 2014
  

• Automatic Runtime Error Repair and Containment via Recovery Shepherding
  Fan Long, Stelios Sidiroglou-Douskos, and Martin Rinard
  Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014)
  Edinburgh, UK, June 2014
  

• Sound Input Filter Generation for Integer Overflow Errors
  Fan Long, Stelios Sidiroglou-Douskos, Deokhwan Kim, and Martin Rinard
  Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014)
  San Diego, California, January 2014
  

• A Source-to-Source Transformation Tool for Error Fixing
  Youry Khmelevsky, Martin Rinard, Stelios Sidiroglou-Douskos
  CASCON 2013
  Toronto, Canada November 2013
  

• Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware (Best Paper Award)
  Michael Carbin, Sasa Misailovic, and Martin Rinard
  Proceedings of the 2013 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2013)
  Indianapolis, Indiana, October 2013
  

• From Natural Language Specifications to Program Input Parsers
  Tao Lei, Fan Long, Regina Barzilay, and Martin Rinard
  Association For Computational Linguistics 2013
  Sofia, Bulgaria, August 2013
  

• Parallel Synchronization-Free Approximate Data Structure Construction
  Martin Rinard
  Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism
  San Jose, California, June 2013
  The full version of this paper is available.
  

• Parallelizing Sequential Programs with Statistical Accuracy Tests
  Sasa Misailovic, Deokhwan Kim, and Martin Rinard
  ACM Transactions on Embedded Computing Systems
  Volume 12, Number 2s (May 2013)
  Copyright 2013 by ACM, Inc.
  

• Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies
  Karthick Jayaraman, Mahesh Tipunitara, Vijay Ganesh, Martin Rinard, and Steven Chapin
  ACM Transactions on Information and System Security
  Volume 15, Number 4 (April 2013)
  Copyright 2013 by ACM, Inc.
  

• 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 Rinard, and Dawn Xiaodong Song
  20th Annual Network & Distributed System Security Symposium
  San Diego, California February 2013
  

• Verified integrity properties for safe approximate program transformations
  Michael Carbin, Deokhwan Kim, Sasa Misailovic, and Martin C. Rinard
  Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013
  Rome, Italy January 2013
  

• An Introduction to Data Representation Synthesis
  Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, and Mooly Sagiv
  Communications of the ACM, Volume 55, Number 12
  December 2012
  

• Dancing With Uncertainty
  Sasa Misailovic, Stelios Sidiroglou, and Martin Rinard
  RACES - SPLASH 2012 Workshop on Relaxing Synchronization for Multicore and Manycore Scalability
  Tucson, Arizona October 2012
  

• Unsynchronized Techniques for Approximate Parallel Computing
  Martin Rinard
  RACES - SPLASH 2012 Workshop on Relaxing Synchronization for Multicore and Manycore Scalability
  Tucson, Arizona October 2012
  

• (Relative) Safety Properties for Relaxed Approximate Programs
  Michael Carbin and Martin Rinard
  RACES - SPLASH 2012 Workshop on Relaxing Synchronization for Multicore and Manycore Scalability
  Tucson, Arizona October 2012
  

• Bolt: On-Demand Infinite Loop Escape in Unmodified Binaries
  Michael Kling, Sasa Misailovic, Michael Carbin, and Martin Rinard
  Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2012)
  Tucson, Arizona October 2012
  

• Example-Driven Program Synthesis for End-User Programming: Technical Perspective
  Martin Rinard
  Communications of the ACM, Volume 55, Number 8
  August 2012
  

• Lynx: A Programmatic SAT Solver for the RNA-Folding Problem
  Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, and Armando Solar-Lezama
  Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference
  Trento, Italy, June 2012
  

• Obtaining and Reasoning About Good Enough Software
  Martin Rinard
  The 49th Annual Design Automation Conference 2012 (DAC '12)
  San Francisco, CA, June 2012
  

• Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs
  Michael Carbin, Deokhwan Kim, Sasa Misailovic, and Martin Rinard
  Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2012)
  Beijing, China, June 2012
  

• Concurrent Data Representation Synthesis (Best Paper Award)
  Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, and Mooly Sagiv
  Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2012)
  Beijing, China June 2012
  

• Automatic Input Rectification
  Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, and Martin Rinard
  Proceedings of the 34th International Conference on Software Engineering
  Zurich, Switzerland June 2012
  

• Reasoning About Lock Placements
  Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, and Mooly Sagiv
  Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012
  Tallinn, Estonia March 2012
  

• What to do When Things Go Wrong: Recovery In Complex (Computer) Systems (Keynote)
  Martin Rinard
  Companion Volume of the 11th International Conference on Aspect-oriented Software Development (AOSD 2012)
  Potsdam, Germany March 2012
  

• Randomized Accuracy-Aware Program Transformations for Efficient Approximate Computations
  Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, and Martin Rinard
  Proceedings of the 39th Annual ACM Symposium on Principles of Programming Languages (POPL 2012)
  Philadelphia, Pennsylvania January 2012
  

• Probabilistically Accurate Program Transformations
  Sasa Misailovic, Dan Roy, and Martin Rinard
  Static Analysis - 18th International Symposium (SAS 2011)
  Venice, Italy, September 2011
  

• Managing Performance vs. Accuracy Trade-offs With Loop Perforation
  Stelios Sidiroglou, Sasa Misailovic, Henry Hoffmann, and Martin Rinard
  19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13)
  Szeged Hungary, September 2011
  

• Detecting and Escaping Infinite Loops with Jolt
  Michael Carbin, Sasa Misailovic, Michael Kling, and Martin Rinard
  25th European Conference on Object-Oriented Programming (ECOOP 2011)
  Lancaster UK, July 2011
  

• Verification of Semantic Commutativity Conditions and Inverse Operations on Linked Data Structures
  Deokhwan Kim and Martin Rinard
  Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011)
  San Jose, California June 2011
  

• Data Representation Synthesis (Best Paper Award)
  Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard and Mooly Sagiv
  Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011)
  San Jose, California June 2011
  

• Dynamic Knobs for Responsive Power-Aware Computation
  Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, and Martin Rinard
  Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011)
  Newport Beach, CA March 2011
  

• Probabilistic Accuracy Bounds for Perforated Programs
  A New Foundation for Program Analysis and Transformation (Invited Talk)
  Martin Rinard
  ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM '11)
  Austin, TX January 2011
  

• Manipulating Program Functionality to Eliminate Security Vulnerabilities
  Martin Rinard
  Advances in Information Security
  Volume 54, 2011 ISBN 978-1-4614-0976-2
  (Also in ARO Workshop on Moving Target Defense, George Mason University, October 2010)
  

• Data Structure Fusion
  Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard and Mooly Sagiv
  Proceedings of the Eighth Asian Symposium on Programming Languages and Systems
  Shanghai, China November 2010
  

• Rapid Haplotype Inference for Nuclear Families
  Amy Williams, David Housman, Martin Rinard, and David Gifford
  Genome Biology 2010, 11(10): R108
  

• Manipulating Program Functionality to Eliminate Security Vulnerabilities
  Martin Rinard
  ARO Workshop on Moving Target Defense
  George Mason University, October 2010
  (Also in Advances in Information Security, Volume 54, 2011 ISBN 978-1-4614-0976-2)
  

• Patterns and Statistical Analysis for Understanding Reduced Resource Computing
  Martin Rinard, Henry Hoffmann, Sasa Misailovic, and Stelios Sidiroglou
  Proceedings of Onward! 2010
  Reno/Tahoe, Nevada, October 2010
  

• Optimal Scheduling of Urgent Preemptive Tasks
  Stefan Andrei, Albert Cheng, Martin Rinard, and Lawrence Osborne
  Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'10)
  Macao, China, August 2010
  

• Automatically Identifying Critical Input Regions and Code in Applications
  Michael Carbin and Martin Rinard
  Proceedings of the 2010 International Conference on Software Testing and Analysis (ISSTA 2010)
  Trento, Italy, July 2010
  

• Quality of Service Profiling
  Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, and Martin C. Rinard
  Proceedings of the ACM/IEEE 32nd International Conference on Software Engineering (ICSE 2010)
  Cape Town, South Africa, May 2010
  

• WikiDo
  Nate Kushman, Micah Brodsky, S.R.K. Branavan, Dina Katabi, Regina Barzilay, and Martin C. Rinard
  Proceedings of Eighth ACM Workshop on Hot Topics in Networks (HotNets-VIII)
  New York, New York, October 2009
  

• Automatically Patching Errors in Deployed Software
  (PostScript)
  Jeff H. Perkins, Sunghun Kim, Sam Larsen, Saman Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, and Martin C. Rinard
  22nd ACM Symposium on Operating Systems Principles (SOSP 2009)
  Big Sky, Montana, October 2009
  

• A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems
  Stefan Andrei, Gheorghe Grigoras, Martin Rinard, Roland Yap
  Proceedings of 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'09)
  Timisoara, Romania, September 2009
  

• Integrated Reasoning and Proof Choice Point Selection in the Jahob System (Mechanisms for Program Survival)
  (PostScript)
  Martin C. Rinard
  Proceedings of the 22nd International Conference on Automated Deduction (Invited Paper)
  Montreal, Canada, August 2009
  

• Survival Strategies for Synthesized Hardware Systems
  (PostScript)
  Martin C. Rinard
  Proceedings of the Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2009) (Invited Paper)
  Cambridge, Massachusetts, July 2009
  

• An Integrated Proof Language for Imperative Programs
  (PostScript)
  Karen Zee, Viktor Kuncak, and Martin C. Rinard
  Proceedings of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI 2009)
  Dublin, Ireland, June 2009
  

• Automatic Extraction of Heap Reference Properties in Object-Oriented Programs
  Brian Demsky and Martin C. Rinard
  IEEE Transactions on Software Engineering
  Volume 35, Number 3, May-June 2009
  

• Taint-Based Directed White-Box Fuzzing
  Vijay Ganesh, Tim Leek, and Martin C. Rinard
  Proceedings of the 31st International Conference on Software Engineering (ICSE 2009)
  Vancouver, Canada, May 2009
  

• Histogram-Based Global Load Balancing in Structured Peer-to-Peer Systems
  Quang Hieu Vu, Beng Chin Ooi, Martin C. Rinard, and Kian-Lee Tan
  IEEE Transactions on Knowledge and Data Engineering
  Volume 21, Number 4, April 2009
  

• Technical Perspective - Patching Program Errors
  Martin C. Rinard
  Communications of the ACM
  Volume 51, Number 12, December 2008
  

• SIGPLAN Programming Language Curriculum Workshop: Discussion Summaries and Recommendations
  Eric Allen, Mark W. Bailey, Rastislav Bodik, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, and Mitchell Wand
  SIGPLAN Programming Language Curriculum Workshop
  SIGPLAN Notices
  Volume 43, Number 11, November 2008
  

• Using Programming Language Concepts to Teach General Thinking Skills
  Martin C. Rinard
  SIGPLAN Programming Language Curriculum Workshop
  SIGPLAN Notices
  Volume 43, Number 11, November 2008
  

• Full Functional Verification of Linked Data Structures
  (PostScript)
  Karen Zee, Viktor Kuncak, and Martin C. Rinard
  Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI 2008)
  Tucson, Arizona, June 2008
  

• Verifying Linked Data Structure Implementations
  Karen Zee, Viktor Kuncak, and Martin C. Rinard
  NSF Next Generation Software (NGS) Workshop
  IPDPS - IEEE International Parallel & Distributed Processing Symposium
  Miami, Florida, April 2008
  

• Using Early Phase Termination to Eliminate Load Imbalances at Barrier Synchronization Points
  (PostScript)
  Martin C. Rinard
  2007 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007)
  Montreal, Canada, October 2007
  

• Living in the Comfort Zone
  (PostScript)
  Martin C. Rinard
  2007 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007)
  Onwards! Session
  Montreal, Canada, October 2007
  

• Detecting and Eliminating Memory Leaks Using Cyclic Memory Allocation
  (PostScript)
  Huu Hai Nguyen and Martin C. Rinard
  2007 International Symposium on Memory Management
  Montreal, Canada, October 2007
  

• Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
  Viktor Kuncak and Martin C. Rinard
  Proceedings of 21st Conference on Automated Deduction (CADE-21)
  Bremen, Germany, July 2007
  

• Static Verification of Design Constraints and Software Correctness Properties in the Hob System.
  (PostScript)
  Patrick Lam and Martin C. Rinard
  NSF Next Generation Software (NGS) Workshop
  IPDPS - IEEE International Parallel & Distributed Processing Symposium
  Long Beach, California, March 2007
  

• Polynomial Constraints for Sets with Cardinality Bounds
  Bruno Marnette, Viktor Kuncak, and Martin C. Rinard
  Proceedings of 10th International Conference on Foundations of Software Science and Computation Structures
  Braga, Portugal, March 2007
  

• Verifying Complex Properties Using Symbolic Shape Analysis
  Thomas Weis, Viktor Kuncak, Karen Zee, Andreas Podelski, and Martin C. Rinard
  Workshop on Heap Abstraction and Verification (HAV 2007)
  Braga, Portugal, March 2007
  

• Runtime Checking for Program Verification
  Karen Zee, Viktor Kuncak, Michael Taylor, and Martin C. Rinard
  Seventh Workshop on Runtime Verification (RV'07)
  Vancouver, British Columbia, Canada, March 2007
  

• Using First-Order Theorem Provers in the Jahob Data Structure Verification System
  Charles Bouillaguet, Viktor Kuncak, Thomas Weis, Karen Zee, and Martin C. Rinard
  Eighth International Conference on Verification, Model Checking, and Abstract Interpretation
  Nice, France, January 2007
  

• Modular Pluggable Analyses for Data Structure Consistency
  Viktor Kuncak, Patrick Lam, Karen Zee, and Martin C. Rinard
  IEEE Transactions on Software Engineering
  Volume 32, Number 12, December 2006
  

• Goal-Directed Reasoning for Specification-Based Data Structure Repair
  Brian Demsky and Martin C. Rinard
  IEEE Transactions on Software Engineering
  Volume 32, Number 12, December 2006
  

• The Ultra Challenge: Software Systems Beyond Big
  Steven Fraser, Gregor Kiczales, Ricardo Lopez, Peter G. Neumann, Linda M. Northrop, Martin C. Rinard, Douglas C. Schmidt, and Kevin Sullivan The
  2006 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications Companion (OOPSLA '06 Companion)
  Portland, Oregon, October 2006
  

• Incremental Deterministic Planning
  Stefan Andrei, Wei-Ngan Chin, and Martin C. Rinard
  Proceedings of 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06)
  Timisoara, Romania, September 2006
  

• Automated Techniques for Surviving (Otherwise) Fatal Software Errors
  (PostScript)
  Martin C. Rinard
  Proceedings of the Workshop on Verification and Debugging (V&D 2006)
  Seattle, Washington, August 2006
  

• Inference and Enforcement of Data Structure Consistency Specifications
  (PostScript)
  Brian Demsky, Michael Ernst, Philip Guo, Stephen McCamant, Jeff Perkins, and Martin C. Rinard
  International Symposium on Software Testing and Analysis (ISSTA 2006)
  Portland, Maine, July 2006
  

• Probabilistic Accuracy Bounds for Fault-Tolerant Computations That Discard Tasks
  (PostScript)
  Martin C. Rinard
  20th ACM International Conference on Supercomputing
  Cairns, Australia, June 2006
  

• Deciding Boolean Algebra with Presburger Arithmetic
  Viktor Kuncak, Huu Hai Nguyen, and Martin C. Rinard
  Journal of Automated Reasoning
  Volume 36, Number 3, April 2006
  

• An overview of the Jahob analysis system: Project Goals and Current Status
  (PostScript)
  Viktor Kuncak and Martin C. Rinard
  NSF Next Generation Software (NGS) Workshop
  IPDPS - IEEE International Parallel & Distributed Processing Symposium
  Rhodes, Greece, April 2006
  

• Field Constraint Analysis
  (PostScript)
  Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, and Martin C. Rinard
  7th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2006)
  Charleston, South Carolina, January 2006
  

• BATON A Balanced Tree Structure for Peer-to-Peer Networks
  H.V. Jagadish, Beng Chin Ooi, Martin C. Rinard, and Quang Hieu Vu
  Singapore-MIT Alliance 2006 Symposium (Poster Paper)
  Singapore, January 2006
  

• Survival Techniques for Computer Programs
  Martin C. Rinard
  Singapore-MIT Alliance 2006 Symposium
  Singapore, January 2006
  

• Exploring the Acceptability Envelope
  (PostScript)
  Martin C. Rinard, Cristian Cadar, and Huu Hai Nguyen
  2005 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications Companion (OOPSLA '05 Companion)
  Onwards! Session
  San Diego, California, USA. October 2005
  

• Efficient Object-Based Software Transactions.
  C. Scott Ananian and Martin C. Rinard
  Synchronization and Concurrency in Object-Oriented Languages (SCOOL), OOPSLA 2005 Workshop
  San Diego, California, USA. October 2005
  

• Implications of a Data Structure Consistency Checking System
  (PostScript)
  Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
  Verified Software: Theories, Tools, Experiments (VSTTE) IFIP Working Group 2.3 Conference
  Zurich, Switzerland, October 2005
  

• Memory Usage Verification for OO Programs
  Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, and Martin C. Rinard
  Proceedings of the 12th Annual International Static Analysis Symposium (SAS 2005)
  London, United Kingdom, September 2005
  

• An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
  (PostScript)
  Viktor Kuncak, Huu Hai Nguyen, and Martin C. Rinard
  Proceedings of the 20th International Conference on Automated Deduction (CADE-20)
  Tallinn, Estonia, July 2005
  

• Optimizations for Compiling Declarative Models into Boolean Formulas
  Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, and Martin C. Rinard
  Proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing (SAT 2005)
  St. Andrews, Scotland, June 2005
  

• Data Structure Repair Using Goal-Directed Reasoning (Distinguished Paper Award)
  (PostScript)
  Brian Demsky and Martin C. Rinard
  Proceedings of the 2005 International Conference on Software Engineering
  St. Louis, Missouri, May 2005
  

• Hob: A Tool for Verifying Data Structure Consistency
  (PostScript)
  Patrick Lam, Viktor Kuncak, and Martin C. Rinard
  Tool Demonstration Paper, Proceedings of the International Conference on Compiler Construction
  Edinburgh, Scotland, April 2005
  

• Cross-cutting Techniques in Program Specification and Analysis
  (PostScript)
  Patrick Lam, Viktor Kuncak, and Martin C. Rinard
  Proceedings of the 2005 International Conference on Aspect-Oriented Software Development
  Chicago, Illinois, March 2005
  

• Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions
  Radu Rugina and Martin C. Rinard
  ACM Transactions on Programming Languages and Systems
  Volume 27, Number 2 (March 2005), pp. 185-235.
  Copyright 2005 by ACM, Inc.
  

• Decision Procedures for Set-Valued Fields
  Viktor Kuncak and Martin C. Rinard
  1st International Workshop on Abstract Interpretation of Object-Oriented Languages (AIOOL 2005)
  Paris, France, January 2005
  

• Generalized Typestate Checking for Data Structure Consistency
  (PostScript)
  Patrick Lam, Viktor Kuncak, and Martin C. Rinard
  Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation
  Paris, France, January 2005
  

• Purity and Side Effect Analysis for Java Programs
  (PostScript)
  Alexandru Salcianu and Martin C. Rinard
  Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation
  Paris, France, January 2005
  

• Memory Usage Inference for Object-Oriented Programs
  Huu Hai Nguyen, Wei Ngan Chin, Shengchao Qin, and Martin C. Rinard
  Singapore-MIT Alliance 2005 Symposium
  Singapore, January 2005
  

• Failure-Oblivious Computing and Boundless Memory Blocks
  Martin C. Rinard
  Singapore-MIT Alliance 2005 Symposium
  Singapore, January 2005
  

• Enhancing Server Availability and Security Through Failure-Oblivious Computing
  (PostScript)
  Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee, Jr.
  Proceedings of the 6th Symposium on Operating Systems Design and Implementation
  San Francisco, California, December 2004
  

• A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors)
  (PostScript)
  Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, and Tudor Leu
  Proceedings of the 2004 Annual Computer Security Applications Conference
  Tucson, Arizona, December 2004
  

• Verifying a File System Implementation
  (PostScript)
  Konstantine Arkoudas, Karen Zee, Viktor Kuncak, and Martin C. Rinard
  Proceedings of the Sixth International Conference on Formal Engineering Methods (ICFEM 2004)
  Seattle, Washington, November 2004
  

• Combining Theorem Proving With Static Analysis for Data Structure Consistency
  (PostScript)
  Karen Zee, Patrick Lam, Viktor Kuncak, and Martin C. Rinard
  Proceedings of the Second Workshop on Software Verification and Validation
  Seattle, Washington, November 2004
  

• A Classification System and Analysis for Aspect-Oriented Programs (Distinguished Paper Award)
  (PostScript)
  Martin C. Rinard, Alexandru Salcianu, and Suhabe Bugrara
  Proceedings of the Twelfth International Symposium on the Foundations of Software Engineering
  Newport Beach, California, November 2004
  

• Modular Pluggable Analyses for Data Structure Consistency
  Viktor Kuncak, Patrick Lam, Karen Zee, and Martin C. Rinard
  Monterey Workshop on Software Engineering Tools: Compatibility and Integration
  Vienna, Austria, October 2004
  

• Generalized Records and Spatial Conjunction in Role Logic
  (PostScript)
  Viktor Kuncak and Martin C. Rinard
  Proceedings of the 11th Annual International Static Analysis Symposium (SAS 2004)
  Verona, Italy, August 2004
  

• Region Inference for an Object-Oriented Language
  Wei-Ngan Chin, Florin Craciun, Shengchao Qin, and Martin C. Rinard
  Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation (PLDI 2004)
  Washington, District of Columbia, June 2004
  

• Efficient Specification-Assisted Error Localization
  (PostScript)
  Brian Demsky, Cristian Cadar, Daniel Roy, and Martin C. Rinard
  Proceedings of the Second International Workshop on Dynamic Analysis
  Edinburgh, Scotland, May 2004
  

• Deductive Runtime Certification
  Konstantine Arkoudas and Martin C. Rinard
  Proceedings of the 2004 Workshop on Runtime Verification (RV '04)
  Barcelona, Spain, April 2004
  

• Generalized Typestate Checking Using Set Interfaces and Pluggable Analyses
  Patrick Lam, Viktor Kuncak, and Martin C. Rinard
  ACM SIGPLAN Notices
  Volume 39, Issue 3 (March 2004) pp. 46-55
  

• Boolean Algebra of Shape Analysis Constraints
  (PostScript)
  Viktor Kuncak and Martin C. Rinard
  5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2004)
  Venice, Italy, January 2004
  

• Region Type Checking for Core-Java
  Wei Ngan Chin, Shengchao Qin, and Martin C. Rinard
  Singapore-MIT Alliance 2004 Symposium
  Singapore, January 2004
  

• Building Resilient Systems Using Acceptability-Oriented Computing
  Martin C. Rinard
  Singapore-MIT Alliance 2004 Symposium
  Singapore, January 2004
  

• Static Specification Analysis for Termination of Specification-Based Data Structure Repair
  (PostScript)
  Brian Demsky and Martin C. Rinard
  Proceedings of the 14th IEEE International Symposium on Software Reliability Engineering
  Denver, Colorado, November 2003
  

• Utility Accrual Scheduling With Real-Time Java
  Shahrooz Feizabadi, William S. Beebee, Jr., Binoy Ravindran, Peng Li, and Martin C. Rinard
  Proceedings of The First Workshop on Java Technologies for Real-Time and Embedded Systems
  Catania, Sicily, Italy November 2003
  

• Acceptability-Oriented Computing (Most Notable Paper Award, Onward! 2013)
  (PostScript)
  Martin C. Rinard
  2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications Companion (OOPSLA '03 Companion)
  Onwards! Session
  Anaheim, California, October 2003
  Talk slides available here
  

• Automatic Detection and Repair of Errors in Data Structures
  (PostScript)
  Brian Demsky and Martin C. Rinard
  Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '03)
  Anaheim, California, October 2003
  

• A Formal Framework for Modular Synchronous System Design
  (PostScript)
  Maria-Cristina Marinescu and Martin C. Rinard
  Proceedings of the 12th International Formal Methods Europe Symposium
  Pisa, Italy September 2003
  

• A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
  (PostScript)
  Patrick Lam and Martin C. Rinard
  2003 European Conference on Object-Oriented Programming (ECOOP 2003)
  Darmstadt, Germany, July 2003
  

• Structural Subtyping of Non-Recursive Types is Decidable
  Viktor Kuncak and Martin C. Rinard
  Proceedings of the Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003)
  Ottawa, Canada, June 2003
  

• Existential Heap Abstraction Entailment is Undecidable
  Viktor Kuncak and Martin C. Rinard
  Proceedings of the 10th Annual International Static Analysis Symposium (SAS 2003)
  San Diego, California, June 2003
  

• Automatic Data Structure Repair for Self-Healing Systems
  (PostScript)
  Brian Demsky and Martin C. Rinard
  First Workshop on Algorithms and Architectures for Self-Managed Systems
  San Diego, California, June 2003
  

• Data Size Optimizations for Java Programs
  C. Scott Ananian and Martin C. Rinard
  2003 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES '03)
  San Diego, California, June 2003
  

• Ownership Types for Safe Region-Based Memory Management in Real-Time Java
  Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, and Martin C. Rinard
  Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003)
  San Diego, California, June 2003
  

• Eliminating Synchronization Bottlenecks Using Adaptive Replication
  Martin C. Rinard and Pedro Diniz
  ACM Transactions on Programming Languages and Systems
  Volume 25, Number 3 (May 2003), pp. 316-359.
  Copyright 2003 by ACM, Inc.
  

• Integrating Model Checking and Theorem Proving for Relational Reasoning
  Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, and Martin C. Rinard
  7th International Seminar on Relational Methods in Computer Science (RelMiCS 2003)
  Malente, Germay, May 2003
  

• Pipa: A Behavioral Interface Specification Language for AspectJ
  Jianjun Zhao and Martin C. Rinard
  Fundamental Approaches to Software Engineering (FASE 2003)
  Warsaw, Poland, April 2003
  

• Interprocedural Compatability Analysis for Static Object Preallocation
  (PostScript)
  Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin C. Rinard
  Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages (POPL 2003)
  New Orleans, Louisiana, January 2003
  

• Pointer Analysis for Structured Parallel Programs
  (PostScript)
  Radu Rugina and Martin C. Rinard
  ACM Transactions on Programming Languages and Systems
  Volume 25, Number 1 (January 2003), pp. 1-47.
  Copyright 2003 by ACM, Inc.
  

• Credible Compilation
  (PostScript)
  Martin C. Rinard
  Singapore-MIT Alliance 2003 Symposium
  Singapore, January 2003
  

• Ownership Types for Safe Programming: Preventing Data Races and Deadlocks
  Chandrasekhar Boyapati, Robert Lee, and Martin C. Rinard
  Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '02)
  Seattle, Washington, November 2002
  Talk slides available here
  

• Write Barrier Removal by Static Analysis
  Karen Zee and Martin C. Rinard
  Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '02)
  Seattle, Washington, November 2002
  

• Role-Based Exploration of Object-Oriented Programs
  Brian Demsky and Martin C. Rinard
  Proceedings of the 2002 International Conference on Software Engineering
  Orlando, Florida, May 2002
  Talk slides available here
  

• Write Barrier Removal by Static Analysis
  Karen Zee and Martin C. Rinard
  ACM SIGPLAN Notices
  Volume 37, Issue 4 (April 2002) pp. 32-41
  

• Role Analysis
  (PostScript)
  Viktor Kuncak, Patrick Lam, and Martin C. Rinard
  Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages (POPL 2002)
  Portland, Oregon, January 2002
  Talk slides available here
  

• High-Level Synthesis of Pipelined Circuits from Modular Queue-Based Specifications
  (PostScript)
  Maria-Cristina Marinescu and Martin C. Rinard
  Transactions of the Institute of Electronics, Information, and Communication Engineers (IEICE)
  Special Section on VLSI and CAD Algorithms
  Volume E84-A, Number 11 (November 2001), pp. 2655-2664.
  

• A Parameterized Type System for Race-Free Java Programs
  Chandrasekhar Boyapati and Martin C. Rinard
  Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '01)
  Tampa Bay, Florida, October 2001
  Talk slides available here
  

• An Implementation of Scoped Memory for Real-Time Java
  William S. Beebee and Martin C. Rinard
  Proceedings of Embedded Software, First International Workshop, EMSOFT 2001
  Tahoe City, California, October 2001
  Talk slides available here
  

• High-level Automatic Pipelining of Sequential Circuits
  (PostScript)
  Maria-Cristina Marinescu and Martin C. Rinard
  Proceedings of the 14th International Symposium on System Synthesis (ISSS 2001)
  Montreal, Canada, October 2001
  

• A Language for Role Specifications
  (PostScript)
  Viktor Kuncak, Patrick Lam, and Martin C. Rinard
  Languages and Compilers for Parallel Computing, Fourteenth International Workshop
  Cumberland Falls, Kentucky, August 2001
  

• Analysis of Multithreaded Programs
  Martin C. Rinard
  Proceedings of the 8th Static Analysis Symposium (Invited Paper)
  Paris, France, July 2001
  Talk slides available here
  

• Incrementalized Pointer and Escape Analysis
  (PostScript)
  Frederic Vivien and Martin C. Rinard
  Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation (PLDI 2001)
  Snowbird, Utah, June 2001
  The full version of this paper is available.
  Talk slides available here
  

• Pointer and Escape Analysis for Multithreaded Programs
  (PostScript)
  Alexandru Salcianu and Martin C. Rinard
  Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2001)
  Snowbird, Utah, June 2001
  Talk slides available here
  

• Design-Driven Compilation
  (PostScript)
  Radu Rugina and Martin C. Rinard
  Proceedings of the International Conference on Compiler Construction
  Genova, Italy, April 2001
  The full version of this paper is available.
  Talk slides available here
  

• High-Level Specification and Efficient Implementation of Pipelined Circuits
  (PostScript)
  Maria-Cristina Marinescu and Martin C. Rinard
  Proceedings of the Asia South Pacific Design Automation Conference
  Yokohama, Japan, January 2001
  Talk slides available here
  

• Recursion Unrolling for Divide and Conquer Programs
  (PostScript)
  Radu Rugina and Martin C. Rinard
  Languages and Compilers for Parallel Computing, Thirteenth International Workshop
  Yorktown Heights, New York, August 2000
  Talk slides available here
  

• Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions
  (PostScript)
  Radu Rugina and Martin C. Rinard
  Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, pp. 182-195.
  Vancouver, Canada, June 2000
  The full version of this paper is available.
  Talk slides available here
  

• Software Analysis: A Roadmap
  Daniel Jackson and Martin C. Rinard
  A chapter in "The Future of Software Engineering",
  Editor Anthony Finkelstein, ACM Press, June 2000
  

• A Synthesis Algorithm for the Modular Design of Pipelined Circuits
  (PostScript)
  Maria-Cristina Marinescu and Martin C. Rinard
  Proceedings of the VLSI 99 X IFIP International Conference on VLSI
  Lisbon, Portugal, December 1999
  Talk slides available here
  

• Effective Fine-Grain Synchronization for Automatically Parallelized Programs Using Optimistic Synchronization Primitives
  Martin C. Rinard
  ACM Transactions on Computer Systems
  Volume 17, Number 4 (November 1999), pp. 337-371.
  Copyright 1999 by ACM, Inc.
  

• Compositional Pointer and Escape Analysis for Java Programs (updated version)
  John Whaley and Martin C. Rinard
  Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '99), pp. 107-206
  Denver, Colorado, November 1999
  Talk slides available here
  

• Synchronization Transformations for Parallel Computing
  Pedro C. Diniz and Martin C. Rinard
  Concurrency Practice & Experience
  Volume 11, Number 13 (November 1999), pp. 773-802.
  

• Credible Compilation with Pointers
  Martin C. Rinard and Darko Marinov
  Proceedings of the FLoC Workshop on Run-Time Result Verification
  Trento, Italy, July 1999
  Talk slides available here
  

• Eliminating Synchronization Bottlenecks in Object-Based Programs Using Adaptive Replication
  Martin C. Rinard and Pedro C. Diniz
  1999 ACM International Conference on Supercomputing, pp. 83-92
  Rhodes, Greece, June 1999
  The full version of this paper is available.
  Talk slides available here
  

• Automatic Parallelization of Divide and Conquer Algorithms
  Radu Rugina and Martin C. Rinard
  Proceedings of the Seventh ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 72-83
  Atlanta, Georgia, May 1999
  Talk slides available here
  

• Pointer Analysis for Multithreaded Programs
  Radu Rugina and Martin C. Rinard
  Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation, pp. 77-90
  Atlanta, Georgia, May 1999
  The full version of this paper is available.
  Talk slides available here
  

• Eliminating Synchronization Overhead in Automatically Parallelized Programs Using Dynamic Feedback
  Pedro C. Diniz and Martin C. Rinard
  ACM Transactions on Computer Systems
  Volume 17, Number 2 (May 1999), pp. 89-132.
  Copyright 1999 by ACM, Inc.
  

• Parallelizing Applications Into Silicon (One of the 25 Most Significant Papers From the First 20 Years of FCCM)
  Jonathan Babb, Martin C. Rinard, Andras Moritz, Walter Lee, Matthew Frank, Rajeev Barua, and Saman Amarasinghe
  Proceedings of the IEEE Workshop on FPGAs for Custom Computing Machines '99 (FCCM '99)
  Napa Valley, CA, April 1999
  

• Implicitly Synchronized Abstract Data Types: Data Structures for Modular Parallel Programming
  Martin C. Rinard
  Journal of Programming Languages
  Volume 6 (1998), pp. 1-35.
  

• The Design, Implementation, and Evaluation of Jade
  Martin C. Rinard and Monica S. Lam
  ACM Transactions on Programming Languages and Systems
  Volume 20, Number 3 (May 1998), pp. 483-545.
  Copyright 1998 by ACM, Inc.

• Applications Experience in Jade
  Martin C. Rinard
  Concurrency Practice & Experience
  Volume 10, Number 6 (May 1998), pp. 417-448.
  

• Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-based Programs
  Pedro C. Diniz and Martin C. Rinard
  Journal of Parallel and Distributed Computing
  Volume 49, Number 2, (March 1998), pp. 218-244.
  

• Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers
  Martin C. Rinard and Pedro C. Diniz
  ACM Transactions on Programming Languages and Systems
  Volume 19, Number 6 (November 1997), pp. 942-991.
  Copyright 1997 by ACM, Inc.
  

• Effective Fine-Grain Synchronization For Automatically Parallelized Programs Using Optimistic Synchronization Primitives
  Martin C. Rinard
  Proceedings of the Sixth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 112-123
  Las Vegas, Nevada, June 1997
  Talk slides available here
  

• Dynamic Feedback: An Effective Technique for Adaptive Computing
  Pedro C. Diniz and Martin C. Rinard
  Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation, pp. 71-84
  Las Vegas, Nevada, June 1997
  Talk slides available here
  

• Locality Optimizations for Parallel Computing Using Data Access Information
  Martin C. Rinard
  International Journal of High Speed Computing
  Volume 9, Number 2 (June 1997), pp. 161-179.
  

• On The Complexity of Commutativity Analysis
  Oscar H. Ibarra, Pedro C. Diniz, and Martin C. Rinard
  International Journal of Foundations of Computer Science
  Volume 8, Number 1 (March 1997), pp. 81-94.
  

• Synchronization Transformations for Parallel Computing
  Pedro C. Diniz and Martin C. Rinard
  Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Programming Languages, pp. 187-200
  Paris, France, January 1997
  Talk slides available here
  

• Semantic Foundations of Commutativity Analysis
  Martin C. Rinard and Pedro C. Diniz
  Second International Euro-Par Conference, pp. 414-423
  Lyon, France, August 1996
  

• Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs
  Pedro C. Diniz and Martin C. Rinard
  Languages and Compilers for Parallel Computing, Ninth International Workshop, pp. 284-299
  San Jose, California, August 1996
  Talk slides available here
  

• On the Complexity of Commutativity Analysis
  Oscar Ibarra, Pedro C. Diniz, and Martin C. Rinard
  2nd Annual International Computing and Combinatorics Conference, pp. 323-332
  Hong Kong, June 1996
  

• Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers
  Martin C. Rinard and Pedro C. Diniz
  Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pp. 54-67
  Philadelphia, Pennsylvania, May 1996
  Talk slides available here
  

• An Integrated Synchronization and Consistency Protocol for the Implementation of a High-Level Parallel Programming Language
  Martin C. Rinard
  10th International Parallel Processing Symposium, pp. 549-553
  Honolulu, Hawaii, April 1996
  Talk slides available here
  

• Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations
  Martin C. Rinard and Pedro C. Diniz
  10th International Parallel Processing Symposium, pp. 14-22
  Honolulu, Hawaii, April 1996
  

• Communication Optimizations for Parallel Computing Using Data Access Information
  (PostScript)
  Martin C. Rinard
  Proceedings of Supercomputing '95
  San Diego, California, December 1995.
  Talk slides available here
  

• Implicitly Synchronized Abstract Data Types: Data Structures for Modular Parallel Programming
  (PostScript)
  Martin C. Rinard
  Proceedings of the 2nd International Workshop on Massive Parallelism: Hardware, Software and Applications, pp. 259-274
  Capri, Italy, October 1994.
  
• The Design, Implementation and Evaluation of Jade, a Portable, Implicitly Parallel Programming Language
  (PostScript)
  Martin C. Rinard
  Ph.D. Thesis, Stanford University
  September, 1994
  

• Jade: A High-Level, Machine-Independent Language for Parallel Programming
  (PostScript)
  Martin C. Rinard, Daniel J. Scales, and Monica S. Lam
  Computer, June 1993, pp. 28-38.
  

• Heterogeneous Parallel Programming in Jade
  (PostScript)
  Martin C. Rinard, Daniel J. Scales, and Monica S. Lam
  Proceedings of SuperComputing '92, pp. 245-256
  Minneapolis, Minnesota, November 1992
  
• Semantic Foundations of Jade
  (PostScript)
  Martin C. Rinard and Monica S. Lam
  Proceedings of the Nineteenth Annual ACM Symposium on Principles of Programming Languages, pp. 105-118
  Albuquerque, New Mexico, January 1992
  
• Hierarchical Concurrency in Jade
  (PostScript)
  Daniel J. Scales, Martin C. Rinard, Monica S. Lam, and Jennifer Anderson
  Languages and Compilers for Parallel Computing, Fourth International Workshop, pp. 50-64
  Springer-Verlag LNCS 589, January 1992
  

• Coarse-grain Parallel Programming in Jade
  (PostScript)
  Monica S. Lam and Martin C. Rinard
  Proceedings of the Third ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 95-105
  Williamsburg, Virginia, April 1991
  
• Semantic Foundations of Concurrent Constraint Programming
  (Most Influential Paper in 20 Years Award, Area: Concurrent Constraint Programming, The Association for Logic Programming, 2004)
  Vijay Saraswat, Martin C. Rinard, and Prakash Panangaden
  Proceedings of the Eighteenth Annual ACM Symposium on the Principles of Programming Languages, pp. 333-352
  Orlando, Florida, January 1991
  

• Concurrent Constraint Programming
  Vijay Saraswat and Martin C. Rinard
  Proceedings of the Seventeenth Annual ACM Symposium on the Principles of Programming Languages, pp. 232-245
  San Francisco, California, January 1990
  

• Seminal Book on Nanotechnology Inspires New Course at Stanford
  Martin C. Rinard
  Chemical Design Automation News
  Volume 3, Number 8, August 1988
  

• IDEOSY: An Ideographic and Interactive Program Description System
  Alessandro Giacalone, Martin C. Rinard, and Thomas Doeppner
  Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pp. 15-20
  Pittsburgh, Pennsylvania, April 1984