Follow
Thodoris Sotiropoulos
Thodoris Sotiropoulos
Postdoctoral researcher, ETH Zurich
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
Pycg: Practical call graph generation in python
V Salis, T Sotiropoulos, P Louridas, D Spinellis, D Mitropoulos
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
722021
Practical fault detection in puppet programs
T Sotiropoulos, D Mitropoulos, D Spinellis
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
262020
Finding typing compiler bugs
S Chaliasos, T Sotiropoulos, D Spinellis, A Gervais, B Livshits, ...
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
222022
Static analysis for asynchronous JavaScript programs
T Sotiropoulos, B Livshits
arXiv preprint arXiv:1901.03575, 2019
222019
Data-oriented differential testing of object-relational mapping systems
T Sotiropoulos, S Chaliasos, V Atlidakis, D Mitropoulos, D Spinellis
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
202021
Well-typed programs can go wrong: A study of typing-related bugs in jvm compilers
S Chaliasos, T Sotiropoulos, GP Drosos, C Mitropoulos, D Mitropoulos, ...
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021
192021
A model for detecting faults in build specifications
T Sotiropoulos, S Chaliasos, D Mitropoulos, D Spinellis
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
132020
PyCG: Practical Call Graph Generation in Python. In 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). 1646–1657
V Salis, T Sotiropoulos, P Louridas, D Spinellis, D Mitropoulos
72021
Search engine similarity analysis: A combined content and rankings approach
K Dritsa, T Sotiropoulos, H Skarpetis, P Louridas
Web Information Systems Engineering–WISE 2020: 21st International Conference …, 2020
62020
PDGuard: an architecture for the control and secure processing of personal data
D Mitropoulos, T Sotiropoulos, N Koutsovasilis, D Spinellis
International Journal of Information Security 19 (4), 479-498, 2020
32020
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations
T Sotiropoulos, S Chaliasos, Z Su
arXiv preprint arXiv:2311.04527, 2023
12023
Syntax-Aware Mutation for Testing the Solidity Compiler
C Mitropoulos, T Sotiropoulos, S Ioannidis, D Mitropoulos
European Symposium on Research in Computer Security, 327-347, 2023
12023
Detecting Missing Dependencies and Notifiers in Puppet Programs
T Sotiropoulos, D Mitropoulos, D Spinellis
arXiv preprint arXiv:1905.11070, 2019
12019
API-Driven Program Synthesis for Testing Static Typing Implementations
T Sotiropoulos, S Chaliasos, Z Su
Proceedings of the ACM on Programming Languages 8 (POPL), 1850-1881, 2024
2024
Abstractions for software testing
T Sotiropoulos
Athens University Economics and Business, Greece, 2022
2022
A replication package for PyCG: practical call graph generation in Python
V Salis, T Sotiropoulos, P Louridas, D Spinellis, D Mitropoulos
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
2021
Replication package for article: data-oriented differential testing of object-relational mapping systems
T Sotiropoulos, S Chaliasos, V Atlidakis, D Mitropoulos, D Spinellis
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
2021
Identifying Bugs in Make and JVM-Oriented Builds
T Sotiropoulos, S Chaliasos, D Mitropoulos, D Spinellis
arXiv preprint arXiv:2005.06881, 2020
2020
Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis
GP DROSOS, T SOTIROPOULOS, D SPINELLIS, D MITROPOULOS
The system can't perform the operation now. Try again later.
Articles 1–19