Yuriy Brun
where else to find them
website:http://www.cs.umass.edu/~brun/
github:brunyuriy
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Arjun Guha2×
- Donald Pinckneyonce
- Emily Firstonce
who talks about the same things
- Donald Pinckney3 talks
- Arjun Guha10 talks
- Armando Solar-Lezama18 talks
- Konstantinos Kallas11 talks
- Abhinav Jangda7 talks
- Eric Koskinen13 talks
| title | conference | date |
|---|---|---|
| Wasm/k: Delimited Continuations for WebAssembly | DLS 2020 | 2020-11-17 |
Adds Wasm/k, a small WebAssembly extension that implements delimited continuations with five new ops (control, restore, continuation_copy, continuation_delete… | ||
| TacTok: Semantics-Aware Proof Synthesis | OOPSLA 2020 | 2020-11-15 |
Automatic proof synthesis that combines both goal semantics and prior scripts, not just one or the other. TacTok models proof state and proof script together… | ||
| nothing matches | ||