Last updated: December 21, 2001

Publications (in reverse chronological order)

Journal articles, book chapters, books:

• Reducing the Overhead of Dynamic Compilation. .Krintz, D.Grove, V.Sarkar, B.Calder. Software Practice and Experience.

• Optimized Unrolling of Nested Loops. Vivek Sarkar. International Journal on Parallel Programming (IJPP).

• Lightweight Object-Oriented Shared Variables for Cluster Computing in Java. J.Harris and V.Sarkar. Appeared in special issue of Journal on Parallel and Distributed Computing (JPDC), 2000.

• Location consistency -- a new memory model and cache consistency protocol. Guang Gao and Vivek Sarkar. IEEE Transactions on Computers, August 2000, Vol. 49, No. 8, pp 798-813.

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

• Linear Scan Register Allocation. Massimiliano Poletto and Vivek Sarkar. ACM Trans. Program. Lang. Syst. 21, 5 (Sep. 1999), Pages 895 - 913.

• Compiling for Parallel Systems. R. Gupta, S. Pande, K. Psarris, V.Sarkar. Invited survey paper on parallelizing compilers in special issue of Parallel Computing journal, 1999.

• Baring it All to Software: Raw Machines. E.Waingold, M.Taylor, V.Sarkar, W.Lee, V.Lee, J.Kim, M.Frank, P.Finch, S.Devabhaktuni, R.Barua, J.Babb, S.Amarasinghe, A.Agarwal. IEEE Computer, September 1997. Special issue on ``Future Microprocessors --- How to use a Billion Transistors''.

• Automatic Selection of High Order Transformations in the IBM XL Fortran Compilers. Vivek Sarkar. IBM Journal of Research and Development, 41(3), May 1997.

• The PTRAN Parallel Programming System. Vivek Sarkar. In Parallel Functional Programming Languages and Compilers, edited by B. Szymanski, ACM Press Frontier Series, pages 309-391, 1991. [Abstract]

• Automatic Partitioning of a Program Dependence Graph into Parallel Tasks. Vivek Sarkar. IBM Journal of Research and Development, 35(5/6), September/November 1991, pages 779-804.

• Partitioning and Scheduling Parallel Programs for Multiprocessors. Vivek Sarkar. MIT Press, Cambridge, Massachusetts, 1989 (201 pages). In the series, Research Monographs in Parallel and Distributed Computing.

Conference Proceedings:

• High-Performance Scalable Java Virtual Machines. V.Sarkar, J.Dolby. Proceedings of the 8th International Conference on High-Performance Computing (HiPC), December, 2001.

• Dynamic Optimistic Interprocedural Analysis: A Framework and an Application. I.Pechtchanski, V.Sarkar. Proceedings of OOPSLA '01, October 2001.

• Efficient Dependence Analysis For Java Arrays. V.Sarkar, S.Fink. Proceedings of Europar 2001 conference, August 2001.

• Register-Sensitive Selection, Duplication, and Sequencing of Instructions. V.Sarkar. M.Serrano, B.Simons. Proceedings of ICS 2001, June 2001.

• 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.

• Unified Analysis of Array and Object References in Strongly Typed Languages. S.Fink, K.Knobe, V.Sarkar. Proceedings of the 2000 Static Analysis Symposium (SAS '00), June 2000.

• Optimized Unrolling of Nested Loops. Vivek Sarkar. ACM International Conference on Supercomputing (ICS), May, 2000.

• An Analytical Model for Loop Tiling and its Solution. Vivek Sarkar and Nimrod Megiddo. IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS-2000), April 2000.

• 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.

• Enabling Sparse Constant Propagation of Array Elements via Array SSA Form. V.Sarkar and K.Knobe. Proceedings of the 1998 Static Analysis Symposium (SAS '98), October 1998.

• Space-Time Scheduling of Instruction-Level Parallelism on a Raw Machine. W.Lee, R.Barua, M.Frank, D.Srikrishna, J.Babb, V.Sarkar, S.Amarasinghe. Proceedings of the Eighth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VIII), October 1998.

