Technical Reports of Martin Rinard

• Data Structure Repair Using Goal-Directed Reasoning
  Brian Demsky
  Martin Rinard
  MIT-CSAIL-TR-950
  May 2004

• A Combined Pointer and Purity Analysis for Java Programs
  Alexandru Salcianu
  Martin Rinard
  MIT-CSAIL-TR-949
  May 2004

• On Verifying a File System Implementation
  Konstantine Arkoudas
  Karen Zee
  Viktor Kuncak
  Martin Rinard
  MIT-CSAIL-TR-946
  May 2004

• On Generalized Records and Spatial Conjunction in Role Logic
  Viktor Kuncak
  Martin Rinard
  MIT-CSAIL-TR-942
  April 2004

• On Modular Pluggable Analyses Using Set Interfaces
  Patrick Lam
  Viktor Kuncak
  Martin Rinard
  MIT-CSAIL-TR-933
  December 2003

• Efficient Specification-Assisted Error Localization and Correction
  Brian Demsky
  Cristian Cadar
  Daniel Roy
  Martin Rinard
  MIT-CSAIL-TR-XXX
  November 2003

• Enhancing Availability and Security Through Failure-Oblivious Computing
  Martin Rinard
  Cristian Cadar
  Daniel Dumitran
  Daniel Roy
  William Beebee
  MIT-CSAIL-TR-935
  November 2003

• On Role Logic
  Viktor Kuncak
  Martin Rinard
  MIT-CSAIL-TR-925
  October 2003

• On the Boolean Algebra of Shape Analysis Constraints
  Viktor Kuncak
  Martin C. Rinard
  MIT-LCS-TR-916
  August 22, 2003

• On the Theory of Structural Subtyping
  Viktor Kuncak
  Martin C. Rinard
  MIT-LCS-TR-879
  January 20, 2003

• Automatic Detection and Repair of Errors in Data Structures
  Brian Demsky
  Martin C. Rinard
  MIT-LCS-TR-875
  December 6, 2002

• A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
  Patrick Lam
  Martin C. Rinard
  MIT-LCS-TR-874
  December 5, 2002

• A Type System for Safe Region-Based Memory Management in Real-Time Java
  Alexandru Salcianu
  Chandrasekhar Boyapati
  William Beebee
  Martin C. Rinard
  MIT-LCS-TR-869
  November 18, 2002

• Typestate Checking and Regular Graph Constraints
  Viktor Kuncak
  Martin C. Rinard
  MIT-LCS-TR-863
  September 30, 2002

• Safe Runtime Downcasts with Ownership Types
  Chandrasekar Boyapati
  Martin C. Rinard
  MIT-LCS-TR-853
  September 30, 2002

• A Type System for Preventing Data Races and Deadlocks in Java Programs
  Chandrasekhar Boyapati
  Robert Lee
  Martin C. Rinard
  MIT-LCS-TR-839
  February 20, 2002

• Write Barrier Removal by Static Analysis
  Karen Zee
  Martin C. Rinard
  MIT-LCS-TR-834
  February 20, 2002

• Roles Are Really Great!
  Viktor Kuncak
  Patrick Lam
  Martin C. Rinard
  MIT-LCS-TR-863
  August 3, 2001

• Object Models, Heaps and Interpretations
  Viktor Kuncak
  Martin C. Rinard
  MIT-LCS-TR-816
  August 3, 2001

• Compositional Pointer and Escape Analysis for Multithreaded Java Programs
  Martin C. Rinard
  John Whaley
  MIT-LCS-TR-795
  November 19, 1999

• Credible Compilation
  Martin C. Rinard
  MIT-LCS-TR-776
  March 10, 1999

• An Exercise in High-level Architectural Description using a Synthesizable Subset of Term Rewriting Systems
  James C. Hoe
  Martin Rinard
  Arvind
  MIT Computation Structures Group Memo 403
  October 27, 1997

• Semantic Foundations of Commutativity Analysis
  Martin C. Rinard
  Pedro C. Diniz
  USCB Computer Science Technical Report TRCS96-09

• Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers
  Martin C. Rinard
  Pedro C. Diniz
  USCB Computer Science Technical Report TRCS96-08

• Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs
  Pedro C. Diniz
  Martin C. Rinard
  USCB Computer Science Technical Report TRCS96-07

• An Integrated Synchronization and Consistency Protocol for the Implementation of a High-Level Parallel Programming Language
  Martin C. Rinard
  USCB Computer Science Technical Report TRCS95-25

• On the Complexity of Commutativity Analysis
  Oscar Ibarra
  Pedro C. Diniz
  Martin C. Rinard
  USCB Computer Science Technical Report TRCS95-18

• Automatically Parallelizing Serial Programs Using Commutativity Analysis
  Martin C. Rinard
  Pedro C. Diniz
  USCB Computer Science Technical Report TRCS95-13

• Exploting Commuting Operations in Parallelizing Serial Programs
  Pedro C. Diniz
  Martin C. Rinard
  USCB Computer Science Technical Report TRCS95-11

• Commutativity Analysis: A New Technique for Automatically Parallelizing Serial Programs
  Martin C. Rinard
  Pedro C. Diniz
  USCB Computer Science Technical Report TRCS94-16