yinyang-project

134 posts

yinyang-project banner
yinyang-project

yinyang-project

@testsmtsolvers

Regular tweets on interesting bugs in the SMT solvers Z3 and CVC4 (@cvc5_solver) Tool: https://t.co/yg7OJwFw7y

Entrou em Nisan 2020
411 Seguindo412 Seguidores
yinyang-project retweetou
Chengyu Zhang
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: dl.acm.org/doi/10.1145/36…
Chengyu Zhang tweet media
English
0
4
44
13.3K
yinyang-project retweetou
Dominik Winterer
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: shorturl.at/opk6z #SPLASH2024 #SPLASH24📖
Dominik Winterer tweet media
English
1
7
62
10K
yinyang-project retweetou
Shaohua Li
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
English
1
13
41
9.5K
yinyang-project retweetou
Zhendong Su
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
ETH CS Department@CSatETH

Big congratulations to our Professors @thoefler, @mapo1 and @zhendongsu on being named 2022 ACM Fellows! The distinction recognises their extensive research contributions to computer and information technology. Well done! bit.ly/3J2cyEp @TheOfficialACM @ETH_en #Awards

English
31
8
185
24.3K
yinyang-project retweetou
Zhendong Su
Zhendong Su@zhendongsu·
View from a morning stroll in Zurich; what else to ask for? 😀
Zhendong Su tweet media
English
4
3
170
0
yinyang-project retweetou
Zhendong Su
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 tweet media
Zhendong Su@zhendongsu

Excited to share that @CSatETH at @ETH_en has four tenure-track openings (System & Network Security, Software Security & Formal Methods: tinyurl.com/489bkmpy, Educational Technology: tinyurl.com/txur5nut, and Visualization: tinyurl.com/y5ysmha2); apply by Jan 8, 2023!

English
0
9
31
0
yinyang-project retweetou
Zhendong Su
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!
English
1
7
46
0
yinyang-project retweetou
Manuel Rigger
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!
Philippe Voinov@tehwalris

Try out structural editing with multiple cursors on forest.walr.is In our paper we investigate this unique combination and its potential to replace simple refactoring scripts arxiv.org/abs/2210.11124

English
0
8
15
0
yinyang-project retweetou
Zhendong Su
Zhendong Su@zhendongsu·
If you missed our inaugural lectures yesterday, the recordings for Niao and my talks are now available at (1) video.ethz.ch/speakers/lectu… and (2) video.ethz.ch/speakers/lectu…; hope you'll enjoy! @CSatETH @ETH_en @ast_eth
Günther Dissertori@G_Dissertori

Today, two professors from @CSatETH are giving their inaugural lectures at @ETH_en. Niao He will speak on "The dawn of reinforcement learning and a theory quest" and @zhendongsu on "Four Dreams for a Better Software Future".

English
0
9
23
0
yinyang-project retweetou
Manuel Rigger
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. arxiv.org/abs/2210.11228
Manuel Rigger tweet media
English
5
12
59
0
yinyang-project retweetou
AST Lab ETH Zurich
AST Lab ETH Zurich@ast_eth·
In case you missed our workshop, all the talk recordings are now online! sri.inf.ethz.ch/workshop2022 @CSatETH @zhendongsu @mvechev @samanprabhath @bariskasikci @HilaCodes @ilyasergey @AzaleaRaad @ztatlock @atmarcoeilers @theodortheod @vesuraychev
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

English
0
8
18
0
yinyang-project retweetou
Zhendong Su
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!
Swiss National Science Foundation@snsf_ch

Call for SNSF Swiss Postdoctoral Fellowships 2022 The call is addressed to researchers who wanted to apply for a Marie Skłodowska-Curie fellowship in order to advance their academic career in Switzerland. #HorizonEU #SwissEU4Science sohub.io/of9z

English
0
14
33
0
yinyang-project retweetou
Zhendong Su
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 (testsmt.github.io) on helping improve SMT solvers. Tools: github.com/testsmt/yinyang & github.com/testsmt/janus @testsmtsolvers @chengyuzh @ast_eth
Zhendong Su tweet media
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. tinyurl.com/mry92zc4

English
0
5
19
0
yinyang-project retweetou
Dominik Winterer
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. tinyurl.com/mry92zc4
Dominik Winterer tweet media
English
1
10
63
0

Descobrir

@ASPLOSConf @ETH_en @thoefler @mapo1 @CSatETH @ast_eth @zhendongsu @IEEEorg