Ganesan Ramalingam

25 papers A* 3A 4B 6Journal 4Unranked 7

Year	Rank	Type	Title / 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