June Andronick
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| The seL4 verification: the art and craft of proof and the reality of commercial s | CPP 2022 | 2022-01-17 |
A formally verified seL4 microkernel exists end-to-end: a C implementation of roughly 500 functions (10–15k LOC originally) is proved correct against an… | ||
| The seL4 Foundation | FOSDEM 2021 | 2021-02-06 |
what it is and why you should get involved
The seL4 Foundation was created in April 2020 as a Project of the Linux Foundation. Its aim is to provide an open… | ||
| nothing matches | ||