|
Search the dblp DataBase
G. Ramalingam:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- G. Ramalingam, Thomas W. Reps
A Categorized Bibliography on Incremental Computation. [Citation Graph (1, 0)][DBLP] POPL, 1993, pp:502-510 [Conf]
- G. Ramalingam, Thomas W. Reps
Modification Algebras. [Citation Graph (0, 0)][DBLP] AMAST, 1991, pp:547-558 [Conf]
- Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
Effective typestate verification in the presence of aliasing. [Citation Graph (0, 0)][DBLP] ISSTA, 2006, pp:133-144 [Conf]
- Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam
Slicing Class Hierarchies in C++. [Citation Graph (0, 0)][DBLP] OOPSLA, 1996, pp:179-197 [Conf]
- John Field, G. Ramalingam
Identifying Procedural Structure in Cobol Programs. [Citation Graph (0, 0)][DBLP] PASTE, 1999, pp:1-10 [Conf]
- G. Ramalingam
On loops, dominators, and dominance frontier. [Citation Graph (0, 0)][DBLP] PLDI, 2000, pp:233-241 [Conf]
- G. Ramalingam
Data Flow Frequency Analysis. [Citation Graph (0, 0)][DBLP] PLDI, 1996, pp:267-277 [Conf]
- G. Ramalingam, Harini Srinivasan
A Member Lookup Algorithm for C++. [Citation Graph (0, 0)][DBLP] PLDI, 1997, pp:18-30 [Conf]
- G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv
Deriving Specialized Program Analyses for Certifying Component-Client Conformance. [Citation Graph (0, 0)][DBLP] PLDI, 2002, pp:83-94 [Conf]
- Eran Yahav, G. Ramalingam
Verifying safety properties using separation and heterogeneous abstractions. [Citation Graph (0, 0)][DBLP] PLDI, 2004, pp:25-34 [Conf]
- John Field, G. Ramalingam, Frank Tip
Parametric Program Slicing. [Citation Graph (0, 0)][DBLP] POPL, 1995, pp:379-392 [Conf]
- G. Ramalingam, John Field, Frank Tip
Aggregate Structure Identification and Its Application to Program Analysis. [Citation Graph (0, 0)][DBLP] POPL, 1999, pp:119-132 [Conf]
- G. Ramalingam, Thomas W. Reps
An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph. [Citation Graph (0, 0)][DBLP] POPL, 1994, pp:287-296 [Conf]
- John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
Typestate Verification: Abstraction Techniques and Complexity Results. [Citation Graph (0, 0)][DBLP] SAS, 2003, pp:439-462 [Conf]
- Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv
Compactly Representing First-Order Structures for Static Analysis. [Citation Graph (0, 0)][DBLP] SAS, 2002, pp:196-212 [Conf]
- G. Ramalingam
On Sparse Evaluation Representations. [Citation Graph (0, 0)][DBLP] SAS, 1997, pp:1-15 [Conf]
- G. Ramalingam, Thomas W. Reps
A Theory of Program Modifications. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.2, 1991, pp:137-152 [Conf]
- Junehwa Song, Michelle Y. Kim, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi
Interactive Authoring of Multimedia Documents. [Citation Graph (0, 0)][DBLP] VL, 1996, pp:276-283 [Conf]
- G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymond E. Miller
Solving Systems of Difference Constraints Incrementally. [Citation Graph (0, 0)][DBLP] Algorithmica, 1999, v:23, n:3, pp:261-275 [Journal]
- G. Ramalingam, C. Pandu Rangan
Total Domination in Interval Graphs Revisited. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1988, v:27, n:1, pp:17-21 [Journal]
- G. Ramalingam, C. Pandu Rangan
A Unified Approach to Domination Problems on Interval Graphs. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1988, v:27, n:5, pp:271-274 [Journal]
- G. Ramalingam, C. Pandu Rangan
New Sequential and Parallel Algorithms for Interval Graph Recognition. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1990, v:34, n:4, pp:215-219 [Journal]
- G. Ramalingam, Thomas W. Reps
On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1994, v:51, n:3, pp:155-161 [Journal]
- G. Ramalingam, Thomas W. Reps
An Incremental Algorithm for a Generalization of the Shortest-Path Problem. [Citation Graph (0, 0)][DBLP] J. Algorithms, 1996, v:21, n:2, pp:267-305 [Journal]
- Junehwa Song, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi
Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System. [Citation Graph (0, 0)][DBLP] Multimedia Syst., 1999, v:7, n:5, pp:424-437 [Journal]
- G. Ramalingam
On sparse evaluation representations. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2002, v:277, n:1-2, pp:119-147 [Journal]
- G. Ramalingam, Thomas W. Reps
On the Computational Complexity of Dynamic Graph Problems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1996, v:158, n:1&2, pp:233-277 [Journal]
- G. Ramalingam
Context-sensitive synchronization-sensitive analysis is undecidable. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:416-430 [Journal]
- G. Ramalingam
On loops, dominators, and dominance frontiers. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2002, v:24, n:5, pp:455-490 [Journal]
- G. Ramalingam
The Undecidability of Aliasing. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1467-1471 [Journal]
- G. Ramalingam
Identifying Loops in Almost Linear Time. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1999, v:21, n:2, pp:175-188 [Journal]
- Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv
Abstract Counterexample-Based Refinement for Powerset Domains. [Citation Graph (0, 0)][DBLP] Program Analysis and Compilation, 2006, pp:273-292 [Conf]
- Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv
Shape Analysis by Graph Decomposition. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:3-18 [Conf]
ISOLATOR: dynamically ensuring isolation in comcurrent programs. [Citation Graph (, )][DBLP]
Thread Quantification for Concurrent Shape Analysis. [Citation Graph (, )][DBLP]
EON: modeling and analyzing dynamic access control systems with logic programs. [Citation Graph (, )][DBLP]
Logical Concurrency Control from Sequential Proofs. [Citation Graph (, )][DBLP]
Sequential verification of serializability. [Citation Graph (, )][DBLP]
Recovering Data Models via Guarded Dependences. [Citation Graph (, )][DBLP]
Parametric Process Model Inference. [Citation Graph (, )][DBLP]
Automatic Verification of Strongly Dynamic Software Systems. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.006secs
|