Stefanos Chaliasos
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
- OOPSLA3 editions2020–2022
on a stage with
all 8 in the filters
who talks about the same things
- Thodoris Sotiropoulos5 talks
- Dimitris Mitropoulos4 talks
- Georgios-Petros Drosos2 talks
- Diomidis Spinellis14 talks
- Zhendong Su25 talks
- Daniel Benarroch10 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| A Study of Inline Assembly in Solidity Smart Contracts | OOPSLA 2022 | 2022-12-05 |
A large-scale code audit of 6.8M contracts finds 23% of 6.8M contracts contain inline assembly, typically with up to three fragments per contract and 9–10… | ||
| 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 | ||