G. Ramalingam

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