Thodoris Sotiropoulos

According to our database, Thodoris Sotiropoulos authored at least 30 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Cross-Ecosystem Vulnerability Analysis for Python Applications.

Georgios Alexopoulos, Nikolaos Alexopoulos, Thodoris Sotiropoulos, Charalambos Mitropoulos, Zhendong Su, Dimitris Mitropoulos

CoRR, March, 2026

Evaluating Compiler Optimization Impacts on zkVM Performance.

Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, Zhendong Su

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2025

Evaluating Compiler Optimization Impacts on zkVM Performance.

Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, Zhendong Su

Dataset, December, 2025

Artifact for "Best of Both Worlds: Effective Foreign Bridge Identification in V8 Embedders for Security Analysis".

Georgios Alexopoulos, Thodoris Sotiropoulos, Zhendong Su, Dimitris Mitropoulos

Dataset, October, 2025

Artifact for "Validating Soundness and Completeness in Pattern-Match Coverage Analyzers".

Cyril Moser, Thodoris Sotiropoulos, Chengyu Zhang, Zhendong Su

Dataset, August, 2025

Testing Program Analyzers and Verifiers (Dagstuhl Seminar 25242).

Maria Christakis, Alastair F. Donaldson, John Regehr, Thodoris Sotiropoulos

Dagstuhl Reports, June, 2025

Validating Soundness and Completeness in Pattern-Match Coverage Analyzers.

Cyril Moser, Thodoris Sotiropoulos, Chengyu Zhang, Zhendong Su

Proc. ACM Program. Lang., 2025

2024

Artifact for "Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis".

Georgios-Petros Drosos, Thodoris Sotiropoulos, Diomidis Spinellis, Dimitris Mitropoulos

Dataset, July, 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

Dataset, July, 2024

Artifact for "Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis".

Georgios-Petros Drosos, Thodoris Sotiropoulos, Diomidis Spinellis, Dimitris Mitropoulos

Dataset, April, 2024

API-Driven Program Synthesis for Testing Static Typing Implementations.

Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su

Proc. ACM Program. Lang., January, 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

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

Proc. ACM Program. Lang., 2024

2023

Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations.

Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su

CoRR, 2023

Syntax-Aware Mutation for Testing the Solidity Compiler.

Charalambos Mitropoulos, Thodoris Sotiropoulos, Sotiris Ioannidis, Dimitris Mitropoulos

Proceedings of the Computer Security - ESORICS 2023, 2023

2022

Abstractions for software testing

Thodoris Sotiropoulos

PhD thesis, 2022

Finding typing compiler bugs.

Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

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

Dataset, September, 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

Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems.

Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Data-Oriented Differential Testing of Object-Relational Mapping Systems.

Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

A Replication Package for PyCG: Practical Call Graph Generation in Python.

Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, Dimitris Mitropoulos

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

PyCG: Practical Call Graph Generation in Python.

Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, Dimitris Mitropoulos

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

A model for detecting faults in build specifications.

Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis

Proc. ACM Program. Lang., 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

Identifying Bugs in Make and JVM-Oriented Builds.

Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis

CoRR, 2020

Search Engine Similarity Analysis: A Combined Content and Rankings Approach.

Konstantina Dritsa, Thodoris Sotiropoulos, Haris Skarpetis, Panos Louridas

Proceedings of the Web Information Systems Engineering - WISE 2020, 2020

Practical fault detection in puppet programs.

Thodoris Sotiropoulos, Dimitris Mitropoulos, Diomidis Spinellis

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Detecting Missing Dependencies and Notifiers in Puppet Programs.

Thodoris Sotiropoulos, Dimitris Mitropoulos, Diomidis Spinellis

CoRR, 2019

Static Analysis for Asynchronous JavaScript Programs.

Thodoris Sotiropoulos, Benjamin Livshits

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019