Total Domination in Interval Graphs Revisited. - G. Ramalingam; C. Pandu Rangan (Inf. Process. Lett., 1988)

A Unified Approach to Domination Problems on Interval Graphs. - G. Ramalingam; C. Pandu Rangan (Inf. Process. Lett., 1988)

New Sequential and Parallel Algorithms for Interval Graph Recognition. - G. Ramalingam; C. Pandu Rangan (Inf. Process. Lett., 1990)

Modification Algebras. - G. Ramalingam; Thomas W. Reps (AMAST, 1991)

A Theory of Program Modifications. - G. Ramalingam; Thomas W. Reps (TAPSOFT, Vol.2, 1991)

A Categorized Bibliography on Incremental Computation. - G. Ramalingam; Thomas W. Reps (POPL, 1993)

An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph. - G. Ramalingam; Thomas W. Reps (POPL, 1994)

On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem. - G. Ramalingam; Thomas W. Reps (Inf. Process. Lett., 1994)

The Undecidability of Aliasing. - G. Ramalingam (ACM Trans. Program. Lang. Syst., 1994)

Parametric Program Slicing. - John Field; G. Ramalingam; Frank Tip (POPL, 1995)

Bounded Incremental Computation - G. Ramalingam (Springer, 1996)

Slicing Class Hierarchies in C++. - Frank Tip; Jong-Deok Choi; John Field; G. Ramalingam (OOPSLA, 1996)

Data Flow Frequency Analysis. - G. Ramalingam (PLDI, 1996)

Interactive Authoring of Multimedia Documents. - Junehwa Song; Michelle Y. Kim; G. Ramalingam; Raymond E. Miller; Byoung-Kee Yi (VL, 1996)

An Incremental Algorithm for a Generalization of the Shortest-Path Problem. - G. Ramalingam; Thomas W. Reps (J. Algorithms, 1996)

On the Computational Complexity of Dynamic Graph Problems. - G. Ramalingam; Thomas W. Reps (Theor. Comput. Sci., 1996)

A Member Lookup Algorithm for C++. - G. Ramalingam; Harini Srinivasan (PLDI, 1997)

Aggregate Structure Identification and Its Application to Program Analysis. - G. Ramalingam; John Field; Frank Tip (POPL, 1999)

Solving Systems of Difference Constraints Incrementally. - G. Ramalingam; Junehwa Song; Leo Joskowicz; Raymond E. Miller (Algorithmica, 1999)

Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System. - Junehwa Song; G. Ramalingam; Raymond E. Miller; Byoung-Kee Yi (Multim. Syst., 1999)

Identifying procedural structure in Cobol programs. - John Field; G. Ramalingam (ACM SIGSOFT Softw. Eng. Notes, 1999)

Identifying Loops in Almost Linear Time. - G. Ramalingam (ACM Trans. Program. Lang. Syst., 1999)

On loops, dominators, and dominance frontier. - G. Ramalingam (PLDI, 2000)

Context-sensitive synchronization-sensitive analysis is undecidable. - G. Ramalingam (ACM Trans. Program. Lang. Syst., 2000)

Deriving Specialized Program Analyses for Certifying Component-Client Conformance. - G. Ramalingam; Alex Varshavsky; John Field; Deepak Goyal; Shmuel Sagiv (PLDI, 2002)

Compactly Representing First-Order Structures for Static Analysis. - Roman Manevich; G. Ramalingam; John Field; Deepak Goyal; Shmuel Sagiv (SAS, 2002)

On sparse evaluation representations. - G. Ramalingam (Theor. Comput. Sci., 2002)

On loops, dominators, and dominance frontiers. - G. Ramalingam (ACM Trans. Program. Lang. Syst., 2002)

Verifying safety properties using separation and heterogeneous abstractions. - Eran Yahav; G. Ramalingam (PLDI, 2004)

Partially Disjunctive Heap Abstraction. - Roman Manevich; Shmuel Sagiv; Ganesan Ramalingam; John Field (SAS, 2004)

Dependent Types for Program Understanding. - Raghavan Komondoor; Ganesan Ramalingam; Satish Chandra 001; John Field (TACAS, 2005)

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. - Roman Manevich; Eran Yahav; Ganesan Ramalingam; Shmuel Sagiv (VMCAI, 2005)

Automatic Verification of Strongly Dynamic Software Systems. - Nurit Dor; John Field; Denis Gopan; Tal Lev-Ami; Alexey Loginov; Roman Manevich; G. Ramalingam; Thomas W. Reps; Noam Rinetzky; Mooly Sagiv; Reinhard Wilhelm; Eran Yahav; et al. (VSTTE, 2005)

Typestate verification: Abstraction techniques and complexity results. - John Field; Deepak Goyal; Ganesan Ramalingam; Eran Yahav (Sci. Comput. Program., 2005)

