Peter Sewell
From MaRDI portal
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
