Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 7.

Article

Sewell, Peter and Sarkar, Susmit and Owens, Scott and Zappa Nardelli, Francesco and Myreen, Magnus O. (2010) x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors. Communications of the ACM, 53 (7). pp. 89-97. ISSN 0001-0782. (The full text of this publication is not available from this repository)

Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Peskine, Gilles and Ridge, Thomas and Sarkar, Susmit and Strniša, Rok (2010) Ott: Effective Tool Support for the Working Semanticist. Journal of Functional Programming, 20 (1). pp. 71-122. ISSN 0956-7968. (The full text of this publication is not available from this repository)

Conference or workshop item

Owens, Scott and Boehm, Peter and Zappa Nardelli, Francesco and Sewell, Peter (2011) Lem: A Lightweight Tool for Heavyweight Semantics (Rough Diamond). In: Interactive Theorem Proving: Second International Conference, ITP 2011. (The full text of this publication is not available from this repository)

Weirich, Stephanie and Owens, Scott and Sewell, Peter and Zappa Nardelli, Francesco (2010) Ott or Nott. In: 5th ACM SIGPLAN Workshop on Mechanizing Metatheory. (Unpublished) (The full text of this publication is not available from this repository)

Zappa Nardelli, Francesco and Sewell, Peter and Sevcik, Jaroslav and Sarkar, Susmit and Owens, Scott and Maranget, Luc and Batty, Mark and Alglave, Jade (2009) Relaxed Memory Models Must Be Rigorous. In: Exploiting Concurrency Efficiently and Correctly, CAV 2009 Workshop. (Unpublished) (The full text of this publication is not available from this repository)

Sarkar, Susmit and Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Ridge, Tom and Braibant, Thomas and Myreen, Magnus O. and Alglave, Jade (2009) The Semantics of x86-CC Multiprocessor Machine Code. In: POPL '09: 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 21st - 23rd, 2009, Savannah, Georgia, USA. (The full text of this publication is not available from this repository)

Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Peskine, Gilles and Ridge, Thomas and Sarkar, Susmit and Strniša, Rok (2007) Ott: Effective Tool Support for the Working Semanticist. In: ICFP '07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming. (The full text of this publication is not available from this repository)

This list was generated on Fri Aug 22 08:59:25 2014 BST.