| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7724261 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-08 | Paper |
Linear capabilities for fully abstract compilation of separation-logic-verified code
Journal of Functional Programming | 2021-12-13 | Paper |
A categorical approach to secure compilation
(available as arXiv preprint) | 2021-02-22 | Paper |
A Principled Approach to Tracking Information Flow in the Presence of Libraries
Lecture Notes in Computer Science | 2020-08-03 | Paper |
Modular, fully-abstract compilation by approximate back-translation
(available as arXiv preprint) | 2017-12-11 | Paper |
Eliminating dependent pattern matching without K
Journal of Functional Programming | 2017-10-23 | Paper |
Unifiers as equivalences: proof-relevant unification of dependently typed data
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
Fully-abstract compilation by approximate back-translation
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Runtime enforcement of security policies on black box reactive programs
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
Pattern matching without K
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
Sound modular verification of C code executing in an unverified context
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
Security monitor inlining and certification for multithreaded Java
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Sound, modular and compositional verification of the input/output behavior of programs
Programming Languages and Systems | 2016-04-26 | Paper |
Featherweight VeriFast
Logical Methods in Computer Science | 2015-10-29 | Paper |
Typed syntactic meta-programming
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
On the bright side of type classes: instance arguments in Agda
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
Overlapping and order-independent patterns. Definitional equality for all
Programming Languages and Systems | 2014-04-16 | Paper |
Expressive modular fine-grained concurrency specification
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Finally tagless observable recursion for an abstract grammar model
Journal of Functional Programming | 2013-06-28 | Paper |
Automatic verification of Java programs with dynamic frames
Formal Aspects of Computing | 2010-05-28 | Paper |
A Machine Checked Soundness Proof for an Intermediate Verification Language
Lecture Notes in Computer Science | 2009-02-03 | Paper |
| scientific article; zbMATH DE number 2079042 (Why is no real title available?) | 2004-07-21 | Paper |
| Second price auctions | 2002-05-02 | Paper |
| scientific article; zbMATH DE number 1670627 (Why is no real title available?) | 2001-12-09 | Paper |
A decision procedure for semantical equivalence of thin FM specifications
Journal of Pure and Applied Algebra | 2000-05-30 | Paper |
| scientific article; zbMATH DE number 918294 (Why is no real title available?) | 1999-08-31 | Paper |
| scientific article; zbMATH DE number 918294 (Why is no real title available?) | 1999-08-31 | Paper |
Proving semantical equivalence of data specifications
Journal of Pure and Applied Algebra | 1997-07-16 | Paper |
