~/talk

Language-Parametric Reference Synthesis

on YouTube 15m
Talkat OOPSLA 2025 · 2025-10-16..10-18· [compilers-and-language-design, developer-experience]

speakers

name:Daniel A. A. Pelsmaeker
links:none on file
name:Aron Zwaan
links:none on file
name:Casper Bach
links:none on file
name:Arjan J. Mooij
links:none on file

resources

video:https://youtu.be/5joB1gy_0cU
slides:none on file

summary

Automated refactoring preserves original declaration targets by replacing references with locked references during transformation and synthesizing concrete syntax that resolves to the same declaration. The method derives inverse name-lookup from static semantics written in the Statix meta-DSL, uses scope graphs and an expanded constraint solver to explore alternatives, and evaluates on 2528 Java, 196 ChocoPy and 49 Featherweight Generic Java tests with artifacts reproduced and most holes solved within one second.

AI-written summary · about

chapters (9)

  1. 0:00Introduction
  2. 1:44Problem solved
  3. 3:52Language-parametric approach
  4. 5:37Static semantic spec
  5. 7:21Constraint solver expansion
  6. 10:15Query constraint resolution
  7. 12:03Qualifier expansion
  8. 13:49Synthesis result
  9. 14:53Evaluation results

related talks

~/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.