• Lightweight Object-Oriented Shared Variables for Distributed Applications on the Internet". J.Harris and V.Sarkar. Proceedings of OOPSLA '98, October 1998.

• Array SSA form and its use in Parallelization. Kathleen Knobe and Vivek Sarkar. Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, January 1998.

• On the Importance of an End-To-End View of Memory Consistency in Future Computer Systems. Guang R. Gao and Vivek Sarkar. Proceedings of the 1997 International Symposium on High Performance Computing, Fukuoka, Japan, November 1997.

• False Sharing Elimination by Selection of Runtime Scheduling Parameters. Jyh-Herng Chow and Vivek Sarkar. Proceedings of the 26th International Conference on Parallel Processing, August 1997. [Abstract | Postscript ]

• Optimal Weighted Loop Fusion for Parallel Programs. Nimrod Megiddo and Vivek Sarkar. Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures, Newport, Rhode Island, June 1997. [Abstract| Postscript]

• Automatic Parallelization for Symmetric Shared-Memory Multiprocessors. Jyh-Herng Chow, Leonard E. Lyon, and Vivek Sarkar. Proceedings of CASCON '96 conference, Toronto, Canada, November 1996. [ Postscript]

• Anticipatory Instruction Scheduling. Vivek Sarkar and Barbara Simons. Proceedings of the Eighth Annual ACM Symposium on Parallel Algorithms and Architectures, Padua, Italy, June 1996.

• Incremental Computation of Static Single Assignment Form. Jong-Deok Choi, Vivek Sarkar, and Edith Schonberg. Proceedings of the 1996 International Conference on Compiler Construction, Linkoping, Sweden, April 1996. [Abstract| Postscript]

• FDPR/2: A Code Instrumentation and Restructuring Tool for OS/2 Executables. Jyh_Herng Chow etal. CD-ROM proceedings of CASCON '95 conference, Toronto, Canada, November 1995. [Abstract| Postscript]

• Location Consistency: Stepping Beyond the Memory Coherence Barrier. Guang R. Gao and Vivek Sarkar. Proceedings of the 24th International Conference on Parallel Processing, Oconomowoc, Wisconsin, August 1995. [Abstract | Postscript | Postscript for full paper]

• Mapping Iterative Task Graphs on Distributed-memory Machines. Tao Yang, Cong Fu, Apostolos Gerasoulis, and Vivek Sarkar. Proceedings of the 24th International Conference on Parallel Processing, Oconomowoc, Wisconsin, August 1995, Volume II, pages 151-158.

• Scheduling iterative task computation on message passing architectures. T. Yang, P. Diniz, A. Gerasoulis, V. Sarkar. Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, San Francisco, California, February 1995.

• A Compiler Framework for Restructuring Data Declarations to Enhance Cache and TLB Effectiveness. David F. Bacon, Jyh-Herng Chow, Dz ching R. Ju, K. Muthukumar, and Vivek Sarkar. Proceedings of CASCON '94 conference, Toronto, Canada, November 1994. [Abstract| Postscript]

• An Optimal Asynchronous Scheduling Algorithm for Software Cache Consistency. Barbara Simons, Vivek Sarkar, Mauricio Breternitz, Michael Lai. Proceedings of the 27th Hawaii International Conference on System Sciences, Wailea, Hawaii, Volume II (Software Technology), pages 502-511, January 1994. [Abstract| Postscript]

• Automatic Localization for Distributed-Memory Multiprocessors Using a Shared-Memory Compilation Framework. Vivek Sarkar and Lelia A. Vazquez. Proceedings of the 27th Hawaii International Conference on System Sciences, Wailea, Hawaii, Volume II (Software Technology), pages 4-13, January 1994. [Abstract| Postscript]

