Thodoris Sotiropoulos
E-mail: theosotr@aueb.gr
Biographical Information
Thodoris Sotiropoulos completed his 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. His 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. Thodoris holds an MSc with distinction in Advanced Computing from Imperial College London and he has previously worked as a software engineer at the Greek Research and Technology Network (GRNET). Recently, he was an applied scientist intern at Amazon Web Services (AWS) where he worked on the design and implementation of static analysis techniques for detecting security issues.
His main research interests include programming languages, software testing, and compilers.
Publications
Journal Articles
Conference Publications
- Charalambos Mitropoulos, Thodoris Sotiropoulos, Sotiris Ioannidis, and Dimitris Mitropoulos. Syntax-aware mutation for testing the Solidity compiler. In 28th European Symposium on Research in Computer Security, ESORICS '23. September 2023.
- Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, and Dimitris Mitropoulos. Finding typing compiler bugs. In Proceedings of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'22. ACM, June 2022. Distinguished Paper Award, Best Artifact Award.
- Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, and Diomidis Spinellis. Data-oriented differential testing of object-relational mapping systems. In 43rd International Conference on Software Engineering, ICSE '21. May 2021. Distinguished Artifact Award.
- Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, and Dimitris Mitropoulos. PyCG: practical call graph construction in Python. In 43rd International Conference on Software Engineering, ICSE '21. May 2021.
- Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, and Diomidis Spinellis. Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers. In Proceedings of the ACM on Programming Languages, OOPSLA '21. ACM, October 2021.
- Thodoris Sotiropoulos, Dimitris Mitropoulos, and Diomidis Spinellis. Practical fault detection in Puppet programs. In 42nd International Conference on Software Engineering, ICSE '20, 26–37. ACM, June 2020.
- Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, and Diomidis Spinellis. A model for detecting faults in build specifications. In Proceedings of the ACM on Programming Languages, OOPSLA '20. ACM, November 2020.
- Konstantina Dritsa, Thodoris Sotiropoulos, Haris Skarpetis, and Panos Louridas. Search engine similarity analysis: a combined content and rankings approach. In 21st International Conference on Web Information Systems Engineering, WISE '20. Springer, October 2020.
- Thodoris Sotiropoulos and Benjamin Livshits. Static analysis for asynchronous JavaScript programs. In 33rd European Conference on Object-Oriented Programming, ECOOP '19. 2019.
Datasets
Software
- BuildFS — A command-line tool for detecting faults in incremental and parallel builds
- cynthia — Data-oriented differential testing of ORM systems
- FSMoVe — Tool for detecting ordering violations and missing notifiers in Puppet programs
- hephaestus — A framework for testing compilers' type checkers