Thodoris Sotiropoulos

According to our database, Thodoris Sotiropoulos authored at least 17 papers between 2019 and 2024.

Collaborative distances:

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

2024

API-Driven Program Synthesis for Testing Static Typing Implementations.

Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su

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

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