Frank Piessens

Available identifiers

zbMath Open piessens.frankMaRDI QIDQ678823

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6113382	2023-08-08	Paper
Linear capabilities for fully abstract compilation of separation-logic-verified code	2021-12-13	Paper
A categorical approach to secure compilation	2021-02-22	Paper
A Principled Approach to Tracking Information Flow in the Presence of Libraries	2020-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4596778	2017-12-11	Paper
Eliminating dependent pattern matching without K	2017-10-23	Paper
Unifiers as equivalences: proof-relevant unification of dependently typed data	2017-05-10	Paper
Fully-abstract compilation by approximate back-translation	2016-10-24	Paper
Runtime enforcement of security policies on black box reactive programs	2016-09-29	Paper
Pattern matching without K	2016-09-29	Paper
Sound modular verification of C code executing in an unverified context	2016-09-29	Paper
Security monitor inlining and certification for multithreaded Java	2016-07-27	Paper
Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs	2016-04-26	Paper
Featherweight VeriFast	2015-10-29	Paper
Typed syntactic meta-programming	2015-03-30	Paper
On the bright side of type classes	2015-03-05	Paper
Overlapping and Order-Independent Patterns	2014-04-16	Paper
Expressive modular fine-grained concurrency specification	2014-04-10	Paper
Finally tagless observable recursion for an abstract grammar model	2013-06-28	Paper
Automatic verification of Java programs with dynamic frames	2010-05-28	Paper
A Machine Checked Soundness Proof for an Intermediate Verification Language	2009-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4474855	2004-07-21	Paper
Second price auctions	2002-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q2753895	2001-12-09	Paper
A decision procedure for semantical equivalence of thin FM specifications	2000-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q4888795	1999-08-31	Paper
Proving semantical equivalence of data specifications	1997-07-16	Paper

Research outcomes over time

This page was built for person: Frank Piessens