G. Ramalingam

Ganesan Ramalingam

	2012
71		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)
	2011
70		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
69		Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani: Purity Analysis: An Abstract Interpretation Formulation. SAS 2011: 7-24
68		Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori: Bottom-up shape analysis using LISF. ACM Trans. Program. Lang. Syst. 33(5): 17 (2011)
67		Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: Logical Concurrency Control from Sequential Proofs Logical Methods in Computer Science 7(3): (2011)
66		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)
	2010
65		Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: Logical Concurrency Control from Sequential Proofs. ESOP 2010: 226-245
64		Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani: Safe programmable speculative parallelism. PLDI 2010: 50-61
63		Hagit Attiya, G. Ramalingam, Noam Rinetzky: Sequential verification of serializability. POPL 2010: 31-42
62		Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam: Representation dependence testing using program inversion. SIGSOFT FSE 2010: 277-286
61		Akash Lal, G. Ramalingam: Reference count analysis with shallow aliasing. Inf. Process. Lett. 111(2): 57-63 (2010)
	2009
60		Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv: Abstract Transformers for Thread Correlation Analysis. APLAS 2009: 30-46
59		Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS 2009: 181-192
58		Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori: Bottom-Up Shape Analysis. SAS 2009: 188-204
57		David Lo, Ganesan Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. WCRE 2009: 62-71
	2008
56		G. Ramalingam: Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings Springer 2008
55		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
54		Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv: Thread Quantification for Concurrent Shape Analysis. CAV 2008: 399-413
53		Shilpa Bugde, Nachiappan Nagappan, Sriram K. Rajamani, G. Ramalingam: Global Software Servicing: Observational Experiences at Microsoft. ICGSE 2008: 182-191
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	Alexander Aiken (Alex Aiken)	[70]
2	Rajeev Alur	[62]
3	Hagit Attiya (Chagit Attiya)	[63]
4	Josh Berdine	[46] [52] [54]
5	Nathan Grasso Bronson	[70]
6	Shilpa Bugde	[53]
7	Supratik Chakraborty	[58] [68]
8	Satish Chandra	[36] [37]
9	Avik Chaudhuri	[55]
10	Jong-Deok Choi	[15]
11	Siobhán Clarke	[42] [43] [48]
12	Byron Cook	[46]
13	James R. Cordy	[41]
14	Jyotirmoy V. Deshmukh	[65] [67]
15	Nurit Dor	[34] [39] [50]
16	Mohammad El-Ramly	[41]
17	William S. Evans	[41]
18	John Field	[10] [15] [22] [23] [28] [29] [30] [31] [33] [34] [36] [37] [38] [40]
19	Stephen J. Fink (Stephen Fink)	[39] [50]
20	Emmanuel Geay	[39] [50]
21	Guy Golan-Gueta (Guy Gueta)	[70]
22	Denis Gopan	[34]
23	Deepak Goyal	[28] [29] [30] [33]
24	Jürgen Wolff von Gudenberg	[41]
25	Bhargav S. Gulavani	[58] [68]
26	Thomas A. Henzinger	[38]
27	Howard M. Hess	[37]
28	Leo Joskowicz	[20]
29	Manivannan Kalidasan	[37]
30	Aditya Kanade	[62]
31	Michelle Y. Kim	[13]
32	Raghavan Komondoor	[36] [37] [40] [44] [45]
33	Akash Lal	[61]
34	Tal Lev-Ami	[34] [52] [54] [60]
35	David Lo	[57] [71]
36	Alexey Loginov	[34]
37	Ravichandhran Madhavan	[69]
38	Kiarash Mahdavi	[41]
39	Roman Manevich	[28] [31] [34] [35] [38] [46] [52] [54] [60]
40	Raymond E. Miller	[13] [19] [20]
41	Leon Moonen	[42] [43] [48]
42	Nachiappan Nagappan	[53]
43	Prasad Naldurg	[55]
44	Frans Nieuwerth	[37]
45	Aditya V. Nori	[58] [68]
46	Markus Pizka	[41]
47	Arnd Poetzsch-Heffter	[47]
48	Prakash Prabhu	[64]
49	Sriram K. Rajamani	[53] [55] [59] [62]
50	C. Pandu Rangan (Chandrasekaran Pandu Rangan)	[1] [2] [3]
51	Venkatesh Prasad Ranganath	[57] [59] [65] [67] [71]
52	Thomas W. Reps	[4] [5] [6] [7] [9] [11] [12] [34]
53	Noam Rinetzky	[34] [47] [51] [63]
54	Shmuel Sagiv (Mooly Sagiv)	[28] [29] [31] [34] [35] [38] [46] [47] [51] [52] [54] [60] [70]
55	Michal Segalov	[60]
56	Saurabh Sinha	[40] [44]
57	Junehwa Song	[13] [19] [20]
58	Harini Srinivasan	[18]
59	Frank Tip	[10] [15] [22]
60	Alex Varshavsky	[29]
61	Kapil Vaswani	[57] [59] [64] [65] [67] [69] [71]
62	Lakshmisubrahmanyam Velaga	[55]
63	Eelco Visser	[49] [66]
64	Jackie De Vries	[37]
65	Andrew Walenstein	[41]
66	Reinhard Wilhelm	[34]
67	Justin Xue	[37]
68	Eran Yahav	[30] [32] [33] [34] [35] [39] [47] [50] [51] [70]
69	Byoung-Kee Yi	[13] [19]
70	Greta Yorsh	[34]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page