AST Lab ETH Zurich (@ast

AST Lab ETH Zurich
@ast_eth
Oct 23, 2025
Congratulations to Vu Le, @Chengnian& @zhendongsu on receiving the Most Influential OOPSLA Paper Award at #SPLASH2025 for their OOPSLA'15 paper "Finding Deep Compiler Bugs via Guided Stochastic Program Mutation"! 📽️Award presentation: youtube.com/watch?v=zoE2w2… @CSatETH @splashcon
AST Lab ETH Zurich
@ast_eth
Oct 23, 2025
Congratulations to @ha0_sun & @zhendongsu on receiving the Best Paper Award at #SOSP2025 for "Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement". This work also received an award from @EbpfFoundation🏆. Congratulations! @CSatETH @ACMSIGOPS
AST Lab ETH Zurich
@ast_eth
Sep 2, 2024
Congratulations to @ha0_sun & @zhendong on their #eBPF award "Lazy Abstraction Refinement with Proof for an Enhanced Verifier" w/ the goal of integration into the upstream & extending the adoption of eBPF. Thanks to #eBPF. We'll share our early results @linuxplumbers! @CSatETH
This Post is from an account that no longer exists. Learn more
AST Lab ETH Zurich
@ast_eth
Jul 11, 2024
Congratulations to our team members @shao_hua_li, @theodortheod & @zhendongsu on their Distinguished Artifact Award at #PLDI2024 for their work "Boosting Compiler Testing by Injecting Real-world Code". Well deserved! Paper: shao-hua-li.github.io/assets/pdf/202… Code: github.com/UniCodeSphere/…
2
AST Lab ETH Zurich
@ast_eth
Jul 11, 2024
Join us tomorrow for a Future of Software seminar with Andrew Reynolds on "Proofs in cvc5: New Directions with AletheLF". The talk will be online at 13:15 CEST: ethz.zoom.us/j/68935432363 Talk details: ast.ethz.ch/future-of-soft… @DominikWinterer @zhendongsu @CSatETH
1