Abstract Counterexample-Based Refinement for Powerset Domains. - Roman Manevich; John Field; Thomas A. Henzinger; G. Ramalingam; Mooly Sagiv (Program Analysis and Compilation, 2006)

06302 Abstracts Collection – Aspects For Legacy Applications. - Siobhán Clarke; Leon Moonen; Ganesan Ramalingam (Aspects For Legacy Applications, 2006)

06302 Summary – Aspects For Legacy Applications. - Leon Moonen; Ganesan Ramalingam; Siobhán Clarke (Aspects For Legacy Applications, 2006)

Similarity in Programs. - Andrew Walenstein; Mohammad El-Ramly; James R. Cordy; William S. Evans; Kiarash Mahdavi; Markus Pizka; Ganesan Ramalingam; Jürgen Wolff von Gudenberg (Duplication, Redundancy, and Similarity in Software, 2006)

Semantics-based reverse engineering of object-oriented data models. - Ganesan Ramalingam; Raghavan Komondoor; John Field; Saurabh Sinha (ICSE, 2006)

Technical forum: Using logical data models for understanding and transforming legacy business applications. - Satish Chandra 001; Jackie De Vries; John Field; Howard M. Hess; Manivannan Kalidasan; Raghavan Komondoor; Frans Nieuwerth; Ganesan Ramalingam; Justin Xue (IBM Syst. J., 2006)

Modular Shape Analysis for Dynamically Encapsulated Programs. - Noam Rinetzky; Arnd Poetzsch-Heffter; Ganesan Ramalingam; Mooly Sagiv; Eran Yahav (ESOP, 2007)

Shape Analysis by Graph Decomposition. - Roman Manevich; Josh Berdine; Byron Cook; G. Ramalingam; Mooly Sagiv (TACAS, 2007)

Recovering Data Models via Guarded Dependences. - Raghavan Komondoor; G. Ramalingam (WCRE, 2007)

Parametric Process Model Inference. - Saurabh Sinha; G. Ramalingam; Raghavan Komondoor (WCRE, 2007)

Thread Quantification for Concurrent Shape Analysis. - Josh Berdine; Tal Lev-Ami; Roman Manevich; G. Ramalingam; Shmuel Sagiv (CAV, 2008)

EON: modeling and analyzing dynamic access control systems with logic programs. - Avik Chaudhuri; Prasad Naldurg; Sriram K. Rajamani; G. Ramalingam; Lakshmisubrahmanyam Velaga (CCS, 2008)

Global Software Servicing: Observational Experiences at Microsoft. - Shilpa Bugde; Nachiappan Nagappan; Sriram K. Rajamani; G. Ramalingam (ICGSE, 2008)

Heap Decomposition for Concurrent Shape Analysis. - Roman Manevich; Tal Lev-Ami; Mooly Sagiv; Ganesan Ramalingam; Josh Berdine (SAS, 2008)

On the complexity of partially-flow-sensitive alias analysis. - Noam Rinetzky; G. Ramalingam; Shmuel Sagiv; Eran Yahav (ACM Trans. Program. Lang. Syst., 2008)

Effective typestate verification in the presence of aliasing. - Stephen J. Fink; Eran Yahav; Nurit Dor; G. Ramalingam; Emmanuel Geay (ACM Trans. Softw. Eng. Methodol., 2008)

Abstract Transformers for Thread Correlation Analysis. - Michal Segalov; Tal Lev-Ami; Roman Manevich; Ganesan Ramalingam; Mooly Sagiv (APLAS, 2009)

ISOLATOR: dynamically ensuring isolation in comcurrent programs. - Sriram K. Rajamani; G. Ramalingam; Venkatesh Prasad Ranganath; Kapil Vaswani (ASPLOS, 2009)

Bottom-Up Shape Analysis. - Bhargav S. Gulavani; Supratik Chakraborty; Ganesan Ramalingam; Aditya V. Nori (SAS, 2009)

Safe programmable speculative parallelism. - Prakash Prabhu; Ganesan Ramalingam; Kapil Vaswani (PLDI, 2010)

Sequential verification of serializability. - Hagit Attiya; G. Ramalingam; Noam Rinetzky (POPL, 2010)

Representation dependence testing using program inversion. - Aditya Kanade 001; Rajeev Alur; Sriram K. Rajamani; Ganesan Ramalingam (SIGSOFT FSE, 2010)

Reference count analysis with shallow aliasing. - Akash Lal; G. Ramalingam (Inf. Process. Lett., 2010)

Automatic fine-grain locking using shape properties. - Guy Golan-Gueta; Nathan Grasso Bronson; Alex Aiken; G. Ramalingam; Mooly Sagiv; Eran Yahav (OOPSLA, 2011)

