Pradeep Varma

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Scheduling and Controlling Semantics for Distributed Resource Based Computing Engines.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Anchored Text for Software Weaving and Merging.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Backward-compatible constant-time exception-protected memory.
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.
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Concurrent SSA for general barrier-synchronized parallel programs.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Controlled Natural Language for Semantic Annotation.
Proceedings of the Semantic Web: Research and Applications, 2009

2008
Static Detection of Place Locality and Elimination of Runtime Checks.
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007
Generalizing recognition of an individual dialect in program analysis and transformation.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Storage Planning and Management Using a Web-Based Management Service.
Proceedings of the Integrated Network Management, 2007

2006
Process and Planning Support for Iterative Porting.
J. Inf. Sci. Eng., 2006

2005
Stub Libraries for Software Migration and Development.
Proceedings of the 13th International Workshop on Software Technology and Engineering Practice (STEP 2005), 2005

NextGen eXtreme porting: structured by automation.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004
Cutting Metastability Using Aperture Transformation.
IEEE Trans. Computers, 2004

A Framework and Tool for Porting Assessment and Remediation.
Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

2003
Wait-Free Publish/Subscribe Using Atomic Registers.
Proceedings of the Parallel Processing and Applied Mathematics, 2003

Low-Voltage, Double-Edge-Triggered Flip Flop.
Proceedings of the Integrated Circuit and System Design, 2003

2000
Active Middleware Services in a Decision Support System for Managing Highly Available Distributed Resources.
Proceedings of the Middleware 2000, 2000


  Loading...