We are pleased to report that members of the department's Theory and Foundations research theme have had four papers accepted to the 54th ACM Symposium on Theory of Computing (STOC 2022), the ACM flagship conference in theoretical computer science. The papers are:

• "Deterministic Massively Parallel Connectivity" by Sam Coy and Artur Czumaj.
• "Improved Approximation Guarantees for Shortest Superstrings using Cycle Classification by Overlap to Length Ratios", by Matthias Englert, Nicolaos Matsakis, and Pavel Veselý.
• "Hypercontractivity on High Dimensional Expanders" by Tom Gur, Noam Lifshitz, and Siqi Liu.
• "Worst-Case to Average-Case Reductions via Additive Combinatorics" by Vahid R. Asadi, Alexander Golovnev, Tom Gur, and Igor Shinkar.

We are delighted to announce that Peter Kiss, a PhD student in the Theory and Foundations Research Division, has won the Best Student Paper Award at the Innovations in Theoretical Computer Science (ITCS) 2022 conference for his single-author paper on "Deterministic Dynamic Matching in Worst-Case Update Time". Computing a maximum matching in a graph is one of the most fundamental problems in design and analysis of algorithms. The paper makes important progress on this problem in a setting where the input graph is changing over time via a sequence updates, and one wishes to maintain a large matching efficiently in such a dynamic graph. Along the way, the paper develops a general purpose technique for converting any dynamic algorithm with amortised update time into one with worst-case update time, provided the initial algorithm is able to handle a more general form of batch updates.

Members of the High-Performance and Scientific Computing Group (HPSC) at the department of Computer Science has won a best paper award at the 28th IEEE International Conference on High-Performance Computing, Data and Analytics held on the 17th-18th of December. The winning paper titled Predictive Analysis of Large-Scale Coupled CFD Simulations with the CPX Mini-App, develops a novel representative (mini-)application, specifically designed to model coupled execution of multi-physics numerical simulation codes from the CFD domain. The mini-coupler, CPX, is the first of its kind, combining multiple CFD mini-app instances to predict the run-time and scaling behaviour of large scale coupled CFD simulations, on modern multi-core and many-core clusters such as used for production turbomachinery design at Rolls-Royce plc. The work was carried out by PhD candidate, Archie Powell, in collaboration with Kabir Choudry, Arun Prabhakar, and Gihan Mudalige at the Department of CS Warwick, Dario Amirante (University of Surrey), Istvan Reguly (PPCU) and Stephen Jarvis (University of Birmingham).

The work was funded by the EPSRC Prosperity Partnership in Computational Science for Advanced Simulation and Modelling of Engineering Systems (AsiMoV) and Rolls-Royce plc.