Chair News

Published on

The Chair for Compiler Construction hosted the first IEEE Cross-disciplinary Conference on Memory-Centric Computing (CCMCC), held on October 8-10, 2025, in Dresden. Our group was represented by Prof. Jeronimo Castrillon, Asif Ali Khan, Joao Paulo Cardoso de Lima, Anderson Faustino da Silva, and Robert Khasanov and Alexander Kusnezoff, with valuable organizational support from Christina Norkus and Conny Okuma. It was a pleasure to contribute to the event as part of the organizing team, serving as Local Organizing Chair and Finance Chair. During the CCMCC, Joao Paulo presented our paper titled "Efficient In-Memory Acceleration of Sparse Block Diagonal LLMs" .The work introduces an automated framework with novel mapping and scheduling strategies to accelerate sparse LLM inference on compute-in-memory accelerators by exploiting block-diagonal sparsity.

Many thanks to Prof. Nima TaheriNejad, the General Chair, and to everyone who contributed to making this first edition a success. We are already looking forward to the next CCMCC, which will take place in Lyon, France, in October 2026.

Published on

This year’s ESWEEK was held in Taipei, Taiwan, and the Chair for Compiler Construction showed up in full force, with Prof. Jeronimo Castrillon, Asif Ali Khan, Joao Paulo Cardoso De Lima, and Hamid Farzaneh representing the group. We had quite an eventful week:

Sunday: We held a tutorial on “Hardware-Aware Compilation and Simulation for In-Memory Computing” together with X. Sharon Hu (University of Notre Dame) and Corey Lammie (IBM Zürich), as well as Asif Ali Khan, Hamid, and Joao Paulo from our team. Special thanks to Hadjer Benmeziane, William Simon, Yiyu Shi, Zheyu Yan, and Abu Sebastian for their valuable contribution to this tutorial.

Monday-Wednesday: Prof. Castrillon chaired the CASES international conference together with Christophe Dubach.

Monday: Shaokai Lin presented “Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware” at EMSOFT.

Wednesday: Prof. Castrillon participated in a panel discussion on “In-Memory Computing for Embedded Systems: a Hype or a Reality?” organized by Jian-Jia Chen.

Thursday: Prof. Castrillon organized a workshop on “Time-Centric Reactive Software (TCRS)” together with Hokeun Kim, where work by Hasna Bouraoui entitled "Combining Early Exit and Selective Prediction for Convolutional Neural Networks" was presented. On the same day, Joao Paulo gave a talk on “Cross-Layer Reliability Evaluation for Logic-in-Memory” at the International Workshop on Memory and Storage Computing (MSC).

We’re already looking forward to ESWEEK 2026 in Barcelona and preparing our submissions.

Published on

