Referrered Journal
1. Jong Choi, Manish Gupta, Mauricio Serrano, Vugranam Sreedhar, and Sam Midkiff. "Stack Allocation and Synchronization Optimization for Java Using Escape Analysis" Transaction on Programming Languages and Systems (TOPLAS) 25(6), Nov 2003.
2. B. Alpern, C. R. Attanasio, J. Barton, M. G. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, T. Ngo, M. Mergen, J. R. Russell, V. Sarkar, M. J. Serrano, J. C. Sheppherd, S. E. Smith, V. C. Sreedhar, H. Srinivasan, and J.
Whaley. "Jalapeno Virtual Machine" IBM Systems Journal Special Issue on Java Performance, 39(1), 2000.
3. Vugranam Sreedhar, Yong-fong Lee, and Guang Gao., "A new framework for elimination-based datafow analysis using DJ graphs," ACM Transaction on Programming Languages and Systems, 20(2), p388-435, 1998
4. Vugranam Sreedhar and Guang Gao., "Computing phi-nodes in Linear Time Using DJ-graphs" Journal of Programming Languages 3(4), p191-213, 1996.
5. Vugranam Sreedhar, Guang Gao and Yong-fong Lee. "Incremental Computation of Dominator Trees" ACM Transaction on Programming Languages and Systems, 19(2), p239-252, 1997
6. Vugranam Sreedhar, Guang Gao and Yong-fong Lee. "Identifying Loops Using DJ Graphs" ACM Transaction on Programming Languages and Systems, 18(6), p649-658, 1996.
7. Vugranam Sreedhar and Kazem Taghva, "Capturing Strong Reduction in Director String Calculus" in Theoretical Computer Science, 107(2), Jan. 1993.
Refereed Conference
1. Daniel Brand, Marcio Buss, and Vugranam C. Sreedhar Evidence-Based Analysis and In-
ferring Precondition for Bug Detection". 23rd International Symposium on Software Mainte-
nance, Paris, France, 2007 (ICSM 2007).
2. Dana Glasner and Vugranam C. Sreedhar Con guration Reasoning and Ontology For the
Web ", IEEE International Conference on Services Computing, Salt Lake City, Utah, 2007
(SCC 2007).
3. Weirong Zhu, Vugranam C. Sreedhar, Ziang Hu, Guang Gao. Synchronization State Bu er:
Supporting Ecient Fine-Grain Synchronization on Many-Core Architectures". ACM/IEEE
International Symposium on Computer Architecture (ISCA), 2007.
4. Yuan Zhang, Vugranam C. Sreedhar, Guang Gao, and Vivek Sarkar, Towards Optimal Lock
Assignment and Allocation - A Method for Exploiting Concurrency among Multiple Critical
Sections" ACM Conference on Principles and Practice of Parallel Programming 2007 (Short
paper and poster) (PPoPP 2007).
5. Vugranam C. Sreedhar \Data-Centric Security: Role Analysis and Role Typestate" Proceed-
ings of the 11th ACM Symposium on Access Control Models and Technologies, 2006 (SACMAT
2006).
6. Marco Pistoia, Vugranam C. Sreedhar Robert Flynn, and Larry Koved, Interprocedural Anal-
ysis for Privileged Code Placement and Tainted Variable Detection" 2005 European Conference
on Object Oriented Programming.
7. Marina Biberstein, Vugranam C. Sreedhar, and Bihla Mendelson. Instrumenting Annotated
Programs, First ACM/USENIX International Conference on Virtual Execution Environments
(VEE'05)
8. Vugranam C. Sreedhar and Maria-Cristina Marinescu From Statecharts to ESP*: Program-
ming With Events, States and Predicates For Embedded Systems", ACM Conference of Em-
bedded System Software (EMSOFT) 2005.
9. Vugranam C. Sreedhar Mixin'Up Components" Proceedings of the ACM International Con-
ference on Software Engineering (ICSE), Florida, 2002
10. Vugranam Sreedhar, Michael Burke, Jong Choi., A Framework for Interprocedural Analysis
in the Presence of Dynamic Class Loading" In Proceedings of the ACM SIGPLAN Conference
on Programming Language Design and Implementation, 2000.
11. Vugranam Sreedhar, Roy Ju, David Gillies, and Vatsa Santanam., Translating Out of Static
Single Assignment Form" Symposium on Static Analysis, September 1999.
12. Michael Burke, Jong Choi, Stephen Fink, David Grove, Michael Hind, Vivek Sarkar, Mauricio
Serrano, Vugranam Sreedhar, Harini Srinivasan and John Whaley., The Jalapeno dynamic
optimizing compiler for Java" Proceedings of the 1999 ACM SIGPLAN 1999 Java Grande
Conference, June 1999.
13. Jong Choi, Manish Gupta, Mauricio Serrano, Vugranam Sreedhar, and Sam Midki , \Es-
cape Analysis for Java" Proceedings of the ACM SIGPLAN Conference on Object-Oriented
Programming, Systems, Languages Applications, October 1999.
14. Vugranam Sreedhar, Guang Gao and Yong-fong Lee. A New Framework for Elimination-
Based Exhaustive and Incremental Data Flow Analysis." In Proceedings of the ACM SIG-
PLAN'96 Conference on Programming Language Design and Implementation, 1996.
15. Vugranam Sreedhar and Guang Gao., A Linear Time Algorithm for Placing Phi-Nodes" in
the Proceedings of the Symposium on Principles of Programming Languages, January 1995.
Referrered Workshop
1. Marina Biberstein, Vugranam C. Sreedhar and Ayal Zaks "A Case for Sealing Classes in Java
", The Israeli Workshop on Programming Languages and Development Environments, July
2002
2. Vugranam C. Sreedhar ACOEL on CORAL: A Component Requirement and Abstraction Language" Workshop on Specifiation and Veri cation of Component-Based Systems, held in conjunction with OOPSLA, October 2001.
3. Vugranam Sreedhar, Guang Gao and Yong-fong Lee. Incremental Computation of Dominator Trees" in the Proceedings of the ACM SIGPLAN Workshop on Intermediate Representation (held in conjunction with Symposium on Principles of Programming Languages, January 1995).
Patents Granted
1. J. Choi, M Gupta, S. Midkiff, M. Serrano, and V. C. Sreedhar, Method for optimizing locks in computer programs", US Patent 6,530,0079, March 2003.
2. J. Choi, M Gupta, S. Midkiff, M. Serrano, and V. C. Sreedhar Method for optimizing creation and destruction of objects in computer programs" US Patent 6,381,738, April 2002.
3. V. C. Sreedhar, Roy Ju, David Gillies, and Vatsa Santanam. Translating out of SSA form" US Patent Awarded. 6,182,284, Jan 2001.
4. V. C. Sreedhar, M. Burke, and J. Choi., \Interprocedural Analysis and Optimization in the Presence of Dynamic Class Loading" US Patent 6,865,730, March 2005
Patents Filed
1. Doug Kimelman, V. T. Rajan, Tova Roth, V. C. Sreedhar, and Mark Wegman. Methods and Apparatus for determining software component implementations based on dynamic information" US. Patent Filed Feb 2001 Docket Number YOR290000726.
2. V. C. Sreedhar \Method and Apparatus for programming software components" Filed July 2001.
3. Doug Kimelman, V. T. Rajan, Tova Roth, V. C. Sreedhar, and Mark Wegman. Recognizing groups of objects in repeated runs of object oriented programs" US Patent Filed DISCLOSURE NO. YOR820020035.
4. Doug Kimelman, V. T. Rajan, Tova Roth, V. C. Sreedhar, and Mark Wegman. Writing Efficient Libraries or Generic Components US Patent Filed DISCLOSURE NO. YOR820020034.
5. Doug Kimelman, V. T. Rajan, Tova Roth, V. C. Sreedhar, and Mark Wegman. \Minimizing Changes of Representation for Data Structure Values In Computer Programs" US Patent Filed DISCLOSURE NO. YOR820020033.
6. Marina Biberstein, Vugranam C. Sreedhar, and Bilha Mendelson. Method and Apparatus for Instrumenting Annotated Programs, Submitted for US Patent. 2004.
7. V. C. Sreedhar Method and Apparatus for Variational Modeling Using Extension Types U.S. Patent filing YOR9-2003-0353, Sept. 2003.
8. V. C. Sreedhar System and method for static analysis using fault paths", U.S. Patent Filing YOR9-2005-0224, 2005.
9. V. C. Sreedhar Method and Apparatus for Role Flow Analys, Role Escape Analysis, and Role Type Analysis" US Patent Filing YOR8-2006-0017
10. V. C. Sreedhar, Gabriela Cretu. and Julian Dolby \Method and Apparatus for Sparse Vulnerability Analysis" US Patent Filing YOR8-2006-0640
11. V. C. Sreedhar and Dana Glasner \Method and Apparatus for configuration modeling and consistency checking of Web applications" US Patent Filing YOR8-2006-0629.