Lisa Zhang
where else to find them
no profile links on file
what they talk about
where they keep going back
- miniKanren2 editions2021–2022
on a stage with
- Daksh Malhotraonce
- Gregory Rosenblattonce
- Matthew Mightonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Fail Fast and Profile On: Towards a miniKanren Profiler | miniKanren 2022 | 2022-09-15 |
Prototype miniKanren profiler instruments states to count encounters, successes, and failures per program point, and collects failed-state samples. Using those… | ||
| Relational Floating-Point Arithmetic | miniKanren 2021 | 2021-08-26 |
Implements a minimal relational floating‑point system (comparisons, addition/subtraction, multiplication/division) in miniKanren, using olekislya's relational… | ||
| nothing matches | ||