|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 5 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
Fences in weak memory models (extended version).  |
Formal Methods in System Design  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell |
Clarifying and compiling C/C++ concurrency: from C++11 to POWER. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams |
Understanding POWER multiprocessors. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
Litmus: Running Tests against Hardware. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber |
Mathematizing C++ concurrency. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar |
Nitpicking c++ concurrency. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen |
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa |
Ott: Effective tool support for the working semanticist. |
J. Funct. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
Fences in Weak Memory Models. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
semantics, powerpc, arm, relaxed memory models |
| 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 |
DBLP DOI BibTeX RDF |
semantics, relaxed memory models |
| 1 | Scott Owens, Susmit Sarkar, Peter Sewell |
A Better x86 Memory Model: x86-TSO. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Crary, Susmit Sarkar |
Foundational certified code in the Twelf metalogical framework. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
Foundational certified code, metalogic, logic programming |
| 1 | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa |
Ott: effective tool support for the working semanticist. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Sarkar, Brigitte Pientka, Karl Crary |
Small Proof Witnesses for LF. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Crary, Susmit Sarkar |
Foundational Certified Code in a Metalogical Framework. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")