Vugranam C. Sreedhar  Vugranam C. Sreedhar photo       

contact information

ACM Distinguished Scientist and Member of IBM Academy
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash3726

links

Professional Associations

Professional Associations:  ACM Distinguished Scientist  |  ACM SIGPLAN


2008


Minimum Lock Assignment: A Method for Exploiting Concurrency among Critical Sections
Y Zhang, VC Sreedhar, W Zhu, V Sarkar, GR Gao
Lecture Notes In Computer Science, 2008 - Springer

Flexible pointer analysis using assign-fetch graphs
M Buss, D Brand, V Sreedhar, S A Edwards
Proceedings of the 2008 ACM symposium on Applied computing, pp. 234--239


2007

Synchronization state buffer: supporting efficient fine-grain synchronization on many-core …
W Zhu, VC Sreedhar, Z Hu, GR Gao
Proceedings of the 34th annual international symposium on …, 2007 - portal.acm.org

Optimized lock assignment and allocation: A method for exploiting concurrency among critical …
Y Zhang, VC Sreedhar, W Zhu, V Sarkar, GR Gao
Proceedings of the 12th ACM SIGPLAN symposium on Principles …, 2007 - portal.acm.org


2006


Data-centric security: role analysis and role typestates
VC Sreedhar
Proceedings of the eleventh ACM symposium on Access control …, 2006 - portal.acm.org


2005

From statecharts to ESP: programming with events, states and predicates for embedded systems
VC Sreedhar, MC Marinescu
Proceedings of the 5th ACM international conference on …, 2005 - portal.acm.org

Interprocedural analysis for privileged code placement and tainted variable detection
M. Pistoia, R. Flynn, L. Koved, V. Sreedhar
ECOOP 2005-Object-Oriented Programming, 734--734, Springer


2004

Experiences with Building Security Checking and Understanding Tool
T Habeck, L Koved, O Marquez, VC Sreedhar, M Steiner, W Venema, S Weber
domino.research.ibm.com, IBM Research, 2004

Static evaluation of role-based access control policies in distributed component-based systems
M. Pistoia, R.J. Flynn, V.C. Sreedhar
Technical Report, Technical Report RC23836 (W0411-166), IBM TJ Watson Research Center, IBM Research Division, Yorktown, NY, 2004


2003

Escape Analysis for Stack Allocation and Synchronization Elimination in Java
Manish Gupta, J Choi, Mauricio J Serrano, S Midkiff, , Vugranam C Sreedhar
ACM Transactions on Programming Languages and Systems, 2003

Stack allocation and synchronization optimizations for Java using escape analysis
Jong-Deok Choi, Manish Gupta, Mauricio J Serrano, Vugranam C Sreedhar, Samuel P Midkiff
ACM Trans. Program. Lang. Syst.25, 876--910, ACM, 2003
Abstract


2002

Programming software components using ACOEL
VC Sreedhar
Unpublished manuscript, IBM TJ Watson Research Center, 2002

Mixin'up components
VC Sreedhar
Proceedings of the 24th International Conference on Software …, 2002 - portal.acm.org


2001

Acoel on Coral
VC Sreedhar
SAVCBS 2001 Proceedings - eecs.ucf.edu

York: programming software components
VC Sreedhar
ACM SIGSOFT Software Engineering Notes, 2001 - portal.acm.org


2000

http://portal.acm.org/citation.cfm?id=349299.349326
VC Sreedhar, M Burke, JD Choi
Proceedings of the ACM SIGPLAN 2000 conference on …, 2000 - portal.acm.org

The Jalapeno virtual machine
B Alpern, C R Attanasio, J J Barton, M G Burke, P Cheng, J D Choi, A Cocchi, S J Fink, D Grove, M Hind, others
IBM Systems Journal 39(1), 211, Armonk, NY: International Business Machines Corp., 2000


1999

http://portal.acm.org/citation.cfm?id=320386
JD Choi, M Gupta, M Serrano, VC Sreedhar, S …
ACM SIGPLAN Notices, 1999 - portal.acm.org


1996

Identifying loops using DJ graphs
VC Sreedhar, GR Gao, YF Lee
ACM transactions on Programming Languages and Systems, 1996 - portal.acm.org


1995


Incremental computation of dominator trees
VC Sreedhar, GR Gao, YF Lee
ACM SIGPLAN Notices, 1995 - portal.acm.org


1994



Year Unknown


A Case For Sealing Classes In Java
M Biberstein, V C Sreedhar, A Zaks
Citeseer, Citeseer, 0

DJ-graphs and their applications to flowgraph analyses
VC Sreedhar, GR Gao, Y Lee
TechnicalReport ACAPS Memo - citeseerx.ist.psu.edu, 0

Translating out of static single assignment form
VC Sreedhar, RDC Ju, DM Gillies
optimization - Springer, 0