Lennart Beringer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
11
Active years
2004–2024
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CPP | Compositional Verification of Concurrent C Programs with Search Structure Templates. | Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang |
| 2023 | ITP | Foundational Verification of Stateful P4 Packet Processing. | Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel |
| 2022 | ISoLA | Verified Software Units for Simple DFA Modules and Objects in C. | Lennart Beringer |
| 2021 | ESOP | Verified Software Units. | Lennart Beringer |
| 2021 | ITP | Verifying an HTTP Key-Value Server with Interaction Trees and VST. | Hengchu Zhang, Wolf Honor, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic |
| 2019 | CPP | From C to interaction trees: specifying, verifying, and testing a networked server. | Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honor, William Mansky, Benjamin C. Pierce, Steve Zdancewic |
| 2019 | FM | Abstraction and Subsumption in Modular Verification of C Programs. | Lennart Beringer, Andrew W. Appel |
| 2017 | CCS | Verified Correctness and Security of mbedTLS HMAC-DRBG. | Katherine Q. Ye, Matthew Green, Naphat Sanguansin, Lennart Beringer, Adam Petcher, Andrew W. Appel |
| 2015 | POPL | Compositional CompCert. | Gordon Stewart, Lennart Beringer, Santiago Cullar, Andrew W. Appel |
| 2014 | ESOP | Verified Compilation for Shared-Memory C. | Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel |
| 2012 | APLAS | End-to-end Multilevel Hybrid Information Flow Control. | Lennart Beringer |
| 2012 | ICFP | Verified heap theorem prover by paramodulation. | Gordon Stewart, Lennart Beringer, Andrew W. Appel |
| 2011 | ITP | Relational Decomposition. | Lennart Beringer |
| 2010 | LPAR | Verifying Pointer and String Analyses with Region Type Systems. | Lennart Beringer, Robert Grabowski, Martin Hofmann |
| 2009 | PPDP | Relational semantics for effect-based program transformations: higher-order store. | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
| 2007 | PPDP | Relational semantics for effect-based program transformations with dynamic allocation. | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
| 2006 | APLAS | Reading, Writing and Relations. | Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer |
| 2006 | APLAS | A Bytecode Logic for JML and Types. | Lennart Beringer, Martin Hofmann |
| 2004 | LPAR | Automatic Certification of Heap Consumption. | Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska |