publications

publications in reversed chronological order.

2026

  1. IEEE S&P’26
    Best of Both Worlds: Effective Foreign Bridge Identification in V8 Embedders for Security Analysis
    Georgios Alexopoulos* , Thodoris Sotiropoulos* , Zhendong Su , and Dimitris Mitropoulos
    In 2026 IEEE Symposium on Security and Privacy (SP), 2026
    * Both authors contributed equally
    PDF
  2. ICSE’26
    PyXray: Practical Cross-Language Call Graph Construction through Object Layout Analysis
    Georgios Alexopoulos , Thodoris Sotiropoulos , Georgios Gousios , Zhendong Su , and Dimitris Mitropoulos
    In Proceedings of the 48th International Conference on Software Engineering, 2026
    PDF
  3. PLDI’26
    Enumerating Ill-Typed Programs for Testing Type Analyzers
    Thodoris Sotiropoulos and Zhendong Su
    In Proceedings of the ACM on Programming Languages, 2026
    Code
  4. PLDI’26
    Semantic Reification: A New Paradigm for Random Program Generation
    Kavya Chopra , Cong Li , Thodoris Sotiropoulos , and Zhendong Su
    In Proceedings of the ACM on Programming Languages, 2026
    Code
  5. ASPLOS’26
    Evaluating Compiler Optimization Impacts on zkVM Performance
    Thomas Gassmann , Stefanos Chaliasos , Thodoris Sotiropoulos , and Zhendong Su
    2026
    PDF Code
  6. FSE’26
    Unfulfilled Promises: LLM-Based Detection of OS Compatibility Issues in Infrastructure as Code
    Georgios-Petros Drosos , Georgios Alexopoulos , Thodoris Sotiropoulos , Dimitris Mitropoulos , and Zhendong Su
    In Proceedings of the ACM on Software Engineering, 2026
    PDF

2025

  1. OOPSLA’25
    Validating Soundness and Completeness in Pattern-Match Coverage Analyzers
    Cyril Moser , Thodoris Sotiropoulos , Chengyu Zhang , and Zhendong Su
    In Proceedings of the ACM on Programming Languages, 2025
    PDF Code

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 Code
  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 Code
  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
    * Both authors contributed equally
    Awarded PDF Code

2021

  1. ICSE’21
    Data-Oriented Differential Testing of Object-Relational Mapping Systems
    Thodoris Sotiropoulos , Stefanos Chaliasos , Vaggelis Atlidakis , Dimitris Mitropoulos , and Diomidis Spinellis
    In Proceedings of the 43rd International Conference on Software Engineering, Online Conference, 2021
    Awarded PDF Code
  2. ICSE’21
    PyCG: Practical Call Graph Construction in Python
    Vitalis Salis , Thodoris Sotiropoulos , Panos Louridas , Diomidis Spinellis , and Dimitris Mitropoulos
    In Proceedings of the 43rd International Conference on Software Engineering, Online Conference, 2021
    PDF Code
  3. 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

2020

  1. 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
  2. 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, Seoul, South Korea, 2020
    DOI PDF Code
  3. 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
    DOI 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
    DOI 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
    DOI Code