Swann Perarnau

	2011
6		Swann Perarnau, Marc Tchiboukdjian, Guillaume Huard: Controlling cache utilization of HPC applications. ICS 2011: 295-304
	2010
5		Swann Perarnau, Guillaume Huard: KRASH: Reproducible CPU load generation on many-core machines. IPDPS 2010: 1-10
4		Swann Perarnau, Guillaume Huard: KRASH: reproducible CPU load generation on many cores machines. PPOPP 2010: 327-328
3		Daniel Cordeiro, Grégory Mounié, Swann Perarnau, Denis Trystram, Jean-Marc Vincent, Frédéric Wagner: Random graph generation for scheduling simulations. SimuTools 2010: 60
2		Marius Bozga, Radu Iosif, Swann Perarnau: Quantitative Separation Logic and Programs with Lists. J. Autom. Reasoning 45(2): 131-156 (2010)
	2008
1		Marius Bozga, Radu Iosif, Swann Perarnau: Quantitative Separation Logic and Programs with Lists. IJCAR 2008: 34-49

Coauthor Index

1	Marius Bozga	[1] [2]
2	Daniel Cordeiro	[3]
3	Guillaume Huard	[4] [5] [6]
4	Radu Iosif	[1] [2]
5	Grégory Mounié (Gregory Mounie)	[3]
6	Marc Tchiboukdjian	[6]
7	Denis Trystram	[3]
8	Jean-Marc Vincent	[3]
9	Frédéric Wagner	[3]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page