~/talk

PL and HCI: Better Together

Talkat SPLASH 2020 REBASE · 2020-11-16..11-23· [ux-and-product-design]
links:none on file
slides:none on file

Argues that pairing PL tools with HCI design reduces user effort and ambiguity, and demonstrates it by extending an off‑the‑shelf regex synthesizer (Rego) with semantic augmentation (light annotations on examples) and data augmentation (auto‑generated familiar and corner examples via DFA enumeration). A within‑subject study with 12 CS participants shows the augmented interface lets all 12 finish (3.3 iterations average) versus 4 finishing with baseline; a 20‑question StackOverflow check averages 5.4 iterations (~5 minutes).

AI-written summary · about

  1. 0:00Start
  2. 1:23Outline
  3. 8:58Design Argument
  4. 9:18Interface Affording New Interactions
  5. 16:13System Interface Design
  6. 16:58Evaluation of New Interactions
  7. 29:11Identifying and Addressing Riskiest RO
  8. 32:15Spiral (Iterative) Design
  9. 33:52Promising Research Directions Composed with Sarah Chasins (UC Berkeley) and Josh Sunshine CMU
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.