Ganesan Ramalingam

25 papers A* 3A 4B 6Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2018 J jnl
AutoCalib: Automatic Traffic Camera Calibration at Scale.
ACM Trans. Sens. Networks
Romil Bhardwaj, Gopi Krishna Tummala, Ganesan Ramalingam, Ramachandran Ramjee, Prasun Sinha
2017 — conf
Autocalib: automatic traffic camera calibration at scale.
BuildSys
Romil Bhardwaj, Gopi Krishna Tummala, Ganesan Ramalingam, Ramachandran Ramjee, Prasun Sinha
2017 — conf
Autocalib: automatic traffic camera calibration at scale.
BuildSys
Romil Bhardwaj, Gopi Krishna Tummala, Ganesan Ramalingam, Ramachandran Ramjee, Prasun Sinha
2015 A conf
Broom: Sweeping Out Garbage Collection from Big Data Systems.
HotOS
Ionel Gog, Jana Giceva, Malte Schwarzkopf, Kapil Vaswani, Dimitrios Vytiniotis, Ganesan Ramalingam, Manuel Costa, Derek Gordon Murray, Steven Hand, Michael Isard
2013 A conf
Asynchronous Resilient Linearizability.
DISC
Sagar Chordia, Sriram K. Rajamani, Kaushik Rajan, Ganesan Ramalingam, Kapil Vaswani
2013 J jnl
Consistency in Distributed Systems (Dagstuhl Seminar 13081).
Dagstuhl Reports
Bettina Kemme, Ganesan Ramalingam, André Schiper, Marc Shapiro, Kapil Vaswani
2013 A* conf
Fault tolerance via idempotence.
POPL
Ganesan Ramalingam, Kapil Vaswani
2011 B conf
Purity Analysis: An Abstract Interpretation Formulation.
SAS
Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani
2010 — conf
Representation dependence testing using program inversion.
SIGSOFT FSE
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam
2010 A* conf
Safe programmable speculative parallelism.
PLDI
Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani
2009 B conf
Abstract Transformers for Thread Correlation Analysis.
APLAS
Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv
2009 B conf
Bottom-Up Shape Analysis.
SAS
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori
2009 — conf
Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation.
WCRE
David Lo, Ganesan Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
2008 B conf
Heap Decomposition for Concurrent Shape Analysis.
SAS
Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine
2007 — ed.
Aspects For Legacy Applications, 26.07. - 29.07.2006
Aspects For Legacy Applications
Siobhán Clarke, Leon Moonen, Ganesan Ramalingam
2007 A conf
Modular Shape Analysis for Dynamically Encapsulated Programs.
ESOP
Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav
2006 — conf
06302 Abstracts Collection -- Aspects For Legacy Applications.
Aspects For Legacy Applications
Siobhán Clarke, Leon Moonen, Ganesan Ramalingam
2006 — conf
06302 Summary -- Aspects For Legacy Applications.
Aspects For Legacy Applications
Leon Moonen, Ganesan Ramalingam, Siobhán Clarke
2006 A* conf
Semantics-based reverse engineering of object-oriented data models.
ICSE
Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha
2006 — conf
Similarity in Programs.
Duplication, Redundancy, and Similarity in Software
Andrew Walenstein, Mohammad El-Ramly, James R. Cordy, William S. Evans, Kiarash Mahdavi, Markus Pizka, Ganesan Ramalingam, Jürgen Wolff von Gudenberg
2006 J jnl
Technical forum: Using logical data models for understanding and transforming legacy business applications.
IBM Syst. J.
Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue
2005 A conf
Dependent Types for Program Understanding.
TACAS
Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field
2005 B conf
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.
VMCAI
Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv
2005 J jnl
Typestate verification: Abstraction techniques and complexity results.
Sci. Comput. Program.
John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav
2004 B conf
Partially Disjunctive Heap Abstraction.
SAS
Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field