Four papers by Oxford researchers accepted for presentation at POPL 2019
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.