Leonidas Lampropoulos
where else to find them
what they talk about
all 6 in the filters
where they keep going back
- POPL2 editions2024–2025
all 8 in the filters
on a stage with
all 19 in the filters
who talks about the same things
- Benjamin C. Pierce17 talks
- Michael Carbin14 talks
- Robert Rand11 talks
- Yizhou Zhang13 talks
- Steve Zdancewic19 talks
- Benjamin Delaware18 talks
| title | conference | date |
|---|---|---|
| Compositional Quantum Control Flow with Efficient Compilation in Qunity | OOPSLA 2025 | 2025-10-16 |
Implementation of the first Qunity compiler that lowers high-level quantum control into OpenQASM 3 and a set of concrete optimizations. Adds two control… | ||
| Pantograph: A Fluid and Typed Structure Editor | POPL 2025 | 2025-01-19 |
Pantograph implements a structure editor that keeps programs as typing derivations by combining tree selection (one-hole contexts for cut/paste and reordering)… | ||
| Generating Well-Typed Terms that are not "Useless" | POPL 2024 | 2024-01-14 |
Generates well typed lambda terms that intentionally delay choosing argument types by introducing extension variables and an extensible application rule… | ||
| Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based ... | Haskell 2023 | 2023-09-08 |
Integrates LazySearch enumeration with NIST’s ACTS combinatorial arrays to split the infinite input space into structural prefixes (patterns) that avoid costly… | ||
| Getting Productive in Research | PLMW @ ICFP 2023 | 2023-09-04 |
Panel lays out concrete moves: get at least one detailed research letter from someone who knows your work—letters are the most important factor for grad… | ||
| Merging Inductive Relations | PLDI 2023 | 2023-06-17 |
Algorithm takes two inductive relations over the same data type and produces a single relation provably equivalent to their conjunction by constructor-pair… | ||
| How (not) to give a great research talk | PLMW @ POPL 2023 | 2023-01-17 |
Explains concrete tactics: use a single running example to show the problem and the solution, omit messy details by honest simplification, and script the first… | ||
| Liquid Proof Macros | Haskell Symposium 2022 | 2022-09-15 |
Liquid Proof Macros is an extensible metaprogramming framework that uses Template Haskell to generate Liquid Haskell proof terms via a tactic-like DSL, and it… | ||
| Random Testing of a Higher-Order Blockchain Language (Experience Report) | ICFP 2022 | 2022-09-11 |
Integrates QuickChick on Coq with an OCaml implementation of a higher‑order smart‑contract language and builds a semantic harness by turning the monadic… | ||
| nothing matches | ||