G. Ramalingam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
15
Active years
1993–2019
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FASE | Checking Observational Purity of Procedures. | Himanshu Arora, Raghavan Komondoor, G. Ramalingam |
| 2019 | ISSTA | From typestate verification to interpretable deep models (invited talk abstract). | Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay |
| 2018 | ECOOP | Safe Transferable Regions. | Gowtham Kaki, G. Ramalingam |
| 2015 | PLDI | Composing concurrency control. | Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv |
| 2015 | PPoPP | Automatic scalable atomicity via semantic locking. | Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav |
| 2014 | ESOP | Checking Linearizability of Encapsulated Extended Operations. | Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv |
| 2014 | PPoPP | Automatic semantic locking. | Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav |
| 2013 | PLDI | Concurrent libraries with foresight. | Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav |
| 2012 | PODC | Generalized lattice agreement. | Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani |
| 2012 | SAS | Modular Heap Analysis for Higher-Order Programs. | Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani |
| 2011 | OOPSLA | Automatic fine-grain locking using shape properties. | Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav |
| 2010 | ESOP | Logical Concurrency Control from Sequential Proofs. | Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
| 2010 | POPL | Sequential verification of serializability. | Hagit Attiya, G. Ramalingam, Noam Rinetzky |
| 2009 | ASPLOS | ISOLATOR: dynamically ensuring isolation in comcurrent programs. | Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
| 2008 | CAV | Thread Quantification for Concurrent Shape Analysis. | Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv |
| 2008 | CCS | EON: modeling and analyzing dynamic access control systems with logic programs. | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga |
| 2008 | ICGSE | Global Software Servicing: Observational Experiences at Microsoft. | Shilpa Bugde, Nachiappan Nagappan, Sriram K. Rajamani, G. Ramalingam |
| 2007 | TACAS | Shape Analysis by Graph Decomposition. | Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv |
| 2006 | ISSTA | Effective typestate verification in the presence of aliasing. | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
| 2004 | PLDI | Verifying safety properties using separation and heterogeneous abstractions. | Eran Yahav, G. Ramalingam |
| 2003 | SAS | Typestate Verification: Abstraction Techniques and Complexity Results. | John Field, Deepak Goyal, G. Ramalingam, Eran Yahav |
| 2002 | PLDI | Deriving Specialized Program Analyses for Certifying Component-Client Conformance. | G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv |
| 2002 | SAS | Compactly Representing First-Order Structures for Static Analysis. | Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv |
| 2000 | PLDI | On loops, dominators, and dominance frontier. | G. Ramalingam |
| 1999 | POPL | Aggregate Structure Identification and Its Application to Program Analysis. | G. Ramalingam, John Field, Frank Tip |
| 1997 | PLDI | A Member Lookup Algorithm for C++. | G. Ramalingam, Harini Srinivasan |
| 1997 | SAS | On Sparse Evaluation Representations. | G. Ramalingam |
| 1996 | OOPSLA | Slicing Class Hierarchies in C++. | Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam |
| 1996 | PLDI | Data Flow Frequency Analysis. | G. Ramalingam |
| 1995 | POPL | Parametric Program Slicing. | John Field, G. Ramalingam, Frank Tip |
| 1994 | POPL | An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph. | G. Ramalingam, Thomas W. Reps |
| 1993 | POPL | A Categorized Bibliography on Incremental Computation. | G. Ramalingam, Thomas W. Reps |