Peter Sewell

Available identifiers

Publication	Date of Publication	Type
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version)	2024-11-04	Paper
On implementations and semantics of a concurrent programming language	2023-05-17	Paper
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions	2016-10-24	Paper
Lem: reusable engineering of real-world semantics	2016-09-29	Paper
Global abstraction-safe marshalling with hash types	2015-07-02	Paper
Nomadic pict	2015-03-17	Paper
Modules, abstract types, and distributed versioning	2015-03-17	Paper
Acute	2015-01-06	Paper
Ott	2014-07-21	Paper
Mathematizing C++ concurrency	2014-04-10	Paper
Relaxed-memory concurrency and verified compilation	2014-04-10	Paper
CompCertTSO	2014-02-17	Paper
Fences in weak memory models	2012-09-27	Paper
\(\pi\)-calculi	2012-09-05	Paper
Lem: A Lightweight Tool for Heavyweight Semantics	2011-08-17	Paper
Ott: Effective tool support for the working semanticist	2010-03-17	Paper
Acute: High-level programming language design for distributed computation	2007-09-26	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q5714458	2006-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q4738362	2004-08-11	Paper
Models for name-passing processes: Interleaving and causal	2004-08-06	Paper
From rewrite rules to bisimulation congruences	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4219047	1998-11-15	Paper
Nonaxiomatisability of equivalences over finite state processes	1998-11-01	Paper

This page was built for person: Peter Sewell