Publications

Identifying Services from Business Applications. R Komondoor, V K Nandivada, S Sinha, John Field, India Software Engineering Conference (to appear), ACM, 2012.

A framework for analyzing programs written in proprietary languages. V K Nandivada, M G Nanda, P Dhoolia, D Saha, A Nandy, A K Ghosh, SPLASH Wavefront, ACM, 2011.

Fault localization in ABAP Programs. D Saha, M G Nanda, P Dhoolia, V K Nandivada, V Sinha, S Chandra, ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) 2011.

Reducing task creation and termination overhead in explicitly parallel programs. J Zhao, J Shirako, V K Nandivada, V Sarkar, International conference on Parallel architectures and compilation techniques, 2010.

Parallelizing Loops in Parallel Programs. Soham S. Chakraborty and V Krishna Nandivada, IBM Research Technical Report RI10007, 2010.

Inferring Arbitrary Distributions for Data and Computation. Soham S. Chakraborty, V K Nandivada, SPLASH Onward!, ACM, 2010.

Using slicing to extract online services from batch programs. R Komondoor, V K Nandivada, S Sinha, J Field, Technical Report RI09001, IBM Research, 2009.

Efficient, portable implementation of asynchronous multi-place programs. G Bikshandi, J G Castanos, S B Kodali, V K Nandivada, I Peshansky, V A Saraswat, S Sur, P Varma, T Wen, Principles and Practice of Paralle Computing, ACM, 2009.

Chunking parallel loops in the presence of synchronization. J Shirako, J M Zhao, V K Nandivada, V N Sarkar, International conference on Supercomputing, 2009.

Static detection of place locality and elimination of runtime checks. S Agarwal, R K Barik, V Nandivada, R Shyamasundar, P Varma, Asian Symposium on Programming Languages and Systems, Springer, 2008.

A framework for end-to-end verification and evaluation of register allocators. V Nandivada, F Pereira, J Palsberg, Static Analysis, Springer, 2007.

Advances in Register Allocation. V K Nandivada, The Compiler Design Handbook: Optimizations and Machine Code Generation. 2nd Edition., CRC Press, 2007.

Sara: Combining stack allocation and register allocation. V K Nandivada, J Palsberg, Compiler Construction, 2006.

Dynamic state restoration using versioning exceptions. V K Nandivada, S Jagannathan, Higher-Order and Symbolic Computation, Springer, 2006.

Compile-time concurrent marking write barrier removal. V K Nandivada, D Detlefs, Code Generation and Optimization, 2005.

Timing analysis of TCP servers for surviving denial-of-service attacks. V K Nandivada, J Palsberg, Real-Time and Embedded Technology and Applications Symposium, IEEE, 2005

Efficient spill code for SDRAM. V K Nandivada, J Palsberg, International conference on Compilers, architecture and synthesis for embedded systems, 2003.