|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 47 occurrences of 38 keywords
|
|
|
|
|
Results
Found 71 publication records. Showing 71 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
Mining quantified temporal rules: Formalism, algorithms, and evaluation.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam, Eelco Visser |
Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori |
Bottom-up shape analysis using LISF. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
Logical Concurrency Control from Sequential Proofs |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav |
Automatic fine-grain locking using shape properties. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani |
Purity Analysis: An Abstract Interpretation Formulation. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Lal, G. Ramalingam |
Reference count analysis with shallow aliasing. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, G. Ramalingam, Noam Rinetzky |
Sequential verification of serializability. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
verification, concurrency, reduction, serializability |
| 1 | Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
Logical Concurrency Control from Sequential Proofs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani |
Safe programmable speculative parallelism. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
purity, rollback freedom, safety, speculative parallelism, value speculation |
| 1 | Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam |
Representation dependence testing using program inversion. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
ISOLATOR: dynamically ensuring isolation in comcurrent programs. |
ASPLOS |
2009 |
DBLP DOI BibTeX RDF |
concurreny, isolation, memory protection |
| 1 | David Lo, Ganesan Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. |
WCRE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv |
Abstract Transformers for Thread Correlation Analysis. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori |
Bottom-Up Shape Analysis. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
Effective typestate verification in the presence of aliasing. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
program verification, Alias analysis, typestate |
| 1 | Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav |
On the complexity of partially-flow-sensitive alias analysis. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
flow-insensitive, Alias analysis, flow-sensitive |
| 1 | Shilpa Bugde, Nachiappan Nagappan, Sriram K. Rajamani, G. Ramalingam |
Global Software Servicing: Observational Experiences at Microsoft. |
ICGSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam (eds.) |
Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings |
APLAS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv |
Thread Quantification for Concurrent Shape Analysis. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
logic programming, automatic verification, dynamic access control |
| 1 | Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine |
Heap Decomposition for Concurrent Shape Analysis. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv |
Shape Analysis by Graph Decomposition. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam, Eelco Visser (eds.) |
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007 |
PEPM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Saurabh Sinha, G. Ramalingam, Raghavan Komondoor |
Parametric Process Model Inference. |
WCRE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghavan Komondoor, G. Ramalingam |
Recovering Data Models via Guarded Dependences. |
WCRE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Siobhán Clarke, Leon Moonen, Ganesan Ramalingam (eds.) |
Aspects For Legacy Applications, 26.07. - 29.07.2006 |
Aspects For Legacy Applications |
2007 |
DBLP BibTeX RDF |
|
| 1 | Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav |
Modular Shape Analysis for Dynamically Encapsulated Programs. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
Effective typestate verification in the presence of aliasing. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
program verification, alias analysis, typestate |
| 1 | Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv |
Abstract Counterexample-Based Refinement for Powerset Domains. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Siobhán Clarke, Leon Moonen, Ganesan Ramalingam |
06302 Abstracts Collection -- Aspects For Legacy Applications. |
Aspects For Legacy Applications |
2006 |
DBLP BibTeX RDF |
|
| 1 | Leon Moonen, Ganesan Ramalingam, Siobhán Clarke |
06302 Summary -- Aspects For Legacy Applications. |
Aspects For Legacy Applications |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha |
Semantics-based reverse engineering of object-oriented data models. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
program understanding, type inference |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav |
Typestate verification: Abstraction techniques and complexity results. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field |
Dependent Types for Program Understanding. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv |
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eran Yahav, G. Ramalingam |
Verifying safety properties using separation and heterogeneous abstractions. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
typestate verification, verification, program analysis, abstract interpretation, safety properties |
| 1 | Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field |
Partially Disjunctive Heap Abstraction. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Deepak Goyal, G. Ramalingam, Eran Yahav |
Typestate Verification: Abstraction Techniques and Complexity Results. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam |
On sparse evaluation representations. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam |
On loops, dominators, and dominance frontiers. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
irreducible graph, iterated dominance frontier, least common ancestor, loop nesting forest, sparse evaluation, graph transformation, Dominator, loop |
| 1 | G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv |
Deriving Specialized Program Analyses for Certifying Component-Client Conformance. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
model checking, static analysis, abstract interpretation, software components, predicate abstraction |
| 1 | Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv |
Compactly Representing First-Order Structures for Static Analysis. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam |
Context-sensitive synchronization-sensitive analysis is undecidable. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam |
On loops, dominators, and dominance frontier. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymond E. Miller |
Solving Systems of Difference Constraints Incrementally. |
Algorithmica |
1999 |
DBLP DOI BibTeX RDF |
Difference constraints, Dynamic negative cycle, Incremental algorithm, Shortest-path problem, Linear constraints |
| 1 | G. Ramalingam |
Identifying Loops in Almost Linear Time. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
irreducible flowgraphs, loops |
| 1 | Junehwa Song, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi |
Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System. |
Multimedia Syst. |
1999 |
DBLP DOI BibTeX RDF |
Temporal constraint systems, Interactive systems, Multimedia authoring, Incremental algorithms, Multimedia documents |
| 1 | G. Ramalingam, John Field, Frank Tip |
Aggregate Structure Identification and Its Application to Program Analysis. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, G. Ramalingam |
Identifying Procedural Structure in Cobol Programs. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
COBOL |
| 1 | G. Ramalingam, Harini Srinivasan |
A Member Lookup Algorithm for C++. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
C++ |
| 1 | G. Ramalingam |
On Sparse Evaluation Representations. |
SAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam, Thomas W. Reps |
On the Computational Complexity of Dynamic Graph Problems. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam, Thomas W. Reps |
An Incremental Algorithm for a Generalization of the Shortest-Path Problem. |
J. Algorithms |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam |
Bounded Incremental Computation |
|
1996 |
DOI RDF |
|
| 1 | G. Ramalingam |
Data Flow Frequency Analysis. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Junehwa Song, Michelle Y. Kim, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi |
Interactive Authoring of Multimedia Documents. |
VL |
1996 |
DBLP BibTeX RDF |
|
| 1 | Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam |
Slicing Class Hierarchies in C++. |
OOPSLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, G. Ramalingam, Frank Tip |
Parametric Program Slicing. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
C |
| 1 | G. Ramalingam, Thomas W. Reps |
On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem. |
Inf. Process. Lett. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam |
The Undecidability of Aliasing. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
pointer analysis, alias analysis |
| 1 | G. Ramalingam, Thomas W. Reps |
An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam, Thomas W. Reps |
A Categorized Bibliography on Incremental Computation. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam, Thomas W. Reps |
A Theory of Program Modifications. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam, Thomas W. Reps |
Modification Algebras. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
| 1 | G. Ramalingam, C. Pandu Rangan |
New Sequential and Parallel Algorithms for Interval Graph Recognition. |
Inf. Process. Lett. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam, C. Pandu Rangan |
A Unified Approach to Domination Problems on Interval Graphs. |
Inf. Process. Lett. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam, C. Pandu Rangan |
Total Domination in Interval Graphs Revisited. |
Inf. Process. Lett. |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #71 of 71 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")