Six papers co-authored by DIMAP and Theory and Foundations researchers were presented earlier in July at ICALP 2024, the 51st International Colloquium on Automata, Languages, and Programming:

• Rohan Acharya, Marcin Jurdzinski, Aditya Prakash: Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata,
• Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak: Integer Linear-Exponential Programming in NP by Quantifier Elimination,
• Artur Czumaj, Guichen Gao, Shaofeng H.-C. Jiang, Robert Krauthgamer, Pavel Veselý: Fully-Scalable MPC Algorithms for Clustering in High Dimension,
• Argyrios Deligkas, Eduard Eiben, Robert Ganian, Iyad Kanj, M. S. Ramanujan: Parameterized Algorithms for Coordinated Motion Planning: Minimizing Energy,
• Julian Dörfler, Christian Ikenmeyer: Functional Closure Properties of Finite ℕ-Weighted Automata,
• Zhenjian Lu, Rahul Santhanam: Impagliazzo's Worlds Through the Lens of Conditional Kolmogorov Complexity.

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). This year's ICALP took place in Tallinn, Estonia, on the 8th to 12th of July 2024.

Dmitry's paper "Integer Linear-Exponential Programming in NP by Quantifier Elimination" won the Best Paper Award of ICALP's Track B, which is a flagship research meeting on Automata, Logic, Semantics, and Theory of Programming. The paper studies the following problem: given a system of linear equations and constraints of the form y=2^x, does it have a solution over the natural numbers? By using and extending a method that generalises Gaussian elimination, Dmitry and his co-authors Alessio Mansutti and Mikhail Starchak show that the problem belongs to the complexity class NP. This result provides a way to efficiently certify the existence of a solution, even if all solutions are very big (towers of exponentials).

This is the second time in a row that this award goes to a Warwick paper: Henry Sinclair-Banks, a DIMAP PhD student, was an awardee in 2023.

Toby Flynn, PhD student in the department's High-Performance and Scientific Computing group, supervised by Prof. Gihan Mudalige together with Dr. Robert Manson-Sawko at IBM Research UK received the best paper award at the 38th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2024) last week in San Francisco US. IPDPS is one of the most prominent and high ranking conferences in parallel and distributed computing, now in its 38th year.

The paper titled "Performance-Portable Multiphase Flow Solutions with Discontinuous Galerkin Methods", details the development of a new performance portable solver workflow using Discontinuous Galerkin (DG) methods for developing multiphase flow simulations based on the OP2 domain-specific language. Results demonstrate scaling on both CPU and GPU systems including UK's national supercomputer, ARCHER2 at EPCC Edinburgh and the European Petascale Supercomputer, LUMI hosted by CSC Finland. The work is a collaboration with IBM Research UK supported by an iCASE award funded jointly by IBM and EPSRC.

The paper pre-print is available here.

The Department of Computer Science is hosting the alumni reunion conference on March 22nd - bringing together current and past students, along with academics and researchers to enjoy a day of talks and demonstrations.