| Synthesizing geometry constructions S Gulwani, VA Korthikanti, A Tiwari ACM SIGPLAN Notices 46 (6), 50-61, 2011 | 136 | 2011 |
| Towards optimizing energy costs of algorithms for shared memory architectures VA Korthikanti, G Agha Proceedings of the twenty-second annual ACM symposium on Parallelism in …, 2010 | 67 | 2010 |
| Analysis of parallel algorithms for energy conservation in scalable multicore architectures VA Korthikanti, G Agha 2009 International Conference on Parallel Processing, 212-219, 2009 | 48 | 2009 |
| Reasoning about MDPs as transformers of probability distributions VA Korthikanti, M Viswanathan, G Agha, YM Kwon 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 33 | 2010 |
| Model checking MDPs with a unique compact invariant set of distributions R Chadha, VA Korthikanti, M Viswanathan, G Agha, Y Kwon 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011 | 16 | 2011 |
| Fair k mutual exclusion algorithm for peer to peer systems VA Reddy, P Mittal, I Gupta 2008 The 28th International Conference on Distributed Computing Systems, 655-662, 2008 | 16 | 2008 |
| Avoiding energy wastage in parallel applications VA Korthikanti, G Agha International Conference on Green Computing, 149-163, 2010 | 12 | 2010 |
| Energy-performance trade-off analysis of parallel algorithms VA Korthikanti, G Agha USENIX Workshop on Hot Topics in Parallelism (HotPar), 2010 | 12 | 2010 |
| On the energy complexity of parallel algorithms VA Korthikanti, G Agha, M Greenstreet 2011 International Conference on Parallel Processing, 562-570, 2011 | 10 | 2011 |
| An efficient algorithm to reduce test power consumption by scan cell and scan vector reordering KVA Reddy, S Chattopadahyay Proceedings of the IEEE INDICON 2004. First India Annual Conference, 2004 …, 2004 | 9 | 2004 |
| Energy bounded scalability analysis of parallel algorithms VA Korthikanti, GA Agha | 7 | 2009 |
| Energy-performance trade-off analysis of parallel algorithms for shared memory architectures VA Korthikanti, G Agha Sustainable Computing: Informatics and Systems 1 (3), 167-176, 2011 | 4 | 2011 |
| Towards energy-performance trade-off analysis of parallel applications VA Korthikanti University of Illinois at Urbana-Champaign, 2012 | 1 | 2012 |
| A Theory of Markov Decision Processes as Transformers of Probability Mass Functions and Its Application VAR Korthikanti University of Illinois at Urbana-Champaign, 2009 | | 2009 |
Gul AghaProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
