Joshua Sunshine
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 12 in the filters
who talks about the same things
- Jonathan Aldrich17 talks
- Cameron Wong3 talks
- Johannes Bader4 talks
- Michael Coblenz7 talks
- Éric Tanter12 talks
- Alexander J. Summers13 talks
| title | conference | date |
|---|---|---|
| reCode: A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example | UIST 2021 | 2021-10-10 |
reCode is a Visual Studio Code extension that turns a simple search into a demonstrated, synthesized transformation: type a short search like bind or expect… | ||
| Gradual Verification of Recursive Heap Data Structures | OOPSLA 2020 | 2020-11-15 |
Practical system that extends a base static verifier with gradual formulas and optimistic strengthening, inserting runtime checks when a missing spec was… | ||
| An Empirical Study of Ownership, Assets, and Typestate in Obsidian | OOPSLA 2020 | 2020-11-15 |
A new language, Obsidian, implements typestate and linearity to track ownership and prevent asset loss; authors run a randomized controlled trial with 20… | ||
| nothing matches | ||