Vivek Sarkar: Publications (Jikes RVM, Jalapeno: JIT & VM Optimizations)

  1. • Immutability Specification and its Applications. Igor Pechtchanski, Vivek Sarkar.  Concurrency and Computation Practice & Experience (CCPE), 17(5:6), April 2005.

  2. • The Jikes Research Virtual Machine project: building an open-source research  community. B. Alpern, S. Augart, S.M. Blackburn, M. Butrico, A. Cocchi, P.  Cheng, J. Dolby, S. Fink, D. Grove, M. Hind, K.S. McKinley, M. Mergen, J.E.B.  Moss, T. Ngo, V. Sarkar, M. Trapp. IBM Systems Journal special issue on Open  Source Software, Volume 44, Number 2, June 2005.

  3. • Immutability Specification and its Applications. Igor Pechtchanski, Vivek Sarkar.  Proceedings of the ACM 2002 Java Grande/ISCOPE Conference, October 2002. 

  4. • Efficient and precise datarace detection for multithreaded object-oriented programs. Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O’Callahan, Vivek Sarkar,  Manu Sridharan Proceedings of the ACM SIGPLAN 2002 Conference on Programming  language design and implementation PLDI ’02.

  5. • High-Performance Scalable Java Virtual Machines. Vivek Sarkar, Julian Dolby.  Proceedings of the HiPC 2001 conference, Dec 2001, pp. 151-166. 

  6. • Dynamic Optimistic Interprocedural Analysis: A Framework and an Application. Igor Pechtchanski, Vivek Sarkar. Proceedings of the ACM 2001 OOPSLA conference,  October 2001, pp. 195-210.

  7. • Reducing the Overhead of Dynamic Compilation. Chandra Krintz, David Grove,  Vivek Sarkar, Brad Calder. Software Practice and Experience, 31(8), July 2001,  pp 717–738.

  8. • Program analysis for safety guarantees in a Java virtual machine written in Java.  Jan-Willem Maessen, Vivek Sarkar, David Grove. Proceedings of the ACM PASTE  2001 workshop, June 2001, pp. 62-65.

  9. • The Jalapeno Virtual Machine. B. Alpern et al. Special issue of IBM Systems  journal on Java performance, 39(1), 2000. 

  10. • ABCD: Eliminating Array Bounds Checks on Demand. R.Bodik, R.Gupta, V.Sarkar.  ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation  (PLDI), June 2000.

  11. • A Comparative Study of Static and Dynamic Heuristics for Inlining. M.Arnold,  S.Fink, V.Sarkar, P.F.Sweeney. ACM Dynamo ’00 workshop, held in conjunction  with POPL ’00, Jan 2000.

  12. • Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs.  Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar. Proceedings of the 1999 ACM SIGPLAN Workshop on Program Analysis for Software Tools and Engineering  (PASTE), September, 1999. 

  13. • Dependence Analysis for Java. Craig Chambers, Igor Pechtchanski, Vivek Sarkar,  Harini Srinivasan, Mauricio Serrano. Twelfth Workshop on Languages and Compilers  for Parallel Computing (LCPC), August 1999.

  14. • The Jalapeno Dynamic Optimizing Compiler for Java. Michael G. Burke, Jong-Deok Choi, Stephen Fink, David Grove, Michael Hind, Vivek Sarkar, Mauricio J.  Serrano, V. C. Sreedhar, Harini Srinivasan, John Whaley. Proceedings of the ACM  1999 Java Grande Conference, June, 1999. 

  15. • Jalapeno — a Compiler-Supported Java Virtual Machine for Servers. Bowen Alpern,  Anthony Cocchi, Derek Lieber, Mark Mergen, Vivek Sarkar. ACM SIGPLAN 1999  Workshop on Compiler Support for System Software (WCSSS), May 1999.

Home


Bio


Current Projects


Invited Talks & Panels


Publications

    Habanero

    X10

    Register Allocation

    Jikes RVM, Jalapeno

    Array SSA Form

    Parallel Execution Models

    ASTI

    PTRAN

    Sisal

    Other


Professional Committees


Conference Tutorials


Courses


Students


Research Collaborators


Past Projects


News