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 × France
1 × Portugal
2 × USA
3 × Canada
Collaborated with:
R.Rugina T.M.Chilimbi S.Gulwani L.Princehouse
Talks about:
analysi (4) practic (2) dealloc (2) object (2) compil (2) infer (2) time (2) lightweight (1) transform (1) maintain (1)

Person: Sigmund Cherem

DBLP DBLP: Cherem:Sigmund

Contributed to:

PLDI 20082008
CC 20072007
ISMM 20072007
PLDI 20072007
VMCAI 20072007
ISMM 20062006
ISMM 20042004

Wrote 7 papers:

Inferring locks for atomic sections (SC, TMC, SG), pp. 304–315.
CC-2007-CheremR #analysis #lightweight #summary
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries (SC, RR), pp. 172–186.
Uniqueness inference for compile-time object deallocation (SC, RR), pp. 117–128.
PLDI-2007-CheremPR #analysis #detection #memory management #using
Practical memory leak detection using guarded value-flow analysis (SC, LP, RR), pp. 480–491.
VMCAI-2007-CheremR #analysis #invariant #maintenance #reasoning
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning (SC, RR), pp. 234–250.
Compile-time deallocation of individual objects (SC, RR), pp. 138–149.
ISMM-2004-CheremR #analysis #java #source code
Region analysis and transformation for Java programs (SC, RR), pp. 85–96.

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.