Recent publications
Conference article
Ackerman, N, Freer, C, Kaddar, Y, Karwowski, J, Moss, S, Roy, D, Staton, S & Yang, H 2024, '', Proceedings of the ACM on Programming Languages, vol. 8, no. POPL, 61, pp. 1819鈥�1849.
Conference contribution
Lindley, S, Matache, C, Moss, S, Staton, S, Wu, N & Yang, Z 2024, . in S Weirich (ed.), Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6鈥�11, 2024, Proceedings, Part I. 1 edn, Lecture Notes in Computer Science, vol. 14576, Springer, pp. 3-21, ESOP 2024, Luxembourg City, Luxembourg, 8/04/24.
Kammar, O, Levy, PB, Moss, SK & Staton, S 2017, . in Proceedings of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS2017). IEEE Computer Society Press, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), Reykjavik, Iceland, 20/06/17.