Stefan K. Muller
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- POPL3 editions2021–2024
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
all 4 in the filters
on a stage with
all 14 in the filters
who talks about the same things
- Umut A. Acar8 talks
- Kunal Agrawal3 talks
- Jonathan Ragan-Kelley12 talks
- Deepak Garg18 talks
- Jatin Arora6 talks
- Umang Mathur20 talks
| title | conference | date |
|---|---|---|
| Responsive Parallelism with Dynamic and First-Class Priorities | PLDI 2026 | 2026-06-15 |
Extends PriML to make priorities first class and dynamically changeable, adding a change command and typing each command with start/duration/end refinements… | ||
| Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml | OCaml 2024 | 2024-09-07 |
Priodomainslib extends Domainslib with a priority-aware work-stealing scheduler, a priority-aware mutex wrapper that implements the priority protection… | ||
| Pipelines and Beyond: Graph Types for ADTs with Futures | POPL 2024 | 2024-01-14 |
Extends graph types to let futures live inside recursive ADTs by indexing datatypes with a codata vertex structures that supply unique vertex names, proving… | ||
| Disentanglement with Futures, State, and Interaction | POPL 2024 | 2024-01-14 |
Formalizes disentanglement for a language with futures, I/O, and mutable references and proves that purely functional programs are disentangled; extends to… | ||
| Responsive Parallelism with Synchronization | PLDI 2023 | 2023-06-17 |
Claims a static type system plus runtime priority-ceiling prevents priority inversions across mutexes and condition variables, with a formal soundness proof… | ||
| Static Prediction of Parallel Computation Graphs | POPL 2022 | 2022-01-16 |
Claims a new static abstraction, graph types, that compactly represent all runtime computation graphs and supports a Hindley-Milner–style inference algorithm… | ||
| Modeling and Analyzing Evaluation Cost of CUDA Kernels | POPL 2021 | 2021-01-17 |
Paper presents a quantitative program logic and cost semantics for CUDA that are formalized in Coq formalization and implemented as the prototype tool vercuta… | ||
| A Rhetorical Framework for Programming Language Evaluation | Onward! 2020 | 2020-11-15 |
Uses rhetoric and argument theory to give a practical way to justify subjective PL claims by tying specific language or tool features to observable effects… | ||
| nothing matches | ||