Aaron Bembenek
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2020–2024
on a stage with
who talks about the same things
- Stephen Chong6 talks
- Michael Greenberg14 talks
- Armando Solar-Lezama18 talks
- Thomas Reps20 talks
- Sharon Shoham13 talks
- Işıl Dillig21 talks
| title | conference | date |
|---|---|---|
| Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc—and We Can Do Better | LMPL 2025 | 2025-10-12 |
Proposes a Neurosymbolic Transition System that pairs a standard small-step transition system (states, nondeterministic steps) with a domain of intuition and… | ||
| Making Formulog Fast: An Argument for Unconventional Datalog Evaluation | OOPSLA 2024 | 2024-10-20 |
Compiles Formulog to Soufflé and replaces semi-naive batching with eager evaluation, a concurrent work stealing DFS that specializes rules on novel facts and… | ||
| From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Se... | POPL 2023 | 2023-01-15 |
Presents a progression of four solver implementations — prosynth, monosynth, loopsynth, and ASPsynth — that move from CEGIS with provenance to a custom… | ||
| Formulog: Datalog for SMT-Based Static Analysis | OOPSLA 2020 | 2020-11-15 |
Formulog is a DSL that combines Datalog, an ML-like term fragment, and SMT solving and a prototype runtime implements it. The authors implement three analyses… | ||
| nothing matches | ||