Publications of Martin Rinard

Bibliographic entries in Bibtex format

Conference, Journal, Notices, and Invited Papers

• 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
  

• 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
  

• 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
  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
  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
  

• 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
  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
  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
  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
  (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
  (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
  (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
  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
  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
  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
  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
  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