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
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
https://portal.mardi4nfdi.de/entity/Q2758932	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Frank Piessens