Diomidis Spinellis
where else to find them
bluesky:coolsweng.bsky.social
mastodon:@CoolSWEng@mastodon.acm.org
what they talk about
all 8 in the filters
where they keep going back
- OOPSLA2 editions2020–2021
all 4 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Dimitris Mitropoulos4 talks
- Thodoris Sotiropoulos5 talks
- Georgios-Petros Drosos2 talks
- Stefanos Chaliasos5 talks
- Zhendong Su25 talks
- Ben Greenman9 talks
| title | conference | date |
|---|---|---|
| hS: Speculative Script Reordering at Subprocess Granularity | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
hS is a system that speculatively executes shell commands out of order by running command instances in sandboxed layers and tracing system calls to detect real… | ||
| Lessons from Unix History | SREcon24 Europe/Middle East/Africa | 2024-10-29 |
Unix history is reconstructed from GitHub snapshots and a PDP emulator that boots original code, revealing concrete lessons: the original kernel is <2600 lines… | ||
| Panel 2: Dependencies for Vulnerability Discovery and Tracking | FOSDEM 2022 | 2022-02-05 |
One important use of dependency information is for the identification and discovery of vulnerabilities. The presentations present diverse interesting projects… | ||
| 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 | ||