Stephen Mell
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
- Konstantinos Kallas11 talks
- Osbert Bastani9 talks
- Steve Zdancewic19 talks
- Steven Holtzen12 talks
- Amal Ahmed25 talks
- Nada Amin26 talks
| title | conference | date |
|---|---|---|
| Opportunistically Parallel Lambda Calculus | OOPSLA 2025 | 2025-10-16 |
Proposes an evaluation strategy and core calculus (Opportunistic Lambda Calculus) that dispatches independent external calls as holes, resolves them… | ||
| Optimal Program Synthesis via Abstract Interpretation | POPL 2024 | 2024-01-14 |
The paper presents a synthesis framework that finds numerically parameterized programs optimally by enumerating generalized partial programs and running A… | ||
| nothing matches | ||