~/talk

Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code(…)

links:none on file
links:none on file
links:none on file
links:none on file
slides:none on file

Uses a compiler-guided LLM pipeline that applies reductive analysis over the call graph, one function at a time, with prompt templates and a map-reduce token strategy to find seminal behaviors and map them to inputs; it auto-generates an XGBoost extractor snippet to extract features at runtime. Claims a 44× speedup with remote LLMs (9.6 hours → 13 minutes) and 450× with local LLMs (→77 seconds), 92.6% accuracy for adaptive OpenMP decisions, and 20–30% serverless speedup while cutting resource use 50–60%.

AI-written summary · about

  1. 0:00Introduction
  2. 0:27Input-adaptive optimization
  3. 1:54Input characterization challenges
  4. 3:22Limitations of prior approaches
  5. 4:47LLMs and compilers for input features
  6. 6:36RCL code analyzer overview
  7. 7:39Call graph analysis
  8. 9:51Handling recurrence
  9. 11:57Extraction models for input features
  10. 13:01Experimental results
  11. 15:11Conclusion and future work
  12. 16:00Q&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.