Gerwin Klein
@lsf37proves stuff about seL4, systems code, programming languages, security. Classical logician. Chief Scientist & Co-Founder at Proofcraft. @[email protected]
Similar User
@PeterOHearn12
@icfp_conference
@tobycmurray
@HerrDreyer
@poplconf
@rg9119
@jeremysiek
@BjornerNikolaj
@LeoLambro
@GhostofBendy
@c_rizkallah
@RanjitJhala
@MPLR_Conf
@confCAV
@GPCECONF
It's official, two of my colleagues and I have founded a new company in software verification: Proofcraft! proofcraft.systems
Shout-out to seL4, this years software award winner. Still a leader on the power and possibility of proved correct software!
Michael Norrish, @ANUmedia; Thomas Sewell, @Cambridge_Uni; Simon Winwood, @galois , receive the 2022 ACM Software System Award! Learn more about their award-winning research here: awards.acm.org/software-system
@GernotHeiser , @UNSW; Gerwin Klein, Proofcraft; @htuch314 , @Google; Kevin Elphinstone, @UNSW; June Andronick, Proofcraft; David Cock, @ETH_en; Philip Derrin, @Qualcomm; Dhammika Elkaduwe, @DVC_Peradeniya; Kai Engelhardt; @tobycmurray , @UniMelb; Rafal Kolanski, Proofcraft;
If you’re curious about formal methods & #seL4, this episode is a wonderful deep dive cum oral history. On a personal level it reminded me how much I miss working alongside @lsf37 every day, without whose mentorship I’d surely not have ended up in academia. Viva verified software
📢 One more episode is out! This time we talk with @lsf37 about the formally verified seL4 microkernel using Isabelle! We also talk about his PhD thesis on formally verifying a piece of the Java Virtual Machine. typetheoryforall.com/2023/02/04/27-… Available at your favorite podcast manager
JFlex 1.9.0 is out: jflex.de A little faster, all known bugs fixed, better warnings and new features. Enjoy!
📢 One more episode is out! This time we talk with @lsf37 about the formally verified seL4 microkernel using Isabelle! We also talk about his PhD thesis on formally verifying a piece of the Java Virtual Machine. typetheoryforall.com/2023/02/04/27-… Available at your favorite podcast manager
The videos from the seL4 Summit 2022 @seL4Foundation are now online😀. Check out Nils's @niwist talk on fence.t, a novel RISC-V instruction that clears the processor's microarchitectural state and thus any timing dependence on execution history. youtube.com/watch?v=tLcum9…
Some good news: We've had a paper accepted to FM'23 on our formalisation of the prevention of microarchitectural timing channels by operating systems (Joint work between @cis_unimelb, @UNSWCOMPUTING and Proofcraft w/ coauthors @buckdotly, @tobycmurray, @lsf37 and @GernotHeiser)
Ongoing work is with @tobycmurray (@cis_unimelb) collaborating with Scott Buckley, @GernotHeiser (@UNSWCOMPUTING), and @lsf37 (Proofcraft). Relevant prior publications: 🔖 Heiser et al '20 doi.org/10.1145/342147… '19 doi.org/10.1145/331755… 🔖 Ge et al '19 doi.org/10.1145/330242…
We're pleased to announce that all videos and presentation slides from the truly awesome #seL4 #Summit are now available to the community, see sel4.systems/news/2022#summ…
The Archive of Formal Proofs has now been updated for Isabelle 2022: isa-afp.org 3.6 million lines of proofs in 709 entries by 430 authors
Pleased to see that our member @Google has announced KataOS, a #security-focused #OperatingSystem, leveraging #Rust & #seL4 microkernel phoronix.com/news/Google-Ka…
The #seL4 #Summit is over. It was an awesome event. And it was fantastic to once again work closely with the incredible June Andronick, like in the old days. Thanks all who participated! @seL4Foundation
Day 4 of the #seL4 #Summit is the Boot camp: learning to build and use CAmkES, TRENTOS, seL4 Core Platform
Darren Cofer from @CollinsAero reports on the @DARPA #Cyber Assured Systems Engineering (#CASE) program #seL4 #Summit
United States Trends
- 1. #JusticeforDogs N/A
- 2. $CUTO 9.182 posts
- 3. ICBM 187 B posts
- 4. $EFR 2.250 posts
- 5. The ICC 245 B posts
- 6. Netanyahu 523 B posts
- 7. Denver 32,8 B posts
- 8. Jussie Smollett 6.197 posts
- 9. Illinois Supreme Court 6.498 posts
- 10. #KashOnly 40,5 B posts
- 11. #AcousticGuitarCollection 2.304 posts
- 12. Dearborn 6.489 posts
- 13. DeFi 128 B posts
- 14. #ATSD 10,4 B posts
- 15. #AtinySelcaDay 10 B posts
- 16. chenle 127 B posts
- 17. Volvo 5.645 posts
- 18. Katie Couric 2.392 posts
- 19. Flat 52,5 B posts
- 20. Bezos 39,7 B posts
Who to follow
-
Peter O'Hearn
@PeterOHearn12 -
ICFP Conference
@icfp_conference -
Toby Murray
@tobycmurray -
Derek Dreyer
@HerrDreyer -
POPL 2025
@poplconf -
Ron Garcia
@rg9119 -
Jeremy Siek
@jeremysiek -
Nikolaj Bjorner
@BjornerNikolaj -
Leo Lampropoulos
@LeoLambro -
Ben Delaware
@GhostofBendy -
Christine Rizkallah
@c_rizkallah -
Ranjit Jhala
@RanjitJhala -
MPLR
@MPLR_Conf -
CAV
@confCAV -
GPCE
@GPCECONF
Something went wrong.
Something went wrong.