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

Oct 25, 2025 I was invited to serve the program committee for PLDI’25.
Aug 19, 2024 Our paper “When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems” has been accepted to OOPSLA 2024.
Jul 1, 2024 Together with Stefanos Chaliasos, we have started working on “Detecting Private Information Leakage in Zero-Knowledge Applications”, which has received funding from the Ethereum Foundation and Aztec Labs. More details can be found at: https://aztec.network/blog/announcing-the-noir-awardees-of-the-inaugural-ef-zk-grants-wave
Jun 24, 2024 Our proposal for a Dagstuhl seminar on “Testing Program Analyzers and Verifiers”, co-organized with Maria Christakis, Alastair Donaldson, and John Regehr has been accepted.
May 10, 2024 I was invited to serve on the program committee of ICST 2025.

Awards and Honours

  • Academic Grant from the Ethereum Foundation for the project “Detecting Private Information Leakage in Zero-Knowledge Applications”

  • 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

  • 2025: ICST, PLDI

  • 2024: PLDI, ISSTA/ECOOP (Tool Demo)

  • 2023: ECOOP, MET, PLDI Artifacts

  • 2022: PLDI Artifacts

  • 2021: OOPSLA Artifacts

Publications

2024

  1. OOPSLA’24
    When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
    Georgios-Petros Drosos*, Thodoris Sotiropoulos*, Georgios Alexopoulos, Dimitris Mitropoulos, and Zhendong Su
    In Proceedings of the ACM on Programming Languages 2024
    * Both authors contributed equally
    PDF
  2. FSE’24
    Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis
    Georgios-Petros Drosos, Thodoris Sotiropoulos, Diomidis Spinellis, and Dimitris Mitropoulos
    In Proceedings of the ACM on Software Engineering 2024
    PDF
  3. POPL’24
    API-driven Program Synthesis for Testing Static Typing Implementations
    Thodoris Sotiropoulos, Stefanos Chaliasos, and Zhendong Su
    In Proceedings of the ACM on Programming Languages 2024
    PDF Code

2023

  1. ESORICS’23
    Syntax-Aware Mutation for Testing the Solidity Compiler
    Charalampos Mitropoulos, Thodoris Sotiropoulos, Sotiris Ioannidis, and Dimitris Mitropoulos
    In Proceedings of the 28th European Symposium on Research in Computer Security 2023
    PDF

2022

  1. PLDI’22
    Finding Typing Compiler Bugs
    Stefanos Chaliasos*, Thodoris Sotiropoulos*, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, and Dimitris Mitropoulos
    In Proceedings of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation 2022
    Distinguished Paper Award 🏆
    Best Artifact Award 🏆
    * Both authors contributed equally
    PDF Code

2021

  1. OOPSLA’21
    Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
    Stefanos Chaliasos*, Thodoris Sotiropoulos*, Georgios-Petros Drosos, Charalampos Mitropoulos, Dimitris Mitropoulos, and Diomidis Spinellis
    In Proceedings of the ACM on Programming Languages 2021
    * Both authors contributed equally
    PDF Code
  2. ICSE’21
    Data-Oriented Differential Testing of Object-Relational Mapping Systems
    Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, and Diomidis Spinellis
    In 43rd International Conference on Software Engineering 2021
    Distinguished Artifact Award 🏆
    PDF Code
  3. PyCG: Practical Call Graph Construction in Python
    Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, and Dimitris Mitropoulos
    In 43rd International Conference on Software Engineering 2021
    PDF Code

2020

  1. ICSE’20
    Practical Fault Detection in Puppet Programs
    Thodoris Sotiropoulos, Dimitris Mitropoulos, and Diomidis Spinellis
    In Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering 2020
    PDF Code
  2. OOPSLA’20
    A Model for Detecting Faults in Build Specifications
    Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, and Diomidis Spinellis
    In Proceedings of the ACM on Programming Languages 2020
    PDF Code
  3. WISE’20
    Search Engine Similarity Analysis: A Combined Content and Rankings Approach
    Konstantina Dritsa*, Thodoris Sotiropoulos*, Haris Skarpetis, and Panos Louridas
    In Proceedings of the 21st International Conference on Web Information Systems Engineering 2020
    * Both authors contributed equally
    PDF Code

2019

  1. ECOOP’19
    Static Analysis for Asynchronous JavaScript Programs
    Thodoris Sotiropoulos, and Benjamin Livshits
    In 33rd European Conference on Object-Oriented Programming 2019
    PDF Code
  2. JIS’19
    PDGuard: an architecture for the control and secure processing of personal data
    Dimitris Mitropoulos, Thodoris Sotiropoulos, Nikos Koutsovasilis, and Diomidis Spinellis
    International Journal of Information Security Sep 2019
    Code