John Bender
where else to find them
what they talk about
all 8 in the filters
where they keep going back
no series more than once — all 6 in the filters
on a stage with
- Blake C. Rawlingsonce
- Geoffrey C. Huletteonce
- Jon M. Aytaconce
all 7 in the filters
who talks about the same things
- Steven Syrek5 talks
- John-David Dalton8 talks
- Angus Croll5 talks
- Jared Wyles5 talks
- Bartosz Milewski10 talks
- Jonathan Martin8 talks
| title | conference | date |
|---|---|---|
| Correct Compilation of Concurrent C Code | JENSFEST 2024 | 2024-10-22 |
Claims a way to lift CompCert’s single‑thread forward‑proofs to multithreaded C by parameterizing the single‑thread semantics with nondeterministic choices… | ||
| Q: A Sound Verification Framework for Statecharts and Their Implementations | FTSCS 2022 | 2022-12-07 |
The Q Framework compiles Stateflow-style statecharts into SMV and generates ACSL contracts for a constrained C subset, proving a refinement relation between… | ||
| Faster JavaScript with Category Theory | JSConf EU 2012 | 2012-10-06 |
Claims that category theory yields concrete wins: mapping raw HTML-element functions into jQuery methods gives loop fusion, turning two jQuery loops into one… | ||
| Faster jQuery With Category Theory | jQuery Conference 2012 San Francisco | 2012-06-28 |
Shows that exposing the DOM-manipulating core of jQuery methods and composing them into a single pass reduces loops and gives measurable wins — roughly 5–10%… | ||
| Progressive Enhancement on the Mobile Web | RailsConf 2012 | 2012-04-23 |
Progressive Enhancement isn't important on the mobile web because it's all Webkit right? Not so fast. Even among Webkit implementations events, css, and… | ||
| Rack Middleware as a General Purpose Abstraction | LA RubyConf 2012 | 2012-02-02 |
Argues that Rack middleware can be a general-purpose object-composition primitive: move large methods into small classes with a call(env) convention, extract… | ||
| nothing matches | ||