Safe Memory Regions for Big Data Processing
Gowtham Kaki, G. Ramalingam, Kapil Vaswani, Dimitrios Vytiniotis
January 2016
G. Ramalingam
Principal Researcher
Publications
Publications by Year
-
-
Composing Concurrency Control
Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, G. Ramalingam
Programming Language Design and Implementation, PLDI 2015 | June 2015
Automatic scalable atomicity via semantic locking
Guy Golan-Gueta, Mooly Sagiv, G. Ramalingam, Eran Yahav
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 | February 2015
Framework for Efficient Modular Heap Analysis
Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
January 2015
A Framework for Efficient Modular Heap Analysis
Foundations and Trends in Programming Languages | January 2015, Vol 1
Front Matter, Table of Contents, Preface, Conference Organization
Harsha, Prahladh, G. Ramalingam
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | January 2015
-
Checking Linearizability of Encapsulated Extended Operations
Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, G. Ramalingam
April 2014
Dagstuhl seminar review: Consistency in distributed systems
Bettina Kemme, G. Ramalingam, Andre Schiper, Marc Shapiro
March 2014
Automatic Semantic Locking
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav, G. Ramalingam
February 2014
(Poster)
-
Asynchronous Resilient Linearizability
Sagar Chordia, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
MSR-TR-2013-71 | July 2013
International Symposium on Distributed Computing (DISC)
Concurrent libraries with foresight
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav, G. Ramalingam
Programming Language Design and Implementation (PLDI) | June 2013
Programming Language Design and Implementation (PLDI)
Consistency in distributed systems
Bettina Kemme, G. Ramalingam, André Schiper, Marc Shapiro, Kapil Vaswani
Dagstuhl Reports | June 2013, Vol 3: pp. 92-126
Fault Tolerance via Idempotence
Principles of Programming Languages (POPL) | January 2013
-
Modular Heap Analysis For Higher Order Programs
Static Analysis Symposium (SAS) | September 2012
Generalized Lattice Agreement
Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Principles of Distributed Computing (PODC) | July 2012
CScale-A Programming Model for Scalable and Reliable Distributed Applications
Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Series Lecture Notes in Computer Science, Development, Operation and Management of Large-Scale Complex IT Systems. | Published by Springer Berlin Heidelberg | 2012, Vol 7539 | Series Lecture Notes in Computer Science edition
-
Bottom-up shape analysis using LISF
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori, G. Ramalingam
November 2011
Purity Analysis: An Abstract Interpretation Formulation
MSR-TR-2011-102 | September 2011
Automatic Fine-Grain Locking using Shape Properties
Guy Golan-Gueta, Nathan Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav, G. Ramalingam
Proc. of OOPSLA | January 2011
Proc. of OOPSLA
Logical Concurrency Control from Sequential Proofs
Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
SPIE Medical Imaging | January 2011
-
Reference count analysis with shallow aliasing
Inf. Process. Lett. | December 2010, Vol 111(2): pp. 57-63
Representation Dependence Testing Using Program Inversion
Aditya Kanade, Rajeev Alur, Sriram Rajamani, G. Ramalingam
Foundations of Software Engineering (FSE) | November 2010
Safe Programmable Speculative Parallelism
Prakash Prabhu, G. Ramalingam, Kapil Vaswani
Proceedings of Programming Language Design and Implementation (PLDI) | June 2010
Logical Concurrency Control From Sequential Proofs
Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of European Symposium on Programming (ESOP) - ETAPS Best Paper | March 2010
-
Abstract Transformers for Thread Correlation Analysis
Michal Segalov, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Mooly Sagiv
Asian Symposium on Programming Languages and Systems (APLAS) | December 2009
Mining Quantified Temporal Rules: Formalism, Algorithms and Evaluation
David Lo, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Working Conference on Reverse Engineering (WCRE) | October 2009
Distributed analytics platform
Joseph M Joy, Balasubramanyan Ashok, G. Ramalingam, Sriram K Rajamani
August 2009
Bottom-up Shape Analysis
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori
SAS '09: Static Analysis Symposium | August 2009
Reference Count Analysis With Shallow Aliasing
MSR-TR-2009-61 | May 2009
System and method for a logical-model based application understanding and transformation
Satish Chandra, John H Field, Raghavan Komondoor, G. Ramalingam, Saurabh Sinha
March 2009
Isolator: Dynamically Ensuring Isolation in Concurrent Programs
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2009
-
Identifying Concurrency Control from a Sequential Proof
G. Ramalingam, Sriram Rajamani, Venkatesh-Prasad Ranganath, Kapil Vaswani, Jyotirmoy Vinay Deshmukh
December 2008
Programming Languages and Systems
December 2008
EON: Modeling and Analyzing Access Control Systems with Logic Programs
Avik Chaudhuri, Prasad Naldurg, G. Ramalingam, Sriram Rajamani, L. Velaga
ACM Conference on Computer and Communications Security (CCS) | October 2008
ACM Conference on Computer and Communications Security (CCS)
Global Software Servicing: Observational Experiences at Microsoft
Shilpa Bugde, Nachi Nagappan, Sriram Rajamani, G. Ramalingam
International Conference on Global Software Engineering (IGCSE) | October 2008
International Conference on Global Software Engineering (IGCSE)
Heap Decomposition for Concurrent Shape Analysis
T. Lev-Ami, Roman Manevich, Mooly Sagiv, G. Ramalingam, Josh Berdine
Static Analysis Symposium (SAS) | July 2008
Thread Quantification for Concurrent Shape Analysis
T. Lev-Ami, Roman Manevich, G. Ramalingam, Josh Berdine, Mooly Sagiv
Computer Aided Verification (CAV) | July 2008
Controlling Non-determinism for Semantic Guarantees
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) | June 2008
Isolator: Dynamically Ensuring Isolation in Concurrent Programs
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
MSR-TR-2008-91 | June 2008
-
Parametric Process Model Inference
Saurabh Sinha, G. Ramalingam, Raghavan Komondoor
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE) | October 2007
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE)
Recovering Data Models Via Guarded Dependences
Raghavan Komondoor, G. Ramalingam
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE) | October 2007
Shape Analysis by Graph Decomposition
R. Manevich, Josh Berdine, Byron Cook, G. Ramalingam, M. Sagiv
Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, | March 2007
ISBN: 978-3-540-71208-4
Modular Shape Analysis for Dynamically Encapsulated Programs
Noam Rinetzky, A. Poetzsch-Heffter, G. Ramalingam, Mooly Sagiv, Eran Yahav
Proceedings of the 16th European Symposium on Programming (ESOP) | March 2007
Abstract Counterexample-based Refinement for Powerset Domains
Roman Manevich, John Field, Thomas. A. Henzinger, G. Ramalingam, Mooly Sagiv
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm | January 2007
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm
On the Complexity of Partially-Flow-Sensitive Alias Analysis
Noam Rinetzky, G. Ramalingam, Mooly Sagiv, Eran Yahav
ACM Transactions on Programming Languages and Systems | January 2007
-
Componentized heap abstraction
N. Rinetzky, G. Ramalingam, E. Yahav, M. Sagiv
TAU-CS-164/06 | December 2006
Effective Typestate Verification in the Presence of Aliasing
Stephen Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
International Symposium on Software Testing and Analysis | July 2006
Semantics-based Reverse Engineering of Object-Oriented Data Models
G. Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha
28th International Conference on Software Engineering | May 2006
-
Automatic Verification of Strongly Dynamic Software Systems
Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh
Working Conference on Verified Software: Theories, Tools, and Experiments | October 2005
Typestate verification: Abstraction techniques and complexity results
John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
October 2005
Dependent types for program understanding
Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field
International Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2005
Guarded Types for Program Understanding
Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field
In Eleventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2005
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists
R. Manevich, E. Yahav, G. Ramalingam, M. Sagiv
Sixth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2005) | January 2005
-
Partially disjunctive heap abstraction
Roman Manevich, Mooly Sagi, G. Ramalingam, John Field
August 2004
Verifying Safety Properties using Separation and Heterogeneous Abstractions
Eran Yahav, G. Ramalingam
PLDI '04 Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation | June 2004
-
Shallow Finite State Verification
John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
December 2002
Compactly representing first-order structures for static analysis
R. Manevich, G. Ramalingam, J. Field, D. Goyal, M. Sagiv
9th International Symposium, SAS 2002 | September 2002
On loops, dominators, and dominance frontiers
In Proceedings of the SIGPLAN '00 Conference on Programming Language Design and Implementation | September 2002
Deriving specialized analyses for certifying component-client conformance
G. Ramalingam, Alex Warshavsky, John Field, Deepak Goyal, Mooly Sagiv
PLDI '02 Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation | June 2002
Deriving specialized program analyses for certifying component-client conformance
G. Ramalingam, Alex Warshavsky, John Field, Deepak Goyal, Mooly Sagiv
PLDI '02 Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation | June 2002
On Sparse Evaluation Representations
Theoretical Computer Science | April 2002, Vol 277(1-2): pp. 119-147
-
Method and apparatus for slicing class hierarchies
Jong-Deok Choi, John H Field, G. Ramalingam, Frank Tip
October 2001
-
Context-sensitive synchronization-sensitive analysis is undecidable
ACM Transactions on Programming Languages and Systems (TOPLAS) | March 2000, Vol 22(2): pp. 416-430
-
Identifying procedural structure in cobol programs
September 1999
Identifying loops in almost linear time
March 1999
Solving Systems of Difference Constraints Incrementally
G. Ramalingam, J. Song, L. Joskowicz, R. E. Miller
Algorithmica | March 1999, Vol 23(3): pp. 261-275
Aggregate structure identification and its application to program analysis
G. Ramalingam, John Field, Frank Tip
POPL '99 Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1999
-
A member lookup algorithm for {C}++
G. Ramalingam, Harini Srinivasan
June 1997
-
Slicing class hierarchies in {C}++
Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam
Proceeding OOPSLA '96 Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications | October 1996
Interactive authoring of multimedia documents
Junehwa Song, Michelle Y Kim, G. Ramalingam, Raymond Miller, Byoung-Kee Yi
Visual Languages, 1996. Proceedings., IEEE Symposium on | September 1996
An incremental algorithm for a generalization of the shortest-path problem
G. Ramalingam, Thomas Reps
September 1996
Data flow frequency analysis
Proceeding PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation | May 1996
On the computational complexity of dynamic graphs problems
G. Ramalingam, Thomas Reps
May 1996
-
Parametric program slicing
John Field, G. Ramalingam, Frank Tip
Proceeding POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1995
-
The undecidability of aliasing
Journal ACM Transactions on Programming Languages and Systems (TOPLAS) | September 1994
On competitive on-line algorithms for the dynamic priority-ordering problem
G. Ramalingam, Thomas Reps
August 1994
An incremental algorithm for maintaining the dominator tree of a reducible flowgraph
G. Ramalingam, Thomas Reps
Proceeding POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1994
-
A categorized bibliography on incremental computation
G. Ramalingam, Thomas Reps
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | March 1993
Bounded incremental computation
January 1993
PhD Thesis: University of Wisconsin at Madison | January 1993
-
New Programs From Old
G. Ramalingam, Thomas Reps
Proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST) | November 1991
On the Computational Complexity of Incremental Algorithms
G. Ramalingam, Thomas Reps
CS-TR-1033 | August 1991
Modification algebras
G. Ramalingam, Thomas Reps
Proceeding AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology | May 1991
A theory of program modifications
G. Ramalingam, Thomas Reps
January 1991
-
New sequential and parallel algorithms for interval graph recognition
G. Ramalingam, C. PANDU RANGAN
Information Processing Letters | September 1990
-
Semantics of Program Representation Graphs
G. Ramalingam, Thomas Reps
CSTR-900 | December 1989
-
A unified approach to domination problems on interval graphs
G. Ramalingam, C. Pandu Rangan
Journal Information Processing Letters | April 1988
Total domination in interval graphs
G. Ramalingam, C. Pandu Rangan
January 1988
Publications by Research Area
-
Context-sensitive synchronization-sensitive analysis is undecidable
ACM Transactions on Programming Languages and Systems (TOPLAS) | March 2000, Vol 22(2): pp. 416-430
Identifying procedural structure in cobol programs
September 1999
Solving Systems of Difference Constraints Incrementally
G. Ramalingam, J. Song, L. Joskowicz, R. E. Miller
Algorithmica | March 1999, Vol 23(3): pp. 261-275
Identifying loops in almost linear time
March 1999
Aggregate structure identification and its application to program analysis
G. Ramalingam, John Field, Frank Tip
POPL '99 Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1999
Interactive authoring of multimedia documents
Junehwa Song, Michelle Y Kim, G. Ramalingam, Raymond Miller, Byoung-Kee Yi
Visual Languages, 1996. Proceedings., IEEE Symposium on | September 1996
Data flow frequency analysis
Proceeding PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation | May 1996
The undecidability of aliasing
Journal ACM Transactions on Programming Languages and Systems (TOPLAS) | September 1994
On competitive on-line algorithms for the dynamic priority-ordering problem
G. Ramalingam, Thomas Reps
August 1994
An incremental algorithm for maintaining the dominator tree of a reducible flowgraph
G. Ramalingam, Thomas Reps
Proceeding POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1994
A categorized bibliography on incremental computation
G. Ramalingam, Thomas Reps
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | March 1993
Bounded incremental computation
January 1993
PhD Thesis: University of Wisconsin at Madison | January 1993
New Programs From Old
G. Ramalingam, Thomas Reps
Proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST) | November 1991
Modification algebras
G. Ramalingam, Thomas Reps
Proceeding AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology | May 1991
A theory of program modifications
G. Ramalingam, Thomas Reps
January 1991
New sequential and parallel algorithms for interval graph recognition
G. Ramalingam, C. PANDU RANGAN
Information Processing Letters | September 1990
Semantics of Program Representation Graphs
G. Ramalingam, Thomas Reps
CSTR-900 | December 1989
A unified approach to domination problems on interval graphs
G. Ramalingam, C. Pandu Rangan
Journal Information Processing Letters | April 1988
Total domination in interval graphs
G. Ramalingam, C. Pandu Rangan
January 1988
Safe Memory Regions for Big Data Processing
Gowtham Kaki, G. Ramalingam, Kapil Vaswani, Dimitrios Vytiniotis
January 2016
Composing Concurrency Control
Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, G. Ramalingam
Programming Language Design and Implementation, PLDI 2015 | June 2015
Automatic scalable atomicity via semantic locking
Guy Golan-Gueta, Mooly Sagiv, G. Ramalingam, Eran Yahav
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 | February 2015
Framework for Efficient Modular Heap Analysis
Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
January 2015
Front Matter, Table of Contents, Preface, Conference Organization
Harsha, Prahladh, G. Ramalingam
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | January 2015
A Framework for Efficient Modular Heap Analysis
Foundations and Trends in Programming Languages | January 2015, Vol 1
Checking Linearizability of Encapsulated Extended Operations
Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, G. Ramalingam
April 2014
Dagstuhl seminar review: Consistency in distributed systems
Bettina Kemme, G. Ramalingam, Andre Schiper, Marc Shapiro
March 2014
Automatic Semantic Locking
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav, G. Ramalingam
February 2014
(Poster)
Asynchronous Resilient Linearizability
Sagar Chordia, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
MSR-TR-2013-71 | July 2013
International Symposium on Distributed Computing (DISC)
Consistency in distributed systems
Bettina Kemme, G. Ramalingam, André Schiper, Marc Shapiro, Kapil Vaswani
Dagstuhl Reports | June 2013, Vol 3: pp. 92-126
Concurrent libraries with foresight
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav, G. Ramalingam
Programming Language Design and Implementation (PLDI) | June 2013
Programming Language Design and Implementation (PLDI)
Fault Tolerance via Idempotence
Principles of Programming Languages (POPL) | January 2013
Modular Heap Analysis For Higher Order Programs
Static Analysis Symposium (SAS) | September 2012
Generalized Lattice Agreement
Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Principles of Distributed Computing (PODC) | July 2012
CScale-A Programming Model for Scalable and Reliable Distributed Applications
Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Series Lecture Notes in Computer Science, Development, Operation and Management of Large-Scale Complex IT Systems. | Published by Springer Berlin Heidelberg | 2012, Vol 7539 | Series Lecture Notes in Computer Science edition
Bottom-up shape analysis using LISF
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori, G. Ramalingam
November 2011
Purity Analysis: An Abstract Interpretation Formulation
MSR-TR-2011-102 | September 2011
Automatic Fine-Grain Locking using Shape Properties
Guy Golan-Gueta, Nathan Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav, G. Ramalingam
Proc. of OOPSLA | January 2011
Proc. of OOPSLA
Logical Concurrency Control from Sequential Proofs
Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
SPIE Medical Imaging | January 2011
Reference count analysis with shallow aliasing
Inf. Process. Lett. | December 2010, Vol 111(2): pp. 57-63
Representation Dependence Testing Using Program Inversion
Aditya Kanade, Rajeev Alur, Sriram Rajamani, G. Ramalingam
Foundations of Software Engineering (FSE) | November 2010
Safe Programmable Speculative Parallelism
Prakash Prabhu, G. Ramalingam, Kapil Vaswani
Proceedings of Programming Language Design and Implementation (PLDI) | June 2010
Logical Concurrency Control From Sequential Proofs
Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of European Symposium on Programming (ESOP) - ETAPS Best Paper | March 2010
Abstract Transformers for Thread Correlation Analysis
Michal Segalov, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Mooly Sagiv
Asian Symposium on Programming Languages and Systems (APLAS) | December 2009
Mining Quantified Temporal Rules: Formalism, Algorithms and Evaluation
David Lo, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Working Conference on Reverse Engineering (WCRE) | October 2009
Distributed analytics platform
Joseph M Joy, Balasubramanyan Ashok, G. Ramalingam, Sriram K Rajamani
August 2009
Bottom-up Shape Analysis
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori
SAS '09: Static Analysis Symposium | August 2009
Reference Count Analysis With Shallow Aliasing
MSR-TR-2009-61 | May 2009
System and method for a logical-model based application understanding and transformation
Satish Chandra, John H Field, Raghavan Komondoor, G. Ramalingam, Saurabh Sinha
March 2009
Isolator: Dynamically Ensuring Isolation in Concurrent Programs
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2009
Identifying Concurrency Control from a Sequential Proof
G. Ramalingam, Sriram Rajamani, Venkatesh-Prasad Ranganath, Kapil Vaswani, Jyotirmoy Vinay Deshmukh
December 2008
Programming Languages and Systems
December 2008
EON: Modeling and Analyzing Access Control Systems with Logic Programs
Avik Chaudhuri, Prasad Naldurg, G. Ramalingam, Sriram Rajamani, L. Velaga
ACM Conference on Computer and Communications Security (CCS) | October 2008
ACM Conference on Computer and Communications Security (CCS)
Global Software Servicing: Observational Experiences at Microsoft
Shilpa Bugde, Nachi Nagappan, Sriram Rajamani, G. Ramalingam
International Conference on Global Software Engineering (IGCSE) | October 2008
International Conference on Global Software Engineering (IGCSE)
Heap Decomposition for Concurrent Shape Analysis
T. Lev-Ami, Roman Manevich, Mooly Sagiv, G. Ramalingam, Josh Berdine
Static Analysis Symposium (SAS) | July 2008
Isolator: Dynamically Ensuring Isolation in Concurrent Programs
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
MSR-TR-2008-91 | June 2008
Controlling Non-determinism for Semantic Guarantees
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) | June 2008
Shape Analysis by Graph Decomposition
R. Manevich, Josh Berdine, Byron Cook, G. Ramalingam, M. Sagiv
Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, | March 2007
ISBN: 978-3-540-71208-4
Modular Shape Analysis for Dynamically Encapsulated Programs
Noam Rinetzky, A. Poetzsch-Heffter, G. Ramalingam, Mooly Sagiv, Eran Yahav
Proceedings of the 16th European Symposium on Programming (ESOP) | March 2007
On the Complexity of Partially-Flow-Sensitive Alias Analysis
Noam Rinetzky, G. Ramalingam, Mooly Sagiv, Eran Yahav
ACM Transactions on Programming Languages and Systems | January 2007
Abstract Counterexample-based Refinement for Powerset Domains
Roman Manevich, John Field, Thomas. A. Henzinger, G. Ramalingam, Mooly Sagiv
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm | January 2007
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm
Componentized heap abstraction
N. Rinetzky, G. Ramalingam, E. Yahav, M. Sagiv
TAU-CS-164/06 | December 2006
Effective Typestate Verification in the Presence of Aliasing
Stephen Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
International Symposium on Software Testing and Analysis | July 2006
Semantics-based Reverse Engineering of Object-Oriented Data Models
G. Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha
28th International Conference on Software Engineering | May 2006
Automatic Verification of Strongly Dynamic Software Systems
Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh
Working Conference on Verified Software: Theories, Tools, and Experiments | October 2005
Typestate verification: Abstraction techniques and complexity results
John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
October 2005
Dependent types for program understanding
Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field
International Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2005
Guarded Types for Program Understanding
Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field
In Eleventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2005
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists
R. Manevich, E. Yahav, G. Ramalingam, M. Sagiv
Sixth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2005) | January 2005
Partially disjunctive heap abstraction
Roman Manevich, Mooly Sagi, G. Ramalingam, John Field
August 2004
Verifying Safety Properties using Separation and Heterogeneous Abstractions
Eran Yahav, G. Ramalingam
PLDI '04 Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation | June 2004
Shallow Finite State Verification
John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
December 2002
Compactly representing first-order structures for static analysis
R. Manevich, G. Ramalingam, J. Field, D. Goyal, M. Sagiv
9th International Symposium, SAS 2002 | September 2002
On loops, dominators, and dominance frontiers
In Proceedings of the SIGPLAN '00 Conference on Programming Language Design and Implementation | September 2002
Deriving specialized program analyses for certifying component-client conformance
G. Ramalingam, Alex Warshavsky, John Field, Deepak Goyal, Mooly Sagiv
PLDI '02 Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation | June 2002
Deriving specialized analyses for certifying component-client conformance
G. Ramalingam, Alex Warshavsky, John Field, Deepak Goyal, Mooly Sagiv
PLDI '02 Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation | June 2002
On Sparse Evaluation Representations
Theoretical Computer Science | April 2002, Vol 277(1-2): pp. 119-147
Method and apparatus for slicing class hierarchies
Jong-Deok Choi, John H Field, G. Ramalingam, Frank Tip
October 2001
-
A member lookup algorithm for {C}++
G. Ramalingam, Harini Srinivasan
June 1997
Slicing class hierarchies in {C}++
Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam
Proceeding OOPSLA '96 Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications | October 1996
An incremental algorithm for a generalization of the shortest-path problem
G. Ramalingam, Thomas Reps
September 1996
On the computational complexity of dynamic graphs problems
G. Ramalingam, Thomas Reps
May 1996
Parametric program slicing
John Field, G. Ramalingam, Frank Tip
Proceeding POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1995
An incremental algorithm for maintaining the dominator tree of a reducible flowgraph
G. Ramalingam, Thomas Reps
Proceeding POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1994
On the Computational Complexity of Incremental Algorithms
G. Ramalingam, Thomas Reps
CS-TR-1033 | August 1991
Abstract Transformers for Thread Correlation Analysis
Michal Segalov, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Mooly Sagiv
Asian Symposium on Programming Languages and Systems (APLAS) | December 2009
Bottom-up Shape Analysis
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori
SAS '09: Static Analysis Symposium | August 2009
Recovering Data Models Via Guarded Dependences
Raghavan Komondoor, G. Ramalingam
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE) | October 2007
Dependent types for program understanding
Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field
International Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2005
-
Fault Tolerance via Idempotence
Principles of Programming Languages (POPL) | January 2013
-
Thread Quantification for Concurrent Shape Analysis
T. Lev-Ami, Roman Manevich, G. Ramalingam, Josh Berdine, Mooly Sagiv
Computer Aided Verification (CAV) | July 2008
-
Parametric Process Model Inference
Saurabh Sinha, G. Ramalingam, Raghavan Komondoor
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE) | October 2007
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE)
Publications by Type
-
Context-sensitive synchronization-sensitive analysis is undecidable
ACM Transactions on Programming Languages and Systems (TOPLAS) | March 2000, Vol 22(2): pp. 416-430
Solving Systems of Difference Constraints Incrementally
G. Ramalingam, J. Song, L. Joskowicz, R. E. Miller
Algorithmica | March 1999, Vol 23(3): pp. 261-275
An incremental algorithm for a generalization of the shortest-path problem
G. Ramalingam, Thomas Reps
September 1996
On the computational complexity of dynamic graphs problems
G. Ramalingam, Thomas Reps
May 1996
The undecidability of aliasing
Journal ACM Transactions on Programming Languages and Systems (TOPLAS) | September 1994
On competitive on-line algorithms for the dynamic priority-ordering problem
G. Ramalingam, Thomas Reps
August 1994
A theory of program modifications
G. Ramalingam, Thomas Reps
January 1991
New sequential and parallel algorithms for interval graph recognition
G. Ramalingam, C. PANDU RANGAN
Information Processing Letters | September 1990
A unified approach to domination problems on interval graphs
G. Ramalingam, C. Pandu Rangan
Journal Information Processing Letters | April 1988
Total domination in interval graphs
G. Ramalingam, C. Pandu Rangan
January 1988
Safe Memory Regions for Big Data Processing
Gowtham Kaki, G. Ramalingam, Kapil Vaswani, Dimitrios Vytiniotis
January 2016
Framework for Efficient Modular Heap Analysis
Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
January 2015
A Framework for Efficient Modular Heap Analysis
Foundations and Trends in Programming Languages | January 2015, Vol 1
Dagstuhl seminar review: Consistency in distributed systems
Bettina Kemme, G. Ramalingam, Andre Schiper, Marc Shapiro
March 2014
Consistency in distributed systems
Bettina Kemme, G. Ramalingam, André Schiper, Marc Shapiro, Kapil Vaswani
Dagstuhl Reports | June 2013, Vol 3: pp. 92-126
Fault Tolerance via Idempotence
Principles of Programming Languages (POPL) | January 2013
Reference count analysis with shallow aliasing
Inf. Process. Lett. | December 2010, Vol 111(2): pp. 57-63
Distributed analytics platform
Joseph M Joy, Balasubramanyan Ashok, G. Ramalingam, Sriram K Rajamani
August 2009
System and method for a logical-model based application understanding and transformation
Satish Chandra, John H Field, Raghavan Komondoor, G. Ramalingam, Saurabh Sinha
March 2009
Identifying Concurrency Control from a Sequential Proof
G. Ramalingam, Sriram Rajamani, Venkatesh-Prasad Ranganath, Kapil Vaswani, Jyotirmoy Vinay Deshmukh
December 2008
Automatic Verification of Strongly Dynamic Software Systems
Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh
Working Conference on Verified Software: Theories, Tools, and Experiments | October 2005
Dependent types for program understanding
Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field
International Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2005
Guarded Types for Program Understanding
Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field
In Eleventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2005
On Sparse Evaluation Representations
Theoretical Computer Science | April 2002, Vol 277(1-2): pp. 119-147
Method and apparatus for slicing class hierarchies
Jong-Deok Choi, John H Field, G. Ramalingam, Frank Tip
October 2001
-
Identifying procedural structure in cobol programs
September 1999
Identifying loops in almost linear time
March 1999
Aggregate structure identification and its application to program analysis
G. Ramalingam, John Field, Frank Tip
POPL '99 Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1999
A member lookup algorithm for {C}++
G. Ramalingam, Harini Srinivasan
June 1997
Slicing class hierarchies in {C}++
Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam
Proceeding OOPSLA '96 Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications | October 1996
Interactive authoring of multimedia documents
Junehwa Song, Michelle Y Kim, G. Ramalingam, Raymond Miller, Byoung-Kee Yi
Visual Languages, 1996. Proceedings., IEEE Symposium on | September 1996
Data flow frequency analysis
Proceeding PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation | May 1996
Parametric program slicing
John Field, G. Ramalingam, Frank Tip
Proceeding POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1995
An incremental algorithm for maintaining the dominator tree of a reducible flowgraph
G. Ramalingam, Thomas Reps
Proceeding POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1994
A categorized bibliography on incremental computation
G. Ramalingam, Thomas Reps
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | March 1993
New Programs From Old
G. Ramalingam, Thomas Reps
Proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST) | November 1991
Modification algebras
G. Ramalingam, Thomas Reps
Proceeding AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology | May 1991
Composing Concurrency Control
Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, G. Ramalingam
Programming Language Design and Implementation, PLDI 2015 | June 2015
Automatic scalable atomicity via semantic locking
Guy Golan-Gueta, Mooly Sagiv, G. Ramalingam, Eran Yahav
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 | February 2015
Front Matter, Table of Contents, Preface, Conference Organization
Harsha, Prahladh, G. Ramalingam
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | January 2015
Checking Linearizability of Encapsulated Extended Operations
Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, G. Ramalingam
April 2014
Concurrent libraries with foresight
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav, G. Ramalingam
Programming Language Design and Implementation (PLDI) | June 2013
Programming Language Design and Implementation (PLDI)
Modular Heap Analysis For Higher Order Programs
Static Analysis Symposium (SAS) | September 2012
Generalized Lattice Agreement
Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Principles of Distributed Computing (PODC) | July 2012
Bottom-up shape analysis using LISF
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori, G. Ramalingam
November 2011
Automatic Fine-Grain Locking using Shape Properties
Guy Golan-Gueta, Nathan Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav, G. Ramalingam
Proc. of OOPSLA | January 2011
Proc. of OOPSLA
Logical Concurrency Control from Sequential Proofs
Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
SPIE Medical Imaging | January 2011
Representation Dependence Testing Using Program Inversion
Aditya Kanade, Rajeev Alur, Sriram Rajamani, G. Ramalingam
Foundations of Software Engineering (FSE) | November 2010
Safe Programmable Speculative Parallelism
Prakash Prabhu, G. Ramalingam, Kapil Vaswani
Proceedings of Programming Language Design and Implementation (PLDI) | June 2010
Logical Concurrency Control From Sequential Proofs
Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of European Symposium on Programming (ESOP) - ETAPS Best Paper | March 2010
Abstract Transformers for Thread Correlation Analysis
Michal Segalov, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Mooly Sagiv
Asian Symposium on Programming Languages and Systems (APLAS) | December 2009
Mining Quantified Temporal Rules: Formalism, Algorithms and Evaluation
David Lo, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Working Conference on Reverse Engineering (WCRE) | October 2009
Bottom-up Shape Analysis
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori
SAS '09: Static Analysis Symposium | August 2009
Isolator: Dynamically Ensuring Isolation in Concurrent Programs
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2009
Programming Languages and Systems
December 2008
EON: Modeling and Analyzing Access Control Systems with Logic Programs
Avik Chaudhuri, Prasad Naldurg, G. Ramalingam, Sriram Rajamani, L. Velaga
ACM Conference on Computer and Communications Security (CCS) | October 2008
ACM Conference on Computer and Communications Security (CCS)
Global Software Servicing: Observational Experiences at Microsoft
Shilpa Bugde, Nachi Nagappan, Sriram Rajamani, G. Ramalingam
International Conference on Global Software Engineering (IGCSE) | October 2008
International Conference on Global Software Engineering (IGCSE)
Heap Decomposition for Concurrent Shape Analysis
T. Lev-Ami, Roman Manevich, Mooly Sagiv, G. Ramalingam, Josh Berdine
Static Analysis Symposium (SAS) | July 2008
Thread Quantification for Concurrent Shape Analysis
T. Lev-Ami, Roman Manevich, G. Ramalingam, Josh Berdine, Mooly Sagiv
Computer Aided Verification (CAV) | July 2008
Controlling Non-determinism for Semantic Guarantees
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) | June 2008
Recovering Data Models Via Guarded Dependences
Raghavan Komondoor, G. Ramalingam
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE) | October 2007
Parametric Process Model Inference
Saurabh Sinha, G. Ramalingam, Raghavan Komondoor
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE) | October 2007
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE)
Shape Analysis by Graph Decomposition
R. Manevich, Josh Berdine, Byron Cook, G. Ramalingam, M. Sagiv
Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, | March 2007
ISBN: 978-3-540-71208-4
Modular Shape Analysis for Dynamically Encapsulated Programs
Noam Rinetzky, A. Poetzsch-Heffter, G. Ramalingam, Mooly Sagiv, Eran Yahav
Proceedings of the 16th European Symposium on Programming (ESOP) | March 2007
On the Complexity of Partially-Flow-Sensitive Alias Analysis
Noam Rinetzky, G. Ramalingam, Mooly Sagiv, Eran Yahav
ACM Transactions on Programming Languages and Systems | January 2007
Abstract Counterexample-based Refinement for Powerset Domains
Roman Manevich, John Field, Thomas. A. Henzinger, G. Ramalingam, Mooly Sagiv
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm | January 2007
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm
Effective Typestate Verification in the Presence of Aliasing
Stephen Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
International Symposium on Software Testing and Analysis | July 2006
Semantics-based Reverse Engineering of Object-Oriented Data Models
G. Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha
28th International Conference on Software Engineering | May 2006
Typestate verification: Abstraction techniques and complexity results
John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
October 2005
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists
R. Manevich, E. Yahav, G. Ramalingam, M. Sagiv
Sixth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2005) | January 2005
Partially disjunctive heap abstraction
Roman Manevich, Mooly Sagi, G. Ramalingam, John Field
August 2004
Verifying Safety Properties using Separation and Heterogeneous Abstractions
Eran Yahav, G. Ramalingam
PLDI '04 Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation | June 2004
Shallow Finite State Verification
John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
December 2002
Compactly representing first-order structures for static analysis
R. Manevich, G. Ramalingam, J. Field, D. Goyal, M. Sagiv
9th International Symposium, SAS 2002 | September 2002
On loops, dominators, and dominance frontiers
In Proceedings of the SIGPLAN '00 Conference on Programming Language Design and Implementation | September 2002
Deriving specialized program analyses for certifying component-client conformance
G. Ramalingam, Alex Warshavsky, John Field, Deepak Goyal, Mooly Sagiv
PLDI '02 Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation | June 2002
Deriving specialized analyses for certifying component-client conformance
G. Ramalingam, Alex Warshavsky, John Field, Deepak Goyal, Mooly Sagiv
PLDI '02 Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation | June 2002
-
On the Computational Complexity of Incremental Algorithms
G. Ramalingam, Thomas Reps
CS-TR-1033 | August 1991
Semantics of Program Representation Graphs
G. Ramalingam, Thomas Reps
CSTR-900 | December 1989
Asynchronous Resilient Linearizability
Sagar Chordia, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
MSR-TR-2013-71 | July 2013
International Symposium on Distributed Computing (DISC)
Purity Analysis: An Abstract Interpretation Formulation
MSR-TR-2011-102 | September 2011
Reference Count Analysis With Shallow Aliasing
MSR-TR-2009-61 | May 2009
Isolator: Dynamically Ensuring Isolation in Concurrent Programs
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
MSR-TR-2008-91 | June 2008
Componentized heap abstraction
N. Rinetzky, G. Ramalingam, E. Yahav, M. Sagiv
TAU-CS-164/06 | December 2006
-
CScale-A Programming Model for Scalable and Reliable Distributed Applications
Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Series Lecture Notes in Computer Science, Development, Operation and Management of Large-Scale Complex IT Systems. | Published by Springer Berlin Heidelberg | 2012, Vol 7539 | Series Lecture Notes in Computer Science edition
-
Bounded incremental computation
January 1993
PhD Thesis: University of Wisconsin at Madison | January 1993
-
Automatic Semantic Locking
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav, G. Ramalingam
February 2014
(Poster)