| 2009 | PPoPP | Efficient, portable implementation of asynchronous multi-place programs. | Ganesh Bikshandi, Jos G. Castaos, Sreedhar B. Kodali, V. Krishna Nandivada, Igor Peshansky, Vijay A. Saraswat, Sayantan Sur, Pradeep Varma, Tong Wen |
| 2008 | APLAS | Static Detection of Place Locality and Elimination of Runtime Checks. | Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma |
| 2007 | IM | Storage Planning and Management Using a Web-Based Management Service. | V. Gogate, Vijay K. Naik, I. Narang, Upendra Sharma, Pradeep Varma |
| 2007 | SAC | Generalizing recognition of an individual dialect in program analysis and transformation. | Pradeep Varma |
| 2005 | SAC | NextGen eXtreme porting: structured by automation. | Pradeep Varma, Ashok Anand, Donald P. Pazel, Beth Tibbitts |
| 2003 | PPAM | Wait-Free Publish/Subscribe Using Atomic Registers. | Pradeep Varma |
| 2000 | Middleware | Active Middleware Services in a Decision Support System for Managing Highly Available Distributed Resources. | Sameh A. Fakhouri, William F. Jerome, Vijay K. Naik, Ajay Raina, Pradeep Varma |