2009 |
8 | EE | Ganesh Bikshandi,
José G. Castaños,
Sreedhar B. Kodali,
V. Krishna Nandivada,
Igor Peshansky,
Vijay A. Saraswat,
Sayantan Sur,
Pradeep Varma,
Tong Wen:
Efficient, portable implementation of asynchronous multi-place programs.
PPOPP 2009: 271-282 |
2008 |
7 | EE | Shivali Agarwal,
Rajkishore Barik,
V. Krishna Nandivada,
R. K. Shyamasundar,
Pradeep Varma:
Static Detection of Place Locality and Elimination of Runtime Checks.
APLAS 2008: 53-74 |
2007 |
6 | EE | V. Krishna Nandivada,
Fernando Magno Quintão Pereira,
Jens Palsberg:
A Framework for End-to-End Verification and Evaluation of Register Allocators.
SAS 2007: 153-169 |
2006 |
5 | EE | V. Krishna Nandivada,
Jens Palsberg:
SARA: Combining Stack Allocation and Register Allocation.
CC 2006: 232-246 |
4 | EE | V. Krishna Nandivada,
Suresh Jagannathan:
Dynamic state restoration using versioning exceptions.
Higher-Order and Symbolic Computation 19(1): 101-124 (2006) |
2005 |
3 | EE | V. Krishna Nandivada,
David Detlefs:
Compile-Time Concurrent Marking Write Barrier Removal.
CGO 2005: 37-48 |
2 | EE | V. Krishna Nandivada,
Jens Palsberg:
Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks.
IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 541-549 |
2003 |
1 | EE | V. Krishna Nandivada,
Jens Palsberg:
Efficient spill code for SDRAM.
CASES 2003: 24-31 |