Konrad Slind
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
1998–2026
Best venue rank
A
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | Nitro Isolation Engine: Formally Verifying a Production Hypervisor (Invited Talk). | Hanno Becker, Nathan Chong, Robert Dockins, Jim Grundy, Jason Z. S. Hu, Ike Mulder, Dominic P. Mulligan, Paul Mure, Bryan Parno, Lawrence C. Paulson, Konrad Slind |
| 2021 | ITP | Specifying Message Formats with Contiguity Types. | Konrad Slind |
| 2021 | MODELS | Synthesizing Verified Components for Cyber Assured Systems Engineering. | Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin |
| 2016 | SAFECOMP | A High-Assurance, High-Performance Hardware-Based Cross-Domain System. | David S. Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens |
| 2012 | FMCAD | Decompilation into logic - Improved. | Magnus O. Myreen, Michael J. C. Gordon, Konrad Slind |
| 2012 | TACAS | The Guardol Language and Verification System. | David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham |
| 2009 | CC | Extensible Proof-Producing Compilation. | Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon |
| 2008 | FMCAD | Machine-Code Verification for Multiple Architectures - An Application of Decompilation into Logic. | Magnus O. Myreen, Michael J. C. Gordon, Konrad Slind |
| 2008 | TACAS | Trusted Source Translation of a Total Function Language. | Guodong Li, Konrad Slind |
| 2007 | CADE | Compilation as Rewriting in Higher Order Logic. | Guodong Li, Konrad Slind |
| 2007 | ESOP | Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic. | Guodong Li, Scott Owens, Konrad Slind |
| 2005 | LPAR | Functional Correctness Proofs of Encryption Algorithms. | Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang |
| 2000 | CADE | Wellfounded Schematic Definitions. | Konrad Slind |
| 2000 | TACAS | The PROSPER Toolkit. | Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham |
| 1998 | CADE | System Description: An Interface Between CL | Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy |