G. Ramalingam

According to our database, G. Ramalingam authored at least 83 papers between 1988 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

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, R. Bambery, K. Bang, D. Basu, S. Bendapudi, D. Bergstrom, R. Bhandavat, S. Bhowmick, M. Buehler, D. Caselli, S. Cekli, Vrsk. Chaganti, Y. J. Chang, K. Chikkadi, T. Chu, T. Crimmins, G. Darby, C. Ege, P. Elfick, Tyler Elko-Hansen, S. Fang, C. Gaddam, M. Ghoneim, H. Gomez, S. Govindaraju, Z. Guo, Walid M. Hafez, M. Haran, M. Hattendorf, S. Hu, A. Jain, S. Jaloviar, M. Jang, J. Kameswaran, V. Kapinus, A. Kennedy, S. Klopcic, D. Krishnan, J. Leib, Y.-T. Lin, N. Lindert, G. Liu, O. Loh, Y. Luo, S. Mani, M. Mleczko, S. Mocherla, P. Packan, M. Paik, A. Paliwal, R. Pandey, K. Patankar, L. Pipes, P. Plekhanov, Chetan Prasad, M. Prince, G. Ramalingam, R. Ramaswamy, J. Riley, J. R. Sanchez Perez, Justin Sandford, A. Sathe, F. Shah, H. Shim, S. Subramanian, S. Tandon, M. Tanniru, D. Thakurta, T. Troeger, X. Wang, C. Ward, A. Welsh, S. Wickramaratne, J. Wnuk, S. Q. Xu, P. Yashar, J. Yaung, K. Yoon, N. Young

Proceedings of the IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits 2022), 2022

2019

From typestate verification to interpretable deep models (invited talk abstract).

Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Checking Observational Purity of Procedures.

Himanshu Arora, Raghavan Komondoor, G. Ramalingam

Proceedings of the Fundamental Approaches to Software Engineering, 2019

Scaling Ordered Stream Processing on Shared-Memory Multicores.

Guna Prasaad, G. Ramalingam, Kaushik Rajan

Proceedings of the International Workshop on Real-Time Business Intelligence and Analytics, 2019

2018

AutoCalib: Automatic Traffic Camera Calibration at Scale.

Romil Bhardwaj, Gopi Krishna Tummala, Ganesan Ramalingam, Ramachandran Ramjee, Prasun Sinha

ACM Trans. Sens. Networks, 2018

Safe Transferable Regions.

Gowtham Kaki, G. Ramalingam

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Automatic Scalable Atomicity via Semantic Locking.

Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav

ACM Trans. Parallel Comput., 2017

2015

A Framework For Efficient Modular Heap Analysis.

Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani

Found. Trends Program. Lang., 2015

Composing concurrency control.

Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

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, Michael Isard

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014

Dagstuhl seminar review: consistency in distributed systems.

Bettina Kemme, André Schiper, G. Ramalingam, Marc Shapiro

SIGACT News, 2014

Automatic semantic locking.

Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Checking Linearizability of Encapsulated Extended Operations.

Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv

Proceedings of the Programming Languages and Systems, 2014

2013

Consistency in Distributed Systems (Dagstuhl Seminar 13081).

Bettina Kemme, Ganesan Ramalingam, André Schiper, Marc Shapiro, Kapil Vaswani

Dagstuhl Reports, 2013

Asynchronous Resilient Linearizability.

Sagar Chordia, Sriram K. Rajamani, Kaushik Rajan, Ganesan Ramalingam, Kapil Vaswani

Proceedings of the Distributed Computing - 27th International Symposium, 2013

Fault tolerance via idempotence.

Ganesan Ramalingam, Kapil Vaswani

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Concurrent libraries with foresight.

Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Mining quantified temporal rules: Formalism, algorithms, and evaluation.

David Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani

Sci. Comput. Program., 2012

Modular Heap Analysis for Higher-Order Programs.

Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani

Proceedings of the Static Analysis - 19th International Symposium, 2012

Generalized lattice agreement.

Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

CScale - A Programming Model for Scalable and Reliable Distributed Applications.

Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

2011

Bottom-up shape analysis using LISF.

Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori

ACM Trans. Program. Lang. Syst., 2011

Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007).

G. Ramalingam, Eelco Visser

Sci. Comput. Program., 2011

Logical Concurrency Control from Sequential Proofs

Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani

Log. Methods Comput. Sci., 2011

Purity Analysis: An Abstract Interpretation Formulation.

Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani

Proceedings of the Static Analysis - 18th International Symposium, 2011

Automatic fine-grain locking using shape properties.

Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Reference count analysis with shallow aliasing.

Akash Lal, G. Ramalingam

Inf. Process. Lett., 2010

Representation dependence testing using program inversion.

Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Sequential verification of serializability.

Hagit Attiya, G. Ramalingam, Noam Rinetzky

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Safe programmable speculative parallelism.

Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2009

Bottom-Up Shape Analysis.

Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori

Proceedings of the Static Analysis, 16th International Symposium, 2009

ISOLATOR: dynamically ensuring isolation in comcurrent programs.

Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani

Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

Abstract Transformers for Thread Correlation Analysis.

Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

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

On the complexity of partially-flow-sensitive alias analysis.

Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav

ACM Trans. Program. Lang. Syst., 2008

Heap Decomposition for Concurrent Shape Analysis.

Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine

