G. Ramalingam

Ganesan Ramalingam

	2010
60		H. Attiya, G. Ramalingam, Noam Rinetzky: Sequential verification of serializability. POPL 2010: 31-42
	2009
59		Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv: Abstract Transformers for Thread Correlation Analysis. APLAS 2009: 30-46
58		Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS 2009: 181-192
57		Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori: Bottom-Up Shape Analysis. SAS 2009: 188-204
56		David Lo, Ganesan Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. WCRE 2009: 62-71
	2008
55		G. Ramalingam: Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings Springer 2008
54		Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga: EON: modeling and analyzing dynamic access control systems with logic programs. ACM Conference on Computer and Communications Security 2008: 381-390
53		Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv: Thread Quantification for Concurrent Shape Analysis. CAV 2008: 399-413
52		Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine: Heap Decomposition for Concurrent Shape Analysis. SAS 2008: 363-377
51		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)
50		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)
	2007
49		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
48		Siobhán Clarke, Leon Moonen, Ganesan Ramalingam: Aspects For Legacy Applications, 26.07. - 29.07.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
47		Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav: Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP 2007: 220-236
46		Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv: Shape Analysis by Graph Decomposition. TACAS 2007: 3-18
45		Raghavan Komondoor, G. Ramalingam: Recovering Data Models via Guarded Dependences. WCRE 2007: 110-119
44		Saurabh Sinha, G. Ramalingam, Raghavan Komondoor: Parametric Process Model Inference. WCRE 2007: 21-30
	2006
43		Siobhán Clarke, Leon Moonen, Ganesan Ramalingam: 06302 Abstracts Collection -- Aspects For Legacy Applications. Aspects For Legacy Applications 2006
42		Leon Moonen, Ganesan Ramalingam, Siobhán Clarke: 06302 Summary -- Aspects For Legacy Applications. Aspects For Legacy Applications 2006
41		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
40		Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha: Semantics-based reverse engineering of object-oriented data models. ICSE 2006: 192-201
39		Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay: Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144
38		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
37		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 Systems Journal 45(3): 647-655 (2006)
	2005
36		Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field: Dependent Types for Program Understanding. TACAS 2005: 157-173
35		Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv: Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. VMCAI 2005: 181-198
34		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
33		John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav: Typestate verification: Abstraction techniques and complexity results. Sci. Comput. Program. 58(1-2): 57-82 (2005)
	2004
32		Eran Yahav, G. Ramalingam: Verifying safety properties using separation and heterogeneous abstractions. PLDI 2004: 25-34
31		Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field: Partially Disjunctive Heap Abstraction. SAS 2004: 265-279
	2003
30		John Field, Deepak Goyal, G. Ramalingam, Eran Yahav: Typestate Verification: Abstraction Techniques and Complexity Results. SAS 2003: 439-462
	2002
29		G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv: Deriving Specialized Program Analyses for Certifying Component-Client Conformance. PLDI 2002: 83-94
28		Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv: Compactly Representing First-Order Structures for Static Analysis. SAS 2002: 196-212
27		G. Ramalingam: On loops, dominators, and dominance frontiers. ACM Trans. Program. Lang. Syst. 24(5): 455-490 (2002)
26		G. Ramalingam: On sparse evaluation representations. Theor. Comput. Sci. 277(1-2): 119-147 (2002)
	2000
25		G. Ramalingam: On loops, dominators, and dominance frontier. PLDI 2000: 233-241
24		G. Ramalingam: Context-sensitive synchronization-sensitive analysis is undecidable. ACM Trans. Program. Lang. Syst. 22(2): 416-430 (2000)
	1999
23		John Field, G. Ramalingam: Identifying Procedural Structure in Cobol Programs. PASTE 1999: 1-10
22		G. Ramalingam, John Field, Frank Tip: Aggregate Structure Identification and Its Application to Program Analysis. POPL 1999: 119-132
21		G. Ramalingam: Identifying Loops in Almost Linear Time. ACM Trans. Program. Lang. Syst. 21(2): 175-188 (1999)
20		G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymond E. Miller: Solving Systems of Difference Constraints Incrementally. Algorithmica 23(3): 261-275 (1999)
19		Junehwa Song, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi: Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System. Multimedia Syst. 7(5): 424-437 (1999)
	1997
18		G. Ramalingam, Harini Srinivasan: A Member Lookup Algorithm for C++. PLDI 1997: 18-30
17		G. Ramalingam: On Sparse Evaluation Representations. SAS 1997: 1-15
	1996
16		G. Ramalingam: Bounded Incremental Computation Springer 1996
15		Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam: Slicing Class Hierarchies in C++. OOPSLA 1996: 179-197
14		G. Ramalingam: Data Flow Frequency Analysis. PLDI 1996: 267-277
13		Junehwa Song, Michelle Y. Kim, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi: Interactive Authoring of Multimedia Documents. VL 1996: 276-283
12		G. Ramalingam, Thomas W. Reps: An Incremental Algorithm for a Generalization of the Shortest-Path Problem. J. Algorithms 21(2): 267-305 (1996)
11		G. Ramalingam, Thomas W. Reps: On the Computational Complexity of Dynamic Graph Problems. Theor. Comput. Sci. 158(1&2): 233-277 (1996)
	1995
