Gernot Heiser

@[email protected]
303 Followers
4 Following
121 Posts
Physicist by training, computer engineer by passion.
Gernot Heiser FACM FIEEE FTSE FRSN ML is Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney. He is also the founding Chairman of the seL4 Foundation.
Gernot HeiserApr 27, 2025

Benchmarking Crimes Meet Formal Verification

There are multiple instances of authors comparing verification efforts of systems projects by looking at the ratio of proof to code size. I demonstrate why this is nonsense and constitutes a benchmarking crime.

http://microkerneldude.org/2025/04/27/benchmarking-crimes-meet-formal-verification/

Benchmarking Crimes Meet Formal Verification

There are multiple instances of authors comparing verification efforts of systems projects by looking at the ratio of proof to code size. I demonstrate why this is nonsense and constitutes a benchm…

microkerneldude
Gernot HeiserMar 2, 2025
Hello Fedoverse,
I joined here when Twitter was going feral in late'22, hoping for a new home.
Unfortunately, this doesn't seem to have taken off, I don't remember when I last saw anything technical in @discuss.systems. Maybe I'm using it incorrectly, but whatever it is, it doesn't seem to work for me.
So I've set up on Bluesky and will be posting there from now on: https://bsky.app/profile/microkerneldude.bsky.social
microkerneldude.bsky.social

Bluesky Social
Gernot HeiserJan 20, 2025
seL4Jan 20, 2025
German cybersecurity funding agency Cyberagentur joins the seL4 Foundation.
Announced that the launch of their ÖvIT program – ecosystem for verified IT – which funds two projects that advance seL4 and its ecosystem: One by Foundation members Kry10 and Proofcraft, the other (PISTIs-V) by Foundation member UNSW Sydney and parters.
https://sel4.systems/news/#member-cyberagentur
https://www.cyberagentur.de/presse/ein-meilenstein-fuer-it-sicherheit-in-deutschland/
News about seL4 and the seL4 Foundation | seL4

Gernot HeiserDec 19, 2024

A new version of application spam:

"Dear Professor Scientia Professor Gernot Heiser,

"I hope this email finds you well. My name is [Your Full Name], and I have recently completed my ...'

Gernot HeiserNov 8, 2024
seL4Nov 8, 2024
Presentation videos and slides from the seL4 #Summit are now available:
* videos on our YouTube channel: https://www.youtube.com/@seL4
* slides are linked from the Summit program: https://sel4.systems/Foundation/Summit/2024/program
Before you continue to YouTube

Gernot HeiserOct 17, 2024
"seL4 co-habitating the hardware" with untrustworthy firmware: Roman from ETH at the #seL4Summit about real-world hardware
Gernot HeiserOct 17, 2024
Rob from Trustworthy Systems at the #seL4Summit talks about TS verification work aiming for whole system security
Gernot HeiserOct 16, 2024
Incremental cyber retrofit at work: Nathan from DornerWorks talks at the #seL4Summit about running ROS on seL4
Gernot HeiserOct 16, 2024
Clearly, more students need to take UNSW's Advanced Operating Systems course!
Gernot HeiserOct 16, 2024
seL4Oct 16, 2024
Ning Qu from Foundation Premium Member NIO talks at the ##seL4Summit about their seL4-based SkyOS, which has been shipping in their latest models since last month