Bruce Collie
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Modeling Black-Box Components with Probabilistic Synthesis | GPCE 2020 | 2020-11-16 |
Presyn builds executable models of opaque library functions by composing a library of 11 fragment families, scoring fragments with a probabilistic fragment… | ||
| Retrofitting Symbolic Holes to LLVM IR | TyDe 2020 | 2020-08-23 |
Implements untyped symbolic holes inside LLVM IR by encoding holes as calls to uninterpreted functions and introducing an unknown-type marker whole.t, plus… | ||
| nothing matches | ||