Jade Alglave

	2012
9		Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Fences in weak memory models (extended version). Formal Methods in System Design 40(2): 170-205 (2012)
	2011
8		Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig: Soundness of Data Flow Analyses for Weak Memory Models. APLAS 2011: 272-288
7		Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig: Making Software Verification Tools Really Work. ATVA 2011: 28-42
6		Jade Alglave, Luc Maranget: Stability in Weak Memory Models. CAV 2011: 50-66
5		Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams: Understanding POWER multiprocessors. PLDI 2011: 175-186
4		Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Litmus: Running Tests against Hardware. TACAS 2011: 41-44
	2010
3		Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Fences in Weak Memory Models. CAV 2010: 258-272
	2009
2		Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli: The semantics of power and ARM multiprocessor machine code. DAMP 2009: 13-24
1		Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave: The semantics of x86-CC multiprocessor machine code. POPL 2009: 379-391

Coauthor Index

1	Thomas Braibant	[1]
2	Alastair F. Donaldson	[7]
3	Anthony C. J. Fox	[2]
4	Samin Ishtiaq	[2]
5	Daniel Kroening (Daniel Kröning)	[7] [8]
6	John Lugton	[8]
7	Luc Maranget	[3] [4] [5] [6] [9]
8	Magnus O. Myreen	[1] [2]
9	Francesco Zappa Nardelli	[1] [2]
10	Vincent Nimal	[8]
11	Scott Owens	[1]
12	Tom Ridge (Thomas Ridge)	[1]
13	Susmit Sarkar	[1] [2] [3] [4] [5] [9]
14	Peter Sewell	[1] [2] [3] [4] [5] [9]
15	Michael Tautschnig	[7] [8]
16	Derek Williams	[5]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page