V. Krishna Nandivada Publications page.

Publications/Manuscripts :

    2003
  1. Efficient Spill Code with SDRAM, with Jens Palsberg. In Proceedings of CASES'03, International Conference on Compilers, Architecture and Synthesis for Embedded Systems, San Jose, California, October 2003.
    2. 2005
  2. Compile-Time Concurrent Marking Write Barrier Removal, with David Detlefs. In proceedings of the 3rd annual IEEE/ACM INTERNATIONAL SYMPOSIUM ON Code Generation and Optimization (CGO-3) Bay Area, California, March 2005.
  3. Timing analysis of TCP servers for surviving denial-of-service attacks, with Jens Palsberg. In the proceedings of 11th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, California. The tool ATASYN can be found here.
    4. 2006
  4. Dynamic State Restoration Using Versioning Exceptions with Suresh Jagannathan. In the Journal of Higher Order Symbolic Computation, Vol 19(1), March 2006.
  5. SARA: Combining Stack Allocation and Register Allocation with Jens Palsberg. In the proceedings of the International Conference on Compiler Construction, April 2006.
    6. 2007
  6. A framework for end-to-end evaluation of register allocators, with Fernando Pereira and Jens Palsberg. In the proceedings of International Static Analysis Symposium August 2007. RALF can be download by clicking here.
  7. Advances in Register Allocation. Book chapter in 'The Compiler Design Handbook: Optimizations and Machine Code Generation.' 2nd edition.
    8. 2008
  8. Static Detection of Place Locality and Elimination of Runtime Checks, with Shivali Agarwal, Rajkishore Barik, Rudrapatna K. Shyamasundar, and Pradeep Varma. In ASIAN Symposium on Programming Languages and Systems December 2008.
    9. 2009
  9. Using slicing to extract online services from batch program, with Komondoor Raghavan, Saurabh S Sinha and John Field, IBM Technical Report, RI09001, Jan, 2009
  10. Efficient, portable implementation of asynchronous multi-place programs, with Ganesh Bikshandi, Jose G. Castanos, Sreedhar B. Kodali, Igor Peshansky, Vijay Saraswat, Sayantan Sur, Pradeep Varma. In the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, February 2009
  11. Chunking Parallel Loops in the Presence of Synchronization, with Jun Shirako, Jisheng Zhao, and Vivek Sarkar. To appear in the proceedings of the 23rd ACM International Conference on Supercomputing (ICS'09), June 2009.