G. Ramalingam

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 8

Top Topics

Stream Processing

Concurrency Control

Semantic Representation

Top Venues

Found. Trends Program. Lang.

Publications

B. 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, T. 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, J. 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
Intel 4 CMOS Technology Featuring Advanced FinFET Transistors optimized for High Density and High-Performance Computing. VLSI Technology and Circuits (2022)
Himanshu Arora, Raghavan Komondoor, G. Ramalingam
Checking Observational Purity of Procedures. FASE (2019)
Himanshu Arora, Raghavan Komondoor, G. Ramalingam
Checking Observational Purity of Procedures. CoRR (2019)
Guna Prasaad, G. Ramalingam, Kaushik Rajan
Scaling Ordered Stream Processing on Shared-Memory Multicores. BIRTE (2019)
Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay
From typestate verification to interpretable deep models (invited talk abstract). ISSTA (2019)
Gowtham Kaki, G. Ramalingam
Safe Transferable Regions. ECOOP (2018)
Guna Prasaad, G. Ramalingam, Kaushik Rajan
Scaling Ordered Stream Processing on Shared-Memory Multicores. CoRR (2018)
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
Automatic Scalable Atomicity via Semantic Locking. ACM Trans. Parallel Comput. 3 (4) (2017)
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
Automatic scalable atomicity via semantic locking. PPOPP (2015)
Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
A Framework For Efficient Modular Heap Analysis. Found. Trends Program. Lang. 1 (4) (2015)
Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv
Composing concurrency control. PLDI (2015)
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
Automatic semantic locking. PPOPP (2014)
Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv
Checking Linearizability of Encapsulated Extended Operations. ESOP (2014)
Bettina Kemme, André Schiper, G. Ramalingam, Marc Shapiro
Dagstuhl seminar review: consistency in distributed systems. SIGACT News 45 (1) (2014)
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
Concurrent libraries with foresight. PLDI (2013)
David Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
Mining quantified temporal rules: Formalism, algorithms, and evaluation. Sci. Comput. Program. 77 (6) (2012)
Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
Modular Heap Analysis for Higher-Order Programs. SAS (2012)
Jose M. Falerio, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Generalized lattice agreement. PODC (2012)
Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
CScale - A Programming Model for Scalable and Reliable Distributed Applications. Monterey Workshop (2012)
Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav
Automatic fine-grain locking using shape properties. OOPSLA (2011)
G. Ramalingam, Eelco Visser
Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007). Sci. Comput. Program. 76 (6) (2011)
Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
Logical Concurrency Control from Sequential Proofs Log. Methods Comput. Sci. 7 (3) (2011)
Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori
Bottom-up shape analysis using LISF. ACM Trans. Program. Lang. Syst. 33 (5) (2011)
Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
Logical Concurrency Control from Sequential Proofs. ESOP (2010)
Akash Lal, G. Ramalingam
Reference count analysis with shallow aliasing. Inf. Process. Lett. 111 (2) (2010)
Hagit Attiya, G. Ramalingam, Noam Rinetzky
Sequential verification of serializability. POPL (2010)
Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS (2009)
Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav
On the complexity of partially-flow-sensitive alias analysis. ACM Trans. Program. Lang. Syst. 30 (3) (2008)
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
Effective typestate verification in the presence of aliasing. ACM Trans. Softw. Eng. Methodol. 17 (2) (2008)
Shilpa Bugde, Nachiappan Nagappan, Sriram K. Rajamani, G. Ramalingam
Global Software Servicing: Observational Experiences at Microsoft. ICGSE (2008)
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga
EON: modeling and analyzing dynamic access control systems with logic programs. CCS (2008)
Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv
Thread Quantification for Concurrent Shape Analysis. CAV (2008)
Raghavan Komondoor, G. Ramalingam
Recovering Data Models via Guarded Dependences. WCRE (2007)
Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv
Shape Analysis by Graph Decomposition. TACAS (2007)
Saurabh Sinha, G. Ramalingam, Raghavan Komondoor
Parametric Process Model Inference. WCRE (2007)
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
Effective typestate verification in the presence of aliasing. ISSTA (2006)
Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv
Abstract Counterexample-Based Refinement for Powerset Domains. Program Analysis and Compilation (2006)
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
Automatic Verification of Strongly Dynamic Software Systems. VSTTE (2005)
Eran Yahav, G. Ramalingam
Verifying safety properties using separation and heterogeneous abstractions. PLDI (2004)
John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
Typestate Verification: Abstraction Techniques and Complexity Results. SAS (2003)
G. Ramalingam
On loops, dominators, and dominance frontiers. ACM Trans. Program. Lang. Syst. 24 (5) (2002)
G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv
Deriving Specialized Program Analyses for Certifying Component-Client Conformance. PLDI (2002)
G. Ramalingam
On sparse evaluation representations. Theor. Comput. Sci. 277 (1-2) (2002)
Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv
Compactly Representing First-Order Structures for Static Analysis. SAS (2002)
G. Ramalingam
Context-sensitive synchronization-sensitive analysis is undecidable. ACM Trans. Program. Lang. Syst. 22 (2) (2000)
G. Ramalingam
On loops, dominators, and dominance frontier. PLDI (2000)
Junehwa Song, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi
Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System. Multim. Syst. 7 (5) (1999)
John Field, G. Ramalingam
Identifying procedural structure in Cobol programs. ACM SIGSOFT Softw. Eng. Notes 24 (5) (1999)
G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymond E. Miller
Solving Systems of Difference Constraints Incrementally. Algorithmica 23 (3) (1999)
John Field, G. Ramalingam
Identifying Procedural Structure in Cobol Programs. PASTE (1999)
G. Ramalingam
Identifying Loops in Almost Linear Time. ACM Trans. Program. Lang. Syst. 21 (2) (1999)
G. Ramalingam, John Field, Frank Tip
Aggregate Structure Identification and Its Application to Program Analysis. POPL (1999)
G. Ramalingam, Harini Srinivasan
A Member Lookup Algorithm for C++. PLDI (1997)
G. Ramalingam
On Sparse Evaluation Representations. SAS (1997)
Junehwa Song, Michelle Y. Kim, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi
Interactive Authoring of Multimedia Documents. VL (1996)
G. Ramalingam
Data Flow Frequency Analysis. PLDI (1996)
G. Ramalingam, Thomas W. Reps
On the Computational Complexity of Dynamic Graph Problems. Theor. Comput. Sci. 158 (1&2) (1996)
Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam
Slicing Class Hierarchies in C++. OOPSLA (1996)
G. Ramalingam, Thomas W. Reps
An Incremental Algorithm for a Generalization of the Shortest-Path Problem. J. Algorithms 21 (2) (1996)
John Field, G. Ramalingam, Frank Tip
Parametric Program Slicing. POPL (1995)
G. Ramalingam, Thomas W. Reps
An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph. POPL (1994)
G. Ramalingam
The Undecidability of Aliasing. ACM Trans. Program. Lang. Syst. 16 (5) (1994)
G. Ramalingam, Thomas W. Reps
On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem. Inf. Process. Lett. 51 (3) (1994)
G. Ramalingam, Thomas W. Reps
A Categorized Bibliography on Incremental Computation. POPL (1993)
G. Ramalingam, Thomas W. Reps
Modification Algebras. AMAST (1991)
G. Ramalingam, Thomas W. Reps
A Theory of Program Modifications. TAPSOFT, Vol.2 (1991)
G. Ramalingam, C. Pandu Rangan
New Sequential and Parallel Algorithms for Interval Graph Recognition. Inf. Process. Lett. 34 (4) (1990)
G. Ramalingam, C. Pandu Rangan
Total Domination in Interval Graphs Revisited. Inf. Process. Lett. 27 (1) (1988)
G. Ramalingam, C. Pandu Rangan
A Unified Approach to Domination Problems on Interval Graphs. Inf. Process. Lett. 27 (5) (1988)