G. Ramalingam

According to our database1, G. Ramalingam authored at least 82 papers between 1988 and 2019.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2016, "For contributions to static program analysis".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
From typestate verification to interpretable deep models (invited talk abstract).
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Checking Observational Purity of Procedures.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

Scaling Ordered Stream Processing on Shared-Memory Multicores.
Proceedings of the International Workshop on Real-Time Business Intelligence and Analytics, 2019

2018
AutoCalib: Automatic Traffic Camera Calibration at Scale.
ACM Trans. Sens. Networks, 2018

Safe Transferable Regions.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017
Automatic Scalable Atomicity via Semantic Locking.
ACM Trans. Parallel Comput., 2017

2015
A Framework For Efficient Modular Heap Analysis.
Found. Trends Program. Lang., 2015

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

Broom: Sweeping Out Garbage Collection from Big Data Systems.
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014
Dagstuhl seminar review: consistency in distributed systems.
SIGACT News, 2014

Automatic semantic locking.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Checking Linearizability of Encapsulated Extended Operations.
Proceedings of the Programming Languages and Systems, 2014

2013
Consistency in Distributed Systems (Dagstuhl Seminar 13081).
Dagstuhl Reports, 2013

Asynchronous Resilient Linearizability.
Proceedings of the Distributed Computing - 27th International Symposium, 2013

Fault tolerance via idempotence.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Concurrent libraries with foresight.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012
Mining quantified temporal rules: Formalism, algorithms, and evaluation.
Sci. Comput. Program., 2012

Modular Heap Analysis for Higher-Order Programs.
Proceedings of the Static Analysis - 19th International Symposium, 2012

Generalized lattice agreement.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

CScale - A Programming Model for Scalable and Reliable Distributed Applications.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

2011
Bottom-up shape analysis using LISF.
ACM Trans. Program. Lang. Syst., 2011

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

Logical Concurrency Control from Sequential Proofs
Log. Methods Comput. Sci., 2011

Purity Analysis: An Abstract Interpretation Formulation.
Proceedings of the Static Analysis - 18th International Symposium, 2011

Automatic fine-grain locking using shape properties.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010
Reference count analysis with shallow aliasing.
Inf. Process. Lett., 2010

Representation dependence testing using program inversion.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

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

Safe programmable speculative parallelism.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2009
Bottom-Up Shape Analysis.
Proceedings of the Static Analysis, 16th International Symposium, 2009

ISOLATOR: dynamically ensuring isolation in comcurrent programs.
Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

Abstract Transformers for Thread Correlation Analysis.
Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008
Effective typestate verification in the presence of aliasing.
ACM Trans. Softw. Eng. Methodol., 2008

On the complexity of partially-flow-sensitive alias analysis.
ACM Trans. Program. Lang. Syst., 2008

Heap Decomposition for Concurrent Shape Analysis.
Proceedings of the Static Analysis, 15th International Symposium, 2008

Global Software Servicing: Observational Experiences at Microsoft.
Proceedings of the 3rd IEEE International Conference on Global Software Engineering, 2008

EON: modeling and analyzing dynamic access control systems with logic programs.
Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

Thread Quantification for Concurrent Shape Analysis.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Parametric Process Model Inference.
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

Recovering Data Models via Guarded Dependences.
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

Shape Analysis by Graph Decomposition.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Modular Shape Analysis for Dynamically Encapsulated Programs.
Proceedings of the Programming Languages and Systems, 2007

2006
Technical forum: Using logical data models for understanding and transforming legacy business applications.
IBM Syst. J., 2006

Semantics-based reverse engineering of object-oriented data models.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

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

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

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

Abstract Counterexample-Based Refinement for Powerset Domains.
Proceedings of the Program Analysis and Compilation, 2006

2005
Typestate verification: Abstraction techniques and complexity results.
Sci. Comput. Program., 2005

Automatic Verification of Strongly Dynamic Software Systems.
Proceedings of the Verified Software: Theories, 2005

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.
Proceedings of the Verification, 2005

Dependent Types for Program Understanding.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2004
Partially Disjunctive Heap Abstraction.
Proceedings of the Static Analysis, 11th International Symposium, 2004

Verifying safety properties using separation and heterogeneous abstractions.
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2002
On loops, dominators, and dominance frontiers.
ACM Trans. Program. Lang. Syst., 2002

On sparse evaluation representations.
Theor. Comput. Sci., 2002

Compactly Representing First-Order Structures for Static Analysis.
Proceedings of the Static Analysis, 9th International Symposium, 2002

Deriving Specialized Program Analyses for Certifying Component-Client Conformance.
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2000
Context-sensitive synchronization-sensitive analysis is undecidable.
ACM Trans. Program. Lang. Syst., 2000

On loops, dominators, and dominance frontier.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999
Identifying Loops in Almost Linear Time.
ACM Trans. Program. Lang. Syst., 1999

Identifying procedural structure in Cobol programs.
ACM SIGSOFT Softw. Eng. Notes, 1999

Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System.
Multim. Syst., 1999

Solving Systems of Difference Constraints Incrementally.
Algorithmica, 1999

Aggregate Structure Identification and Its Application to Program Analysis.
Proceedings of the POPL '99, 1999

1997
A Member Lookup Algorithm for C++.
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

1996
On the Computational Complexity of Dynamic Graph Problems.
Theor. Comput. Sci., 1996

An Incremental Algorithm for a Generalization of the Shortest-Path Problem.
J. Algorithms, 1996

Interactive Authoring of Multimedia Documents.
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Data Flow Frequency Analysis.
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

Slicing Class Hierarchies in C++.
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

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

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

1994
The Undecidability of Aliasing.
ACM Trans. Program. Lang. Syst., 1994

On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem.
Inf. Process. Lett., 1994

An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph.
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.
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.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

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

1990
New Sequential and Parallel Algorithms for Interval Graph Recognition.
Inf. Process. Lett., 1990

1988
A Unified Approach to Domination Problems on Interval Graphs.
Inf. Process. Lett., 1988

Total Domination in Interval Graphs Revisited.
Inf. Process. Lett., 1988


  Loading...