Sophia Drossopoulou
where else to find them
github:sophiaIC
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA3 editions2022–2025
- Code Mesh LDN2 editions2018–2020
all 5 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Sylvan Clebsch9 talks
- James Noble17 talks
- Matthew J. Parkinson11 talks
- Lindsey Kuper15 talks
- Aseem Rastogi7 talks
- Steve Zdancewic19 talks
| title | conference | date |
|---|---|---|
| Reasoning about External Calls | OOPSLA 2025 | 2025-10-16 |
Paper proposes concrete assertions and a verification calculus that prove internal code cannot lose funds despite invoking unknown external objects. It models… | ||
| Concurrent Mutation must go | POCL 2024 | 2024-01-16 |
Argument: concurrent mutation causes the costly read-reclaim race so the simple claim is remove concurrent mutation for temporal safety. Evidence: survey of… | ||
| Object Capabilities | POCL 2024 | 2024-01-16 |
Claim: object capabilities act as necessary conditions for effects, not just rights, and tracking which objects can reach which capabilities lets one… | ||
| Reference Capabilities for Flexible Memory Management | OOPSLA 2023 | 2023-10-23 |
Verona organises all objects into tree-shaped regions with a window of mutability that only allows allocation and deallocation in the active region, making… | ||
| When Concurrency Matters: Behaviour-Oriented Concurrency | OOPSLA 2023 | 2023-10-23 |
Behaviour-Oriented Concurrency (BoC) introduces cones as exclusive shared-data owners, behaviors as spawned units that declare required cones, and a single… | ||
| Consistency-Preserving Propagation for SMT Solving of Concurrent Program Verification | OOPSLA 2022 | 2022-12-05 |
Proposes consistency-preserving propagation that prevents self-loops in the ordering theory so consistency checking and conflict-clause generation become… | ||
| Necessity Specifications for Robustness | OOPSLA 2022 | 2022-12-05 |
A formal language called necessity specifies robustness by stating explicit necessary preconditions: temporal-implication operators say exactly what must have… | ||
| making your way in a changing world | POPL 2021 | 2021-01-17 |
Career memoir gives concrete hits: develops an algorithmic type system that consumes five years chasing proof before abandoning it, models parameterized… | ||
| Panel discussion: Types for All: From weak to strong, from static to dynamic | Code Mesh LDN 2020 | 2020-11-05 |
Panelists compare concrete systems and trade-offs: dependent types in Idris 2 (about 50,000 lines of Idris, with tests taking ~3x the build time) eliminate… | ||
| Holistic specifications for robust code | Code Mesh LDN 2018 | 2018-11-08 |
Claims a new specification language — holistic specifications — that expresses necessary (not just sufficient) robustness conditions using spatial, temporal… | ||
| Pony for Safe, Fast, concurrent programs | Code Mesh 2017 | 2017-11-08 |
Pony claims atomic behaviors via a capability-based type system (ISO/ref/val/tag and viewpoint adaptation) that lets actors hand off mutable state safely, uses… | ||
| nothing matches | ||