Thodoris Sotiropoulos

Registered user since Fri 2 Oct 2020

Name:Thodoris Sotiropoulos
Bio:

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.

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

Contributions

PLDI 2022 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Author of (OOPSLA 2020) A Model for Detecting Faults in Build Specifications within the SIGPLAN Track-track
Author of (OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers within the SIGPLAN Track-track
Author of Finding Typing Compiler Bugs within the PLDI-track
SPLASH 2021 Author of Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
SPLASH 2020 Author of A Model for Detecting Faults in Build Specifications within the OOPSLA Artifacts-track
Author of A Model for Detecting Faults in Build Specifications within the OOPSLA-track
ICSE 2021 Author of Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems within the AE - Artifact Evaluation-track
Author of A Replication Package for PyCG - Practicall Call Graph Generation in Python within the AE - Artifact Evaluation-track
Author of Data-Oriented Differential Testing of Object-Relational Mapping Systems within the Technical Track-track
Author of PyCG: Practical Call Graph Generation in Python within the Technical Track-track
ECOOP 2019 Author of Static Analysis for Asynchronous JavaScript Programs within the Posters-track
Author of Static Analysis for Asynchronous JavaScript Programs within the Research Papers-track
ICSE 2020 Author of Practical Fault Detection in Puppet Programs within the Technical Papers-track