🔥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

Congratulations to our team members Shaohua Li, Theodoros Theodoridis & Zhendong Su 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/…

Together with Maria Christakis, Alastair Donaldson, and John Regehr, we will be organizing a Dagstuhl seminar on "Testing Program Analyzers and Verifiers", which will take place from June 9 to June 12, 2025. Looking forward to an exciting seminar! dagstuhl.de/en/seminars/se…

Morning session of MODAL workshop (2024.esec-fse.org/home/modal-202…) FSE 2025

In our upcoming OOPSLA'24 paper (w/ Giorgos Drosos, Georgios Alexopoulos, Dimitris Mitropoulos, and Zhendong Su) 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…

Congratulations to hao sun & Name 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 Linux Plumbers Conference 2024! ETH CS Department

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

Congrats, Dominik Winterer 🥂 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 Lab ETH Zurich

ETH CS Department (ETH Zurich) 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…

🚀 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

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

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

Zu-Ming Jiang (jzuming.github.io) is a final year PhD student ETH CS Department, working with Professor Zhendong Su. 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!

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!

🚀🔍🧑‍🏫 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

📕 Solidifying Modern SMT Solvers tinyurl.com/5n84397p

(pic1&2) 😭Sad to leave AST Lab ETH Zurich. It was an incredible experience to work with Zhendong Su, 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

Super excited to share that I will be joining The University of Manchester (The University of Manchester) 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.