The Programming Languages and Systems (PLS) group has closed an excellent year with four papers accepted to the upcoming Principles of Programming Languages (POPL) conference.
POPL is a top-tier internationally-recognised venue for research into programming languages. This reflects the groups continued growth and contributions to the global research community. The topics covered include
-
static-analysis of GPU programs to detect performance bugs,
-
a new approach to using multi-party session types to verify concurrent programs,
-
foundational results on the behaviour of systems with counters, and
-
analysis of new features for generics in the Go programming language.
POPL will take place in Rennes, France in January 2026.
These acceptances come alongside several other achievements in 2025:
-
A Best Paper Award at CONCUR, recognizing contributions to concurrency theory and its applications.
-
Papers accepted at ASE, ApPLIED, FMCAD, FSE, ISA-AFP, USENIX, OOPSLA, Science of Computer Programming, SANER, SLE, Topoi, and TOSEM.
-
Giuseppe Raffa successfully defended his PhD, titled "Static Analysis for Server Security", marking an important milestone in his research career.
These results collectively highlight the breadth of research within the group and the continued efforts of its members across multiple areas of programming languages and systems.
The accepted papers are
-
"A Modular Static Cost Analysis for GPU Warp-Level Parallelism" by G. Blike, H. Zicarelli, U. Sathiyamoorthy, J. Lange, T. Cogumbreiro.
-
"A Synthetic Reconstruction of Multiparty Session Types" by D. Castro-Perez, F. Ferreira, S. Jongmans.
-
"General Decidability Results for Systems with Continuous Counters" by A. Balasubramanian, M. Hague, R. Majumdar, R. Thinniyam, G. Zetzsche.
-
"Welterweight Go: Boxing, Structural Subtyping and Generics" by R. Hu, J. Lange, B. Toninho, P. Wadler, R. Griesemer, K. Randall.
