Thodoris Sotiropoulos
Postdoctoral researcher, Department of Computer Science, ETH Zurich, Switzerland
I am a postdoctoral researcher in the Advanced Software Technologies group at ETH Zurich, under the guidance of Prof Zhendong Su. My research focuses on the design of appropriate abstractions that help examine the reliability of complex software, such as compilers, data-oriented systems, or software that heavily relies on the file system. I completed my PhD at the Athens University of Economics and Business working in the areas of programming languages, program analysis, and testing under the supervision of Prof Diomidis Spinellis. I hold an MSc with distinction in Advanced Computing from Imperial College London and I have previously worked as a software engineer at the Greek Research and Technology Network (GRNET). Recently, I was an intern at Amazon Web Services (AWS) where I worked on the design and implementation of static analysis techniques for detecting security issues. For my detailed CV, please follow this link.
My main research interests include programming languages, program analysis, and testing.
news
Apr 15, 2024 | Our paper “Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis” has been accepted to FSE’24. |
---|---|
Jan 30, 2024 | I will give a talk at Devoxx Greece 2024 about “Enhancing the Reliability of Type Checkers in Compilers” |
Jan 30, 2024 | I will give a talk at Lambda Days 2024 about “Enhancing the Reliability of Type Checkers in Compilers” |
Dec 6, 2023 | I was invited to serve on the Program Committee for ISSTA/ECOOP 2024 (Tool Demonstration Track) |
Nov 8, 2023 | Our paper “API-driven Program Synthesis for Testing Static Typing Implementations” has been accepted at POPL’24. |
Awards and Honours
-
Doctoral Scholarship Award, Athens University of Economics and Business
-
PLDI 2022 Best Artifact Award for “Replication Package for Article: Finding Typing Compiler Bugs”
-
PLDI 2022 Distinguished Paper Award for the paper “Finding Typing Compiler Bugs”
-
ICSE 2021 Distinguished Artifact Award for “Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems”
PC Member
-
2024: PLDI
-
2023: ECOOP, MET, PLDI Artifacts
-
2022: PLDI Artifacts
-
2021: OOPSLA Artifacts
Publications
2024
-
FSE’24Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency AnalysisIn Proceedings of the ACM on Software Engineering 2024
2023
-
ESORICS’23Syntax-Aware Mutation for Testing the Solidity CompilerIn Proceedings of the 28th European Symposium on Research in Computer Security 2023
2022
2021
2020
2019
-
JIS’19PDGuard: an architecture for the control and secure processing of personal dataInternational Journal of Information Security Sep 2019