Thomas Wies
where else to find them
what they talk about
all 6 in the filters
where they keep going back
- OOPSLA3 editions2021–2025
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
- POPL2 editions2021–2026
all 4 in the filters
on a stage with
all 15 in the filters
who talks about the same things
- Elaine Li4 talks
- Sharon Shoham13 talks
- Michael Sammler16 talks
- Thomas Reps20 talks
- Peter Müller28 talks
- Deepak Garg18 talks
| title | conference | date |
|---|---|---|
| Implementability of Global Distributed Protocols Modulo Network Architectures | PLDI 2026 | 2026-06-15 |
This work gives a precise, network-parametric characterization of when a bird’s-eye global message protocol admits a distributed implementation: coherence… | ||
| Consistent Updates for Scalable Microservices | POPL 2026 | 2026-01-11 |
Presents a formal framework and the first algorithms that guarantee atomic-looking live updates for rolling microservice upgrades by routing requests based on… | ||
| Abstract Interpretation of Temporal Safety Effects of Higher Order Programs | OOPSLA 2025 | 2025-10-16 |
Introduces an abstract effect domain that summarizes context‑sensitive dependent effects as symbolic automata with accumulators, gives an abstract transformer… | ||
| Characterizing Implementability of Global Protocols with Infinite States and Data | OOPSLA 2025 | 2025-10-16 |
Provides a semantic characterization that reduces implementability of symbolic global protocols to (co)reachability checks per participant and a set of… | ||
| Complete Multiparty Session Type Projection with Automata | ST30 2023 | 2023-10-22 |
Claims a sound, complete, and practical projection operator for asynchronous multiparty session types, implemented by translating global types to automata and… | ||
| Embedding Hindsight Reasoning in Separation Logic | PLDI 2023 | 2023-06-17 |
The work embeds hindsight reasoning into separation logic via a new proof rule called temporal interpolation, implemented in an automated tool that proves… | ||
| A Concurrent Program Logic with a Future and History | OOPSLA 2022 | 2022-12-05 |
A new separation logic that preserves local reasoning while enabling automation introduces ghost update chunks to decompose unbounded physical removals into… | ||
| Verifying Concurrent Multicopy Search Structures | OOPSLA 2021 | 2021-10-17 |
Proves that multicopy search structures satisfy linearizability by isolating a search recency property and a template for upsert/search/maintenance that works… | ||
| Data Flow Refinement Type Inference | POPL 2021 | 2021-01-17 |
DRIFT is a parametric abstract-interpretation framework that produces refinement-type systems and an inference algorithm; it implements numerical domains via… | ||
| nothing matches | ||