Pradeep Varma

According to our database, Pradeep Varma authored at least 17 papers between 2000 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Scheduling and Controlling Semantics for Distributed Resource Based Computing Engines.

Pradeep Varma, Vijay K. Naik

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Anchored Text for Software Weaving and Merging.

Pradeep Varma

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Backward-compatible constant-time exception-protected memory.

Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 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

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Concurrent SSA for general barrier-synchronized parallel programs.

Harshit J. Shah, R. K. Shyamasundar, Pradeep Varma

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Controlled Natural Language for Semantic Annotation.

Brian Davis, Pradeep Varma, Siegfried Handschuh, Laura Dragan, Hamish Cunningham

Proceedings of the Pre-Proceedings of the Workshop on Controlled Natural Language (CNL 2009), 2009

2008

Static Detection of Place Locality and Elimination of Runtime Checks.

Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Generalizing recognition of an individual dialect in program analysis and transformation.

Pradeep Varma

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Storage Planning and Management Using a Web-Based Management Service.

V. Gogate, Vijay K. Naik, I. Narang, Upendra Sharma, Pradeep Varma

Proceedings of the Integrated Network Management, 2007

2006

Process and Planning Support for Iterative Porting.

Pradeep Varma

J. Inf. Sci. Eng., 2006

2005

Stub Libraries for Software Migration and Development.

Pradeep Varma

Proceedings of the 13th International Workshop on Software Technology and Engineering Practice (STEP 2005), 2005

NextGen eXtreme porting: structured by automation.

Pradeep Varma, Ashok Anand, Donald P. Pazel, Beth Tibbitts

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004

Cutting Metastability Using Aperture Transformation.

Pradeep Varma, B. S. Panwar, K. N. Ramganesh

IEEE Trans. Computers, 2004

A Framework and Tool for Porting Assessment and Remediation.

Donald P. Pazel, Pradeep Varma, Amit M. Paradkar, Beth Tibbitts, Ashok Anand, Philippe Charles

Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

2003

Wait-Free Publish/Subscribe Using Atomic Registers.

Pradeep Varma

Proceedings of the Parallel Processing and Applied Mathematics, 2003

Low-Voltage, Double-Edge-Triggered Flip Flop.

Pradeep Varma, Ashutosh Chakraborty

Proceedings of the Integrated Circuit and System Design, 2003

2000

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

Proceedings of the Middleware 2000, 2000