~/talks

Chuck Wolber

what they talk about

all 6 in the filters

where they keep going back

no series more than once — all 6 in the filters

on a stage with

who talks about the same things

titleconferencedate
Defining and maintaining requirements in the Linux...Linux Plumbers Conference 20252025-12-11
ELISA Architecture WG drafts a requirements template and applies it to the tracing subsystem, finding and fixing a redundant flag and documenting a non‑atomic…
Talk on
Adding Testable Code Specifications in the Linux Ke...Linux Plumbers Conference 20252025-12-11
Proposal creates a machine‑readable kernel-doc format for testable expectations that ties declared intent to tests and coverage via a checksum/hash linking so…
Talk on
Looking at Linux as a SEooCOpen Source Summit Europe 20252025-08-25
Linux is being treated as a safety element out of context with concrete steps: the kernel sees 9 changes per hour from ~4,700 unique contributors, so the…
Talk on
Documenting the Design of the Linux KernelOpen Source Summit North America 20252025-06-23
Proposes a machine‑readable requirement template that embeds stable ID/hash key comments in kernel source, auto-generates SPDX‑style IDs, and links each…
Talk on
The Limits of Safety Engineering and the Cinderblock ProblemSafety-Critical Software Summit @ Embedded Open Source Summit 20242024-04-16
Argues that safety engineering has hard limits: it proves positive requirements through hazard assessment, design mitigation and implementation assurance but…
Talk on
The Limits of Safety Engineering and the Cinderblock ProblemEmbedded Open Source Summit 20242024-04-16
Defines the Cinderblock Problem as attacks or unforeseeable misuse that force an unwinnable arms race if treated by safety methods; breaks safety into hazard…
Talk on
A Development Environment for DO-178C Level D Certified LinuxCritical Software Summit @ Open Source Summit North America 20232023-05-10
Uses Yocto/OpenEmbedded and BitBake to produce reproducible, source-built embedded Linux images that meet DO-178C DAL D objectives and enter revenue service…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.