Edit Profile (opens in new tab) Beringer, Lennart Compute Distance To: Compute Author ID: beringer.lennart Published as: Beringer, Lennart Documents Indexed: 21 Publications since 2001, including 1 Book 1 Contribution as Editor Co-Authors: 27 Co-Authors with 18 Joint Publications 384 Co-Co-Authors all top 5 Co-Authors 4 single-authored 8 Hofmann, Martin 7 Appel, Andrew W. 4 Stewart, Gordon 3 Dodds, Josiah 3 Grabowski, Robert 3 Momigliano, Alberto 2 Aspinall, David 2 Dockins, Robert 2 Loidl, Hans-Wolfgang 1 Amtoft, Torben 1 Benton, Nick 1 Blazy, Sandrine 1 Cao, Qinxiang 1 Cousino, Andrew 1 Cuellar, Santiago 1 Felty, Amy P. 1 Grütter, Samuel 1 Hatcliff, John 1 Hobor, Aquinas 1 Kennedy, Andrew J. 1 Leroy, Xavier 1 MacKenzie, Kenneth 1 Ou, Xinming 1 Pavlova, Mariela 1 Shkaravska, Olha 1 Stark, Ian 1 Zhang, Zhi all top 5 Serials 1 Theoretical Computer Science 1 Journal of Automated Reasoning 1 Formal Methods in System Design 1 The Journal of Logic and Algebraic Programming 1 Computer Languages, Systems & Structures 1 Lecture Notes in Computer Science Fields 22 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 16 Publications have been cited 68 times in 54 Documents Cited by ▼ Year ▼ Program logics for certified compilers. Zbl 1298.68009Appel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier 20 2014 Automatic certification of heap consumption. Zbl 1108.68374Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha 9 2005 A program logic for resources. Zbl 1133.68010Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto 8 2007 Reading, writing and relations. Towards extensional semantics for effect analyses. Zbl 1168.68356Benton, Nick; Kennedy, Andrew; Hofmann, Martin; Beringer, Lennart 6 2006 Relational decomposition. Zbl 1342.68070Beringer, Lennart 4 2011 Verifying pointer and string analyses with region type systems. Zbl 1253.68092Beringer, Lennart; Grabowski, Robert; Hofmann, Martin 3 2010 Compositional CompCert. Zbl 1346.68056Stewart, Gordon; Beringer, Lennart; Cuellar, Santiago; Appel, Andrew W. 3 2015 Verified compilation for shared-memory C. Zbl 1346.68045Beringer, Lennart; Stewart, Gordon; Dockins, Robert; Appel, Andrew W. 3 2014 Certification using the Mobius base logic. Zbl 1209.68121Beringer, Lennart; Hofmann, Martin; Pavlova, Mariela 2 2008 A program logic for resource verification. Zbl 1099.68584Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto 2 2004 A certificate infrastructure for machine-checked proofs of conditional information flow. Zbl 1353.68046Amtoft, Torben; Dodds, Josiah; Zhang, Zhi; Appel, Andrew; Beringer, Lennart; Hatcliff, John; Ou, Xinming; Cousino, Andrew 2 2012 VST-Floyd: a separation logic tool to verify correctness of C programs. Zbl 1451.68169Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W. 2 2018 Relational bytecode correlations. Zbl 1204.68070Beringer, Lennart 1 2010 A bytecode logic for JML and types. Zbl 1168.68357Beringer, Lennart; Hofmann, Martin 1 2006 Verified software units. Zbl 1473.68035Beringer, Lennart 1 2021 Verified heap theorem prover by paramodulation. Zbl 1291.68371Stewart, Gordon; Beringer, Lennart; Appel, Andrew W. 1 2012 Verified software units. Zbl 1473.68035Beringer, Lennart 1 2021 VST-Floyd: a separation logic tool to verify correctness of C programs. Zbl 1451.68169Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W. 2 2018 Compositional CompCert. Zbl 1346.68056Stewart, Gordon; Beringer, Lennart; Cuellar, Santiago; Appel, Andrew W. 3 2015 Program logics for certified compilers. Zbl 1298.68009Appel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier 20 2014 Verified compilation for shared-memory C. Zbl 1346.68045Beringer, Lennart; Stewart, Gordon; Dockins, Robert; Appel, Andrew W. 3 2014 A certificate infrastructure for machine-checked proofs of conditional information flow. Zbl 1353.68046Amtoft, Torben; Dodds, Josiah; Zhang, Zhi; Appel, Andrew; Beringer, Lennart; Hatcliff, John; Ou, Xinming; Cousino, Andrew 2 2012 Verified heap theorem prover by paramodulation. Zbl 1291.68371Stewart, Gordon; Beringer, Lennart; Appel, Andrew W. 1 2012 Relational decomposition. Zbl 1342.68070Beringer, Lennart 4 2011 Verifying pointer and string analyses with region type systems. Zbl 1253.68092Beringer, Lennart; Grabowski, Robert; Hofmann, Martin 3 2010 Relational bytecode correlations. Zbl 1204.68070Beringer, Lennart 1 2010 Certification using the Mobius base logic. Zbl 1209.68121Beringer, Lennart; Hofmann, Martin; Pavlova, Mariela 2 2008 A program logic for resources. Zbl 1133.68010Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto 8 2007 Reading, writing and relations. Towards extensional semantics for effect analyses. Zbl 1168.68356Benton, Nick; Kennedy, Andrew; Hofmann, Martin; Beringer, Lennart 6 2006 A bytecode logic for JML and types. Zbl 1168.68357Beringer, Lennart; Hofmann, Martin 1 2006 Automatic certification of heap consumption. Zbl 1108.68374Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha 9 2005 A program logic for resource verification. Zbl 1099.68584Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto 2 2004 all cited Publications top 5 cited Publications all top 5 Cited by 104 Authors 8 Beringer, Lennart 5 Birkedal, Lars 5 Hofmann, Martin 4 Krebbers, Robbert 3 Barthe, Gilles 3 Bengtson, Jesper 3 Bizjak, Aleš 3 Pichardie, David 2 Appel, Andrew W. 2 Aspinall, David 2 Benton, Nick 2 Besson, Frédéric 2 Blazy, Sandrine 2 Dreyer, Derek R. 2 Hobor, Aquinas 2 Jourdan, Jacques-Henri 2 Jung, Ralf 2 Laporte, Vincent 2 Montenegro, Manuel 2 Nielson, Flemming 2 Nigam, Vivek 2 Pagel, Jens 2 Peña, Ricardo 2 Riis Nielson, Hanne 2 Saabas, Ando 2 Segura, Clara 2 Sieczkowski, Filip 2 Uustalu, Tarmo 2 Zuleger, Florian 1 Ahmed, Amal 1 Ariola, Zena M. 1 Atkey, Robert 1 Bacelar Almeida, José 1 Barbosa, Manuel 1 Betarte, Gustavo 1 Bowman, William J. 1 Cachera, David 1 Campo, Juan Diego 1 Cao, Qinxiang 1 Chang, Byeong-Mo 1 Charguéraud, Arthur 1 Choi, Kwanghoon 1 Crespo, Juan Manuel 1 de’Liguoro, Ugo 1 Dockins, Robert 1 Dodds, Josiah 1 Downen, Paul 1 Fox, Anthony C. J. 1 Grabowski, Robert 1 Groves, Lindsay J. 1 Grütter, Samuel 1 Hähnle, Reiner 1 Hainry, Emmanuel 1 Heath, David G. 1 Itzhaky, Shachar 1 Jaber, Guilhem 1 Jobin, Arnaud 1 Kastberg Hinrichsen, Jonas 1 Kennedy, Andrew J. 1 Kiefer, Moritz 1 Klebanov, Vladimir 1 Koronkevich, Paulette 1 Koskinen, Eric 1 Kumar, Ramana 1 Kunz, César 1 Lammich, Peter 1 Leow, Wei Xiang 1 Li, Ximeng 1 Loidl, Hans-Wolfgang 1 Luna, Carlos 1 Maier, Patrick 1 Malecha, Gregory 1 Matheja, Christoph 1 Mohan, Anshuman 1 Momigliano, Alberto 1 Myreen, Magnus O. 1 Naumann, David A. 1 Norrish, Michael 1 Owens, Scott 1 Pan, Jing 1 Paviotti, Marco 1 Pavlova, Mariela 1 Pearce, David J. 1 Péchoux, Romain 1 Peleg, Hila 1 Polikarpova, Nadia 1 Pottier, François 1 Rakow, Ramon 1 Reddy, Uday S. 1 Rowe, Reuben N. S. 1 Rümmer, Philipp 1 Sergey, Ilya 1 Sotin, Pascal 1 Stark, Ian 1 Svendsen, Kasper 1 Tan, Yong Kiam 1 Terauchi, Tachio 1 Thamsborg, Jacob 1 Treglia, Riccardo 1 Ulbrich, Mattias ...and 4 more Authors all top 5 Cited in 12 Serials 8 Journal of Automated Reasoning 4 Theoretical Computer Science 4 Journal of Logical and Algebraic Methods in Programming 3 Information and Computation 3 Journal of Functional Programming 3 The Journal of Logic and Algebraic Programming 3 Logical Methods in Computer Science 1 Information Processing Letters 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic Cited in 4 Fields 53 Computer science (68-XX) 25 Mathematical logic and foundations (03-XX) 2 Category theory; homological algebra (18-XX) 2 Information and communication theory, circuits (94-XX) Citations by Year