🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

curl 8.4.0 is here. daniel.haxx.se/blog/2023/10/1…

The Acto team is ready for their SOSP Conference presentation! Tyler(Jiawei) Gu practiced the talk at splash Systems Reading group. Acto is a "push-button" e2e testing tool for #Kubernetes operators. It has found 50+ bugs in many #K8s #Operators. Checkout: tianyin.github.io/pub/acto.pdf

And, THANK YOU for mentioning #Sieve and #Acto, and the research on #Kubernetes controller correctness and fault tolerance many students have been doing at @IllinoisCS. What an honor and we can't appreciate it more!

@jaffray.bsky.social And then there is UW-Madison, who have been breaking most databases (including MySQL, Postgres, SQLite), consensus protocols (Raft) and file systems (most of them) for some time now. For example, a single disk sector LSE in a single replica machine can lead to global cluster

What a winter, huh? discourse.llvm.org/t/cant-access-…

maskray.me/blog/2024-01-2… Modified condition/decision coverage (MC/DC) and compiler implementations

Linus has a preference towards sample PGO: lore.kernel.org/lkml/CAHk-=whq…

Excited to announce I'll be speaking at #KubeCon in Paris! Join me as I present our progress on transitioning Acto from academic research to open-source. Acto, a push-button E2E testing tool for Kubernetes operators, has uncovered hundreds of bugs in popular operators on Github:

Safety-Critical Software Summit --> Andrew Oppelt shares an example output for code coverage requirements of RTCA DO-178C and how The Boeing Company plans to meet them using the #opensource LLVM coverage tools to measure the #Linux kernel. @ProjectELISA #SafetyCritical #embedded

Wentao Zhang (♨️ Wentao Zhang) splash and Steve Vanderleest (Steve VanderLeest) at The Boeing Company have been doing cool work on building testing infra for measuring advanced adequacy metrics like MC/DC for certifying Linux for aviation. They'll share their progress at the ELISA Project seminar.

Very excited to present our work with Steve (Steve VanderLeest) on enabling fine-grained kernel coverage measurement. Check the link and join us on Wednesday!

This is your last chance! Register for this #ELISASeminar on May 22 - even if you can't make it live - you'll get the recording if you register. hubs.la/Q02xR3Y80 @projectELISA The Boeing Company Steve VanderLeest ♨️ Wentao Zhang #ELISAProject #opensource #aerospace #linux #linukernel #safety

.The Boeing Company's Steve VanderLeest & ♨️ Wentao Zhang presented an #ELISASeminar focused on their experience in measuring the #Linux kernel’s code coverage, with an emphasis on MC/DC. Watch the video here: hubs.la/Q02ySBTv0 @ProjectELISA #opensource #linuxkernel #ELISAProject

I'm thrilled to announce that our OSDI'24 paper "Anvil: Verifying Liveness of Cluster Management Controllers" gets the Jay Lepreau Best Paper Award. Congratulations to my teammates and thanks for the recognition. I will present it in today's "Formal Verification" session. (1/6)

Xudong Sun (Xudong Sun) from @IllinoisCS gave a great talk for his work on building formally verified cluster management (like #Kubernetes) controllers towards provably correct cloud infra. The paper receives a Jay Lepreau best paper at #OSDI and is at usenix.org/conference/osd…

Delighted to share our work on kernel test adequacy! Find our great team in the virtual and physical room and chat with us 👇

Don’t miss Making Linux Fly: Towards a Certified Linux Kernel on September 19th at 10:45 AM CEST at the @Linuxplumbers conference. Featuring @Elisaproject Member: Wentao Zhang. Learn more: hubs.la/Q02Q632L0 #Kerneltesting @Linuxfoundation

Great talk by ♨️ Wentao Zhang with a cool demo (Wentao is known for enjoying giving live demos). ♨️ Wentao Zhang will also present at the Safe Systems with Linux MC to discuss his patch to enable Source-based Code Coverage for Linux, lpc.events/event/18/contr…

Our undergraduate student Tingxu Ren did his first-ever conference talk at #LinuxPlumbers, presenting his summer internship project at @IllinoisCDS on measuring and analyzing test coverage of Linux kernel, lpc.events/event/18/contr…

Had a fantastic virtual tour at #LinuxPlumbers. Thanks to my collaborators, LPC organizers and the amazing audience, who have sparked some great discussions! Be sure to bookmark this page where you can revisit our talks and expect our follow-up work: github.com/xlab-uiuc/linu…