Peter Sewell

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Alasdair Armstrong

> Home > Persons > Peter Sewell

Publications

2022
[c70]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/SimnerAPPGS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SimnerAPPGS22
Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell:
Relaxed virtual memory in Armv8-A. ESOP 2022: 143-173
[c69]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BauereissCSAESB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BauereissCSAESB22
Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell:
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture. ESOP 2022: 174-203
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-00642
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-00642
Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell:
Relaxed virtual memory in Armv8-A (extended version). CoRR abs/2203.00642 (2022)
2021
[c67]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ArmstrongCSPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ArmstrongCSPS21
Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte, Peter Sewell:
Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models. CAV (1) 2021: 303-316
2020
[c64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/SimnerFPAPMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SimnerFPAPMS20
Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell:
ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures. ESOP 2020: 626-655
2019
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ArmstrongBCRGNM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ArmstrongBCRGNM19
Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, Peter Sewell:
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS. Proc. ACM Program. Lang. 3(POPL): 71:1-71:31 (2019)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.