Publications
2018
Fuzzy Set Abstraction
Electronic Notes in Theoretical Computer Science
Extended version of arXiv:1707.04127
2017
Bridging Static and Dynamic Program Analysis Using Fuzzy Logic
arXiv preprint arXiv:1707.04127
2016
Composable Efficient Array Computations Using Linear Types
Unpublished manuscript
Everything Old is New Again: Quoted Domain-Specific Languages
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)
2015
Combining Deep and Shallow Embedding of Domain-Specific Languages
Computer Languages, Systems & Structures
On the Duality of Streams: How Can Linear Types Help to Solve the Lazy IO Problem
Implementation and Application of Functional Languages (IFL)
2014
An Expressive Semantics of Mocking
International Conference on Fundamental Approaches to Software Engineering (FASE)
Defunctionalizing Push Arrays
Proceedings of the 3rd ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC)
2013
An EDSL Approach to High Performance Haskell Programming
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell
Counting and Occurrence Sort for GPUs Using an Embedded Language
Proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC)
Simple and Compositional Reification of Monadic Embedded Languages
Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP)
2012
Combining Deep and Shallow Embedding for EDSL
International Symposium on Trends in Functional Programming (TFP)
2011
Generic Monadic Constructs for Embedded Languages
International Symposium on Implementation and Application of Functional Languages (IFL)
2010
Feldspar: A Domain Specific Language for Digital Signal Processing Algorithms
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)
The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing
Implementation and Application of Functional Languages (IFL)
2009
Specification and Verification of Side Channel Declassification
International Workshop on Formal Aspects in Security and Trust (FAST)
2006
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
Asian Symposium on Programming Languages and Systems (APLAS)
2004
Regular Expression Patterns
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming (ICFP)
2002
Shortcut Fusion for Accumulating Parameters & Zip-like Functions
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP)
2001
2000
A Usage Analysis with Bounded Usage Polymorphism and Subtyping
Symposium on Implementation and Application of Functional Languages (IFL)
An Efficient Algorithm for a Sharing Analysis with Polymorphism and Subtyping
Master's thesis