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 × Italy
1 × United Kingdom
2 × France
2 × USA
Collaborated with:
A.Pnueli L.D.Zuck A.Cohen F.Tip R.M.Fuhrer Y.Fang
Talks about:
abstract (2) analysi (2) shape (2) invis (2) distribut (1) refactor (1) protocol (1) support (1) program (1) librari (1)

Person: Ittai Balaban

DBLP DBLP: Balaban:Ittai

Contributed to:

VMCAI 20072007
ICALP (2) 20062006
VMCAI 20062006
CAV 20052005
OOPSLA 20052005
VMCAI 20052005

Wrote 6 papers:

VMCAI-2007-BalabanPZ #analysis
Shape Analysis of Single-Parent Heaps (IB, AP, LDZ), pp. 91–105.
ICALP-v2-2006-BalabanPZ #distributed #protocol #safety
Invisible Safety of Distributed Protocols (IB, AP, LDZ), pp. 528–539.
VMCAI-2006-BalabanCP #abstraction #ranking #recursion #source code
Ranking Abstraction of Recursive Programs (IB, AC, AP), pp. 267–281.
CAV-2005-BalabanFPZ #invariant #named #verification
IIV: An Invisible Invariant Verifier (IB, YF, AP, LDZ), pp. 408–412.
OOPSLA-2005-BalabanTF #library #migration #refactoring
Refactoring support for class library migration (IB, FT, RMF), pp. 265–279.
VMCAI-2005-BalabanPZ #abstraction #analysis
Shape Analysis by Predicate Abstraction (IB, AP, LDZ), pp. 164–180.

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.