Posts

Ramon Fernández Mir, Paul Jackson, Siddharth Bhat, Andrés Goens, and Tobias Grosser
Jul 2, 2024

The paper 'Transforming Optimization Problems into Disciplined Convex Programming Form' was accepted at CICM '24.

Pooya Khandel, Andrew Yates, Ana-Lucia Varbanescu, Maarten de Rijke, Andy D. Pimentel
Jun 7, 2024

The paper 'Distillation vs. Sampling for Efficient Training of Learning to Rank Models' was accepted at ACM ICTIR '24.

Stephen Swatman
Jun 6, 2024

Stephen Swatman won the second prize at the PASC24 ACM student research competition in Zürich.

Lukas Miedema, Dolly Sapra, Petr Novobilsky, Sebastian Altmeyer, Clemens Grelck and Andy D. Pimentel
Jun 3, 2024

The paper 'FAA+RTS: Designing Fault-Aware Adaptive Real-Time Systems - From Specification to Execution' was accepted at SAMOS '24.

Siddharth Bhat, Alex Keizer, Chris Hughes, Andrés Goens and Tobias Grosser
May 21, 2024

The paper 'Verifying Peephole Rewriting In SSA Compiler IRs' was accepted at ITP '24.

Ehsan Aghapour, Yixian Shen, Dolly Sapra, Andy D. Pimentel and Anuj Pathania
May 20, 2024

The paper 'PiQi: Partially Quantized DNN Inference on HMPSoCs' was accepted at ACM/IEEE ISLPED 2024.

Faezeh Saadatmand, Todor Stefanov, Ignacio Gonzalez-Alonso, Andy Pimentel, Benny Akesson, Marius Herget, and Martin Bor
May 15, 2024

The paper 'Automated Derivation of Application Workload Models for Design Space Exploration of Industrial Distributed Cyber-Physical Systems' received the Best Paper Award at IEEE ICPS '24!

T. Kœhler, Andrés Goens, S. Bhat, T. Grosser, P. Trinder, and M. Steuwer
Apr 24, 2024

The POPL '24 paper 'Guided Equality Saturation' was selected for the MIT Programming Languages (PL) Review '24 for its expected potential to shape the future direction of PL research and/or industry practice.

Weihang Li, Andrés Goens, Nicolai Oswald, Vijay Nagarajan, Daniel Sorin
Apr 17, 2024

The paper 'Determining the Minimum Number of Virtual Networks for Different Coherence Protocols' was accepted for ACM/IEEE ISCA '24!

Jelle van Dijk
Apr 12, 2024

Jelle van Dijk received the 2nd prize for the ICT.Open Poster Award.