Jonas Oberhauser
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
- Anton Podkopaevonce
- Diogo Behrensonce
- Egor Namakonovonce
all 14 in the filters
who talks about the same things
- Ori Lahav17 talks
- Will Deacon6 talks
- Tyler Sorensen12 talks
- Viktor Vafeiadis23 talks
- Anton Podkopaev5 talks
- Jana Machutová4 talks
| title | conference | date |
|---|---|---|
| More Science Fiction than Fairy Tale: A Discussion of the Linux Kernel Memory Mo... | LinuxCon Europe 2022 | 2022-09-13 |
Linux kernel concurrency uses a graph-based LKMM that encodes axioms, 5,000+ lit tests, and predicts real hardware/compiler reorderings; analysis of a Q… | ||
| BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling | USENIX ATC '22 | 2022-07-11 |
BBQ implements a block-based ringbuffer that splits the buffer into blocks so producers and consumers avoid enq‑deq contention when they operate on different… | ||
| Making Weak Memory Models Fair | OOPSLA 2021 | 2021-10-17 |
Proposes a uniform memory fairness condition for declarative weak memory models (requires porf-acyclicity) and proves it is equivalent to natural operational… | ||
| nothing matches | ||