• Beyond the Data Parallel Paradigm: Issues and Options. Guang R. Gao, Vivek Sarkar, Lelia A. Vazquez Proceedings of the Working Conference on Massively Parallel Programming Models, Berlin, Germany, September 1993. [Abstract | Postscript]

• Data Merging for Shared-Memory Multiprocessors. Alan H. Karp and Vivek Sarkar. Proceedings of the 26th Hawaii International Conference on System Sciences, Wailea, Hawaii, Volume I (Architecture), pages 244-256, January 1993. [Abstract| Postscript]

• A General Framework for Iteration-Reordering Loop Transformations. Vivek Sarkar and Radhika Thekkath. Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, San Francisco, California, pages 175-187, June 1992. [Abstract| Postscript]

• Optimization of Array Accesses by Collective Loop Transformations. Vivek Sarkar and Guang R. Gao. Proceedings of the ACM 1991 International Conference on Supercomputing, Cologne, Germany, pages 194-205, June 1991.

• Vivek Sarkar and David Cann. POSC -- a Partitioning and Optimizing Sisal Compiler. Proceedings of the ACM 1990 International Conference on Supercomputing, Amsterdam, the Netherlands, pages 148-163, July 1990.
• Instruction Reordering for Fork-Join Parallelism. Vivek Sarkar. Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, White Plains, New York, pages 322-336, June 1990.

• Compact Representations for Control Dependence. Ron Cytron, Jeanne Ferrante, and Vivek Sarkar. Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, White Plains, New York, pages 337-351, June 1990.

• Determining Average Program Execution Times and their Variance. Vivek Sarkar. Proceedings of the 1989 SIGPLAN Conference on Programming Language Design and Implementation, Portland, Oregon, pages 298-312, July 1989. [ Postscript]

• An Automatically Partitioning Compiler for SISAL. Vivek Sarkar, Steve Skedzielewski, and Patrick Miller. Proceedings of CONPAR 88, Cambridge University Press, Great Britain, pages 376-383, 1988.

• Processor Scheduling Algorithms for Constraint Satisfaction Search Problems. K. S. Natarajan and Vivek Sarkar. Proceedings of the 1988 International Conference on Parallel Processing, Volume II (Software), pages 140-149, August 1988.
• Efficient Implementation of Single Assignment Languages. K. Gharachorloo, V. Sarkar, and J. L. Hennessy. ACM Conference on Lisp and Functional Programming, Snowbird, Utah, pages 259-268, July 1988.

• Synchronization Using Counting Semaphores. Vivek Sarkar. Proceedings of the ACM 1988 International Conference on Supercomputing, St. Malo, France, pages 627-637, July 1988.

• A Framework for Determining Useful Parallelism. Frances Allen, Michael Burke, Ron Cytron, Jeanne Ferrante, Wilson Hsieh, Vivek Sarkar. Proceedings of the ACM 1988 International Conference on Supercomputing, St. Malo, France, pages 207-215, July 1988.

• Synchronization Using Counting Semaphores. Vivek Sarkar. Proceedings of the ACM 1988 International Conference on Supercomputing, St. Malo, France, pages 627-637, July 1988.

• Automatic Discovery of Parallelism: A Tool and an Experiment. Michael Burke, Ron Cytron, Jeanne Ferrante, Wilson Hsieh, Vivek Sarkar, and David Shields. Proceedings of the ACM SIGPLAN Symposium on Parallel Programming: Experience with Applications, Languages, and Systems. New Haven, Connecticut, pages 77-84, July 1988. [Abstract]

• Compile-time Partitioning and Scheduling of Parallel Programs. Vivek Sarkar and John Hennessy. Proceedings of the ACM SIGPLAN '86 Symposium on Compiler Construction, Palo Alto, California, pages 17-26, June 1986.

• Partitioning Parallel Programs for Macro-Dataflow. Vivek Sarkar and John Hennessy. ACM Conference on Lisp and Functional Programming, Cambridge, Massachusetts, pages 202-211, August 1986.

Workshop Proceedings:

