| Publication | Date of Publication | Type |
|---|
Liquid types for array invariant synthesis
Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
| White-box path generation in recursive programs | 2021-07-01 | Paper |
Extending liquid types to arrays
ACM Transactions on Computational Logic | 2020-09-11 | Paper |
An assertional proof of red-black trees using Dafny
Journal of Automated Reasoning | 2020-04-07 | Paper |
A new look at pattern matching in abstract data types
Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 | 2016-09-01 | Paper |
A generic intermediate representation for verification condition generation
Logic-Based Program Synthesis and Transformation | 2016-02-05 | Paper |
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
Electronic Notes in Theoretical Computer Science | 2015-04-09 | Paper |
A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
Information and Computation | 2014-03-13 | Paper |
Interpolation-based height analysis for improving a recurrence solver
Foundational and Practical Aspects of Resource Analysis | 2012-11-02 | Paper |
A space consumption analysis by abstract interpretation
Foundational and Practical Aspects of Resource Analysis | 2010-09-14 | Paper |
Formal Certification of a Resource-Aware Language Implementation
Lecture Notes in Computer Science | 2009-10-20 | Paper |
An Inference Algorithm for Guaranteeing Safe Destruction
Logic-Based Program Synthesis and Transformation | 2009-03-24 | Paper |
From natural semantics to C: A formal derivation of two STG machines
Journal of Functional Programming | 2009-01-08 | Paper |
Implementation of Functional Languages
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Implementation of Functional Languages
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Non-determinism analyses in a parallel-functional language
Journal of Functional Programming | 2005-04-05 | Paper |
| scientific article; zbMATH DE number 2102058 (Why is no real title available?) | 2004-09-22 | Paper |
| scientific article; zbMATH DE number 2086498 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2086493 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2086500 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2065560 (Why is no real title available?) | 2004-05-18 | Paper |
Comparing parallel functional languages: Programming and performance
Higher-Order and Symbolic Computation | 2004-03-15 | Paper |
| scientific article; zbMATH DE number 2000444 (Why is no real title available?) | 2003-11-03 | Paper |
| scientific article; zbMATH DE number 1691453 (Why is no real title available?) | 2002-01-15 | Paper |
