Theodoros Theodoridis
theodoros.theodoridis at inf.ethz.ch
My name is Theo (Θεόδωρος) and I’m a doctoral student in the AST lab at ETH Zurich under the supervision of Zhendong Su. My research focuses on search-based optimization, automated testing for missed compiler optimizations, and dynamic binary analysis. I previously worked in SPCL at ETH Zurich under the supervision of Tobias Grosser; my work focused on compiler autotuning and low-bitwidth integer vectorization. I obtained my MSc in Computer Science at ETH Zurich and my BSc in Computer Science at the Aristotle University of Thessaloniki.
Publications
Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
Theodoros Theodoridis and Zhendong Su
In Proceedings of the ACM on Programming Languages, Volume 8, Issue PLDI, 2024.
Understanding and Exploiting Optimal Function Inlining
Theodoros Theodoridis, Tobias Grosser, and Zhendong Su
In Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2022.
Best Paper Award
Finding Missed Optimizations through the Lens of Dead Code Elimination
Theodoros Theodoridis, Manuel Rigger, and Zhendong Su
In Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2022.
Distinguished Artifact Award
Fast Linear Programming through Transprecision Computing on Small and Sparse Data
Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, and Torsten Hoefler
In Proceedings of the ACM on Programming Languages (PACMPL), Volume 4, Issue OOPSLA, 2020.
The next 700 accelerated layers: From mathematical expressions of network computation graphs to accelerated GPU kernels, automatically
Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary Devito, William S Moses, Sven Verdoolaege, Andrew Adams, and Albert Cohen
In ACM Transactions on Architecture and Code Optimization (TACO), 2019.
Recent Talks
- Workshop on Dependable and Secure Software Systems @ETH 2022: A Quest Toward the Perfect Optimizing Compiler
- EuroLLVM 2022 (Keynote): Finding Missed Optimizations Through the Lens of Dead Code Elimination
Awards
2022 ASPLOS Best Paper Award
2022 ASPLOS Distinguished Artifact Award
2022 ASPLOS Student Travel Award
Teaching Experience
Compiler Design (2019, 2020 [Head TA], 2021, 2022, 2023)
Seminar in Software Engineering (2020, 2021, 2022, 2023)
Advanced Systems Lab (How to write Fast Numerical Code) (2020, 2021, 2022, 2023, 2024)