Vijay Anand Korthikanti

I graduated with a Ph.D from UIUC in July 2011. I worked with Prof. Gul Agha in the Open Systems Laboratory (OSL). My dissertation is titled "Towards Energy-Performance Trade-off Analysis of Parallel Applications"

I am currently working at Synopsys

I obtained Bachelors degree in Computer Science and Engineering from the Indian Institute of Technology, Guwahati in 2006.

Internship Experience

·         Stanford Research Institute, USA (Summer 2010)

·         Microsoft Research Bangalore, India (Summer 2009)

·         University of Birmingham, UK (Summer 2005)


Research Interests and Publications:

I am broadly interested in the areas of Formal Verification and Parallel and Distributed Algorithms. 

During my graduate studies, I worked on these topics:

  • Energy Aware Analysis of Parallel Applications.
  • Probabilistic Model Checking.
  • Program Synthesis.
  • Mutual Exclusion algorithms for P2P systems. 
Journal Publications:

    ·      Energy-Performance Trade-off Analysis of Parallel Algorithms for Shared Memory Architectures.

Vijay Anand Korthikanti and Gul Agha.

Sustainable Computing: Informatics and Systems (SUSCOM), In Press, 2011.

 


Conference Publications:


   ·       On the Energy Complexity of Parallel Algorithms.

Vijay Anand Korthikanti, Gul Agha and Mark Greenstreet.

To appear in International Conference on Parallel Processing (ICPP), Taipei, Taiwan, 2011.

 

   ·       Model Checking MDPs With A Unique Invariant Set of Distributions.

Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha and YoungMin Kwon.

To appear in International Conference on Quantitative Evaluation of SysTems (QEST), Aachen, Germany, 2011.

 

   ·       Synthesizing Geometry Constructions.

Sumit Gulwani, Vijay Anand Korthikanti, and Ashish Tiwari.

ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), Sanjose, California, USA, 2011.       

 
   ·       Reasoning About MDPs as Transformers of Probability Distributions.

Vijay Anand Korthikanti, Mahesh Viswanathan, YoungMin Kwon, and Gul Agha.

International Conference on Quantitative Evaluation of SysTems (QEST), Williamsburg, Virginia, USA, 2010.   

    

   ·       Avoiding Energy Wastage in Parallel Applications.

Vijay Anand Korthikanti and Gul Agha.

International Green Computing Conference (IGCC), Chicago, Illinois, USA, 2010.

        

   ·       Towards Optimizing Energy Costs for Algorithms for Shared Memory Architectures.

Vijay Anand Korthikanti and Gul Agha.

ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Santorini, Greece, 2010.  

     

   ·       Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures.

Vijay Anand Korthikanti and Gul Agha.

International Conference on Parallel Processing (ICPP), Vienna, Austria, 2009.

 

   ·       Fair K Mutual Exclusion Algorithm for Peer to Peer Systems.

Vijay Anand Korthikanti, Prateek Mittal, and Indranil Gupta.

International Conference on Distributed Computing Systems (ICDCS), Beijing, China, 2008.

  

   ·      An Efficient Algorithm to Reduce Test Power Consumption by Scan Cell and Scan Vector Reordering.

Vijay Anand Korthikanti and Santanu Chattopadhyay.

IEEE India Annual Conference (IEEE INDICON), Kharaghpur, India, 2004.


 

Workshop Publications: 

   ·       Energy-Performance Trade-off Analysis of Parallel Algorithms.

Vijay Anand Korthikanti and Gul Agha.

USENIX Workshop on Hot Topics in Parallelism (HotPar), Berkeley, California, USA, 2010.

  

   ·       Energy Bounded Scalability.

Vijay Anand Korthikanti and Gul Agha.

International Workshop on Energy Efficient High Performance Computing (EEHiPC), Goa, India, 2010.

  

People I Worked with:

Gul Agha, Mahesh Viswanthan, Madhusudan Parthasarathy, Mark Greenstreet, Sumit Gulwani, Ashish Tiwari, Aditya Nori, Sriram Rajamani, Indranil Gupta, Santanu Chattopadhyay, Purander Bhaduri, Rohit Chadha, YoungMin Kwon and, Prateek Mittal .