G. Ramalingam

Principal Researcher

출판물

자료 보기:

- 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
  
  출판 출판
- 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
  
  Akash Lal, G. Ramalingam
  
  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
  
  G. Ramalingam, Akash Lal
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  ACM Transactions on Programming Languages and Systems (TOPLAS) | March 2000, 제 22 권(2): pp. 416-430
  
  출판 출판
- Identifying procedural structure in cobol programs
  
  G. Ramalingam
  
  September 1999
  
  출판 출판
- Identifying loops in almost linear time
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  ACM Transactions on Programming Languages and Systems (TOPLAS) | March 2000, 제 22 권(2): pp. 416-430
  
  출판 출판
- Identifying procedural structure in cobol programs
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  Proceeding PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation | May 1996
  
  출판 출판
- The undecidability of aliasing
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  Akash Lal, G. Ramalingam
  
  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
  
  G. Ramalingam, Akash Lal
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  Akash Lal, G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  September 1999
  
  출판 출판
- Identifying loops in almost linear time
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam
  
  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
  
  G. Ramalingam, Akash Lal
  
  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
  
  G. Ramalingam
  
  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)
  
  출판

G. Ramalingam

출판물

Safe Memory Regions for Big Data Processing

Composing Concurrency Control

Automatic scalable atomicity via semantic locking

Framework for Efficient Modular Heap Analysis

A Framework for Efficient Modular Heap Analysis

Front Matter, Table of Contents, Preface, Conference Organization

Checking Linearizability of Encapsulated Extended Operations

Dagstuhl seminar review: Consistency in distributed systems

Automatic Semantic Locking

Asynchronous Resilient Linearizability

Concurrent libraries with foresight

Consistency in distributed systems

Fault Tolerance via Idempotence

Modular Heap Analysis For Higher Order Programs

Generalized Lattice Agreement

CScale-A Programming Model for Scalable and Reliable Distributed Applications

Bottom-up shape analysis using LISF

Purity Analysis: An Abstract Interpretation Formulation

Automatic Fine-Grain Locking using Shape Properties

Logical Concurrency Control from Sequential Proofs

Reference count analysis with shallow aliasing

Representation Dependence Testing Using Program Inversion

Safe Programmable Speculative Parallelism

Logical Concurrency Control From Sequential Proofs

Abstract Transformers for Thread Correlation Analysis

Mining Quantified Temporal Rules: Formalism, Algorithms and Evaluation

Distributed analytics platform

Bottom-up Shape Analysis

Reference Count Analysis With Shallow Aliasing

System and method for a logical-model based application understanding and transformation

Isolator: Dynamically Ensuring Isolation in Concurrent Programs

Identifying Concurrency Control from a Sequential Proof

Programming Languages and Systems

EON: Modeling and Analyzing Access Control Systems with Logic Programs

Global Software Servicing: Observational Experiences at Microsoft

Heap Decomposition for Concurrent Shape Analysis

Thread Quantification for Concurrent Shape Analysis

Controlling Non-determinism for Semantic Guarantees

Isolator: Dynamically Ensuring Isolation in Concurrent Programs

Parametric Process Model Inference

Recovering Data Models Via Guarded Dependences

Shape Analysis by Graph Decomposition

Modular Shape Analysis for Dynamically Encapsulated Programs

Abstract Counterexample-based Refinement for Powerset Domains

On the Complexity of Partially-Flow-Sensitive Alias Analysis

Componentized heap abstraction

Effective Typestate Verification in the Presence of Aliasing

Semantics-based Reverse Engineering of Object-Oriented Data Models

Automatic Verification of Strongly Dynamic Software Systems

Typestate verification: Abstraction techniques and complexity results

Dependent types for program understanding

Guarded Types for Program Understanding

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

Partially disjunctive heap abstraction

Verifying Safety Properties using Separation and Heterogeneous Abstractions

Shallow Finite State Verification

Compactly representing first-order structures for static analysis

On loops, dominators, and dominance frontiers

Deriving specialized analyses for certifying component-client conformance

Deriving specialized program analyses for certifying component-client conformance

On Sparse Evaluation Representations

Method and apparatus for slicing class hierarchies

Context-sensitive synchronization-sensitive analysis is undecidable

Identifying procedural structure in cobol programs

Identifying loops in almost linear time

Solving Systems of Difference Constraints Incrementally

Aggregate structure identification and its application to program analysis

A member lookup algorithm for {C}++

Slicing class hierarchies in {C}++

Interactive authoring of multimedia documents

An incremental algorithm for a generalization of the shortest-path problem

Data flow frequency analysis

On the computational complexity of dynamic graphs problems

Parametric program slicing

The undecidability of aliasing

On competitive on-line algorithms for the dynamic priority-ordering problem

An incremental algorithm for maintaining the dominator tree of a reducible flowgraph

A categorized bibliography on incremental computation