Ivan Perez
where else to find them
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 6 in the filters
on a stage with
all 10 in the filters
who talks about the same things
- Ryan G. Scott2 talks
- Travis Hance7 talks
- Kathleen Fisher9 talks
- Bryan Parno22 talks
- Ranjit Jhala19 talks
- Mike Dodds5 talks
| title | conference | date |
|---|---|---|
| Logic Programming with Extensible Types (Lightning talk) | PADL 2025 | 2025-01-20 |
Claim: Haskell code gains logic programming by a compile time extensible types par transformation that turns algebraic types into term types with optional… | ||
| Open Source in Space. | Scale By the Bay 2023 | 2023-11-13 |
Two open-source tools, Copilot and Ogma, implement runtime monitoring for aerospace: Copilot generates hard real-time C with constant memory and time from a… | ||
| The Beauty and Elegance of Functional Reactive Animation | FARM 2023 | 2023-09-08 |
Functional Reactive Programming is presented as a temporal abstraction where the core objects are signal functions that must be causal, implemented here with… | ||
| The Essence of Reactivity | Haskell 2023 | 2023-09-08 |
A Haskell prototype defines generic typeclasses (constrained applicative, time, concatenation and drop) that capture where reactive systems actually differ… | ||
| Types that Change: The Extensible Type Design Pattern | FUNARCH 2023 | 2023-09-08 |
Defines an extensible type design pattern: an ADT parameterized by a type-function applied to every field so instantiations can be identity, Either String for… | ||
| 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… | ||
| Trustworthy Runtime Verification via Bisimulation | ICFP 2023 | 2023-09-04 |
CopilotVerifier automatically proves that a Copilot Haskell stream monitor and its compiled C (Clang→LLVM) output produce equivalent observable behavior by… | ||
| nothing matches | ||