Stephen Chong
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2020–2024
all 5 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Aaron Bembenek4 talks
- Michael Greenberg14 talks
- Loris D'Antoni17 talks
- Thomas Reps20 talks
- Sarah E. Chasins11 talks
- Armando Solar-Lezama18 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| Care and Feeding of Advisors | PLMW @ POPL 2023 | 2023-01-17 |
Covers concrete signs to pick or switch advisors: check tenure clock and recent papers, ask current and former students about graduation times and placements… | ||
| 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… | ||
| Fast Incremental PEG Parsing | SLE 2021 | 2021-10-17 |
Presents an incremental PEG parser implementation called GPeg with a syntax-highlighting library Flare and a prototype editor, claiming typical reparses are… | ||
| Assuage: Assembly Synthesis Using A Guided Exploration | UIST 2021 | 2021-10-10 |
Assuage is a parallel interactive assembly synthesizer built on CEGIS that lets users run multiple guided searches as parallel synthesis instances with… | ||
| 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 | ||