BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Portugal
1 × Spain
1 × United Kingdom
2 × France
2 × USA
3 × Italy
Collaborated with:
K.Vaswani J.Field R.Manevich R.Komondoor S.Sagiv E.Yahav M.Sagiv R.Madhavan P.Prabhu A.Kanade R.Alur S.K.Rajamani B.S.Gulavani S.Chakraborty A.V.Nori S.Sinha S.Chandra D.Lo V.P.Ranganath T.Lev-Ami J.Berdine N.Rinetzky A.Poetzsch-Heffter
Talks about:
abstract (4) analysi (4) program (3) shape (3) depend (2) heap (2) understand (1) decomposit (1) represent (1) interpret (1)

Person: Ganesan Ramalingam

DBLP DBLP: Ramalingam:Ganesan

Contributed to:

POPL 20132013
SAS 20112011
FSE 20102010
PLDI 20102010
SAS 20092009
SAS 20082008
ESOP 20072007
ICSE 20062006
TACAS 20052005
VMCAI 20052005
SAS 20042004
WCRE 20092009

Wrote 12 papers:

POPL-2013-RamalingamV #fault tolerance
Fault tolerance via idempotence (GR, KV), pp. 249–262.
SAS-2011-MadhavanRV #abstract interpretation #analysis
Purity Analysis: An Abstract Interpretation Formulation (RM, GR, KV), pp. 7–24.
FSE-2010-KanadeARR #dependence #representation #testing #using
Representation dependence testing using program inversion (AK, RA, SKR, GR), pp. 277–286.
PLDI-2010-PrabhuRV #parallel #programmable
Safe programmable speculative parallelism (PP, GR, KV), pp. 50–61.
SAS-2009-GulavaniCRN #analysis #bottom-up
Bottom-Up Shape Analysis (BSG, SC, GR, AVN), pp. 188–204.
SAS-2008-ManevichLSRB #analysis #composition #concurrent
Heap Decomposition for Concurrent Shape Analysis (RM, TLA, MS, GR, JB), pp. 363–377.
ESOP-2007-RinetzkyPRSY #analysis #composition #encapsulation #source code
Modular Shape Analysis for Dynamically Encapsulated Programs (NR, APH, GR, MS, EY), pp. 220–236.
ICSE-2006-RamalingamKFS #modelling #object-oriented #reverse engineering #semantics
Semantics-based reverse engineering of object-oriented data models (GR, RK, JF, SS), pp. 192–201.
TACAS-2005-KomondoorRCF #comprehension #dependent type
Dependent Types for Program Understanding (RK, GR, SC, JF), pp. 157–173.
VMCAI-2005-ManevichYRS #abstraction #canonical
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists (RM, EY, GR, SS), pp. 181–198.
SAS-2004-ManevichSRF #abstraction
Partially Disjunctive Heap Abstraction (RM, SS, GR, JF), pp. 265–279.
WCRE-1999-LoRRV99a #algorithm #evaluation #mining #quantifier
Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation (DL, GR, VPR, KV), pp. 62–71.

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.