Posts

The paper 'Analyzing Per-Application Energy Consumption in a Multi-Application Computing Continuum' was accepted at IEEE FMEC '24.

The paper 'PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model' was accepted at PACT '24.

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

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

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

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

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

The paper 'PiQi: Partially Quantized DNN Inference on HMPSoCs' was accepted at ACM/IEEE ISLPED 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!

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.