~/talk

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database(…)

Talkat PLDI 2024 · 2024-06-24..06-28· [databases]
links:none on file
links:none on file
links:none on file
links:none on file
links:none on file
links:none on file
links:none on file
links:none on file
slides:none on file

GenSQL is a SQL extension that runs Bayesian queries over generative table models, provides a unified model API (supports PPLs, GLMs, CTGAN, and a crosscat-like structural learning backend), and proves soundness with a typed denotational semantics. It powers clinical-trial anomaly detection and wet-lab conditional synthetic data, delivers 1.7–6.8× speedup versus a specialist DB and shows only 1.1–1.7× overhead versus hand-written code, and supports structural program synthesis to auto-learn usable generative models.

AI-written summary · about

  1. 0:00GenSQL introduction
  2. 1:48System overview
  3. 3:36Language constructs
  4. 7:53Query processor workflow
  5. 10:43Generative model sources
  6. 12:09Case studies: biology & medicine
  7. 14:14Performance benchmarks
  8. 16:20Formal semantics
  9. 18:48Future directions
~/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.