Theodoros Theodoridis
ETH Zurich(CH)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Software Testing and Debugging Techniques, Security and Verification in Computing, Software System Performance and Reliability
Most-Cited Works
- → Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions(2018)252 cited
- → Finding missed optimizations through the lens of dead code elimination(2022)42 cited
- → The Next 700 Accelerated Layers(2019)41 cited
- → Understanding and exploiting optimal function inlining(2022)21 cited
- → Boosting Compiler Testing by Injecting Real-World Code(2024)17 cited
- → Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior(2024)9 cited
- → Fast linear programming through transprecision computing on small and sparse data(2020)3 cited
- → Inlining-Benefit Prediction with Interprocedural Partial Escape Analysis(2022)2 cited
- → Mechanical feature attributes for modeling and pattern classification of physical activities(2009)2 cited
- → Relaxing Alias Analysis: Exploring the Unexplored Space(2025)1 cited