Andrew K. Hirsch
where else to find them
no profile links on file
what they talk about
where they keep going back
on a stage with
all 5 in the filters
who talks about the same things
- Ethan Cecchetti6 talks
- Shun Kashiwa3 talks
- Deepak Garg18 talks
- Gan Shen4 talks
- Lindsey Kuper15 talks
- Fabrizio Montesi7 talks
| title | conference | date |
|---|---|---|
| Choreographic Quick Changes: First-Class Location (Set) Polymorphism | OOPSLA 2025 | 2025-10-16 |
A new choreographic language, λQC, adds first-class process names and polymorphism over types and sets of locations, plus algebraic and recursive data types… | ||
| Corps: A Core Calculus of Hierarchical Choreographic Programming | CP 2024 | 2024-06-24 |
Claims that choreographic located types correspond to doxastic modalities and that adding explicit trust yields authorization logic as the right… | ||
| Compositional Security Definitions for Higher-Order Where Declassification | OOPSLA 2023 | 2023-10-23 |
Defines a compositional security notion for where declassification in higher-order languages by building an indistinguishability logical relation that stops… | ||
| Pirouette: Higher-Order Typed Functional Choreographies | POPL 2022 | 2022-01-16 |
Pirouette is a choreographic language that compiles a single higher-order functional program into one program per node via endpoint projection, with two… | ||
| Giving Semantics to Program-Counter Labels via Secure Effects | POPL 2021 | 2021-01-17 |
Provides monadic semantics for program-counter labels by translating type-and-effect languages into pure ones using indexed monads and a more general productor… | ||
| nothing matches | ||