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: Basler:G=eacute=rard
Contributed to:
20122010
2009
2008Wrote 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.