Proceedings of the Static Analysis, 15th International Symposium, 2008

Global Software Servicing: Observational Experiences at Microsoft.

Shilpa Bugde, Nachiappan Nagappan, Sriram K. Rajamani, G. Ramalingam

Proceedings of the 3rd IEEE International Conference on Global Software Engineering, 2008

EON: modeling and analyzing dynamic access control systems with logic programs.

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

Thread Quantification for Concurrent Shape Analysis.

Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Parametric Process Model Inference.

Saurabh Sinha, G. Ramalingam, Raghavan Komondoor

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

Recovering Data Models via Guarded Dependences.

Raghavan Komondoor, G. Ramalingam

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

Shape Analysis by Graph Decomposition.

Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Modular Shape Analysis for Dynamically Encapsulated Programs.

Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the Programming Languages and Systems, 2007

2006

Technical forum: Using logical data models for understanding and transforming legacy business applications.

Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue

IBM Syst. J., 2006

Semantics-based reverse engineering of object-oriented data models.

Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 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

Proceedings of the Duplication, Redundancy, and Similarity in Software, 23.07., 2006

06302 Summary -- Aspects For Legacy Applications.

Leon Moonen, Ganesan Ramalingam, Siobhán Clarke

Proceedings of the Aspects For Legacy Applications, 26.07. - 29.07.2006, 2006

06302 Abstracts Collection -- Aspects For Legacy Applications.

Siobhán Clarke, Leon Moonen, Ganesan Ramalingam

Proceedings of the Aspects For Legacy Applications, 26.07. - 29.07.2006, 2006

Abstract Counterexample-Based Refinement for Powerset Domains.

Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv

Proceedings of the Program Analysis and Compilation, 2006

2005

Typestate verification: Abstraction techniques and complexity results.

John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav

Sci. Comput. Program., 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, Greta Yorsh

Proceedings of the Verified Software: Theories, 2005

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.

Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv

Proceedings of the Verification, 2005

Dependent Types for Program Understanding.

Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2004

Partially Disjunctive Heap Abstraction.

Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field

Proceedings of the Static Analysis, 11th International Symposium, 2004

Verifying safety properties using separation and heterogeneous abstractions.

Eran Yahav, G. Ramalingam

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2002

On loops, dominators, and dominance frontiers.

G. Ramalingam

ACM Trans. Program. Lang. Syst., 2002

On sparse evaluation representations.

G. Ramalingam

Theor. Comput. Sci., 2002

Compactly Representing First-Order Structures for Static Analysis.

Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv

Proceedings of the Static Analysis, 9th International Symposium, 2002

Deriving Specialized Program Analyses for Certifying Component-Client Conformance.

G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2000

Context-sensitive synchronization-sensitive analysis is undecidable.

G. Ramalingam

ACM Trans. Program. Lang. Syst., 2000

On loops, dominators, and dominance frontier.

G. Ramalingam

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999

Identifying Loops in Almost Linear Time.

G. Ramalingam

ACM Trans. Program. Lang. Syst., 1999

Identifying procedural structure in Cobol programs.

John Field, G. Ramalingam

ACM SIGSOFT Softw. Eng. Notes, 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

Solving Systems of Difference Constraints Incrementally.

G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymond E. Miller

Algorithmica, 1999

Aggregate Structure Identification and Its Application to Program Analysis.

G. Ramalingam, John Field, Frank Tip

Proceedings of the POPL '99, 1999

1997

A Member Lookup Algorithm for C++.

G. Ramalingam, Harini Srinivasan

Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

1996

On the Computational Complexity of Dynamic Graph Problems.

G. Ramalingam, Thomas W. Reps

Theor. Comput. Sci., 1996

An Incremental Algorithm for a Generalization of the Shortest-Path Problem.

G. Ramalingam, Thomas W. Reps

J. Algorithms, 1996

Interactive Authoring of Multimedia Documents.

Junehwa Song, Michelle Y. Kim, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi

Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Data Flow Frequency Analysis.

G. Ramalingam

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

Slicing Class Hierarchies in C++.

Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

Bounded Incremental Computation

G. Ramalingam

Lecture Notes in Computer Science 1089, Springer, ISBN: 3-540-61320-X, 1996

1995

Parametric Program Slicing.

John Field, G. Ramalingam, Frank Tip

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994

The Undecidability of Aliasing.

G. Ramalingam

ACM Trans. Program. Lang. Syst., 1994

On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem.

G. Ramalingam, Thomas W. Reps

Inf. Process. Lett., 1994

An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph.

G. Ramalingam, Thomas W. Reps

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993

A Categorized Bibliography on Incremental Computation.

G. Ramalingam, Thomas W. Reps

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1991

A Theory of Program Modifications.

G. Ramalingam, Thomas W. Reps

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Modification Algebras.

G. Ramalingam, Thomas W. Reps

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

New Sequential and Parallel Algorithms for Interval Graph Recognition.

G. Ramalingam, C. Pandu Rangan

Inf. Process. Lett., 1990

1988

A Unified Approach to Domination Problems on Interval Graphs.

G. Ramalingam, C. Pandu Rangan

Inf. Process. Lett., 1988

Total Domination in Interval Graphs Revisited.

G. Ramalingam, C. Pandu Rangan

Inf. Process. Lett., 1988