Publications

2017

Refactoring Opportunities for Replacing Type Code with State and Subclass. J Vedurada, and V K Nandivada, (to appear) in the Poster Proceedings of the Intenational Conference on Software Engineering, 2017.

Optimizing Recursive Task Parallel Programs. S Gupta, R Shrivastava, and V K Nandivada, (to appear) in the Proceedings of the Intenational Conference on Supercomputing 2017.

2016

Improved MHP Analyses. A Shankar, S S Chakraborty, and V K Nandivada, in the Proceedings of the Intenational conference on Compiler Construction (CC) 2016.

2015

IMSuite: A Benchmark Suite for Simulating Distributed Algorithms. S Gupta and V K Nandivada, Journal of Parallel and Distributed Computing (JPDC), Elsevier, 2015.

Loop tiling in the presence of exceptions. A Bhandari and V K Nandivada, in the Proceedings of the European Conference on Object-Oriented Programming (ECOOP), 2015.

Lexical State Analyzer for JavaCC grammars. K Gupta and V K Nandivada, Software: Practice and Experience (SPE), 2015. Download LSA here.

Unique Worker model for OpenMP. R Aloor and V K Nandivada, in the Proceedings of the International Conference on Supercomputing (ICS), 2015.

2014

Improved Bitwidth-Aware Variable Packing. V K Nandivada, R Barik, Presented at HiPEAC , 2014.

2013

IMSuite: A Benchmark Suite for Simulating Distributed Algorithms. Suyash Gupta and V K Nandivada, CoRR arXiv cs.FL/1310.2814, 2013.

Lexical State Analyzer. Kartik Gupta and V K Nandivada, CoRR arXiv cs.FL/1308.3156, 2013.

Improved Bitwidth-Aware Variable Packing. V K Nandivada, R Barik, ACM Transactions on Architecture and Code Optimization (TACO), ACM, 2013.

A Transformation Framework for Optimizing Task-Parallel Programs. V K Nandivada, J Shirako, J Zhao, V Sarkar, ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2013.

2012

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

2011

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.

2010

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.

2009

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.

2008

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.

2007

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.

2006

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.

2005

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

2003

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