Home
News
Vacancies
People
Projects
Publications
PCS Software
Contact
Posts
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.
Ehsan Aghapour
,
Dolly Sapra
,
Andy Pimentel
,
and Anuj Pathania
Mar 28, 2024
The paper 'ARM-CO-UP: ARM COoperative Utilization of Processors' was accepted for publication in the ACM Transactions on Design Automation of Electronic Systems.
Saeed Seyedfaraji
,
Severin Jaeger
,
Salar Shakibhamedan
,
Asad Aftab and Semeen Rehman
Mar 19, 2024
The paper 'OPTIMA: Design-Space Exploration of Discharge-Based In-SRAM Computing: Quantifying Energy-Accuracy Trade-offs' was accepted for ACM/IEEE DAC 2024.
Faezeh Saadatmand
,
Todor Stefanov
,
Ignacio Gonzalez-Alonso
,
Andy Pimentel
,
Benny Akesson
,
Marius Herget
,
and Martin Bor
Mar 4, 2024
The paper 'Automated Derivation of Application Workload Models for Design Space Exploration of Industrial Distributed Cyber-Physical Systems' was accepted for IEEE ICPS '24.
Stephen Nicholas Swatman
,
Ana-Lucia Varbanescu
,
Andy D. Pimentel
,
Andreas Salzburger and Attila Krasznahorkay
Jan 28, 2024
The paper 'Using Evolutionary Algorithms to Find Cache-Friendly Generalized Morton Layouts for Arrays' was accepted for ACM/SPEC ICPE '24.
T. Kœhler
,
Andrés Goens
,
S. Bhat
,
T. Grosser
,
P. Trinder
,
and M. Steuwer
Nov 21, 2023
The paper 'Guided Equality Saturation' was accepted for ACM SIGPLAN POPL '24.
Xiaotian Guo
,
Andy D. Pimentel
,
and Todor Stefanov
Sep 5, 2023
The paper 'RobustDiCE: Robust and Distributed CNN Inference at the Edge' was accepted for ASP-DAC '24.
Sudam M. Wasala
,
Sobhan Niknam
,
Anuj Pathania
,
Clemens Grelck and Andy D. Pimentel
Aug 10, 2023
The paper 'Lifetime Estimation for Core-Failure Resilient Multi-Core Processors' was accepted for IEEE MCSoC '23.
«
»
Cite
×