~/talk

AI-Assisted Programming Today and Tomorrow

Talkat PLDI 2024 · 2024-06-24..06-28· [ai-assisted-development]
slides:none on file

Recent studies find GitHub Copilot has over 1M paid users and generates roughly 30–40% of active users’ code; a grounded study of 20 programmers identifies two modes, acceleration and exploration, with novices exploring more. A live‑programming tool, LEAP, runs previews of up to five LLM suggestions; a 17‑participant study shows LEAP eliminates six misjudgments seen in the control (terminal execution) group, shifts validation from reading to execution, and lowers cognitive load for execution‑friendly tasks.

AI-written summary · about

  1. 0:00Introduction
  2. 0:48AI-assisted programming overview
  3. 3:42Grounded Copilot study
  4. 17:09Productivity research
  5. 26:40Pain points in validation
  6. 30:15Live demo: Leap tool
  7. 35:14Leap evaluation results
  8. 39:31Ivy for code explanations
  9. 41:58Visualizing AI suggestions
  10. 47:16Open questions in PL research
  11. 51:12Closing remarks
  12. 51:33Q&A
~/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.