Posted: 7th December 2018

Four papers (co)-authored by Oxford researchers accepted for presentation at POPL 2019 – the 46th ACM SIGPLAN Symposium on Principles of Programming Languages.

The papers are as follows:

* A Domain Theory for Statistical Probabilistic Programming. Matthijs Vákár, Ohad Kammar, Sam Staton

* CSS Minification via Constraint Solving [TOPLAS]. Matthew Hague, Anthony Widjaja Lin, Chih-Duo Hong

* Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations. Taolue Chen, Matthew Hague, Anthony Widjaja Lin, Philipp Ruemmer, Zhilin Wu

*  Diagrammatic Algebra: From Linear to Concurrent Systems. Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems The POPL 2019 conference will take place in Lisbon Portugal, in January 2019.