Hillel Wayne
where else to find them
what they talk about
all 8 in the filters
where they keep going back
- GOTO Chicago2 editions2019–2023
all 8 in the filters
on a stage with
never shared a talk
who talks about the same things
- Chelsea Troy9 talks
- Tom Cools16 talks
- Chris Simon18 talks
- Attila Fekete4 talks
- Martin Thompson20 talks
- Vladik Khononov18 talks
| title | conference | date |
|---|---|---|
| Are We Really Engineers? | SREcon24 Europe/Middle East/Africa | 2024-10-29 |
Interviews with 17 crossovers (12 hours total) probe whether software counts as engineering and report 15 of 17 say yes, with nuance: software’s key… | ||
| Is Software Engineering Real Engineering? | YOW! Perth 2023 | 2023-09-11 |
Interviews with 17 engineers across six disciplines and 12 recorded hours produce a concrete claim: software counts as engineering — 15 of 17 crossover… | ||
| Is Software Engineering Real Engineering? | GOTO Chicago 2023 | 2023-05-22 |
Interviews total 12 hours with 17 crossovers across six engineering disciplines and 15 of 17 answer yes: software counts as engineering. Findings: software and… | ||
| Designing distributed systems with TLA+ | Hydra 2020 | 2020-07-06 |
A practical design walkthrough models an asynchronous upload→worker pipeline in TLA+ (using PlusCal) and exhaustively checks behaviors with the TLC model… | ||
| Intro to Empirical Software Engineering: What We Know We Don't Know | GOTO Chicago 2019 | 2019-04-29 |
Empirical work tests common claims with data: a controlled study of identifier names (≈100 participants) finds abbreviations are not harder to debug… | ||
| Designing Distributed Systems with TLA+ | Øredev 2018 | 2018-11-19 |
TLA+ is a specification language plus a model checker that finds deep concurrency bugs before code lands: a queued-worker ETL model surfaces an ambiguous… | ||
| Everything about distributed systems is terrible | Code Mesh LDN 2018 | 2018-11-08 |
Models an upload → queue → worker pipeline with a perfect exactly-once queue, then relaxes assumptions and adds a second worker, using a TLA+ model checker to… | ||
| Beyond Unit Tests: Taking Your Testing to the Next Level | PyCon 2018 | 2018-05-11 |
Uses property-based testing with Hypothesis to generate hundreds of inputs (and shrink failing cases) and uses dpcontracts runtime pre/postconditions to make… | ||
| Tackling Concurrency Bugs with TLA+ | Strange Loop 2017 | 2017-09-28 |
Specifies a bank transfer system with math not code, models it in TLA+ (PlusCal for authoring) and runs the TLC checker from the TLA+ Toolbox to exhaustively… | ||
| nothing matches | ||