yinyang-project

Regular tweets on interesting bugs in the SMT solvers Z3 and CVC4 (@cvc5_solver)

Tool:

[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📖

[Shaohua Li @shao_hua_li]

Want to find undefined behaviors in your code? Check out our @ASPLOSConf 23 paper "Finding Unstable Code via Compiler-Driven Differential Testing", a super simple way to detect UB which complements current sanitizers.
The talk will be in Session 7B (Grand C), Mar 29th.
1/n

[Zhendong Su @zhendongsu]

Honored by this nice recognition, and most grateful to my students and collaborators, my mentors, and my nominator and endorsers!

Congrats also to my @ETH_en colleagues @thoefler and @mapo1, and all the other newly named fellows!

@CSatETH @ast_eth

[Zhendong Su @zhendongsu]

View from a morning stroll in Zurich; what else to ask for? 😀

[ETH CS Department @CSatETH]

👏Big congratulations to our professors @SrdjanCapkun and @zhendongsu on being named @IEEEorg Fellows! The distinction recognises the extensive research accomplishments in their respective fields. https://t.co/TNkprpiqxf
#Awards #computerscience #shapingthefuture

[Zhendong Su @zhendongsu]

A great department, awesome colleagues and students, generous funding and good pay (faculty & students), one of the most liveable and safe cities, and routine views like this on the way to campus --- excited to see a lot of excellent applications by Jan 8, 2023! @CSatETH @ETH_en

[Zhendong Su @zhendongsu]

LLVM (@llvmorg) is such an exciting, impactful infrastructure with so much potential thanks to the contributions of many people. On the other hand, it looks like more manpower is in desperate need, for example, to maintain it and to fix the many critical bugs; please contribute!

[AST Lab ETH Zurich @ast_eth]

Join us for the next Zurich @llvmorg compiler social! Georgios Zacharopoulos, @Huawei Zurich will talk on "AccelSeeker: An LLVM-based tool-chain for DSE of hardware accelerators" Wed, Dec 14, 6:45PM CET: https://t.co/eUdAzt0uui

@theodortheod @CSatETH

[Zhendong Su @zhendongsu]

Excited to share that @CSatETH at @ETH_en has four tenure-track openings (System & Network Security, Software Security & Formal Methods: https://t.co/JxImq4AKzW, Educational Technology: https://t.co/YWFvXpQgma, and Visualization: https://t.co/jwxVKXNOG8); apply by Jan 8, 2023!

[Manuel Rigger @RiggerManuel]

Philippe proposes multiple cursor support for structural code editors in his Onward! 2022 paper (co-located with @splashcon) titled "Forest: Structural Code Editing with Multiple Cursors". Please check out his cool online demo, GitHub project, and paper!

[Zhendong Su @zhendongsu]

If you missed our inaugural lectures yesterday, the recordings for Niao and my talks are now available at (1) https://t.co/DmlJCT75hf and (2) https://t.co/bTX1Xeobm4; hope you'll enjoy! @CSatETH @ETH_en @ast_eth

[Zhendong Su @zhendongsu]

It was great fun giving this inaugural lecture. Also, what an incredible and surprising honor to have Prof. Niklaus Wirth in the audience! @CSatETH @ETH_en @ast_eth

[Zhendong Su @zhendongsu]

Ralf Jung officially joined @CSatETH yesterday; welcome, Ralf! See this short interview: https://t.co/mGogqtxNum

[Manuel Rigger @RiggerManuel]

We introduce “Intramorphic Testing”, a new, general methodology to the test oracle problem. Unlike metamorphic testing, it is a white-box technique. Core idea: modifications to a program can have an anticipated impact on its behavior that can be validated. https://t.co/b0fint1olY

[AST Lab ETH Zurich @ast_eth]

In case you missed our workshop, all the talk recordings are now online!
https://t.co/p3EDTDUutU
@CSatETH @zhendongsu @mvechev @samanprabhath @bariskasikci @HilaCodes @ilyasergey @AzaleaRaad @ztatlock @atmarcoeilers @theodortheod @vesuraychev

[Zhendong Su @zhendongsu]

Looks like a nice post-doc fellowship opportunity for 1-2 years in Switzerland; application deadline: Dec 1, 2022. If you're interested in such an opportunity and the @ast_eth lab at ETH seems a good fit, please feel free to reach out!

[Zhendong Su @zhendongsu]

Please attend @DominikWinterer's talk at @ASE_conf tomorrow (Thu, Oct 13) 16:50-17:10 EDT! It's the latest from Project Yin-Yang (https://t.co/i1ULXyd2zP) on helping improve SMT solvers. Tools: https://t.co/jSXN1n44Y9 & https://t.co/yJTVnl1Ssz @testsmtsolvers @chengyuzh @ast_eth

[Dominik Winterer @DominikWinterer]

We introduce Weakening & Strengthening, pioneering work on finding and understanding incompleteness bugs in SMT solvers and janus a practical bug hunting tool.
https://t.co/qF6kq5UMwL

[Zhendong Su @zhendongsu]

What an enjoyable event with fantastic talks, exciting discussions & fun conversations! Thanks to everyone who helped make the workshop a great success! Stay tuned for 2023! @CSatETH @ast_eth @mvechev @samanprabhath @bariskasikci @HilaCodes @ilyasergey @AzaleaRaad @ztatlock