Purity Analysis: An Abstract Interpretation Formulation. - Ravichandhran Madhavan; Ganesan Ramalingam; Kapil Vaswani (SAS, 2011)

Logical Concurrency Control from Sequential Proofs - Jyotirmoy V. Deshmukh; G. Ramalingam; Venkatesh Prasad Ranganath; Kapil Vaswani (Log. Methods Comput. Sci., 2011)

Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007). - G. Ramalingam; Eelco Visser (Sci. Comput. Program., 2011)

Bottom-up shape analysis using LISF. - Bhargav S. Gulavani; Supratik Chakraborty; G. Ramalingam; Aditya V. Nori (ACM Trans. Program. Lang. Syst., 2011)

CScale - A Programming Model for Scalable and Reliable Distributed Applications. - Jose M. Faleiro; Sriram K. Rajamani; Kaushik Rajan; G. Ramalingam; Kapil Vaswani (Monterey Workshop, 2012)

Generalized lattice agreement. - Jose M. Faleiro; Sriram K. Rajamani; Kaushik Rajan; G. Ramalingam; Kapil Vaswani (PODC, 2012)

Modular Heap Analysis for Higher-Order Programs. - Ravichandhran Madhavan; G. Ramalingam; Kapil Vaswani (SAS, 2012)

Mining quantified temporal rules: Formalism, algorithms, and evaluation. - David Lo 001; G. Ramalingam; Venkatesh Prasad Ranganath; Kapil Vaswani (Sci. Comput. Program., 2012)

Concurrent libraries with foresight. - Guy Golan-Gueta; G. Ramalingam; Mooly Sagiv; Eran Yahav (PLDI, 2013)

Fault tolerance via idempotence. - Ganesan Ramalingam; Kapil Vaswani (POPL, 2013)

Asynchronous Resilient Linearizability. - Sagar Chordia; Sriram K. Rajamani; Kaushik Rajan; Ganesan Ramalingam; Kapil Vaswani (DISC, 2013)

Consistency in Distributed Systems (Dagstuhl Seminar 13081). - Bettina Kemme; Ganesan Ramalingam; André Schiper; Marc Shapiro 001; Kapil Vaswani (Dagstuhl Reports, 2013)

Checking Linearizability of Encapsulated Extended Operations. - Oren Zomer; Guy Golan-Gueta; G. Ramalingam; Mooly Sagiv (ESOP, 2014)

Automatic semantic locking. - Guy Golan-Gueta; G. Ramalingam; Mooly Sagiv; Eran Yahav (PPoPP, 2014)

Dagstuhl seminar review: consistency in distributed systems. - Bettina Kemme; André Schiper; G. Ramalingam; Marc Shapiro 001 (SIGACT News, 2014)

Broom: Sweeping Out Garbage Collection from Big Data Systems. - Ionel Gog; Jana Giceva; Malte Schwarzkopf; Kapil Vaswani; Dimitrios Vytiniotis; Ganesan Ramalingam; Manuel Costa; Derek Gordon Murray; Steven Hand 001; Michael Isard (HotOS, 2015)

Composing concurrency control. - Ofri Ziv; Alex Aiken; Guy Golan-Gueta; G. Ramalingam; Mooly Sagiv (PLDI, 2015)

A Framework For Efficient Modular Heap Analysis. - Ravichandhran Madhavan; G. Ramalingam; Kapil Vaswani (Found. Trends Program. Lang., 2015)

Automatic Scalable Atomicity via Semantic Locking. - Guy Golan-Gueta; G. Ramalingam; Mooly Sagiv; Eran Yahav (ACM Trans. Parallel Comput., 2017)

Safe Transferable Regions. - Gowtham Kaki; G. Ramalingam (ECOOP, 2018)

AutoCalib: Automatic Traffic Camera Calibration at Scale. - Romil Bhardwaj; Gopi Krishna Tummala; Ganesan Ramalingam; Ramachandran Ramjee; Prasun Sinha (ACM Trans. Sens. Networks, 2018)

Scaling Ordered Stream Processing on Shared-Memory Multicores. - Guna Prasaad; G. Ramalingam; Kaushik Rajan (BIRTE, 2019)

Checking Observational Purity of Procedures. - Himanshu Arora; Raghavan Komondoor; G. Ramalingam (FASE, 2019)

From typestate verification to interpretable deep models (invited talk abstract). - Eran Yahav; Stephen J. Fink; Nurit Dor; G. Ramalingam; Emmanuel Geay (ISSTA, 2019)

Intel 4 CMOS Technology Featuring Advanced FinFET Transistors optimized for High Density and High-Performance Computing. - Bernhard Sell; S. An; J. Armstrong; D. Bahr; B. Bains; Rohan Bambery; K. Bang; D. Basu; S. Bendapudi; D. Bergstrom; R. Bhandavat; S. Bhowmick; et al. (VLSI Technology and Circuits, 2022)