Philipp Haller
where else to find them
what they talk about
all 8 in the filters
where they keep going back
- Strange Loop2 editions2013–2022
all 8 in the filters
on a stage with
- Alceste Scalasonce
- David Bromanonce
- Elias Castegrenonce
all 7 in the filters
who talks about the same things
- Guido Salvaneschi17 talks
- Tiark Rompf24 talks
- Deepak Garg18 talks
- Jon Pretty24 talks
- Derek Dreyer35 talks
- Heather Miller31 talks
| title | conference | date |
|---|---|---|
| Controlled Concurrency Testing for Scala | Scalar 2026 | 2026-03-26 |
McCCT is a Scala controlled-concurrency tester that instruments libraries with thin wrappers and a central scheduler to serialize execution, insert schedule… | ||
| P4R-Type: A Verified API for P4 Control Plane Programs | OOPSLA 2023 | 2023-10-23 |
Library implements a verified Scala API that encodes P4Info as Scala types and statically rejects mismatches between P4 tables, allowed actions, and action… | ||
| Statically Resolvable Ambiguity | POPL 2023 | 2023-01-15 |
Presents a concrete solution that proves every ambiguous program in the supported formalism can be rewritten unambiguously, with a full Coq mechanization and… | ||
| How to avoid safety hazards when using closures in Scala | ScalaCon 2022 | 2022-10-04 |
A Scala 3 library called spores3 implements closures with explicit, typed environments, using macros for compile-time capture checking and type-class based… | ||
| How to Avoid Safety Hazards when using Closures in Scala | Strange Loop 2022 | 2022-09-22 |
Shows a concrete library called spores 3 that replaces ordinary closures with an explicit, typed environment and a compile-time check that rejects accidental… | ||
| Asynchronous streams in direct style with and without macros | Scala Days Lausanne 2019 | 2019-06-11 |
Proposal extends Scala async so an async block can produce a Publisher and await either Futures or stream events, implemented two ways: a macro that transforms… | ||
| Quantifying and Explaining Immutability in Scala | Scala Days Copenhagen 2017 | 2017-05-30 |
Empirical study analyzes medium-to-large Scala projects with a Scala 2.11 compiler plugin and outputs per-template immutability stats… | ||
| Programming with Futures, Lattices and Quiescence | Scala Days Berlin 2016 | 2016-06-15 |
Extends Scala futures into cells and cell completers that hold elements of a lattice and accept join-based monotonic updates (multiple puts instead of single… | ||
| Simplifying Asynchronous Code With Scala Async | Strange Loop 2013 | 2013-09-18 |
A macro library implements async/await macro that transforms regular Scala code into an efficient state‑machine, returning Scala 2.10/2.11 futures and avoiding… | ||
| nothing matches | ||