60 Minute Session

60 Minute Session

Proposals for this sessiontype

* A Formal Model of Linux-Kernel Memory Ordering

Review, explore, and critique a draft formal model of Linux-kernel memory ordering. (slides)
Kernel Summit Track 10/29/2016
Paul McKenney

* Complex Dependencies Part I

Complex Linux kernel dependencies part 1
Kernel Summit Track 10/31/2016
Luis Rodriguez

* Complex Dependencies Part II

Complex Linux kernel dependencies Part II
Kernel Summit Track 10/31/2016
Luis Rodriguez

* Container / cgroup v2 API

To resolve disagreements over the cgroup v2 API semantics
Kernel Summit Track 11/01/2016
Theodore Ts'o

* DMA Engines

DMA Engines
Kernel Summit Track 11/02/2016
Theodore Ts'o

* Fixing kconfig semantics

Linux kconfig semantics are loose and this creates issues, lets review them and fix them
Kernel Summit Track 11/02/2016
Luis Rodriguez

* Formal specification for describing userspace API's

Formal specification for describing userspace API's
Kernel Summit Track 11/03/2016
Sasha Levin

* Formal specification for userspace API

Formal specification for userspace API
Kernel Summit Track 11/03/2016
Sasha Levin

* Printk improvements

Printk improvements
Kernel Summit Track 11/01/2016
Theodore Ts'o

* Rerun: A Formal Model of Linux-Kernel Memory Ordering

Review, explore, and critique a draft formal model of Linux-kernel memory ordering. (slides)
Kernel Summit Track 11/04/2016
Paul McKenney

* VM Brainstorming

VM Brainstorming
Kernel Summit Track 11/01/2016
Theodore Ts'o