David A. Cock
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
2006–2024
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FMCAD | Semi-Open-State Testing for in-Silicon Coherent Interconnects. | Jasmin Schult, Ben Fiedler, David A. Cock, Timothy Roscoe |
| 2023 | HotOS | Putting out the hardware dumpster fire. | Ben Fiedler, Daniel Schwyn, Constantin Gierczak-Galle, David A. Cock, Timothy Roscoe |
| 2022 | ASPLOS | Enzian: an open, general, CPU/FPGA platform for systems software research. | David A. Cock, Abishek Ramdas, Daniel Schwyn, Michael Giardino, Adam Turowski, Zhenhao He, Nora Hossle, Dario Korolija, Melissa Licciardello, Kristina Martsenko, Reto Achermann, Gustavo Alonso, Timothy Roscoe |
| 2021 | HotOS | mmapx: uniform memory protection in a heterogeneous world. | Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn |
| 2021 | SOSP | Generating correct initial page tables from formal hardware descriptions. | Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn |
| 2020 | CIDR | Tackling Hardware/Software co-design from a database perspective. | Gustavo Alonso, Timothy Roscoe, David A. Cock, Mohsen Ewaida, Kaan Kara, Dario Korolija, David Sidler, Zeke Wang |
| 2018 | ITP | Physical Addressing on Real Hardware in Isabelle/HOL. | Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe |
| 2017 | SOSP | Towards Correct-by-Construction Interrupt Routing on Real Hardware. | Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe |
| 2014 | CCS | The Last Mile: An Empirical Study of Timing Channels on seL4. | David A. Cock, Qian Ge, Toby C. Murray, Gernot Heiser |
| 2014 | ITP | From Operational Models to Information Theory; Side Channels in pGCL with Isabelle. | David A. Cock |
| 2013 | ITP | Practical Probability: Applying pGCL to Lattice Scheduling. | David A. Cock |
| 2011 | CCS | Exploitation as an inference problem. | David A. Cock |
| 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 |
| 2008 | CADE | Bitfields and Tagged Unions in C: Verification through Automatic Generation. | David A. Cock |
| 2006 | HASKELL | Running the manual: an approach to high-assurance microkernel development. | Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty |