Publications of the MIT Program Analysis and Compilation Group

Conference and Journal Publications:

  1. Boolean Algebra of Shape Analysis Constraints.
    Viktor Kuncak and Martin Rinard. VMCAI, January 2004.
    [DETAILS]
  2. Lazy Modular Upgrades in Persistent Object Stores.
    Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman. OOPSLA 2003.
    [ps] [pdf]
  3. Interprocedural Compatibility Analysis for Static Object Preallocation.
    Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin Rinard. POPL 2003.
    [ps] [pdf] [slides]
  4. Ownership Types for Object Encapsulation.
    Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira. POPL 2003.
    [pdf]
  5. Data Size Optimizations for Java Programs.
    C. Scott Ananian and Martin Rinard. LCTES 2003.
    [acm] [ps] [pdf]
  6. Structural Subtyping of Non-Recursive Types is Decidable.
    Viktor Kuncak and Martin Rinard. LICS 2003.
    [DETAILS]
  7. Existential Heap Abstraction Entailment is Undecidable.
    Viktor Kuncak and Martin Rinard. SAS 2003.
    [DETAILS]
  8. Ownership Types for Safe Region-Based Memory Management in Real-Time Java.
    Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Martin Rinard. PLDI 2003.
    [ps] [pdf]
  9. Ownership Types for Safe Programming: Preventing Data Races and Deadlocks.
    Chandrasekhar Boyapati, Robert Lee, Martin Rinard. OOPSLA 2002.
    [acm] [ps] [pdf] [slides]
  10. Write Barrier Removal by Static Analysis.
    Karen Zee and Martin Rinard. OOPSLA 2002.
    [acm] [pdf]
    (Earlier version appeared in ACM SIGPLAN Notices, April 2002, Volume 37, Issue 4. [acm] [pdf])
  11. Role Analysis.
    Viktor Kuncak, Patrick Lam, and Martin Rinard. POPL 2002.
    [DETAILS]
  12. Korat: Automated Testing Based on Java Predicates.
    Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov. ISSTA 2002.
    [acm] [ps] [pdf]
  13. Direct Addressed Caches for Reduced Power Consumption.
    Emmett Witchel, Sam Larsen, C. Scott Ananian, and Krste Asanović. MICRO-34, 2001.
    [ps] [pdf]
  14. A Parameterized Type System for Race-Free Java Programs.
    Chandrasekhar Boyapati and Martin Rinard. OOPSLA 2001.
    [acm] [ps] [pdf]
  15. An Implementation of Scoped Memory for Real-Time Java.
    William S. Beebee, Jr. EMSOFT 2001.
    [Springer] [pdf]
  16. Pointer and escape analysis for multithreaded programs.
    Alexandru Salcianu and Martin Rinard. PPoPP 2001.
    [acm] [pdf]
  17. Incrementalized pointer and escape analysis.
    Frédéric Vivien and Martin Rinard. PLDI 2001.
    [acm] [pdf] [pdf, full version]
  18. A Language for Role Specifications.
    Viktor Kuncak, Patrick Lam, and Martin Rinard. LCPC 2001. Also LNCS 2624.
    [DETAILS]
  19. Compositional pointer and escape analysis for Java programs.
    John Whaley and Martin Rinard. OOPSLA 1999.
    [acm] [pdf]

Technical Reports and Theses:

  1. Enhancing Availability and Security Through Failure-Oblivious Computing.
    Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, and William S. Beebee, Jr.: Technical Report 935, MIT CSAIL, March 2004.
    [pdf]
  2. SafeJava: A Unified Type System for Safe Programming.
    Chandrasekhar Boyapati. Doctoral Thesis, MIT EECS, February 2004.
    [ps] [pdf]
  3. On Modular Pluggable Analyses Using Set Interfaces.
    Patrick Lam, Viktor Kuncak, and Martin Rinard: Technical Report 933, MIT Computer Science and Artificial Intelligence Laboratory, December 2003.
    [ps] [pdf]
  4. On Role Logic.
    Viktor Kuncak and Martin Rinard: Technical Report 925, MIT Computer Science and Artificial Intelligence Laboratory, October 2003.
    [ps]
  5. On the Boolean Algebra of Shape Analysis Constraints.
    Viktor Kuncak and Martin Rinard: Technical Report 916, MIT Computer Science and Artificial Intelligence Laboratory, August 2003.
    [ps] [pdf]
  6. On the Theory of Structural Subtyping.
    Viktor Kuncak and Martin Rinard. Technical Report 879, MIT Laboratory for Computer Science, January 2003.
    [ps] [pdf]
  7. Typestate Checking and Regular Graph Constraints.
    Viktor Kuncak and Martin Rinard: Technical Report 863, MIT Laboratory for Computer Science, September 2002.
    [ps.gz]
  8. Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases.
    Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira. MIT-LCS-TR-858, July 2002.
    [ps] [pdf]
  9. Real-Time Scheduling for Java.
    Catalin A. Francu. Master's Thesis, MIT EECS. June, 2002.
    [ps] [pdf]
  10. Statically Determining Memory Consumption of Real-Time Java Threads.
    Ovidiu Gheorghioiu. Master's Thesis, MIT EECS, June 2002.
    [ps] [pdf]
  11. Pointer Analysis and its Applications for Java Programs.
    Alexandru Salcianu. Master's Thesis, MIT EECS, September 2001.
    [ps]
  12. Designing an Algorithm for Role Analysis.
    Viktor Kuncak. Master's Thesis. MIT EECS, August 2001.
    [ps.gz]
  13. Roles are really great!
    Viktor Kuncak, Patrick Lam, and Martin Rinard. Technical Report 822, MIT Laboratory for Computer Science, November 2001.
    [ps.gz]
  14. Region-Based Memory Management for Real-Time Java.
    William S. Beebee, Jr. Master's Thesis, MIT EECS, September, 2001.
    [ps] [pdf]
  15. Object Models, Heaps, and Interpretations.
    Viktor Kuncak and Martin Rinard. Technical Report 816, MIT Laboratory for Computer Science, January 2001.
    [ps.gz]
  16. The Static Single Information Form.
    C. Scott Ananian. Master's Thesis, MIT EECS. MIT-LCS-TR-801. September, 1999.
    [ps] [pdf]

MIT Program Analysis and Compilation Group