Peter J. Stuckey
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 3 in the filters
on a stage with
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT(…) | PLDI 2024 | 2024-06-24 |
SuperStack implements a stack-bytecode superoptimizer that combines a greedy bound-refinement that cuts search bounds (example reduced 13→10), a MaxSAT-based… | ||
| Disjunctive Interval Analysis | SAS 2021 | 2021-10-17 |
Proposes range decision diagrams (RDDs) as a compact Boxes implementation that avoids constraint substitution and no dependence on a theory solver, and that… | ||
| Interactive Haskell Type Inference Exploration (Extended Abstract) | TyDe 2021 | 2021-08-22 |
Chameleon revives a 2000s constraint-based Haskell debugger, updated in 2020 with modern libraries, language standard changes and a rewritten… | ||
| nothing matches | ||