Chair News

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 Ayun 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

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!

Published on

It was a very insightful week during this year’s cluster of conferences CC/CGO/HPCA/PPoPP in Las Vegas, USA, March 1 - March 5, 2023. The CC chair presented two papers at CC’25, both with tested and reproducible artefacts. In a collaboration with Fernando Magno Quintão Pereira, we developed "A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program Classifiers”, which analyses the difference in accuracy of program classification when using different types of histograms as program representations (on x86 code or LLVM IR, with static or dynamic information), while testing for robustness to code obfuscation. Alex Brauckmann, a previous researcher at the CC Chair, presented "DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses”, which resulted from a collaboration with Meta AI and Mike O’Boyle. The paper describes a novel ML architecture that greatly outperforms standard ones in terms of generalization power for classical compiler analyses. 

Published on

We are pleased to announce that the Chair for Compiler Construction was represented at the Dagstuhl Seminar 25091, titled "Tradeoffs in Reactive Systems Design," held from February 23 to 28, 2025, at Schloss Dagstuhl in Wadern, Germany.
The seminar focused on balancing conflicting requirements such as predictability, robustness, timeliness, adaptability, safety, security, and accessibility in reactive systems. Prof. Jerónimo Castrillón, one of the organizers, collaborated with Chadlia Jerad (University of Manouba, Tunisia), Edward A. Lee (University of California, Berkeley, USA), and Claire Pagetti (ONERA, Toulouse, France) to bring together experts from academia and industry.
Participants discussed the inherent tradeoffs in designing reactive systems—software systems that continuously interact with their environment, such as those used in autonomous vehicles and industrial automation. The seminar featured insightful talks, hands-on sessions, and tool demonstrations, fostering a collaborative environment to advance research in reactive systems design. It provided a unique platform for exchanging ideas, building partnerships, and driving innovation in the field.

 

 

Published on

We congratulate Lars Schütze for having successfully defended his PhD on December 18th, 2024 on “Runtime Optimization of Contextual Role-oriented Programming Languages”. Lars has been several years 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 “Role-based Software Infrastructures for continuous-context-sensitive Systems” (ROSI) which proposed role modeling and Role- Oriented Programming (ROP) as evolution of traditional Object-Oriented Programming (OOP). In his dissertation, Lars advances the area of compilers and virtual environments for efficient dynamic dispatch We are happy that Lars will stay as postdoctoral researcher at the CC chair and look forward to working with him on new research directions.