AST Lab ETH Zurich

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

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

Our paper “Best of Both Worlds: Effective Foreign Bridge Identification in V8 Embedders for Security Analysis”, co-authored with @grgalex42 , @zhendongsu , and @d1m1tr0 , has been accepted at the IEEE Symposium on Security and Privacy 2026 @IEEESSP !

Super excited to share that I will be joining The University of Manchester (@OfficialUoM) as a Lecturer (Assistant Professor) in Cyber Security! The Systems and Software Security group at Manchester is already incredibly impressive, and I’m honored to help further strengthen it.

I am pleased to share that I have started a new position as a Lecturer (equivalent to an Assistant Professor in the US) at @lborouniversity. Thanks to @zhendongsu and all my colleagues and friends at @ast_eth and beyond. Your support has meant a lot. I will be working on trustworthy automated reasoning and its applications to software reliability. Feel free to reach out if you are interested in PhD opportunities, visiting, or collaboration.

(pic1&2) 😭Sad to leave @ast_eth. It was an incredible experience to work with @zhendongsu, who is more than a perfect advisor but a friend, visioner, and lifelong role model 🥹 (pic 3) I have joined the Chinese University of Hong Kong as a tenure-track assistant professor

📕 Solidifying Modern SMT Solvers tinyurl.com/5n84397p

🚀🔍🧑‍🏫 I am on the academic job market! My research focuses on advancing Formal Methods, Programming Languages, and Software Engineering. Website: wintered.github.io Research Statement: wintered.github.io/rs.pdf

If you are attending OOPSLA '24, come to my talk tomorrow at 3:10 pm in the "Program Synthesis and Verification 2" session. #program" target="_blank" rel="nofollow noopener">2024.splashcon.org/track/splash-2… #SPLASH2024

Thanks a lot to all the members of the NUST TEST lab who have been driving the open-source and open-science nature of our work on making data-centric systems more reliable as well as to my past and current mentors, collaborators, and supporters!

Zu-Ming Jiang (jzuming.github.io) is a final year PhD student @CSatETH, working with Professor @zhendongsu. He will be on the academic job market. If you are looking for strong candidates on software reliability especially testing and bug finding, Zu-Ming is a top choice!

Zu-Ming Jiang (jzuming.github.io) from @CSatETH discussed how to realize reliable and secure software foundation @IllinoisCDS Systems Research Seminar. His work @ast_eth like TxCheck and EET has found hundreds of serious bugs in mature databases like MySQL, PostgreSQL, etc. Brilliant work!

🔍 I am on the job market, seeking opportunities in software engineering, programming languages, and formal methods. If you are interested in chatting about my work or potential roles, let’s catch up at the conference or send me a message! 🤝 #SPLASH24

🚀 Just touched down in Pasadena for #SPLASH24! Excited to present our work on generating effective test inputs from SMT formulas and getting oracles "for free" using SMT solvers. Catch our talk this Friday at OOPSLA! 🗓️📍 📄 Check out our paper: dl.acm.org/doi/10.1145/36…

🚀 Excited to introduce our OOPSLA '24 work on ET, a powerful tool for bounded validation of SMT solvers, which has uncovered 100+ correctness and performance bugs 🪳, while ensuring the absence of simple bugs in the solvers. Preprint: shorturl.at/opk6z #SPLASH2024 #SPLASH24📖

@CSatETH (@ETH_en) is hiring a tenure-track assistant professor in Theory B: Logic, SMT/SAT, decision procedures, theorem proving, semantics, type systems, etc.; please apply by 15 January 2025! More info at: ethz.ch/en/the-eth-zur…

Congrats, @DominikWinterer 🥂 What an incredible, high-impact body of work you've done, and what a fun and rewarding journey together! Looking forward to what is awaiting you; good luck!!! @ast_eth

Ph.D. thesis defended! Looking back on 5 incredible years of passionate research and fun in the @astlab @ETH

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

In our upcoming OOPSLA'24 paper (w/ @gdrosos_, @grgalex42, @d1m1tr0, and @zhendongsu) we systematically investigate bugs found in Infrastructure as Code (IaC) programs within popular ecosystems (e.g., Ansible, Puppet). Preprint: theosotr.github.io/assets/pdf/oop…