Thodoris Sotiropoulos
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA3 editions2020–2024
on a stage with
all 9 in the filters
who talks about the same things
- Dimitris Mitropoulos4 talks
- Georgios-Petros Drosos2 talks
- Stefanos Chaliasos5 talks
- Zhendong Su25 talks
- Diomidis Spinellis14 talks
- Theodoros Theodoridis5 talks
| title | conference | date |
|---|---|---|
| Semantic Reification: A New Paradigm for Random Program Generation | PLDI 2026 | 2026-06-15 |
Claims a new semantic reification method that synthesizes a program P, input I, and expected output O from a CFG skeleton and a chosen execution path… | ||
| When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as(…) | OOPSLA 2024 | 2024-10-20 |
360 bugs across Ansible Puppet Chef registries are analyzed and classified into six symptom groups (most commonly external configuration failures), ten root… | ||
| API-driven Program Synthesis for Testing Static Typing Implementations | POPL 2024 | 2024-01-14 |
Thalia synthesizes small, type‑intensive client programs from real libraries by building an API graph and enumerating typing sequences that drive… | ||
| Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers | OOPSLA 2021 | 2021-10-17 |
Manual analysis of 320 typing-related bugs from Java, Scala, Kotlin and Groovy reveals concrete testing targets and failure modes: more than half are… | ||
| A Model for Detecting Faults in Build Specifications | OOPSLA 2020 | 2020-11-15 |
Proposes BuildFS, a formal execution model that maps every file read/write to the build task that performed it and defines concrete faults: missing input and… | ||
| nothing matches | ||