Adriana Schulz
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 4 in the filters
on a stage with
all 15 in the filters
who talks about the same things
- Rastislav Bodík8 talks
- Sarah E. Chasins11 talks
- Gilbert Louis Bernstein9 talks
- Thomas Reps20 talks
- Işıl Dillig21 talks
- Michel Steuwer17 talks
| title | conference | date |
|---|---|---|
| Polynomial-Time Program Equivalence for Machine Knitting | ICFP 2025 | 2025-10-12 |
An algorithm canonicalizes algebraic representations of knitting-program string diagrams into a normal form, reducing program equivalence to comparing those… | ||
| Exploring Self-Embedded Knitting Programs with Twine | FARM 2023 | 2023-09-08 |
Project designs a color-based language called twine language that encodes knitting instructions directly into fabric, using industrial knitting machines… | ||
| A Lineage-Based Referencing DSL for Computer-Aided Design | PLDI 2023 | 2023-06-17 |
Proposes a semantics that records fine‑grained element lineage and exposes it as first‑class queries so references remain stable across parameterized… | ||
| Rewrite Rule Inference Using Equality Saturation | OOPSLA 2021 | 2021-10-17 |
Describes a system called Ruler that uses equality saturation over e-graphs to infer rewrite rules automatically, implemented in Rust on the egg library… | ||
| nothing matches | ||