Explore over 5,113,590 papers,
50 were added last week.
Author
|
Conference
|
Journal
|
Year
Look for results that meet for the following criteria:
Later than
Equal to
Earlier than
Papers
Authors
Conferences
Journals
View Top Co-Authors In
Visual Explorer
G. Ramalingam
Top Co-Authors:
Thomas W. Reps (12)
J. Timothy Field (11)
Deepak Goyal (5)
Raymond E. Miller (4)
Sriram Rajamani (4)
Mooly Sagiv (4)
Eran Yahav (4)
Frank Tip (3)
Chanrasekharan Pandu Rangan (3)
Junehwa Song (3)
Venkatesh Prasad Ranganath (3)
Roman Manevich (3)
Kapil Vaswani (3)
Shmuel Sagiv (2)
Harini Srinivasan (2)
Byoung-kee Yi (2)
Michelle Y. Kim (1)
Jong-deok Choi (1)
Leo Joskowicz (1)
Justin J. Song (1)
ObjectID : Author/2189317
G. Ramalingam
Embed
Subscribe
Publications: 49
|
Citations: 779
|
G-Index: 27
|
H-Index: 15
Research Interest:
Software Engineering & Programming Languages
,
Algorithms and Theory
,
Distributed and Parallel Computing
IBM T.J. Watson Research Center, Yorktown Heights, NY
Bing
Order by:
Year
|
Citation
|
Rank
The rank of a paper is calculated by considering the authors, the published conference or journal, and its citation graph. The highest ranking result will appear first.
Learn more
Papers
Citations
Year 2009
Sriram K. Rajamani
,
G. Ramalingam
,
Venkatesh Prasad Ranganath
,
Kapil Vaswani
:
ISOLATOR: dynamically ensuring isolation in comcurrent programs
,
ASPLOS
, 2009
(
Citations: 3
)
Year 2008
Avik Chaudhuri
,
Prasad Naldurg
,
Sriram K. Rajamani
,
G. Ramalingam
,
Lakshmisubrahmanyam Velaga
:
EON: modeling and analyzing dynamic access control systems with logic programs
,
CCS
, 2008
(
Citations: 2
)
Year 2006
N. Rinetzky
,
G. Ramalingam
,
M. Sagiv
,
E. Yahav
:
Componentized heap ab - straction
, 2006
(
Citations: 2
)
Year 2004
Eran Yahav
,
G. Ramalingam
:
Verifying safety properties using separation and heterogeneous abstractions
,
PLDI
, 2004
(
Citations: 29
)
R. Manevich
,
M. Sagiv
,
G. Ramalingam
,
J. Field
:
Lec - ture Notes in Computer Science
, 2004
(
Citations: 1
)
Year 2003
John Field
,
Deepak Goyal
,
G. Ramalingam
,
Eran Yahav
:
Typestate Verification: Abstraction Techniques and Complexity Results
,
SAS(WSA)
, 2003
(
Citations: 15
)
Year 2002
G. Ramalingam
,
Alex Varshavsky
,
John Field
,
Deepak Goyal
,
Shmuel Sagiv
:
Deriving Specialized Program Analyses for Certifying Component-Client Conformance
,
PLDI
, 2002
(
Citations: 38
)
G. Ramalingam
:
On loops, dominators, and dominance frontiers
,
TOPLAS
, 2002
(
Citations: 10
)
Roman Manevich
,
G. Ramalingam
,
John Field
,
Deepak Goyal
,
Shmuel Sagiv
:
Compactly Representing First-Order Structures for Static Analysis
,
SAS(WSA)
, 2002
(
Citations: 14
)
G. Ramalingam
,
J. Field
,
D.goyal
:
Compactly Representing First-Order Structures for
, 2002
(
Citations: 4
)
John Field
,
Deepak Goyal
,
Eran Yahav
,
G. Ramalingam
:
Shallow Finite State Verification
, 2002
(
Citations: 2
)
Year 2001
G. Ramalingam
,
A. Warshavsky
,
J. Field
,
M. Sagiv
:
Deriving specialized heap analyses for verifying component-client conformance
, 2001
(
Citations: 5
)
Year 2000
G. Ramalingam
:
Context-sensitive synchronization-sensitive analysis is undecidable
,
TOPLAS
, 2000
(
Citations: 67
)
G. Ramalingam
:
On loops, dominators, and dominance frontier
,
PLDI
, 2000
(
Citations: 6
)
Year 1999
G. Ramalingam
,
John Field
,
Frank Tip
:
Aggregate Structure Identification and Its Application to Program Analysis
,
POPL
, 1999
(
Citations: 45
)
G. Ramalingam
:
Identifying Loops in Almost Linear Time
,
TOPLAS
, 1999
(
Citations: 14
)
Junehwa Song
,
G. Ramalingam
,
Raymond E. Miller
,
Byoung-kee Yi
:
Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System
,
MMS
, 1999
(
Citations: 11
)
G. Ramalingam
,
Junehwa Song
,
Leo Joskowicz
,
Raymond E. Miller
:
Solving Systems of Difference Constraints Incrementally
,
ALGORITHMICA
, 1999
(
Citations: 10
)
John Field
,
G. Ramalingam
:
Identifying Procedural Structure in Cobol Programs
,
PASTE
, 1999
(
Citations: 5
)
Year 1997
G. Ramalingam
,
Harini Srinivasan
:
A Member Lookup Algorithm for C++
,
PLDI
, 1997
(
Citations: 7
)
G. Ramalingam
:
On Sparse Evaluation Representations
,
SAS(WSA)
, 1997
(
Citations: 10
)
Year 1996
G. Ramalingam
,
Thomas W. Reps
:
An Incremental Algorithm for a Generalization of the Shortest-Path Problem
,
JAL
, 1996
(
Citations: 104
)
G. Ramalingam
,
Thomas W. Reps
:
On the Computational Complexity of Dynamic Graph Problems
,
TCS
, 1996
(
Citations: 46
)
Frank Tip
,
Jong-deok Choi
,
John Field
,
G. Ramalingam
:
Slicing Class Hierarchies in C++
,
OOPSLA
, 1996
(
Citations: 32
)
G. Ramalingam
:
Data Flow Frequency Analysis
,
PLDI
, 1996
(
Citations: 39
)
G. Ramalingam
:
Bounded Incremental Computation
,
LNCS
, 1996
(
Citations: 21
)
Junehwa Song
,
Michelle Y. Kim
,
G. Ramalingam
,
Raymond E. Miller
,
Byoung-kee Yi
:
Interactive Authoring of Multimedia Documents
,
HCC(VL)
, 1996
(
Citations: 8
)
G. Ramalingam
,
T. Reps
:
On the computational complexity of dynamic graph algorithms
, 1996
(
Citations: 2
)
G. Ramalingam
,
H. Srinivasan
:
Object model for java
, 1996
(
Citations: 2
)
Year 1995
John Field
,
G. Ramalingam
,
Frank Tip
:
Parametric Program Slicing
,
POPL
, 1995
(
Citations: 46
)
G. Ramalingam
,
J. Song
,
L. Joscovicz
,
R. E. Miller
:
Solving Difference Constraints Incrementally
, 1995
Year 1994
G. Ramalingam
:
The Undecidability of Aliasing
,
TOPLAS
, 1994
(
Citations: 63
)
G. Ramalingam
,
Thomas W. Reps
:
An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph
,
POPL
, 1994
(
Citations: 18
)
G. Ramalingam
,
Thomas W. Reps
:
On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem
,
IPL
, 1994
(
Citations: 14
)
Year 1993
G. Ramalingam
,
Thomas W. Reps
:
A Categorized Bibliography on Incremental Computation
,
POPL
, 1993
(
Citations: 31
)
Year 1992
G. Ramalingam
,
T. Reps
:
On the complexity of incremental computation
, 1992
(
Citations: 2
)
Year 1991
G. Ramalingam
,
T. Reps
:
On the computational complexity of incremental algorithms
,
TREC
, 1991
(
Citations: 9
)
G. Ramalingam
,
Thomas W. Reps
:
A Theory of Program Modifications
,
TAPSOFT
, 1991
(
Citations: 2
)
G. Ramalingam
,
Thomas W. Reps
:
Modification Algebras
,
AMAST
, 1991
(
Citations: 1
)
G. Ramalingam
,
Thomas Reps
:
New Programs From Old
, 1991
Year 1990
G. Ramalingam
,
C. Pandu Rangan
:
New Sequential and Parallel Algorithms for Interval Graph Recognition
,
IPL
, 1990
(
Citations: 4
)
Year 1989
G. Ramalingam
,
T. Reps
:
Semantics of program representation graphs
,
TR
, 1989
(
Citations: 10
)
Year 1988
G. Ramalingam
,
C. Pandu Rangan
:
A Unified Approach to Domination Problems on Interval Graphs
,
IPL
, 1988
(
Citations: 17
)
G. Ramalingam
,
C. Pandu Rangan
:
Total Domination in Interval Graphs Revisited
,
IPL
, 1988
(
Citations: 6
)
Year Unknown
R. Manevich
,
T. Lev Ami
,
M. Sagiv
,
G. Ramalingam
,
J. Berdine
:
Heap decomposition for concurrent shape analysis
(
Citations: 1
)
Sriram Rajamani
,
G. Ramalingam
,
Venkatesh-prasad Ranganath
,
Kapil Vaswani
:
Controlling Non-determinism for Semantic Guarantees
(
Citations: 1
)
Shilpa Bugde
,
Nachiappan Nagappan
,
Sriram Rajamani
,
G. Ramalingam
:
Global Software Servicing: Observational Experiences at Microsoft
G. Ramalingam
,
S. Neethirajan
,
D.s. Jayas
,
N.d.g. White
,
Rodd's Brudenell River Resort
,
Prince Edward Island
:
Characterizationof the Influence of Moisture Content on Single Wheat Kernels Using Machine Vision
Jyotirmoy Deshmukh
,
G. Ramalingam
,
Venkatesh Prasad Ranganath
,
Kapil Vaswani
:
Logical Concurrency Control From Sequential Proofs