Thodoris Sotiropoulos

Orcid: 0000-0002-9906-3073

Affiliations:
  • ETH Zurich, Switzerland
  • Athens University Economics and Business, Greece (PhD 2022)


According to our database1, Thodoris Sotiropoulos authored at least 21 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
3
1
1
3
1
1
1
4
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

API-Driven Program Synthesis for Testing Static Typing Implementations.
Proc. ACM Program. Lang., January, 2024

Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis.
Proc. ACM Softw. Eng., 2024

When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems.
Proc. ACM Program. Lang., 2024

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

Syntax-Aware Mutation for Testing the Solidity Compiler.
Proceedings of the Computer Security - ESORICS 2023, 2023

2022
Abstractions for software testing
PhD thesis, 2022

Finding typing compiler bugs.
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.
Dataset, September, 2021

Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers.
Proc. ACM Program. Lang., 2021

Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Data-Oriented Differential Testing of Object-Relational Mapping Systems.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

A Replication Package for PyCG: Practical Call Graph Generation in Python.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

PyCG: Practical Call Graph Generation in Python.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020
A model for detecting faults in build specifications.
Proc. ACM Program. Lang., 2020

PDGuard: an architecture for the control and secure processing of personal data.
Int. J. Inf. Sec., 2020

Identifying Bugs in Make and JVM-Oriented Builds.
CoRR, 2020

Search Engine Similarity Analysis: A Combined Content and Rankings Approach.
Proceedings of the Web Information Systems Engineering - WISE 2020, 2020

Practical fault detection in puppet programs.
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.
CoRR, 2019

Static Analysis for Asynchronous JavaScript Programs.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019


  Loading...