Theodoros Theodoridis
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2025
on a stage with
all 11 in the filters
who talks about the same things
- Arjun Pitchanathan3 talks
- Tobias Grosser14 talks
- Zhendong Su25 talks
- Torsten Hoefler12 talks
- Thodoris Sotiropoulos5 talks
- Shaohua Li5 talks
| title | conference | date |
|---|---|---|
| Relaxing Alias Analysis: Exploring the Unexplored Space | PLDI 2025 | 2025-06-16 |
This study instruments LLVM 17.0.6 and SPEC CPU 2017 and shows that removing alias analysis entirely changes final binaries only slightly on average, but only… | ||
| Boosting Compiler Testing by Injecting Real-World Code | PLDI 2024 | 2024-06-24 |
Tool Creal injects real-world functions into Csmith-generated seeds, extracting 50,000 functions from 100+ popular GitHub projects, inferring input/output… | ||
| Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior | PLDI 2024 | 2024-06-24 |
Automated pipeline instruments C programs generated by cith with runtime checks, then injects compiler builtins (unreachable/assume) to encode observed dead… | ||
| Inlining-Benefit Prediction with Interprocedural Partial Escape Analysis | VMIL 2022 | 2022-12-05 |
Implements an Interprocedural Partial Escape Analysis (IPEA) inside a cost-based inliner for GraalVM Native Image, injecting a virtual object state across call… | ||
| Fast Linear Programming through Transprecision Computing on Small and Sparse Data | OOPSLA 2020 | 2020-11-15 |
Analyzes ~500,000 simplex tableaux from Polly PPCG and HayStack and finds >99% of coefficients <9 bits, medians of 18 columns and 84% sparsity, with rare… | ||
| nothing matches | ||