Scholar

Thodoris Sotiropoulos

Google Scholar ID: uXKw8hYAAAAJ

Postdoctoral researcher, ETH Zurich

software engineeringprogramming languages

Citations & Impact

All-time

Citations

355

H-index

i10-index

Publications

Co-authors

list available

Contact

Publications

2 items

2026

Cited

2025

Cited

Resume (English only)

Academic Achievements

- Paper “Best of Both Worlds: Effective Foreign Bridge Identification in V8 Embedders for Security Analysis” accepted to IEEE S&P 2026
- Paper “Validating Soundness and Completeness of Pattern-Match Coverage Analyzers” accepted to OOPSLA 2025
- Paper “PyXray: Practical Cross-Language Call Graph Construction through Object Layout Analysis” accepted to ICSE 2026
- Paper “Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis” published at FSE’24
- Paper “API-driven Program Synthesis for Testing Static Typing Implementations” published at POPL’24
- Paper “Finding Typing Compiler Bugs” awarded Distinguished Paper Award and Best Artifact Award at PLDI’22
- Paper “Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers” published at OOPSLA’21
- Paper “Practical Fault Detection in Puppet Programs” published at ICSE’20

Research Experience

- Postdoctoral researcher at the Advanced Software Technologies group, ETH Zurich, supervised by Prof. Zhendong Su
- PhD student at Athens University of Economics and Business, research areas: programming languages, program analysis, and testing, advisor: Prof. Diomidis Spinellis
- Software engineer at the Greek Research and Technology Network (GRNET)
- Intern at Amazon Web Services (AWS), worked on the design and implementation of static analysis techniques for detecting security issues

Education

- PhD, Athens University of Economics and Business, Advisor: Prof. Diomidis Spinellis
- MSc with distinction in Advanced Computing, Imperial College London

Background

Research interests include programming languages, program analysis, and testing. Currently a postdoctoral researcher at the Department of Computer Science, ETH Zurich, under the guidance of Prof. Zhendong Su. Previously worked as a software engineer at the Greek Research and Technology Network (GRNET) and interned at Amazon Web Services (AWS), where he worked on the design and implementation of static analysis techniques for detecting security issues.

Miscellany