Thodoris Sotiropoulos

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 20

Top Topics

Static Analysis

Constraint Language

Top Venues

Proc. ACM Program. Lang.

ICSE (Companion Volume)

Publications

Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su
API-Driven Program Synthesis for Testing Static Typing Implementations. Proc. ACM Program. Lang. 8 (POPL) (2024)
Georgios-Petros Drosos, Thodoris Sotiropoulos, Diomidis Spinellis, Dimitris Mitropoulos
Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations. CoRR (2023)
Charalambos Mitropoulos, Thodoris Sotiropoulos, Sotiris Ioannidis, Dimitris Mitropoulos
Syntax-Aware Mutation for Testing the Solidity Compiler. ESORICS (3) (2023)
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos
Finding typing compiler bugs. PLDI (2022)
Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, Dimitris Mitropoulos
A Replication Package for PyCG: Practical Call Graph Generation in Python. ICSE (Companion Volume) (2021)
Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, Dimitris Mitropoulos
PyCG: Practical Call Graph Generation in Python. CoRR (2021)
Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis
Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems. ICSE (Companion Volume) (2021)
Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis
Data-Oriented Differential Testing of Object-Relational Mapping Systems. ICSE (2021)
Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, Diomidis Spinellis
Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, Dimitris Mitropoulos
PyCG: Practical Call Graph Generation in Python. ICSE (2021)
Thodoris Sotiropoulos, Dimitris Mitropoulos, Diomidis Spinellis
Practical fault detection in puppet programs. ICSE (2020)
Konstantina Dritsa, Thodoris Sotiropoulos, Haris Skarpetis, Panos Louridas
Search Engine Similarity Analysis: A Combined Content and Rankings Approach. WISE (2) (2020)
Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis
Identifying Bugs in Make and JVM-Oriented Builds. CoRR (2020)
Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis
A model for detecting faults in build specifications. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Dimitris Mitropoulos, Thodoris Sotiropoulos, Nikos Koutsovasilis, Diomidis Spinellis
PDGuard: an architecture for the control and secure processing of personal data. Int. J. Inf. Sec. 19 (4) (2020)
Konstantina Dritsa, Thodoris Sotiropoulos, Haris Skarpetis, Panos Louridas
Search Engine Similarity Analysis: A Combined Content and Rankings Approach. CoRR (2020)
Thodoris Sotiropoulos, Benjamin Livshits
Static Analysis for Asynchronous JavaScript Programs. CoRR (2019)
Thodoris Sotiropoulos, Benjamin Livshits
Static Analysis for Asynchronous JavaScript Programs. ECOOP (2019)
Thodoris Sotiropoulos, Dimitris Mitropoulos, Diomidis Spinellis
Detecting Missing Dependencies and Notifiers in Puppet Programs. CoRR (2019)