• Program Analysis for Safety Guarantees in a Java Virtual Machine Written in Java. Jan Maessen, Vivek Sarkar, David Grove. Proceedings of the 2001 ACM SIGPLAN Workshop on Program Analysis for Software Tools and Engineering (PASTE), June, 2001.

• 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.

• 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.

• 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.

• Static Scheduling with Communication Weights --- Theory and Practice. Vivek Sarkar. Workshop on Scheduling Algorithms for Parallel/Distributed Computing --- From Theory to Practice. Held in conjunction with the ACM 1999 International Conference on Supercomputing (ICS), 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.

• Optimized Execution of Fortran 90 Array Language on Symmetric Shared-Memory Multiprocessors. Vivek Sarkar. Eleventh Workshop on Languages and Compilers for Parallel Computing (LCPC), August 1998.

• Loop Transformations for Hierarchical Parallelism and Locality. Vivek Sarkar. Workshop on Languages, Compilers and Run-Time Systems for Scalable Computers, May 1998. Proceedings published as Springer-Verlag LNCS 1511.

• Analysis and Optimization of Explicitly Parallel Programs using the Parallel Program Graph Representation. Vivek Sarkar. Tenth Workshop on Languages and Compilers for Parallel Computing, Minneapolis, Minnesotta, August 1997.

• The Raw Compiler Project. A.Agarwal, S.Amarasinghe, R.Barua, S.Devabhaktuni, M.Frank, W.Lee, V.Sarkar, and M.Taylor. Second SUIF Compiler Workshop, Stanford, California, August 1997.

• Locality Analysis for Distributed Shared-Memory Multiprocessors. Vivek Sarkar, Guang R. Gao, and Shaohua Han. Proceedings of the Ninth International Workshop on Languages and Compilers for Parallel Computing, Santa Clara, California, August 1996. Springer-Verlag Lecture Notes in Computer Science (to appear). [Abstract| Postscript]

• Data Consistency in Distributed Memory Systems (Extended Abstract). Vivek Sarkar. Proceedings of the 1995 ICPP Workshop on Challenges for Parallel Processing, Oconomowoc, Wisconsin, pages 124-132, August 1995. [Postscript]

• Parallel Program Graphs and their Classification. Vivek Sarkar and Barbara Simons. Sixth Workshop on Languages and Compilers for Parallel Computing, Portland, Oregon, August 1993. Edited by U. Banerjee, D. Gelernter, A. Nicolau, D. Padua. Springer-Verlag Lecture Notes in Computer Science, 768, pages 633-655. [Abstract| Postscript]

• A Concurrent Execution Semantics for Parallel Program Graphs and Program Dependence Graphs. Vivek Sarkar. Fifth Workshop on Languages and Compilers for Parallel Computing, Yale University, August 1992. Edited by U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, Springer-Verlag Lecture Notes in Computer Science, 757, pages 16-30. [Abstract| Postscript]

• Collective Loop Fusion for Array Contraction. G. R. Gao, R. Olsen, V. Sarkar, and R. Thekkath. Proceedings of the Fifth Workshop on Languages and Compilers for Parallel Computing, Yale University, August 1992. Edited by U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, Springer-Verlag Lecture Notes in Computer Science, 1993. [Abstract| Postscript]

• On Estimating and Enhancing Cache Effectiveness. Jeanne Ferrante, Vivek Sarkar, and Wendy Thrash. Proceedings of the Fourth International Workshop on Languages and Compilers for Parallel Computing, Santa Clara, California, August 1991. Edited by U. Banerjee, D. Gelernter, A. Nicolau, D. Padua, Springer-Verlag Lecture Notes in Computer Science, 589, pages 328-343, 1991.

• Experiences Using Control Dependence in PTRAN. Ron Cytron, Jeanne Ferrante, and Vivek Sarkar. Second Workshop on Languages and Compilers for Parallel Computing, U. Illinois, August 1989. Edited by D. Gelernter, A. Nicolau, and D. Padua, MIT Press, pages 186-212, 1990.