Travelled to:
1 × Australia
1 × India
Collaborated with:
G.Huard M.Bozga R.Iosif
Talks about:
reproduc (1) quantit (1) program (1) generat (1) machin (1) separ (1) logic (1) krash (1) mani (1) load (1)
Person: Swann Perarnau
DBLP: Perarnau:Swann
Contributed to:
Wrote 2 papers:
- PPoPP-2010-PerarnauH #cpu #generative #named
- KRASH: reproducible CPU load generation on many cores machines (SP, GH), pp. 327–328.
- IJCAR-2008-BozgaIP #logic #source code
- Quantitative Separation Logic and Programs with Lists (MB, RI, SP), pp. 34–49.