Rose Bohrer
where else to find them
what they talk about
all 7 in the filters
where they keep going back
- FARM2 editions2023–2026
all 5 in the filters
on a stage with
all 26 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation | FARM 2026 | 2026-08-24 |
CounterChoice is a client-side React web app that takes a user-drawn cantus firmus and uses the finite-choice logic language Dusa to generate first‑species… | ||
| Centering Humans in the Programming Languages Classroom: Building a Text for ... | SPLASH-E 2023 | 2023-10-25 |
Open-access 20-chapter, ~100k-word (~600-page) textbook pairs PL foundations with HCI, gender and disability studies and targets undergrad/masters electives… | ||
| Analyzing Trans (Mis)Representation in Video Games to Remediate Gender Dysphoria Triggers | CHI PLAY 2023 | 2023-10-10 |
The study analyzes four popular games drawn from a 31‑game corpus and defines gender dysphoria triggers as design failures that produce dysphoric distress… | ||
| Homotopy Type Theory for Sewn Quilts | FARM 2023 | 2023-09-08 |
A new imperative language called PieceWork models quilts as shapes built from edges, implements three core operations—mark, cut, sew—and ships a prototype plus… | ||
| Mental Health Mentoring for PL Students | PLMW @ ICFP 2023 | 2023-09-04 |
Shows concrete claims and tools: cites 50%+ of PhD students meeting diagnostic criteria and up to 20% undergrads self‑harm during COVID, uses the… | ||
| Power, Energy and Analysis | EMSOFT 2022 | 2022-10-07 |
CapOS detects gradual capacitor degradation, switches from just-in-time checkpointing to a timer-based rollback recovery and reports about 60% higher… | ||
| nothing matches | ||