default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDG. Ramalingam
Ganesan Ramalingam
Person information
- affiliation: Microsoft Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c60]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:
Intel 4 CMOS Technology Featuring Advanced FinFET Transistors optimized for High Density and High-Performance Computing. VLSI Technology and Circuits 2022: 282-283
2010 – 2019
- 2019
- [c59]Guna Prasaad
, G. Ramalingam, Kaushik Rajan:
Scaling Ordered Stream Processing on Shared-Memory Multicores. BIRTE 2019: 6:1-6:10 - [c58]Himanshu Arora, Raghavan Komondoor, G. Ramalingam:
Checking Observational Purity of Procedures. FASE 2019: 228-243 - [c57]Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay:
From typestate verification to interpretable deep models (invited talk abstract). ISSTA 2019: 4-5 - [i6]Himanshu Arora, Raghavan Komondoor, G. Ramalingam:
Checking Observational Purity of Procedures. CoRR abs/1902.05436 (2019) - 2018
- [j27]Romil Bhardwaj, Gopi Krishna Tummala, Ganesan Ramalingam, Ramachandran Ramjee, Prasun Sinha:
AutoCalib: Automatic Traffic Camera Calibration at Scale. ACM Trans. Sens. Networks 14(3-4): 19:1-19:27 (2018) - [c56]Gowtham Kaki, G. Ramalingam:
Safe Transferable Regions. ECOOP 2018: 11:1-11:31 - [i5]Guna Prasaad, G. Ramalingam, Kaushik Rajan:
Scaling Ordered Stream Processing on Shared-Memory Multicores. CoRR abs/1803.11328 (2018) - 2017
- [j26]Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic Scalable Atomicity via Semantic Locking. ACM Trans. Parallel Comput. 3(4): 21:1-21:29 (2017) - [c55]Romil Bhardwaj, Gopi Krishna Tummala, Ganesan Ramalingam, Ramachandran Ramjee, Prasun Sinha:
Autocalib: automatic traffic camera calibration at scale. BuildSys@SenSys 2017: 14:1-14:10 - [c54]Romil Bhardwaj, Gopi Krishna Tummala, Ganesan Ramalingam, Ramachandran Ramjee, Prasun Sinha:
Autocalib: automatic traffic camera calibration at scale. BuildSys@SenSys 2017: 31:1-31:2 - 2015
- [j25]Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani:
A Framework For Efficient Modular Heap Analysis. Found. Trends Program. Lang. 1(4): 269-381 (2015) - [c53]Ionel Gog, Jana Giceva, Malte Schwarzkopf, Kapil Vaswani, Dimitrios Vytiniotis, Ganesan Ramalingam, Manuel Costa, Derek Gordon Murray, Steven Hand, Michael Isard:
Broom: Sweeping Out Garbage Collection from Big Data Systems. HotOS 2015 - [c52]Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv:
Composing concurrency control. PLDI 2015: 240-249 - [c51]Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic scalable atomicity via semantic locking. PPoPP 2015: 31-41 - [e4]Prahladh Harsha, G. Ramalingam:
35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India. LIPIcs 45, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-97-2 [contents] - 2014
- [j24]Bettina Kemme, André Schiper, G. Ramalingam, Marc Shapiro:
Dagstuhl seminar review: consistency in distributed systems. SIGACT News 45(1): 67-89 (2014) - [c50]Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv:
Checking Linearizability of Encapsulated Extended Operations. ESOP 2014: 311-330 - [c49]Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic semantic locking. PPoPP 2014: 385-386 - 2013
- [c48]Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Concurrent libraries with foresight. PLDI 2013: 263-274 - [c47]Ganesan Ramalingam, Kapil Vaswani:
Fault tolerance via idempotence. POPL 2013: 249-262 - [c46]Sagar Chordia, Sriram K. Rajamani, Kaushik Rajan, Ganesan Ramalingam, Kapil Vaswani:
Asynchronous Resilient Linearizability. DISC 2013: 164-178 - [i4]Bettina Kemme, Ganesan Ramalingam, André Schiper, Marc Shapiro, Kapil Vaswani:
Consistency in Distributed Systems (Dagstuhl Seminar 13081). Dagstuhl Reports 3(2): 92-126 (2013) - 2012
- [j23]David Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani:
Mining quantified temporal rules: Formalism, algorithms, and evaluation. Sci. Comput. Program. 77(6): 743-759 (2012) - [c45]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: 148-156 - [c44]Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani:
Generalized lattice agreement. PODC 2012: 125-134 - [c43]Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani:
Modular Heap Analysis for Higher-Order Programs. SAS 2012: 370-387 - 2011
- [j22]Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani:
Logical Concurrency Control from Sequential Proofs. Log. Methods Comput. Sci. 7(3) (2011) - [j21]G. Ramalingam, Eelco Visser:
Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007). Sci. Comput. Program. 76(6): 467-468 (2011) - [j20]Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori:
Bottom-up shape analysis using LISF. ACM Trans. Program. Lang. Syst. 33(5): 17:1-17:41 (2011) - [c42]Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic fine-grain locking using shape properties. OOPSLA 2011: 225-242 - [c41]Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani:
Purity Analysis: An Abstract Interpretation Formulation. SAS 2011: 7-24 - 2010
- [j19]Akash Lal, G. Ramalingam:
Reference count analysis with shallow aliasing. Inf. Process. Lett. 111(2): 57-63 (2010) - [c40]Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani:
Logical Concurrency Control from Sequential Proofs. ESOP 2010: 226-245 - [c39]Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani:
Safe programmable speculative parallelism. PLDI 2010: 50-61 - [c38]Hagit Attiya, G. Ramalingam, Noam Rinetzky:
Sequential verification of serializability. POPL 2010: 31-42 - [c37]Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam:
Representation dependence testing using program inversion. SIGSOFT FSE 2010: 277-286
2000 – 2009
- 2009
- [c36]Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv:
Abstract Transformers for Thread Correlation Analysis. APLAS 2009: 30-46 - [c35]Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani:
ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS 2009: 181-192 - [c34]Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori:
Bottom-Up Shape Analysis. SAS 2009: 188-204 - [c33]David Lo, Ganesan Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani:
Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. WCRE 2009: 62-71 - 2008
- [j18]Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav:
On the complexity of partially-flow-sensitive alias analysis. ACM Trans. Program. Lang. Syst. 30(3): 13:1-13:28 (2008) - [j17]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): 9:1-9:34 (2008) - [c32]Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv:
Thread Quantification for Concurrent Shape Analysis. CAV 2008: 399-413 - [c31]Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga:
EON: modeling and analyzing dynamic access control systems with logic programs. CCS 2008: 381-390 - [c30]Shilpa Bugde, Nachiappan Nagappan, Sriram K. Rajamani, G. Ramalingam:
Global Software Servicing: Observational Experiences at Microsoft. ICGSE 2008: 182-191 - [c29]Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine:
Heap Decomposition for Concurrent Shape Analysis. SAS 2008: 363-377 - [e3]G. Ramalingam:
Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings. Lecture Notes in Computer Science 5356, Springer 2008, ISBN 978-3-540-89329-5 [contents] - 2007
- [c28]Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav:
Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP 2007: 220-236 - [c27]Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv:
Shape Analysis by Graph Decomposition. TACAS 2007: 3-18 - [c26]Saurabh Sinha, G. Ramalingam, Raghavan Komondoor:
Parametric Process Model Inference. WCRE 2007: 21-30 - [c25]Raghavan Komondoor, G. Ramalingam:
Recovering Data Models via Guarded Dependences. WCRE 2007: 110-119 - [e2]Siobhán Clarke, Leon Moonen, Ganesan Ramalingam:
Aspects For Legacy Applications, 26.07. - 29.07.2006. Dagstuhl Seminar Proceedings 06302, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [e1]G. Ramalingam, Eelco Visser:
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007. ACM 2007, ISBN 978-1-59593-620-2 [contents] - 2006
- [j16]Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue:
Technical forum: Using logical data models for understanding and transforming legacy business applications. IBM Syst. J. 45(3): 647-655 (2006) - [c24]Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv:
Abstract Counterexample-Based Refinement for Powerset Domains. Program Analysis and Compilation 2006: 273-292 - [c23]Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha:
Semantics-based reverse engineering of object-oriented data models. ICSE 2006: 192-201 - [c22]Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay:
Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144 - [i3]Siobhán Clarke, Leon Moonen, Ganesan Ramalingam:
06302 Abstracts Collection -- Aspects For Legacy Applications. Aspects For Legacy Applications 2006 - [i2]Leon Moonen, Ganesan Ramalingam, Siobhán Clarke:
06302 Summary -- Aspects For Legacy Applications. Aspects For Legacy Applications 2006 - [i1]Andrew Walenstein, Mohammad El-Ramly, James R. Cordy, William S. Evans, Kiarash Mahdavi, Markus Pizka, Ganesan Ramalingam, Jürgen Wolff von Gudenberg:
Similarity in Programs. Duplication, Redundancy, and Similarity in Software 2006 - 2005
- [j15]John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav:
Typestate verification: Abstraction techniques and complexity results. Sci. Comput. Program. 58(1-2): 57-82 (2005) - [c21]Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field:
Dependent Types for Program Understanding. TACAS 2005: 157-173 - [c20]Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv:
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. VMCAI 2005: 181-198 - [c19]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: 82-92 - 2004
- [c18]Eran Yahav, G. Ramalingam:
Verifying safety properties using separation and heterogeneous abstractions. PLDI 2004: 25-34 - [c17]Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field:
Partially Disjunctive Heap Abstraction. SAS 2004: 265-279 - 2003
- [c16]John Field, Deepak Goyal, G. Ramalingam, Eran Yahav:
Typestate Verification: Abstraction Techniques and Complexity Results. SAS 2003: 439-462 - 2002
- [j14]G. Ramalingam:
On sparse evaluation representations. Theor. Comput. Sci. 277(1-2): 119-147 (2002) - [j13]G. Ramalingam:
On loops, dominators, and dominance frontiers. ACM Trans. Program. Lang. Syst. 24(5): 455-490 (2002) - [c15]G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv:
Deriving Specialized Program Analyses for Certifying Component-Client Conformance. PLDI 2002: 83-94 - [c14]Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv:
Compactly Representing First-Order Structures for Static Analysis. SAS 2002: 196-212 - 2000
- [j12]G. Ramalingam:
Context-sensitive synchronization-sensitive analysis is undecidable. ACM Trans. Program. Lang. Syst. 22(2): 416-430 (2000) - [c13]G. Ramalingam:
On loops, dominators, and dominance frontier. PLDI 2000: 233-241
1990 – 1999
- 1999
- [j11]G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymond E. Miller:
Solving Systems of Difference Constraints Incrementally. Algorithmica 23(3): 261-275 (1999) - [j10]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): 424-437 (1999) - [j9]John Field, G. Ramalingam:
Identifying procedural structure in Cobol programs. ACM SIGSOFT Softw. Eng. Notes 24(5): 1-10 (1999) - [j8]G. Ramalingam:
Identifying Loops in Almost Linear Time. ACM Trans. Program. Lang. Syst. 21(2): 175-188 (1999) - [c12]John Field, G. Ramalingam:
Identifying Procedural Structure in Cobol Programs. PASTE 1999: 1-10 - [c11]G. Ramalingam, John Field, Frank Tip:
Aggregate Structure Identification and Its Application to Program Analysis. POPL 1999: 119-132 - 1997
- [c10]G. Ramalingam, Harini Srinivasan:
A Member Lookup Algorithm for C++. PLDI 1997: 18-30 - [c9]G. Ramalingam:
On Sparse Evaluation Representations. SAS 1997: 1-15 - 1996
- [b1]G. Ramalingam:
Bounded Incremental Computation. Lecture Notes in Computer Science 1089, Springer 1996, ISBN 3-540-61320-X - [j7]G. Ramalingam, Thomas W. Reps:
An Incremental Algorithm for a Generalization of the Shortest-Path Problem. J. Algorithms 21(2): 267-305 (1996) - [j6]G. Ramalingam, Thomas W. Reps:
On the Computational Complexity of Dynamic Graph Problems. Theor. Comput. Sci. 158(1&2): 233-277 (1996) - [c8]Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam:
Slicing Class Hierarchies in C++. OOPSLA 1996: 179-197 - [c7]G. Ramalingam:
Data Flow Frequency Analysis. PLDI 1996: 267-277 - [c6]Junehwa Song, Michelle Y. Kim, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi:
Interactive Authoring of Multimedia Documents. VL 1996: 276-283 - 1995
- [c5]John Field, G. Ramalingam, Frank Tip:
Parametric Program Slicing. POPL 1995: 379-392 - 1994
- [j5]G. Ramalingam, Thomas W. Reps:
On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem. Inf. Process. Lett. 51(3): 155-161 (1994) - [j4]G. Ramalingam:
The Undecidability of Aliasing. ACM Trans. Program. Lang. Syst. 16(5): 1467-1471 (1994) - [c4]G. Ramalingam, Thomas W. Reps:
An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph. POPL 1994: 287-296 - 1993
- [c3]G. Ramalingam, Thomas W. Reps:
A Categorized Bibliography on Incremental Computation. POPL 1993: 502-510 - 1991
- [c2]G. Ramalingam, Thomas W. Reps:
Modification Algebras. AMAST 1991: 547-558 - [c1]G. Ramalingam, Thomas W. Reps:
A Theory of Program Modifications. TAPSOFT, Vol.2 1991: 137-152 - 1990
- [j3]G. Ramalingam, C. Pandu Rangan:
New Sequential and Parallel Algorithms for Interval Graph Recognition. Inf. Process. Lett. 34(4): 215-219 (1990)
1980 – 1989
- 1988
- [j2]G. Ramalingam, C. Pandu Rangan:
Total Domination in Interval Graphs Revisited. Inf. Process. Lett. 27(1): 17-21 (1988) - [j1]G. Ramalingam, C. Pandu Rangan:
A Unified Approach to Domination Problems on Interval Graphs. Inf. Process. Lett. 27(5): 271-274 (1988)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
