BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Germany
1 × Portugal
17 × USA
2 × Canada
2 × Spain
4 × France
Collaborated with:
J.Field E.Yahav M.Sagiv ∅ T.W.Reps G.Golan-Gueta R.Komondoor K.Vaswani F.Tip V.P.Ranganath D.Goyal R.Manevich S.Sagiv H.Srinivasan G.Kaki J.Berdine A.Aiken R.Madhavan H.Attiya N.Rinetzky S.Sinha H.Arora O.Zomer J.V.Deshmukh S.K.Rajamani D.Lo J.Choi O.Ziv T.Lev-Ami B.Cook S.J.Fink N.Dor E.Geay A.Varshavsky N.G.Bronson
Talks about:
program (7) analysi (6) concurr (4) algorithm (3) structur (3) automat (3) verif (3) shape (3) domin (3) lock (3)

Person: G. Ramalingam

DBLP DBLP: Ramalingam:G=

Facilitated 2 volumes:

PEPM 2007Ed
PEPM 2007Ed

Contributed to:

PLDI 20152015
PPoPP 20152015
ESOP 20142014
PPoPP 20142014
PLDI 20132013
SAS 20122012
OOPSLA 20112011
ESOP 20102010
POPL 20102010
ASPLOS 20092009
WCRE 20092012
CAV 20082008
TACAS 20072007
WCRE 20072007
ISSTA 20062006
PLDI 20042004
SAS 20032003
PLDI 20022002
SAS 20022002
PLDI 20002000
PASTE 19991999
POPL 19991999
PLDI 19971997
SAS 19971997
OOPSLA 19961996
PLDI 19961996
POPL 19951995
POPL 19941994
POPL 19931993
TAPSOFT, Vol.2: CCPSD 19911991
FASE 20192019
ECOOP 20182018

Wrote 33 papers:

PLDI-2015-ZivAGRS #concurrent
Composing concurrency control (OZ, AA, GGG, GR, MS), pp. 240–249.
PPoPP-2015-Golan-GuetaRSY #automation #scalability #semantics
Automatic scalable atomicity via semantic locking (GGG, GR, MS, EY), pp. 31–41.
ESOP-2014-ZomerGRS #encapsulation
Checking Linearizability of Encapsulated Extended Operations (OZ, GGG, GR, MS), pp. 311–330.
PPoPP-2014-Golan-GuetaRSY #automation #semantics
Automatic semantic locking (GGG, GR, MS, EY), pp. 385–386.
PLDI-2013-Golan-GuetaRSY #concurrent #library
Concurrent libraries with foresight (GGG, GR, MS, EY), pp. 263–274.
SAS-2012-MadhavanRV #analysis #composition #higher-order #source code
Modular Heap Analysis for Higher-Order Programs (RM, GR, KV), pp. 370–387.
OOPSLA-2011-Golan-GuetaBARSY #automation #using
Automatic fine-grain locking using shape properties (GGG, NGB, AA, GR, MS, EY), pp. 225–242.
ESOP-2010-DeshmukhRRV #concurrent #logic #proving
Logical Concurrency Control from Sequential Proofs (JVD, GR, VPR, KV), pp. 226–245.
POPL-2010-AttiyaRR #verification
Sequential verification of serializability (HA, GR, NR), pp. 31–42.
ASPLOS-2009-RajamaniRRV #named #source code
ISOLATOR: dynamically ensuring isolation in comcurrent programs (SKR, GR, VPR, KV), pp. 181–192.
WCRE-J-2009-LoRRV12 #algorithm #evaluation #mining #quantifier
Mining quantified temporal rules: Formalism, algorithms, and evaluation (DL, GR, VPR, KV), pp. 743–759.
CAV-2008-BerdineLMRS #analysis #concurrent #quantifier #thread
Thread Quantification for Concurrent Shape Analysis (JB, TLA, RM, GR, SS), pp. 399–413.
TACAS-2007-ManevichBCRS #analysis #composition #graph
Shape Analysis by Graph Decomposition (RM, JB, BC, GR, MS), pp. 3–18.
WCRE-2007-KomondoorR #dependence #modelling
Recovering Data Models via Guarded Dependences (RK, GR), pp. 110–119.
WCRE-2007-SinhaRK #model inference #parametricity #process
Parametric Process Model Inference (SS, GR, RK), pp. 21–30.
ISSTA-2006-FinkYDRG #alias #effectiveness #type system #verification
Effective typestate verification in the presence of aliasing (SJF, EY, ND, GR, EG), pp. 133–144.
PLDI-2004-YahavR #abstraction #safety #using #verification
Verifying safety properties using separation and heterogeneous abstractions (EY, GR), pp. 25–34.
SAS-2003-FieldGRY #abstraction #complexity #type system #verification
Typestate Verification: Abstraction Techniques and Complexity Results (JF, DG, GR, EY), pp. 439–462.
PLDI-2002-RamalingamWFGS #analysis #component #consistency
Deriving Specialized Program Analyses for Certifying Component-Client Conformance (GR, AV, JF, DG, SS), pp. 83–94.
SAS-2002-ManevichRFGS #first-order #representation #static analysis
Compactly Representing First-Order Structures for Static Analysis (RM, GR, JF, DG, SS), pp. 196–212.
PLDI-2000-Ramalingam #on the
On loops, dominators, and dominance frontier (GR), pp. 233–241.
PASTE-1999-FieldR #cobol #identification #source code
Identifying Procedural Structure in Cobol Programs (JF, GR), pp. 1–10.
POPL-1999-RamalingamFT #identification #program analysis
Aggregate Structure Identification and Its Application to Program Analysis (GR, JF, FT), pp. 119–132.
PLDI-1997-RamalingamS #algorithm #c++
A Member Lookup Algorithm for C++ (GR, HS), pp. 18–30.
SAS-1997-Ramalingam #evaluation #on the
On Sparse Evaluation Representations (GR), pp. 1–15.
OOPSLA-1996-TipCFR #c++ #slicing
Slicing Class Hierarchies in C++ (FT, JDC, JF, GR), pp. 179–197.
PLDI-1996-Ramalingam #analysis #data flow
Data Flow Frequency Analysis (GR), pp. 267–277.
POPL-1995-FieldRT #parametricity #slicing
Parametric Program Slicing (JF, GR, FT), pp. 379–392.
POPL-1994-RamalingamR #algorithm #incremental #maintenance
An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph (GR, TWR), pp. 287–296.
POPL-1993-RamalingamR #incremental #overview
A Categorized Bibliography on Incremental Computation (GR, TWR), pp. 502–510.
CCPSD-1991-RamalingamR #formal method
A Theory of Program Modifications (GR, TWR), pp. 137–152.
FASE-2019-AroraKR
Checking Observational Purity of Procedures (HA, RK, GR), pp. 228–243.
ECOOP-2018-KakiR
Safe Transferable Regions (GK, GR), p. 31.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.