Safe Memory Regions for Big Data Processing
Gowtham Kaki, G. Ramalingam, Kapil Vaswani, Dimitrios Vytiniotis
January 2016
G. Ramalingam
Principal Researcher
出版物
-
-
-
-
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
G. Ramalingam, Kapil Vaswani
Foundations and Trends in Programming Languages | January 2015, 巻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, 巻3: pp. 92-126
-
Fault Tolerance via Idempotence
G. Ramalingam, Kapil Vaswani
Principles of Programming Languages (POPL) | January 2013
-
-
-
Modular Heap Analysis For Higher Order Programs
G. Ramalingam, Kapil Vaswani
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. | 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
G. Ramalingam, Kapil Vaswani
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, 巻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, 巻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, 巻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, 巻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
博士論文: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
-
-
-
Context-sensitive synchronization-sensitive analysis is undecidable
ACM Transactions on Programming Languages and Systems (TOPLAS) | March 2000, 巻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, 巻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
博士論文: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
G. Ramalingam, Kapil Vaswani
Foundations and Trends in Programming Languages | January 2015, 巻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, 巻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
G. Ramalingam, Kapil Vaswani
Principles of Programming Languages (POPL) | January 2013
-
Modular Heap Analysis For Higher Order Programs
G. Ramalingam, Kapil Vaswani
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. | 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
G. Ramalingam, Kapil Vaswani
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, 巻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
-
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
-
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, 巻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
G. Ramalingam, Kapil Vaswani
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)
-
-
-
Context-sensitive synchronization-sensitive analysis is undecidable
ACM Transactions on Programming Languages and Systems (TOPLAS) | March 2000, 巻22(2): pp. 416-430
-
Solving Systems of Difference Constraints Incrementally
G. Ramalingam, J. Song, L. Joskowicz, R. E. Miller
Algorithmica | March 1999, 巻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
G. Ramalingam, Kapil Vaswani
Foundations and Trends in Programming Languages | January 2015, 巻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, 巻3: pp. 92-126
-
Fault Tolerance via Idempotence
G. Ramalingam, Kapil Vaswani
Principles of Programming Languages (POPL) | January 2013
-
Reference count analysis with shallow aliasing
Inf. Process. Lett. | December 2010, 巻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, 巻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
G. Ramalingam, Kapil Vaswani
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
G. Ramalingam, Kapil Vaswani
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. | Springer Berlin Heidelberg による投稿 | 2012, Vol 7539 | Series Lecture Notes in Computer Science edition
-
-
-
Bounded incremental computation
January 1993
博士論文:University of Wisconsin at Madison | January 1993
-
-
-
Automatic Semantic Locking
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav, G. Ramalingam
February 2014
(Poster)
-