Publications

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
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
Ill-Typed Programs Don't Evaluate
Ramsay S et al., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages, vol 8, no POPL 10.1145/3632909
Reconciling Partial and Local Invertibility
Thuné A et al., 2024, Programming Languages and Systems, Springer, Cham 10.1007/978-3-031-57267-8_3
Sparcl
Matsuda K et al., 26 Jan 2024, In: Journal of Functional Programming, vol 34 10.1017/S0956796823000126
SYNBIT
Yamaguchi M et al., 29 Jan 2024, In: Formal Methods in System Design, vol 61, no 2-3 10.1007/s10703-023-00436-9
Two-dimensional Kripke Semantics I
Kavvos G, 5 Jul 2024, In: null, vol 299 10.4230/LIPIcs.FSCD.2024.14
Two-dimensional Kripke Semantics II
Kavvos G, 15 Dec 2024, In: null, vol 4 10.48550/arXiv.2406.03578
More publications