Nathaniel Sands
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates | OOPSLA 2023 | 2023-10-23 |
Mobius presents a concrete pipeline: seed a non‑recursive synthesizer, normalize the result, and perform iterative predicate unification guided by data… | ||
| Sporq: An Interactive Environment for Exploring Code Using Query-by-Example | UIST 2021 | 2021-10-10 |
Sporq is an interactive VS Code extension that converts a codebase with CodeQL into relational program representations, synthesizes Datalog queries from… | ||
| nothing matches | ||