Christopher Pulte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2015–2022
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ESOP | Relaxed virtual memory in Armv8-A. | Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell |
| 2021 | CAV | Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models. | Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte, Peter Sewell |
| 2020 | ESOP | ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures. | Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell |
| 2020 | PLDI | Repairing and mechanising the JavaScript relaxed memory model. | Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo |
| 2019 | PLDI | Promising-ARM/RISC-V: a simpler and faster operational concurrency model. | Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, Chung-Kil Hur |
| 2017 | POPL | Mixed-size concurrency: ARM, POWER, C/C++11, and SC. | Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell |
| 2016 | POPL | Modelling the ARMv8 architecture, operationally: concurrency and ISA. | Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell |
| 2015 | MICRO | An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors. | Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell |