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 × Ireland
4 × USA
Collaborated with:
E.Yahav M.Sagiv M.T.Vechev K.Yorav A.Schuster A.Aiken N.G.Bronson G.Golan-Gueta
Talks about:
atom (2) chameleon (1) independ (1) datarac (1) concurr (1) collect (1) verifi (1) select (1) resolv (1) inform (1)

Person: Ohad Shacham

DBLP DBLP: Shacham:Ohad

Contributed to:

ISSTA 20142014
OOPSLA 20112011
PLDI 20092009
DAC 20072007
PPoPP 20052005

Wrote 5 papers:

ISSTA-2014-ShachamYGABSV #independence #verification
Verifying atomicity via data independence (OS, EY, GGG, AA, NGB, MS, MTV), pp. 26–36.
OOPSLA-2011-ShachamBASVY #concurrent #testing
Testing atomicity of composed concurrent operations (OS, NGB, AA, MS, MTV, EY), pp. 51–64.
PLDI-2009-ShachamVY #adaptation #named
Chameleon: adaptive selection of collections (OS, MTV, EY), pp. 408–418.
DAC-2007-ShachamY #on the fly
On-The-Fly Resolve Trace Minimization (OS, KY), pp. 594–599.
PPoPP-2005-ShachamSS #information management #model checking #scalability #using
Scaling model checking of dataraces using dynamic information (OS, MS, AS), pp. 107–118.
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.