Edit Profile (opens in new tab) Piessens, Frank Compute Distance To: Compute Author ID: piessens.frank Published as: Piessens, Frank Documents Indexed: 26 Publications since 1995 1 Contribution as Editor Co-Authors: 28 Co-Authors with 27 Joint Publications 319 Co-Co-Authors all top 5 Co-Authors 0 single-authored 11 Devriese, Dominique 7 Jacobs, Bart 4 Cockx, Jesper 4 Steegmans, Eric 2 Patrignani, Marco 2 Vogels, Frédéric 1 Agten, Pieter 1 Dam, Mads 1 De Decker, Bart 1 Diskin, Zinovy 1 Hedin, Daniel 1 Johnson, Michael Sterling James 1 Kadish, Boris 1 Keuchel, Steven 1 Lundblad, Andreas 1 Massacci, Fabio 1 Milushev, Dimiter 1 Neven, Gregory 1 Nuyts, Andreas 1 Penninckx, Willem 1 Sabelfeld, Andrei 1 Schulte, Wolfram 1 Sjösten, Alexander 1 Smans, Jan 1 Tsampas, Stelios 1 Van Hoeymissen, Erik 1 Van Strydonck, Thomas 1 Viganò, Luca all top 5 Serials 3 Journal of Functional Programming 2 Journal of Pure and Applied Algebra 2 Logical Methods in Computer Science 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Theory and Applications of Categories 1 Lecture Notes in Computer Science all top 5 Fields 27 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 5 Category theory; homological algebra (18-XX) 2 Algebraic topology (55-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 18 Publications have been cited 50 times in 40 Documents Cited by ▼ Year ▼ Expressive modular fine-grained concurrency specification. Zbl 1284.68428Jacobs, Bart; Piessens, Frank 8 2011 On the bright side of type classes: instance arguments in Agda. Zbl 1323.68108Devriese, Dominique; Piessens, Frank 6 2011 Automatic verification of Java programs with dynamic frames. Zbl 1204.68131Smans, Jan; Jacobs, Bart; Piessens, Frank; Schulte, Wolfram 6 2010 Categorical data-specifications. Zbl 0919.18001Piessens, Frank; Steegmans, Eric 4 1995 Universal arrow foundations for visual modeling. Zbl 0973.68576Diskin, Zinovy; Kadish, Boris; Piessens, Frank; Johnson, Michael 3 2000 Typed syntactic meta-programming. Zbl 1323.68109Devriese, Dominique; Piessens, Frank 3 2013 Unifiers as equivalences: proof-relevant unification of dependently typed data. Zbl 1360.68321Cockx, Jesper; Devriese, Dominique; Piessens, Frank 3 2016 Pattern matching without K. Zbl 1345.68045Cockx, Jesper; Devriese, Dominique; Piessens, Frank 3 2014 Linear capabilities for fully abstract compilation of separation-logic-verified code. Zbl 07443764Van Strydonck, Thomas; Piessens, Frank; Devriese, Dominique 3 2021 Proving semantical equivalence of data specifications. Zbl 0867.68080Piessens, Frank; Steegmans, Eric 2 1997 Fully-abstract compilation by approximate back-translation. Zbl 1347.68064Devriese, Dominique; Patrignani, Marco; Piessens, Frank 2 2016 Modular, fully-abstract compilation by approximate back-translation. Zbl 1398.68089Devriese, Dominique; Patrignani, Marco; Piessens, Frank; Keuchel, Steven 1 2017 Eliminating dependent pattern matching without K. Zbl 1419.68037Cockx, Jesper; Devriese, Dominique; Piessens, Frank 1 2016 Sound, modular and compositional verification of the input/output behavior of programs. Zbl 1335.68063Penninckx, Willem; Jacobs, Bart; Piessens, Frank 1 2015 Featherweight VeriFast. Zbl 1448.68221Jacobs, Bart; Vogels, Frédéric; Piessens, Frank 1 2015 A machine checked soundness proof for an intermediate verification language. Zbl 1206.68193Vogels, Frédéric; Jacobs, Bart; Piessens, Frank 1 2009 Runtime enforcement of security policies on black box reactive programs. Zbl 1345.68113Ngo, Minh; Massacci, Fabio; Milushev, Dimiter; Piessens, Frank 1 2015 Sound modular verification of C code executing in an unverified context. Zbl 1345.68089Agten, Pieter; Jacobs, Bart; Piessens, Frank 1 2015 Linear capabilities for fully abstract compilation of separation-logic-verified code. Zbl 07443764Van Strydonck, Thomas; Piessens, Frank; Devriese, Dominique 3 2021 Modular, fully-abstract compilation by approximate back-translation. Zbl 1398.68089Devriese, Dominique; Patrignani, Marco; Piessens, Frank; Keuchel, Steven 1 2017 Unifiers as equivalences: proof-relevant unification of dependently typed data. Zbl 1360.68321Cockx, Jesper; Devriese, Dominique; Piessens, Frank 3 2016 Fully-abstract compilation by approximate back-translation. Zbl 1347.68064Devriese, Dominique; Patrignani, Marco; Piessens, Frank 2 2016 Eliminating dependent pattern matching without K. Zbl 1419.68037Cockx, Jesper; Devriese, Dominique; Piessens, Frank 1 2016 Sound, modular and compositional verification of the input/output behavior of programs. Zbl 1335.68063Penninckx, Willem; Jacobs, Bart; Piessens, Frank 1 2015 Featherweight VeriFast. Zbl 1448.68221Jacobs, Bart; Vogels, Frédéric; Piessens, Frank 1 2015 Runtime enforcement of security policies on black box reactive programs. Zbl 1345.68113Ngo, Minh; Massacci, Fabio; Milushev, Dimiter; Piessens, Frank 1 2015 Sound modular verification of C code executing in an unverified context. Zbl 1345.68089Agten, Pieter; Jacobs, Bart; Piessens, Frank 1 2015 Pattern matching without K. Zbl 1345.68045Cockx, Jesper; Devriese, Dominique; Piessens, Frank 3 2014 Typed syntactic meta-programming. Zbl 1323.68109Devriese, Dominique; Piessens, Frank 3 2013 Expressive modular fine-grained concurrency specification. Zbl 1284.68428Jacobs, Bart; Piessens, Frank 8 2011 On the bright side of type classes: instance arguments in Agda. Zbl 1323.68108Devriese, Dominique; Piessens, Frank 6 2011 Automatic verification of Java programs with dynamic frames. Zbl 1204.68131Smans, Jan; Jacobs, Bart; Piessens, Frank; Schulte, Wolfram 6 2010 A machine checked soundness proof for an intermediate verification language. Zbl 1206.68193Vogels, Frédéric; Jacobs, Bart; Piessens, Frank 1 2009 Universal arrow foundations for visual modeling. Zbl 0973.68576Diskin, Zinovy; Kadish, Boris; Piessens, Frank; Johnson, Michael 3 2000 Proving semantical equivalence of data specifications. Zbl 0867.68080Piessens, Frank; Steegmans, Eric 2 1997 Categorical data-specifications. Zbl 0919.18001Piessens, Frank; Steegmans, Eric 4 1995 all cited Publications top 5 cited Publications all top 5 Cited by 96 Authors 5 Piessens, Frank 4 Devriese, Dominique 3 Birkedal, Lars 3 Cockx, Jesper 3 da Rocha Pinto, Pedro 3 Gardner, Philippa Anne 3 Wolter, Uwe E. 2 Abel, Andreas M. 2 Dinsdale-Young, Thomas 2 Dreyer, Derek R. 2 Jacobs, Bart 2 Johnson, Michael Sterling James 2 Krebbers, Robbert 2 Malecha, Gregory 2 Oliveira, Bruno C.d. S. 2 Rosebrugh, Robert D. 2 Rossini, Alessandro 2 Rutle, Adrian 2 Tabareau, Nicolas 2 Vafeiadis, Viktor 2 Wadler, Philip Lee 1 Albert, Elvira 1 Åman, Pohjola Johannes 1 Amighi, Afshin 1 Anand, Abhishek 1 Asnina, Erika 1 Baanen, Anne 1 Bao, Yuyan 1 Bengtson, Jesper 1 Bizjak, Aleš 1 Blom, Stefan 1 Boulier, Simon 1 Calderón, Guillermo 1 Coenen, Norine 1 Cohen, Cyril 1 Dagand, Pierre-Evariste 1 Darabi, Saeed 1 de Lara, Juan 1 Diskin, Zinovy 1 Ernst, Gidon 1 Finkbeiner, Bernd 1 Forster, Yannick 1 Frumin, Dan 1 Gherghina, Cristian 1 Gibbons, Jeremy 1 Grave, Andrejs 1 Guerra, Esther 1 Hahn, Christopher 1 Hähnle, Reiner 1 Hobor, Aquinas 1 Hofmann, Jana 1 Huang, Xuejing 1 Huisman, Marieke 1 Itzhaky, Shachar 1 Jourdan, Jacques-Henri 1 Jung, Ralf 1 Kassios, Ioannis T. 1 Ko, Hsiang-Shang 1 Krishnaswami, Neelakantan R. 1 Kuncak, Viktor 1 Kunze, Fabian 1 Lamo, Yngve 1 Leavens, Gary T. 1 Lucanu, Dorel 1 Marntirosian, Koar 1 Merayo, Alicia 1 Mostowski, Wojciech I. 1 Myreen, Magnus O. 1 Nanevski, Aleksandar 1 Ntzik, Gian 1 Osis, Janis 1 Peleg, Hila 1 Polikarpova, Nadia 1 Rostedt, Henrik 1 Rowe, Reuben N. S. 1 Schillo, Yannick 1 Schmid, Georg Stefan 1 Schrijvers, Tom 1 Schulte, Wolfram 1 Sergey, Ilya 1 Skorstengaard, Lau 1 Smans, Jan 1 Sozeau, Matthieu 1 Spivak, David I. 1 Steegmans, Eric 1 Steinhöfel, Dominic 1 Swierstra, Wouter 1 Tanter, Éric 1 Timany, Amin 1 Van Strydonck, Thomas 1 Vogels, Frédéric 1 Winterhalter, Théo 1 Xiong, Shale 1 Zaharieva-Stojanovski, Marina 1 Zhao, Jinxu 1 Ziliani, Beta all top 5 Cited in 9 Serials 10 Journal of Functional Programming 4 Formal Aspects of Computing 2 Theoretical Computer Science 1 Journal of Pure and Applied Algebra 1 Information and Computation 1 Journal of Automated Reasoning 1 The Journal of Logic and Algebraic Programming 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 7 Fields 40 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Geometry (51-XX) 1 Algebraic topology (55-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year