Asif Ali Khan and João Paulo de Lima represented the CC Chair at the 62nd Design Automation Conference (DAC'25), held from June 22nd to 25th in San Francisco, California. João gave a presentation and participated in a poster session, showcasing joint research with Prof. M. Hassan Najafi and Prof. Sercan Aygun on an error-tolerant computing method based on emerging non-volatile memories. Their paper, titled All-in-Memory Stochastic Computing using ReRAM, introduces a complete in-memory stochastic computing flow using ReRAM devices, handling random number generation, computation, and binary conversion all within memory. By exploiting ReRAM's physical properties and stochastic computing's error tolerance, it reduces energy and improves throughput compared to existing CMOS and ReRAM-based solutions. In addition, Asif, who was part of the technical program committee this year, was recognized with an Outstanding Reviewer Award.

Published on

We had a fantastic evening at this year’s Lange Nacht der Wissenschaften at TU Dresden! Many curious minds joined us to explore how intelligent compilers can make software faster and more efficient, and how novel computing approaches bring processing directly into memory to overcome traditional bottlenecks. From hands-on demos to deep tech discussions, it was exciting to share how compilers can bring different topics together — connecting high-level programming, optimization, and hardware innovation.

 

     

Published on

The CC Chair congratulates Marcus Rossel for receiving the N.-J. Lehmann-Stiftung award for his “outstanding thesis in Computer Science with theoretical focus”. In his thesis, “An Equality Saturation Tactic for Lean”, Marcus built a tactic for the Lean theorem prover that allows mathematicians, computer scientists and others to reason about equations in a much more efficient way. It automates away tasks that can range from tedious to extremely difficult, and lets users focus on the interesting parts of the proof. This work wouldn’t have been possible without the supervision of Andres Goens, a previous PhD student of the CC Chair, who is now a professor in the University of Amsterdam. Marcus is a postgraduate researcher, working on Verified System Design Automation (VerSA) at the Barkhausen Institute in Dresden. He received the award remotely, while attending PLDI’25 in Seoul South Korea, one of top conferences in the field, where he co-authored a paper that used results from his thesis.

We also congratulate Max Kurze for receiving “3m5 award for an outstanding thesis in Computer Science”. Max is currently pursuing a PhD at the Verified System Design Automation (VerSA) group at the Barkhausen Institute in Dresden. In his thesis, “A Framework for Modular and Compositional Formal Reasoning in Koika”, Max devised a novel typed parsing and implemented a Hoare logic reasoning framework, extending Kôika’s semantics to scale provably correct designs towards trustworthy computing systems. This thesis was also supervised by a previous PhD student of the CC Chair, Sebastian Ertel, who leads the VerSA as research group leader at the Barkhausen Institute in Dresden. This is awesome work and we look forward to seeing how Max will build on it during his PhD. 

Published on

We are delighted to announce that the Compiler Construction lecture has been honoured with the Teaching Award in the category Best Elective Course for the academic term 2024/25. This distinction was awarded during this year’s OUTPUT.DD to Prof. Jeronimo Castrillon and Dr. Lars Schütze by the Student Council of the Faculty of Computer Science (iFSR), following a faculty-wide vote where all Computer Science students can nominate awardees.

We are happy for this outstanding recognition and heartfelt thanks to our students for their support.

Published on

Continuing with the tradition, the CC chair participated in the REWE Team Challenge, a 5K run through downtown Dresden. This year, our chair was represented by (almost) three teams: Run-time Errors, consisting Steffen Märcker, Siddharth Gupta, Christian Menard and David Silbermann (who missed the run); Byte Me Runners, featuring Jeronimo Castrillon, Conny Okuma, John Konitzer and Mees Frensel; and Process run., a team with Nesrine Khouzami, Robin Ziemek (who missed the run), André Berthold and Tassilo Tanneberger. The weather made the run harder than usual. This impacted some of the individual times. More training will be needed for 2026, looking forward!

Published on

The CC Chair congratulates Christian Menard for receiving the 2025 EDAA Dissertation award during the social event at the Design, Automation and Test in Europe Conference (DATE) in Lyon, France. His thesis, entitled, “Deterministic Reactive Programming for Cyber-physical Systems”, is available for download. We thank the EDAA and Ian O'Connor (Vice Chair, in the picture) for the recognition. During the same event, Prof. Castrillon gave a talk on “Compiler Support for Ferroelectric Compute-in-Memory Solutions (and beyond)” at the co-located workshop “Cross-stack Explorations of Ferroelectric-based Logic and Memory Solutions for At-Scale Compute Workloads”. 

Published on

Hamid Farzaneh represented the CC Chair at the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2025, held in Rotterdam, Netherlands, from March 30 to April 3, 2025. He presented our paper titled CINM (Cinnamon): A Compilation Infrastructure for Heterogeneous Compute In-Memory and Compute Near-Memory Paradigms. Cinnamon is an MLIR-based high-level compilation framework designed to improve the programmability of emerging in-/near-memory computing systems.

The conference gathered over 800 researchers and experts from academia and industry. The lively atmosphere and excellent weather in Rotterdam provided a great setting for exchanging ideas and connecting with the community.

Hamid also gave a talk at the 1st Workshop on Memory-Centric Computing Systems (MCCSys), co-located with ASPLOS. His talk, “High-level programming abstractions and compilation for near and in-memory computing,” covered CINM, the C4CAM compiler for CAM-based accelerators, and the Sherlock compiler for logic-in-memory systems.

 

Published on

We congratulate Robert Khasanov for having successfully defended his PhD on March 25, 2025 on “Adaptive and Energy-efficient Management for Heterogeneous Multi-core Architectures”. Robert spent several years with us at the Chair for Compiler Construction where he greatly contributed to teaching and research, beyond the main topic of his dissertation. His work started in the context of the Collaborative Research Center "Highly Adaptive Energy-Efficient Computing" (HAEC). He made important contributions to methodologies to efficiently execute multiple applications, with publications in DATE, CASES, and ASP-DAC among others. We look forward to Robert's immediate future at the CC chair and to his further career steps!