Publications

Frohlich S et al., 20 Apr 2026, In: Proceedings of the ACM on Programming Languages, vol PLDI

Domain-Theoretic Semantics for Functional Logic Programming

Jones E et al., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages, vol 10, no POPL 10.1145/3776699

Matsuda K et al., 2026, Programming Languages and Systems, Springer 10.1007/978-3-032-22723-2_2

TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation

Princis H et al., 2026, Proceedings of the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery 10.1145/3808347

Adequacy for Algebraic Effects Revisited

Kavvos G, 9 Apr 2025, In: Proceedings of the ACM on Programming Languages, vol 9, no OOPSLA1 10.1145/3720457

An Empirical Study of the Non-Determinism of ChatGPT in Code Generation

Ouyang S et al., 22 Jan 2025, In: ACM Transactions on Software Engineering and Methodology, vol 34, no 2 10.1145/3697010

False-Positive Bug Reports in Deep Learning Compilers

Huang L et al., 6 Nov 2025, In: ACM Transactions on Software Engineering and Methodology 10.1145/3774889

Noninterference through Bisimulation

Tune A et al., 2025, Trends in Functional Programming, Springer, Cham 10.1007/978-3-031-99751-8_11

Scalable, Validated Code Translation of Entire Projects using Large Language Models

Zhang H et al., 13 Jun 2025, In: null, vol 9 10.1145/3729315

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types

Sun K et al., 12 Sep 2024, In: null, vol 313 10.4230/LIPIcs.ECOOP.2024.39

More publications