John Hughes
where else to find them
x:rjmh
what they talk about
all 9 in the filters
where they keep going back
- Lambda Days2 editions2016–2017
all 7 in the filters
on a stage with
- Mary Sheeran2×
- Benjamin Attalonce
- Haoming Laionce
all 8 in the filters
who talks about the same things
- Kevlin Henney95 talks
- Mary Sheeran6 talks
- Venkat Subramaniam243 talks
- Adam McCullough6 talks
- Eric Normand9 talks
- Scott Wlaschin25 talks
| title | conference | date |
|---|---|---|
| Something good is always possible: testing smart contracts with QuickCheck | Craft Conference 2021 | 2021-06-02 |
A QuickCheck-based framework for Cardano Plutus contracts generates random sequences of wallet actions, models contract state, and shrinks failing runs; it… | ||
| How to specify it! A guide to writing properties of pure functions | Code Mesh LDN 2019 | 2019-11-07 |
Five concrete strategies for pure functions: test invariants on generated trees, write postconditions for each operation, use metamorphic testing (change… | ||
| Portal-ble: Intuitive Free-hand Manipulation in Unbounded Smartphone-based Augmented Reality | UIST 2019 | 2019-10-20 |
A portable smartphone system called Portal-ble prototype uses a Leap Motion + Intel stick feeding hand poses into Unity/ARCore, implements gesture recognition… | ||
| Unaccustomed As I Am to Public Speaking | SPLASH 2019 PLMW | 2019-10-20 |
Randomized property testing with QuickCheck generates concrete counterexamples and actually finds real bugs: a CAN bus priority-inversion that chose the wrong… | ||
| Lambda Days 2017 | Lambda Days 2017 | 2017-02-09 |
Names a 30‑year‑old paper Why Functional Programming Matters (retrospective) and restates specific classic results alongside a handful of papers that shaped… | ||
| Keynote: Why Functional Programming Matters | Lambda Days 2017 | 2017-02-09 |
A clear inventory of concrete claims and outcomes: Church encodings and lazy evaluation enable whole-value designs; a DARPA comparison yields 85 lines of… | ||
| The Mysteries of Dropbox | Lambda Days 2016 | 2016-02-25 |
Uses QuickCheck shrinking to generate minimal failing sequences against multiple Dropbox clients running in VirtualBox VMs on one laptop and models behavior… | ||
| Keynote: Why Functional Programming Matters | Code Mesh 2015 | 2015-11-03 |
Claims that functions can replace booleans and integers via Church encodings, that lazy infinite lists let producers supply whole values on demand for… | ||
| Testing the Hard Stuff and Staying Sane | Clojure/West 2014 | 2014-03-24 |
Randomized QuickCheck specs drive millions of generated call sequences against real C and Erlang (Adlang) code, then apply shrinking to produce tiny failing… | ||
| nothing matches | ||