Thodoris Sotiropoulos

Registered user since Fri 2 Oct 2020

Name:Thodoris Sotiropoulos

Thodoris Sotiropoulos is a PhD student 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.

Affiliation:Athens University of Economics and Business
Research interests:programming languages, program analysis, testing


PLDI 2022 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
(OOPSLA 2020) A Model for Detecting Faults in Build Specifications
(OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers
Finding Typing Compiler Bugs
Show activities from other conferences

PLDI 2022-profile
View general profile