1. Synchronous Programming with Refinement Types;Proceedings of the ACM on Programming Languages;2024-08-15
2. The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms;Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design;2021-08-22
3. A Generalized Modality for Recursion;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
4. TeSSLa;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09
5. Augmenting State Models with Data Flow;Lecture Notes in Computer Science;2018