Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jade Alglave" ( http://dblp.L3S.de/Authors/Jade_Alglave )

  Author page on DBLP  Author page in RDF  Community of Jade Alglave in ASPL-2

Publication years (Num. hits)
2009 (2) 2010 (1) 2011 (5) 2012 (1)
Publication types (Num. hits)
article(1) inproceedings(8)
Venues (Conferences, Journals, ...)
CAV(2) APLAS(1) ATVA(1) DAMP(1) Formal Methods in System Desig...(1) PLDI(1) POPL(1) TACAS(1)
Authors
Jade Alglave(9) Peter Sewell(6) Susmit Sarkar(6) Luc Maranget(5) Daniel Kroening(2) Francesco Zappa Nardelli(2) Magnus O. Myreen(2) Michael Tautschnig(2) Alastair F. Donaldson(1) Anthony C. J. Fox(1) Derek Williams(1) John Lugton(1) Samin Ishtiaq(1) Scott Owens(1) Thomas Braibant(1) Tom Ridge(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 4 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell Fences in weak memory models (extended version). Search on Bibsonomy Formal Methods in System Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams Understanding POWER multiprocessors. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell Litmus: Running Tests against Hardware. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig Making Software Verification Tools Really Work. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig Soundness of Data Flow Analyses for Weak Memory Models. Search on Bibsonomy APLAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jade Alglave, Luc Maranget Stability in Weak Memory Models. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell Fences in Weak Memory Models. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jade 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. Search on Bibsonomy DAMP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF semantics, powerpc, arm, relaxed memory models
1Susmit 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. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF semantics, relaxed memory models
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.