James Parker
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Niki Vazou2×
- Brian Baglowonce
- Bruce Slateronce
all 11 in the filters
who talks about the same things
- Andy Touch22 talks
- Oscar Clark45 talks
- Tony Albrecht6 talks
- Simon Iwaniszak3 talks
- DAVE BRADLEY18 talks
- Jake Parker5 talks
| title | conference | date |
|---|---|---|
| ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification | PLDI 2022 | 2022-06-13 |
ANOSY verifies attacker-knowledge approximations and synthesizes posterior-update functions using refinement types, then checks them with Liquid Haskell and an… | ||
| Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell | OOPSLA 2020 | 2020-11-15 |
Extension to Liquid Haskell adds refined typeclasses in Liquid Haskell so class laws become checkable at Core; the implementation verifies laws for 34… | ||
| Why game hubs matter | Pocket Gamer Connects London 2016 | 2016-01-18 |
Local game hubs like Bristol Games Hub, Scottish Games Network, Games Bridge and Northern Ireland Screen create shared workspace and run regular meetups that… | ||
| nothing matches | ||