Thodoris Sotiropoulos

27 papers A* 4A 1Journal 16Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Cross-Ecosystem Vulnerability Analysis for Python Applications.
CoRR
Georgios Alexopoulos, Nikolaos Alexopoulos, Thodoris Sotiropoulos, Charalambos Mitropoulos, Zhendong Su, Dimitris Mitropoulos
2026 — conf
Evaluating Compiler Optimization Impacts on zkVM Performance.
ASPLOS (2)
Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, Zhendong Su
2025 J jnl
Evaluating Compiler Optimization Impacts on zkVM Performance.
CoRR
Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, Zhendong Su
2025 J jnl
Testing Program Analyzers and Verifiers (Dagstuhl Seminar 25242).
Dagstuhl Reports
Maria Christakis, Alastair F. Donaldson, John Regehr, Thodoris Sotiropoulos
2025 J jnl
Validating Soundness and Completeness in Pattern-Match Coverage Analyzers.
Proc. ACM Program. Lang.
Cyril Moser, Thodoris Sotiropoulos, Chengyu Zhang, Zhendong Su
2024 J jnl
API-Driven Program Synthesis for Testing Static Typing Implementations.
Proc. ACM Program. Lang.
Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su
2024 J jnl
Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis.
Proc. ACM Softw. Eng.
Georgios-Petros Drosos, Thodoris Sotiropoulos, Diomidis Spinellis, Dimitris Mitropoulos
2024 J jnl
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems.
Proc. ACM Program. Lang.
Georgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos, Dimitris Mitropoulos, Zhendong Su
2023 J jnl
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations.
CoRR
Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su
2023 — conf
Syntax-Aware Mutation for Testing the Solidity Compiler.
ESORICS (3)
Charalambos Mitropoulos, Thodoris Sotiropoulos, Sotiris Ioannidis, Dimitris Mitropoulos
2022 — —
Abstractions for software testing
Thodoris Sotiropoulos
2022 A* conf
Finding typing compiler bugs.
PLDI
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos
2021 — conf
A Replication Package for PyCG: Practical Call Graph Generation in Python.
ICSE (Companion Volume)
Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, Dimitris Mitropoulos
2021 A* conf
Data-Oriented Differential Testing of Object-Relational Mapping Systems.
ICSE
Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis
2021 A* conf
PyCG: Practical Call Graph Generation in Python.
ICSE
Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, Dimitris Mitropoulos
2021 J jnl
PyCG: Practical Call Graph Generation in Python.
CoRR
Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, Dimitris Mitropoulos
2021 — conf
Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems.
ICSE (Companion Volume)
Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis
2021 J jnl
Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers.
Proc. ACM Program. Lang.
Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, Diomidis Spinellis
2020 J jnl
A model for detecting faults in build specifications.
Proc. ACM Program. Lang.
Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis
2020 J jnl
Identifying Bugs in Make and JVM-Oriented Builds.
CoRR
Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis
2020 J jnl
PDGuard: an architecture for the control and secure processing of personal data.
Int. J. Inf. Sec.
Dimitris Mitropoulos, Thodoris Sotiropoulos, Nikos Koutsovasilis, Diomidis Spinellis
2020 A* conf
Practical fault detection in puppet programs.
ICSE
Thodoris Sotiropoulos, Dimitris Mitropoulos, Diomidis Spinellis
2020 — conf
Search Engine Similarity Analysis: A Combined Content and Rankings Approach.
WISE (2)
Konstantina Dritsa, Thodoris Sotiropoulos, Haris Skarpetis, Panos Louridas
2020 J jnl
Search Engine Similarity Analysis: A Combined Content and Rankings Approach.
CoRR
Konstantina Dritsa, Thodoris Sotiropoulos, Haris Skarpetis, Panos Louridas
2019 J jnl
Detecting Missing Dependencies and Notifiers in Puppet Programs.
CoRR
Thodoris Sotiropoulos, Dimitris Mitropoulos, Diomidis Spinellis
2019 A conf
Static Analysis for Asynchronous JavaScript Programs.
ECOOP
Thodoris Sotiropoulos, Benjamin Livshits
2019 J jnl
Static Analysis for Asynchronous JavaScript Programs.
CoRR
Thodoris Sotiropoulos, Benjamin Livshits