Thomas Sewell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
2009–2022
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ESOP | Verified Security for the Morello Capability-enhanced Prototype Arm Architecture. | Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell |
| 2022 | ITP | Candle: A Verified Implementation of HOL Light. | Oskar Abrahamsson, Magnus O. Myreen, Ramana Kumar, Thomas Sewell |
| 2020 | CPP | Proof pearl: Braun trees. | Tobias Nipkow, Thomas Sewell |
| 2016 | ASPLOS | CoGENT: Verifying High-Assurance File System Implementations. | Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby C. Murray, Gerwin Klein, Gernot Heiser |
| 2016 | ICFP | Refinement through restraint: bringing down the cost of verification. | Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein |
| 2016 | ITP | A Framework for the Automatic Formal Verification of Refinement from Cogent to C. | Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein |
| 2016 | RTAS | Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis. | Thomas Sewell, Felix Kam, Gernot Heiser |
| 2014 | CAV | Formal Replay of Translation Validation for Highly Optimised C. | Thomas Sewell |
| 2013 | ICFEM | Formally Verified System Initialisation. | Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell |
| 2011 | CPP | Reconstruction of Z3's Bit-Vector Proofs in HOL4 and Isabelle/HOL. | Sascha Bhme, Anthony C. J. Fox, Thomas Sewell, Tjark Weber |
| 2011 | HotOS | Provable Security: How Feasible Is It? | Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood |
| 2011 | ITP | seL4 Enforces Integrity. | Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein |
| 2009 | SOSP | seL4: formal verification of an OS kernel. | Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |