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 × Cyprus
1 × Estonia
1 × France
1 × USA
Collaborated with:
D.Kröning T.Wahl M.Mazzucchi A.F.Donaldson A.Kaiser M.Tautschnig M.Hague C.L.Ong H.Zhao M.Musuvathi S.Qadeer T.Ball P.A.Nainar I.Neamtiu
Talks about:
program (3) concurr (2) heisenbug (1) contribut (1) reproduc (1) competit (1) abstract (1) softwar (1) further (1) counter (1)

Person: Gérard Basler

DBLP DBLP: Basler:G=eacute=rard

Contributed to:

TACAS 20122012
TACAS 20102010
CAV 20092009
OSDI 20082008

Wrote 4 papers:

TACAS-2012-BaslerDKKTW #c #contest #named #source code #verification
satabs: A Bit-Precise Verifier for C Programs — (Competition Contribution) (GB, AFD, AK, DK, MT, TW), pp. 552–555.
TACAS-2010-BaslerHKOWZ #model checking #named
Boom: Taking Boolean Program Model Checking One Step Further (GB, MH, DK, CHLO, TW, HZ), pp. 145–149.
CAV-2009-BaslerMWK #abstraction #concurrent
Symbolic Counter Abstraction for Concurrent Software (GB, MM, TW, DK), pp. 64–78.
OSDI-2008-MusuvathiQBBNN #concurrent #source code
Finding and Reproducing Heisenbugs in Concurrent Programs (MM, SQ, TB, GB, PAN, IN), pp. 267–280.

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.