Tamás Szabó
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 editions2018–2020
on a stage with
who talks about the same things
- Sebastian Erdweg13 talks
- André Pacak4 talks
- Ondřej Lhoták11 talks
- Idan Gazit15 talks
- Jan Vitek26 talks
- Işıl Dillig21 talks
| title | conference | date |
|---|---|---|
| Copilot Workspace - A reimagined developer inner loop with AI assistance at every step | Craft Conference 2024 | 2024-05-30 |
Copilot Workspace claims to turn a GitHub issue into a steerable spec, plan and code change using GPT‑4 and live codespace execution; it selects a repository… | ||
| Incremental Processing of Structured Data in Datalog | GPCE 2022 | 2022-12-06 |
Proposes a relational encoding that makes small edits to trees and lists produce small changes to Datalog inputs, claims up to 10,000x incremental speedups on… | ||
| A Systematic Approach to Deriving Incremental Type Checkers | OOPSLA 2020 | 2020-11-15 |
Provides a compiler from textbook-style typing rules to Datalog that yields an incremental type checker and a DSL for language specs, with a concrete encoding… | ||
| Incrementalizing Lattice-Based Program Analyses in Datalog | OOPSLA 2018 | 2018-11-07 |
Presents DRedL, an algorithm that incrementalizes recursive lattice-value aggregation in Datalog and integrates it into the IncA framework, enabling… | ||
| nothing matches | ||