FLEX Papers

Published

1. Architectural and Compiler Support for Strongly Atomic Transactional Memory.
   C. Scott Ananian. PhD Thesis, MIT Dept. of Electrical Engineering and Computer Science. June, 2007.
2. Mining Object Behavior with ADABU.
   Valentin Dallmeier, Christian Lindig, Andrzej Wasylkowski, and Andreas Zeller. Proceedings of the 2006 international workshop on Dynamic systems analysis, International Conference on Software Engineering.
   [acm]
3. Unbounded Transactional Memory.
   C. Scott Ananian, Krste Asanović, Bradley C. Kuszmaul, Charles E. Leiserson, and Sean Lie. IEEE Micro Special Issue: Top Picks from Computer Architecture Conferences, January/February 2006.
4. Efficient Object-Based Software Transactions.
   C. Scott Ananian and Martin Rinard. Synchronization and Concurrency in Object-Oriented Languages (SCOOL), San Diego, CA, October 16, 2005.
5. Unbounded Transactional Memory.
   C. Scott Ananian, Krste Asanović, Bradley C. Kuszmaul, Charles E. Leiserson, and Sean Lie. 11th International Symposium on High Performance Computer Architecture (HPCA-11), San Francisco, CA, February 2005.
6. Purity and Side Effect Analysis for Java Programs.
   Alexandru Salcianu and Martin Rinard. Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation, number 3385 in LNCS, pages 199-215, January 2005.
7. A classification system and analysis for aspect-oriented programs.
   Martin Rinard, Alexandru Salcianu, and Suhabe Bugrara. Foundations of Software Engineering '04.
   [acm]
8. Data Size Optimizations for Java Programs.
   C. Scott Ananian and Martin Rinard. LCTES '03.
   [acm] [ps] [pdf]
9. Ownership Types for Safe Region-Based Memory Management in Real-Time Java.
   Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Martin Rinard. PLDI 2003.
   [acm] [ps] [ps]
10. Utility Accrual Scheduling with Real-Time Java.
    Shahrooz Feizabadi, William Beebee Jr., Binoy Ravindran, Peng Li and Martin Rinard. Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). 2003.
    [doi]
11. Interprocedural compatibility analysis for static object preallocation.
    Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin Rinard. POPL 2003.
    [acm]
12. 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])
13. Mondrian memory protection.
    Emmett Witchel, Josh Cates, Krste Asanović. ASPLOS '02.
    [acm]
14. Statically Determining Memory Consumption of Real-Time Java Threads.
    Ovidiu Gheorghioiu. Master's Thesis, MIT Dept. of Electrical Engineering and Computer Science. June, 2002.
    [ps] [pdf]
15. Real-Time Scheduling for Java.
    Catalin A. Francu. Master's Thesis, MIT Dept. of Electrical Engineering and Computer Science. June, 2002.
    [ps] [pdf]
16. Direct Addressed Caches for Reduced Power Consumption.
    Emmett Witchel, Sam Larsen, C. Scott Ananian, and Krste Asanović. 34th International Symposium on Microarchitecture (MICRO-34), Austin, TX, December 2001.
    [ps] [pdf]
17. Partial Method Compilation using Dynamic Profile Information.
    John Whaley. OOPSLA '01.
    [acm]
18. Pointer Analysis and its Applications for Java Programs.
    Alexandru Salcianu. Master's Thesis, Massachusetts Institute of Technology. September 2001.
    [ps]
19. An Implementation of Scoped Memory for Real-Time Java.
    William S. Beebee, Jr. EMSOFT 2001.
    [springer] [pdf]
20. Region-Based Memory Management for Real-Time Java.
    William S. Beebee, Jr. Master's Thesis, MIT Dept. of Electrical Engineering and Computer Science. September, 2001.
    [ps] [pdf]
21. Architecture independent register allocation.
    Felix S. Klock, II. Master's Thesis, MIT Dept. of Electrical Engineering and Computer Science. 2001.
22. An Empirical Study of Technologies to Implement Servers in Java
    Brian C. Demsky. Master's Thesis, MIT Dept. of Electrical Engineering and Computer Science. May 2001
    [ps]
23. Pointer and escape analysis for multithreaded programs.
    Alexandru Salcianu and Martin Rinard. PPoPP '01.
    [acm] [pdf]
24. Incrementalized pointer and escape analysis.
    Frédéric Vivien and Martin Rinard. PLDI '01.
    [acm] [pdf] [pdf, full version]
25. The Static Single Information Form.
    C. Scott Ananian. Master's Thesis, MIT Dept. of Electrical Engineering and Computer Science. Technical Report MIT-LCS-TR-801. September, 1999.
    [ps] [pdf]
26. Compositional pointer and escape analysis for Java programs.
    John Whaley and Martin Rinard. OOPSLA 1999.
    [acm] [pdf]

Unpublished

1. Data Size Optimizations for Java Programs.
   C. Scott Ananian. OQE presentation. March 22, 2002.
   [slides] [notes]

Incomplete/In Progress

1. Software Atomic Transactions in FLEX.
   C. Scott Ananian. September 25, 2000 -- October 5, 2000.
   [ps] [pdf]
2. Turning Java into Hardware: Caffinated Compiler Construction.
   C. Scott Ananian. September 8, 1998.
   [ps] [pdf]

Related research groups

• The MulSaw project works on specification languages and checkers for object-oriented code.

Verbatim copying and distribution is permitted in any medium, provided this notice is preserved.

cananian Last updated: 23 May 2003