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 (Middleware, 2000)

Low-Voltage, Double-Edge-Triggered Flip Flop. - Pradeep Varma; Ashutosh Chakraborty (PATMOS, 2003)

Wait-Free Publish/Subscribe Using Atomic Registers. - Pradeep Varma (PPAM, 2003)

A Framework and Tool for Porting Assessment and Remediation. - Donald P. Pazel; Pradeep Varma; Amit M. Paradkar; Beth Tibbitts; Ashok Anand; Philippe Charles (ICSM, 2004)

Cutting Metastability Using Aperture Transformation. - Pradeep Varma; B. S. Panwar; K. N. Ramganesh (IEEE Trans. Computers, 2004)

NextGen eXtreme porting: structured by automation. - Pradeep Varma; Ashok Anand; Donald P. Pazel; Beth Tibbitts (SAC, 2005)

Stub Libraries for Software Migration and Development. - Pradeep Varma (STEP, 2005)

Process and Planning Support for Iterative Porting. - Pradeep Varma (J. Inf. Sci. Eng., 2006)

Storage Planning and Management Using a Web-Based Management Service. - V. Gogate; Vijay K. Naik; I. Narang; Upendra Sharma; Pradeep Varma (Integrated Network Management, 2007)

Generalizing recognition of an individual dialect in program analysis and transformation. - Pradeep Varma (SAC, 2007)

Static Detection of Place Locality and Elimination of Runtime Checks. - Shivali Agarwal; Rajkishore Barik; V. Krishna Nandivada; R. K. Shyamasundar; Pradeep Varma (APLAS, 2008)

Controlled Natural Language for Semantic Annotation. - Brian Davis 001; Pradeep Varma; Siegfried Handschuh; Laura Dragan; Hamish Cunningham (ESWC, 2009)

Concurrent SSA for general barrier-synchronized parallel programs. - Harshit J. Shah; R. K. Shyamasundar; Pradeep Varma (IPDPS, 2009)

Efficient, portable implementation of asynchronous multi-place programs. - Ganesh Bikshandi; José G. Castaños; Sreedhar B. Kodali; V. Krishna Nandivada; Igor Peshansky; Vijay A. Saraswat; Sayantan Sur; Pradeep Varma; Tong Wen (PPoPP, 2009)

Backward-compatible constant-time exception-protected memory. - Pradeep Varma; R. K. Shyamasundar; Harshit J. Shah (ESEC/SIGSOFT FSE, 2009)

Anchored Text for Software Weaving and Merging. - Pradeep Varma (SSIRI, 2009)

Scheduling and Controlling Semantics for Distributed Resource Based Computing Engines. - Pradeep Varma; Vijay K. Naik (SSIRI, 2009)