List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version) Formal Methods in System Design | 2024-11-04 | Paper |
| On implementations and semantics of a concurrent programming language CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
| A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
| Lem: reusable engineering of real-world semantics Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Global abstraction-safe marshalling with hash types Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
| Nomadic Pict: correct communication infrastructure for mobile computation Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
| Modules, abstract types, and distributed versioning Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
| Acute: high-level programming language design for distributed computation Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Ott, effective tool support for the working semanticist Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Mathematizing C++ concurrency Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Relaxed-memory concurrency and verified compilation Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| CompCertTSO Journal of the ACM | 2014-02-17 | Paper |
| Fences in weak memory models Formal Methods in System Design | 2012-09-27 | Paper |
| \(\pi\)-calculi | 2012-09-05 | Paper |
| Lem: a lightweight tool for heavyweight semantics Interactive Theorem Proving | 2011-08-17 | Paper |
| Ott: Effective tool support for the working semanticist Journal of Functional Programming | 2010-03-17 | Paper |
| Acute: High-level programming language design for distributed computation Journal of Functional Programming | 2007-09-26 | Paper |
| Theorem Proving in Higher Order Logics Lecture Notes in Computer Science | 2006-07-06 | Paper |
| scientific article; zbMATH DE number 2242605 (Why is no real title available?) | 2006-01-02 | Paper |
| scientific article; zbMATH DE number 2087552 (Why is no real title available?) | 2004-08-11 | Paper |
| Models for name-passing processes: Interleaving and causal Information and Computation | 2004-08-06 | Paper |
| From rewrite rules to bisimulation congruences Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1223731 (Why is no real title available?) | 1998-11-15 | Paper |
| Nonaxiomatisability of equivalences over finite state processes Annals of Pure and Applied Logic | 1998-11-01 | Paper |
Research outcomes over time
This page was built for person: Peter Sewell
