Publications (Jikes RVM, 1999-2005)

Immutability Specification and its Applications. Igor Pechtchanski, Vivek Sarkar. Concurrency and Computation Practice & Experience (CCPE), 17(5:6), April 2005.
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.
Immutability Specification and its Applications. Igor Pechtchanski, Vivek Sarkar. Proceedings of the ACM 2002 Java Grande/ISCOPE Conference, October 2002.
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.
High-Performance Scalable Java Virtual Machines. Vivek Sarkar, Julian Dolby. Proceedings of the HiPC 2001 conference, Dec 2001, pp. 151-166.
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.
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.
Register-sensitive selection, duplication, and sequencing of instructions. Vivek Sarkar, Mauricio J. Serrano, Barbara B. Simons. Proceedings of the ACM 2001 International Conference on Supercomputing, June 2001, pp. 277-288.
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.
The Jalapeno Virtual Machine. B. Alpern et al. Special issue of IBM Systems journal on Java performance, 39(1), 2000.
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.
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.
Linear Scan Register Allocation. Massimiliano Poletto and Vivek Sarkar. ACM Trans. Program. Lang. Syst. 21, 5 (Sep. 1999), Pages 895 – 913.
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.
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.
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.
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.