Vugranam C. Sreedhar

Affiliations:
  • IBM Research


According to our database1, Vugranam C. Sreedhar authored at least 34 papers between 1993 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Advanced Construction Algorithms for SSA.
Proceedings of the SSA-based Compiler Design, 2022

2020
Auto-Generation of Domain-Specific Systems: Cloud-Hosted DevOps for Business Users.
Proceedings of the 13th IEEE International Conference on Cloud Computing, 2020

2018
Service Management of Blockchain Networks.
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2014
Effort Analysis Using Collective Stochastic Model.
Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

2013
A Framework for Cross Account Analysis.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

2011
Analysis and performance results of computing betweenness centrality on IBM Cyclops64.
J. Supercomput., 2011

2010
A novel analysis space for pointer analysis and its application for bug finding.
Sci. Comput. Program., 2010

2009
Adaptive Rule Loading and Session Control for Securing Web-Delivered Services.
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

2008
Flexible pointer analysis using assign-fetch graphs.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Minimum Lock Assignment: A Method for Exploiting Concurrency among Critical Sections.
Proceedings of the Languages and Compilers for Parallel Computing, 2008

Just-In-Time Locality and Percolation for Optimizing Irregular Applications on a Manycore Architecture.
Proceedings of the Languages and Compilers for Parallel Computing, 2008

2007
Optimized lock assignment and allocation: a method for exploiting concurrency among critical sections.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Synchronization state buffer: supporting efficient fine-grain synchronization on many-core architectures.
Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007

Evidence-Based Analysis and Inferring Preconditions for Bug Detection.
Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Configuration Reasoning and Ontology ForWeb.
Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006
Data-centric security: role analysis and role typestates.
Proceedings of the 11th ACM Symposium on Access Control Models and Technologies, 2006

2005
Instrumenting annotated programs.
Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

From statecharts to ESP: programming with events, states and predicates for embedded systems.
Proceedings of the EMSOFT 2005, 2005

Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection.
Proceedings of the ECOOP 2005, 2005

2003
Stack allocation and synchronization optimizations for Java using escape analysis.
ACM Trans. Program. Lang. Syst., 2003

2002
Mixin Up components.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
York: programming software components.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

2000
The Jalapeño virtual machine.
IBM Syst. J., 2000

A framework for interprocedural optimization in the presence of dynamic class loading.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999
Translating Out of Static Single Assignment Form.
Proceedings of the Static Analysis, 6th International Symposium, 1999

Escape Analysis for Java.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

The Jalapeño Dynamic Optimizing Compiler for Java.
Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, 1999

1998
A New Framework for Elimination-Based Data Flow Analysis Using DJ Graphs.
ACM Trans. Program. Lang. Syst., 1998

1997
Incremental Computation of Dominator Trees.
ACM Trans. Program. Lang. Syst., 1997

1996
Identifying Loops Using DJ Graphs.
ACM Trans. Program. Lang. Syst., 1996

A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs.
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

1995
Computing phi-nodes in linear time using DJ graphs.
J. Program. Lang., 1995

A Linear Time Algorithm for Placing phi-nodes.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1993
Capturing Strong Reduction in Director String Calculus.
Theor. Comput. Sci., 1993


  Loading...