Collected bibliography in BibTeX format.
| Year | Venue | Files / Links
|
Title | ||
|---|---|---|---|---|---|
| 2018 |
16-21 Nov, Awassa, Ethiopia
|
pdf |
bib |
Decidable Inequalities over Infinite Trees
|
|
| 2017 |
Journal of Automated Reasoning
|
pdf |
bib |
DOI: 10.1007/s10817-016-9398-9 |
Type-Based Cost Analysis for Lazy Functional Languages
|
| 2015 |
14-16 Apr, London, UK
|
pdf |
bib |
Online Prototype |
Type-based Allocation Analysis for Co-Recursion
in Lazy Functional Languages |
| 2012 |
9-15 Sep, Copenhagen, Denmark
|
pdf |
bib |
Automatic Amortised Analysis of Dynamic Memory Allocation for
Lazy Functional Programs |
|
| 2010 |
9 Aug, LMU Munich
|
bib | Automated Amortised Analysis |
||
| POPL 20-22 Jan, Madrid, Spain |
bib | errata slides | Static Determination of Quantitative Resource Usage for Higher-Order Programs | ||
| 2009 | Formal Methods 2-6 Nov, Eindhoven, the Netherlands |
bib | slides
|
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis | |
| FOPARA 3 Nov, Eindhoven, the Netherlands |
bib | slides
|
Improvements to a Resource Analysis for Hume | ||
| LADC 1-4 Sep, João Pessoa, Brazil |
bib |
|
A Proof-carrying-code Infrastructure for Resources | ||
| EUSIPCO 24-28 Aug, Glasgow, Scotland |
bib |
|
Towards Hume SIMD Vectorisation | ||
| ECRTS 1-3 Jul, Dublin, Ireland |
bib |
|
Worst-Case Execution Time Analysis through Types | ||
| 2007 | WCET 3 Jul, Pisa, Italy |
bib |
|
Automatic Amortised Worst-Case Execution Time Analysis | |
| 2006 | WCET 4 Jul, Dresden, Germany |
bib |
|
Towards Formally Verifiable WCET Analysis for a Functional Programming Language | |
| ESOP 25-2 Mar/Apr, Vienna, Austria |
bib | slides | Type-Based Amortised Heap-Space Analysis (for an Object-Oriented Language) | ||
| 2003 | POPL 15-17 Jan, New Orleans, USA |
bib | FAQ | Static Prediction of Heap Space Usage for First-Order Functional Programs | |
| 2002 | Diploma Thesis 28 Feb, Darmstadt, Germany |
bib |
|
Static Prediction of Dynamic Space Usage of Linear Functional Programs | |