Christos Dimoulas
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA3 editions2023–2025
all 4 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- Matthias Felleisen10 talks
- Ben Greenman9 talks
- Éric Tanter12 talks
- Max S. New8 talks
- Olek Gierczak3 talks
- Matías Toro6 talks
| title | conference | date |
|---|---|---|
| Contract System Metatheories à la Carte: A Transition-System View of Contracts | OOPSLA 2025 | 2025-10-16 |
Models higher-order contracts as a parameterized transition system and proves that composing annotations and registers yields reusable metatheory: ownership… | ||
| Gradually Typed Languages Should Be Vigilant! | OOPSLA 2024 | 2024-10-20 |
Defines vigilance as a semantic criterion that checks whether runtime enforcement preserves the full run-time typing history; implements it by instrumenting… | ||
| Effectful Software Contracts | POPL 2024 | 2024-01-14 |
Presents a formal design that lets contracts perform effects while proving they do not change successful runs: an erasure theorem showing contract checks… | ||
| How Profilers Can Help Navigate Type Migration | OOPSLA 2023 | 2023-10-23 |
Uses a 16‑benchmark corpus with ~100,000 gradually typed configurations and 1.2M runtime/profile measurements to evaluate 17 migration strategies driven by a… | ||
| The Rational Programmer, An Investigative Method for Programming Language Prag... | Scheme 2023 | 2023-09-09 |
Introduces the Rational Programmer: an algorithmic simulation that mutates Type Racket programs to inject type-interface and code-level bugs, producing 1M+… | ||
| How to Evaluate Blame for Gradual Types, Part 2 | ICFP 2023 | 2023-09-04 |
Empirical study instruments a rational-programmer procedure, mutates GTB benchmark programs, and runs three TyRet/Racket semantics (eraser, transient, natural)… | ||
| nothing matches | ||