10		John Field, G. Ramalingam, Frank Tip: Parametric Program Slicing. POPL 1995: 379-392
	1994
9		G. Ramalingam, Thomas W. Reps: An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph. POPL 1994: 287-296
8		G. Ramalingam: The Undecidability of Aliasing. ACM Trans. Program. Lang. Syst. 16(5): 1467-1471 (1994)
7		G. Ramalingam, Thomas W. Reps: On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem. Inf. Process. Lett. 51(3): 155-161 (1994)
	1993
6		G. Ramalingam, Thomas W. Reps: A Categorized Bibliography on Incremental Computation. POPL 1993: 502-510
	1991
5		G. Ramalingam, Thomas W. Reps: Modification Algebras. AMAST 1991: 547-558
4		G. Ramalingam, Thomas W. Reps: A Theory of Program Modifications. TAPSOFT, Vol.2 1991: 137-152
	1990
3		G. Ramalingam, C. Pandu Rangan: New Sequential and Parallel Algorithms for Interval Graph Recognition. Inf. Process. Lett. 34(4): 215-219 (1990)
	1988
2		G. Ramalingam, C. Pandu Rangan: Total Domination in Interval Graphs Revisited. Inf. Process. Lett. 27(1): 17-21 (1988)
1		G. Ramalingam, C. Pandu Rangan: A Unified Approach to Domination Problems on Interval Graphs. Inf. Process. Lett. 27(5): 271-274 (1988)

Coauthor Index

1	H. Attiya	[60]
2	Josh Berdine	[46] [52] [53]
3	Supratik Chakraborty	[57]
4	Satish Chandra	[36] [37]
5	Avik Chaudhuri	[54]
6	Jong-Deok Choi	[15]
7	Siobhán Clarke	[42] [43] [48]
8	Byron Cook	[46]
9	James R. Cordy	[41]
10	Nurit Dor	[34] [39] [50]
11	Mohammad El-Ramly	[41]
12	William S. Evans	[41]
13	John Field	[10] [15] [22] [23] [28] [29] [30] [31] [33] [34] [36] [37] [38] [40]
14	Stephen J. Fink (Stephen Fink)	[39] [50]
15	Emmanuel Geay	[39] [50]
16	Denis Gopan	[34]
17	Deepak Goyal	[28] [29] [30] [33]
18	Jürgen Wolff von Gudenberg	[41]
19	Bhargav S. Gulavani	[57]
20	Thomas A. Henzinger	[38]
21	Howard M. Hess	[37]
22	Leo Joskowicz	[20]
23	Manivannan Kalidasan	[37]
24	Michelle Y. Kim	[13]
25	Raghavan Komondoor	[36] [37] [40] [44] [45]
26	Tal Lev-Ami	[34] [52] [53] [59]
27	David Lo	[56]
28	Alexey Loginov	[34]
29	Kiarash Mahdavi	[41]
30	Roman Manevich	[28] [31] [34] [35] [38] [46] [52] [53] [59]
31	Raymond E. Miller	[13] [19] [20]
32	Leon Moonen	[42] [43] [48]
33	Prasad Naldurg	[54]
34	Frans Nieuwerth	[37]
35	Aditya V. Nori	[57]
36	Markus Pizka	[41]
37	Arnd Poetzsch-Heffter	[47]
38	Sriram K. Rajamani	[54] [58]
39	C. Pandu Rangan (Chandrasekaran Pandu Rangan)	[1] [2] [3]
40	Venkatesh Prasad Ranganath	[56] [58]
41	Thomas W. Reps	[4] [5] [6] [7] [9] [11] [12] [34]
42	Noam Rinetzky	[34] [47] [51] [60]
43	Shmuel Sagiv (Mooly Sagiv)	[28] [29] [31] [34] [35] [38] [46] [47] [51] [52] [53] [59]
44	Michal Segalov	[59]
45	Saurabh Sinha	[40] [44]
46	Junehwa Song	[13] [19] [20]
47	Harini Srinivasan	[18]
48	Frank Tip	[10] [15] [22]
49	Alex Varshavsky	[29]
50	Kapil Vaswani	[56] [58]
51	Lakshmisubrahmanyam Velaga	[54]
52	Eelco Visser	[49]
53	Jackie De Vries	[37]
54	Andrew Walenstein	[41]
55	Reinhard Wilhelm	[34]
56	Justin Xue	[37]
57	Eran Yahav	[30] [32] [33] [34] [35] [39] [47] [50] [51]
58	Byoung-Kee Yi	[13] [19]
59	Greta Yorsh	[34]

Colors in the list of coauthors