AST Lab ETH Zurich

Advanced Software Technologies (AST) Lab at ETH Zurich, Switzerland (@zhendongsu)

[AST Lab ETH Zurich @ast_eth]

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: https://t.co/zanFafAe1i
@CSatETH @splashcon

[AST Lab ETH Zurich @ast_eth]

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

[Thodoris Sotiropoulos @theosotir]

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 !

[Dominik Winterer @DominikWinterer]

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.

[Chengyu Zhang @chengyuzh]

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.

[Shaohua Li @shao_hua_li]

(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

[Dominik Winterer @DominikWinterer]

📕 Solidifying Modern SMT Solvers
https://t.co/PxX2RccrE5

[Dominik Winterer @DominikWinterer]

🚀🔍🧑‍🏫 I am on the academic job market! My research focuses on advancing Formal Methods, Programming Languages, and Software Engineering.

Website: https://t.co/ypqj71vafu
Research Statement: https://t.co/32B5kvCDIE

[Dominik Winterer @DominikWinterer]

If you are attending OOPSLA '24, come to my talk tomorrow at 3:10 pm in the "Program Synthesis and Verification 2" session.
https://t.co/A5a5fhv18Y

#SPLASH2024

[Manuel Rigger @RiggerManuel]

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!

[Tianyin Xu @tianyin_xu]

Zu-Ming Jiang (https://t.co/btg10cCK6U) 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!

[Tianyin Xu @tianyin_xu]

Zu-Ming Jiang (https://t.co/yf4Lr5vFgC) 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!

[Chengyu Zhang @chengyuzh]

🔍 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

[Chengyu Zhang @chengyuzh]

🚀 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: https://t.co/zlGHOzIAVq

[Dominik Winterer @DominikWinterer]

🚀 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: https://t.co/3VSmM7Kuqi
#SPLASH2024 #SPLASH24📖

[Zhendong Su @zhendongsu]

@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: https://t.co/Bn5uQjUKev

[Zhendong Su @zhendongsu]

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

[Dominik Winterer @DominikWinterer]

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

[AST Lab ETH Zurich @ast_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

[Thodoris Sotiropoulos @theosotir]

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: https://t.co/zfofyVz8ti