Static Analysis for Asynchronous JavaScript Programs. - Thodoris Sotiropoulos; Benjamin Livshits (ECOOP, 2019)

Detecting Missing Dependencies and Notifiers in Puppet Programs. - Thodoris Sotiropoulos; Dimitris Mitropoulos; Diomidis Spinellis (CoRR, 2019)

Practical fault detection in puppet programs. - Thodoris Sotiropoulos; Dimitris Mitropoulos; Diomidis Spinellis (ICSE, 2020)

Search Engine Similarity Analysis: A Combined Content and Rankings Approach. - Konstantina Dritsa; Thodoris Sotiropoulos; Haris Skarpetis; Panos Louridas (WISE (2), 2020)

Identifying Bugs in Make and JVM-Oriented Builds. - Thodoris Sotiropoulos; Stefanos Chaliasos; Dimitris Mitropoulos; Diomidis Spinellis (CoRR, 2020)

PDGuard: an architecture for the control and secure processing of personal data. - Dimitris Mitropoulos; Thodoris Sotiropoulos; Nikos Koutsovasilis; Diomidis Spinellis (Int. J. Inf. Sec., 2020)

A model for detecting faults in build specifications. - Thodoris Sotiropoulos; Stefanos Chaliasos; Dimitris Mitropoulos; Diomidis Spinellis (Proc. ACM Program. Lang., 2020)

PyCG: Practical Call Graph Generation in Python. - Vitalis Salis; Thodoris Sotiropoulos; Panos Louridas; Diomidis Spinellis; Dimitris Mitropoulos (ICSE, 2021)

A Replication Package for PyCG: Practical Call Graph Generation in Python. - Vitalis Salis; Thodoris Sotiropoulos; Panos Louridas; Diomidis Spinellis; Dimitris Mitropoulos (ICSE (Companion Volume), 2021)

Data-Oriented Differential Testing of Object-Relational Mapping Systems. - Thodoris Sotiropoulos; Stefanos Chaliasos; Vaggelis Atlidakis; Dimitris Mitropoulos; Diomidis Spinellis (ICSE, 2021)

Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems. - Thodoris Sotiropoulos; Stefanos Chaliasos; Vaggelis Atlidakis; Dimitris Mitropoulos; Diomidis Spinellis (ICSE (Companion Volume), 2021)

Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers. - Stefanos Chaliasos; Thodoris Sotiropoulos; Georgios-Petros Drosos; Charalambos Mitropoulos; Dimitris Mitropoulos; Diomidis Spinellis (Proc. ACM Program. Lang., 2021)

Artifact: Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers. - Stefanos Chaliasos; Thodoris Sotiropoulos; Georgios-Petros Drosos; Charalambos Mitropoulos; Dimitris Mitropoulos; Diomidis Spinellis (Zenodo, 2021)

Finding typing compiler bugs. - Stefanos Chaliasos; Thodoris Sotiropoulos; Diomidis Spinellis; Arthur Gervais; Benjamin Livshits; Dimitris Mitropoulos (PLDI, 2022)

Abstractions for software testing - Thodoris Sotiropoulos (2022)

Syntax-Aware Mutation for Testing the Solidity Compiler. - Charalambos Mitropoulos; Thodoris Sotiropoulos; Sotiris Ioannidis; Dimitris Mitropoulos (ESORICS (3), 2023)

Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations. - Thodoris Sotiropoulos; Stefanos Chaliasos; Zhendong Su 001 (CoRR, 2023)

When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems. - Georgios-Petros Drosos; Thodoris Sotiropoulos; Georgios Alexopoulos; Dimitris Mitropoulos; Zhendong Su 001 (Proc. ACM Program. Lang., 2024)

Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis. - Georgios-Petros Drosos; Thodoris Sotiropoulos; Diomidis Spinellis; Dimitris Mitropoulos (Proc. ACM Softw. Eng., 2024)

API-Driven Program Synthesis for Testing Static Typing Implementations. - Thodoris Sotiropoulos; Stefanos Chaliasos; Zhendong Su 001 (Proc. ACM Program. Lang., 2024)

Artifact for "Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis". - Georgios-Petros Drosos; Thodoris Sotiropoulos; Diomidis Spinellis; Dimitris Mitropoulos (Zenodo, 2024)

Artifact for OOPSLA'2024 paper "When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems". - Georgios-Petros Drosos; Thodoris Sotiropoulos; Georgios Alexopoulos; Dimitrios Mitropoulos; Zhendong Su 001 (Zenodo, 2024)

Artifact for "Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis". - Georgios-Petros Drosos; Thodoris Sotiropoulos; Diomidis Spinellis; Dimitris Mitropoulos (Zenodo, 2024)