yinyang-project @testsmtsolvers
Regular tweets on interesting bugs in the SMT solvers Z3 and CVC4 (@cvc5_solver) Tool: https://t.co/yg7OJwFw7y testsmt.github.io Joined April 2020-
Tweets134
-
Followers412
-
Following413
-
Likes124
🚀 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…
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
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
👏Big congratulations to our professors @SrdjanCapkun and @zhendongsu on being named @IEEEorg Fellows! The distinction recognises the extensive research accomplishments in their respective fields. bit.ly/3URWDe6 #Awards #computerscience #shapingthefuture
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
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 https://t.co/5W7mehLovt
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!
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: meetup.com/llvm-compiler-… @theodortheod @CSatETH
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!
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 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!
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
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
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
Ralf Jung officially joined @CSatETH yesterday; welcome, Ralf! See this short interview: inf.ethz.ch/news-and-event…
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
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
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
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!
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!
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
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 https://t.co/i4lGvQfL1C
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
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

Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Pinjia He @PinjiaHE
1K Followers 576 Following Assistant Professor at The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen) @cuhksz.
Chad Brewbaker @SMT_Solvers
2K Followers 2K Following Any sufficiently advanced technology is indistinguishable from magic. - Arthur C. Clarke
AST Lab ETH Zurich @ast_eth
768 Followers 86 Following Advanced Software Technologies (AST) Lab at ETH Zurich, Switzerland (@zhendongsu)
Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]
Umang Mathur @mathur_umang
1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Josef Gattermayer | A... @jgattermayer
9K Followers 7K Following Co-Founder and CEO @AckeeBlockchain (cybersecurity) :: Assistant Professor and Ph.D. @FIT_CTU
Uwaotous @Uwaotous7603
12 Followers 247 Following
Jeapo @Jeapo17794
57 Followers 1K Following
Gibbons Armen @OnicaShmue86285
5 Followers 94 Following Recruiting webshell engineers to penetrate websites, with a monthly salary of up to $100,000. If interested, please contact https://t.co/p2nbcxh4zP
geo @greggeogreg
123 Followers 511 Following
vitailty @vitailty1
4 Followers 204 Following
Feiran (Alex) Qin @canarypwn
429 Followers 562 Following Aloha | Second year CSC PhD student in software enginnering + systems @ncstate | @ShanghaiTechUni @UofIllinois alumni | @aosc_dev developer
zorodendron @zorodendron
7 Followers 82 Following
2718p00pi3 @2718p00pi3
2 Followers 130 Following
Thanh Le-Cong @ThanhLeCong2705
148 Followers 384 Following PhD Student @Unimelb. PhD Fellow @GoogleAI. Research Intern @Amazon. Ex Research Engineer @smusg. Working on Reliable AI4Code.
Ernest Ng @ngernest2
502 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
Pizner @pizner1
56 Followers 802 Following ❤️💙Computer Science, chess , league of legends, FF also I stream sometimes: https://t.co/VgKLtV4irr
Ravin Sharma @ravinsharma7
193 Followers 3K Following
Zhonghan Wang @YogurtShadow272
18 Followers 289 Following Master Student in Institute of Software @UCAS1978, previously in @NKU1919. Building Algorithms and Tools for SMT and related formal methods areas.
lu o bo t @luobot1122
0 Followers 13 Following
Олег Левчен... @u35tpus
0 Followers 69 Following
Sushma Anand Akoju. S... @morals4kindness
94 Followers 1K Following PhD Student | MS in : Forensics, Info Sci, Data Sci | NLU & Neurosymbolic AI researcher | Advocating consent and fairness | CIRTL Scholar.
José Abel @Jose_Abel34
157 Followers 817 Following
apples James @applesjms
15 Followers 395 Following
Fronzii @Fronzii2
2 Followers 110 Following
qo_o @cco_oreppi
11 Followers 296 Following
Payload666 @Payload666x
47 Followers 1K Following
Karine Even-Mendoza @KarineEvenMend1
139 Followers 499 Following Computer scientist and a lucturer@KCL/Informatics
Connor @connorskees
28 Followers 358 Following
Wenyuan Xu @wyxu95
119 Followers 387 Following PhD at Aarhus University supervised by Anders Moller. Interested in program analysis, cybersecurity and ML.
Johannes K. @joedaa
84 Followers 265 Following
Gagan Chandan @gagan_chandan_
67 Followers 810 Following CS student interested in Security and Programming Languages. Linux and FOSS enthusiast.
Hawkingrei @suohawking
3K Followers 3K Following mono repo 爱好者|抖机灵 | Database Developer | SW-1518-1200-8238 | ADHD https://t.co/x1xMF1BYtc
Left4own @left4own
4 Followers 89 Following
Sandy Vanderbleek @haskellandchill
714 Followers 4K Following Software engineer turned med student, ICOM 2029
xiaoyu.sun @sunxiaobiu
519 Followers 975 Following Assistant professor @ANUComputing | A Tennis lover 🇦🇺
Elrondex @elrondex
189 Followers 5K Following Elixir library to interact with Elrond Blockchain ⚡ $EGLD, Arwen, WASM, DeFI, SC, ESDTs, NFTs, SFTs, $MEX, DEX, AMM https://t.co/yPL9XXZguT
BakehamNFT @BakeburgerNFT
117 Followers 249 Following NFT Promoter | I live for NFT's | NFT is my oxygen it keeps me alive | NFT wonders | Bakeham's NFT account DC: .Cha. #9187
Atif khan @Atikhan010
9 Followers 403 Following
Ascar Shen @As_shen98
11 Followers 216 Following
Daniel @dan_zukowski
0 Followers 41 Following
The Search Space Podc... @searchspacepod
445 Followers 392 Following https://t.co/CGJ9Pz1D6b Let's get out of this place.
Harrison Bergeron @danyulconn
136 Followers 2K Following readin ritin rithmaticcin former blue check
Kai Chen @GrapeBaBa
467 Followers 3K Following Ethereum developer, creator of @zen_ethereum and @optimism_java
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Mathias Payer @gannimo
8K Followers 388 Following Securitatis inquisitor and professor at @EPFL_en leading the #HexHive 🐝 group, focusing on system/software security. @[email protected] (he/him)
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Pinjia He @PinjiaHE
1K Followers 576 Following Assistant Professor at The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen) @cuhksz.
John Wickerson @wicko3
1K Followers 787 Following Senior Lecturer at @ImperialEEE researching programming languages and hardware design. Personal account. Also @wicko3.bsky.social
Chad Brewbaker @SMT_Solvers
2K Followers 2K Following Any sufficiently advanced technology is indistinguishable from magic. - Arthur C. Clarke
AST Lab ETH Zurich @ast_eth
768 Followers 86 Following Advanced Software Technologies (AST) Lab at ETH Zurich, Switzerland (@zhendongsu)
Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]
ETH CS Department @CSatETH
6K Followers 778 Following Official Twitter page of the Computer Science Department at ETH Zurich. Collected media and news from and about the department.
Umang Mathur @mathur_umang
1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
Atif khan @Atikhan010
9 Followers 403 Following
Christophe Monat @MonatChristophe
131 Followers 6K Following Husband. Father x3. ENSTA'89. Engineer at STMicroelectronics. Tweets are my own. Opinions are mine too - you can't have them. RT are not endorsement.
The Red Operator @TheRedOperator
21 Followers 280 Following Last famous words: “… , but in our threat model …”
marcluque @marcluquedev
20 Followers 705 Following RWTH Aachen CS Student; excited about programming - he/him
hamid @hamidkisha
141 Followers 832 Following
yana secret @DarkWizard7777
6 Followers 361 Following
Dong Chen @jameschennerd
89 Followers 1K Following Passionate about simplifying/automating programming. Happy to learn anything that serves this purpose: compilers, semantics, synthesis, LLM & more?
Kai Chen @GrapeBaBa
467 Followers 3K Following Ethereum developer, creator of @zen_ethereum and @optimism_java
Harrison Bergeron @danyulconn
136 Followers 2K Following readin ritin rithmaticcin former blue check
Ascar Shen @As_shen98
11 Followers 216 Following
BakehamNFT @BakeburgerNFT
117 Followers 249 Following NFT Promoter | I live for NFT's | NFT is my oxygen it keeps me alive | NFT wonders | Bakeham's NFT account DC: .Cha. #9187
Elrondex @elrondex
189 Followers 5K Following Elixir library to interact with Elrond Blockchain ⚡ $EGLD, Arwen, WASM, DeFI, SC, ESDTs, NFTs, SFTs, $MEX, DEX, AMM https://t.co/yPL9XXZguT
xiaoyu.sun @sunxiaobiu
519 Followers 975 Following Assistant professor @ANUComputing | A Tennis lover 🇦🇺
Sandy Vanderbleek @haskellandchill
714 Followers 4K Following Software engineer turned med student, ICOM 2029
Left4own @left4own
4 Followers 89 Following
Hawkingrei @suohawking
3K Followers 3K Following mono repo 爱好者|抖机灵 | Database Developer | SW-1518-1200-8238 | ADHD https://t.co/x1xMF1BYtc
Michael Courage @courage
340 Followers 475 Following
Alexandre @PetitGatooo
40 Followers 247 Following #Postdoc @CNRS @EMSEC35 Working over Ransomware detection. #software #deobfuscation #cryptography #kernelSecurity
快速取水筏 @sqsfk_internal
194 Followers 981 Following 無槓青年 | wow, somebody in the universe is looking at my bio!
Xizao Wang @wangxiz
44 Followers 484 Following Ph.D. student in Computer Science at Nanjing University, focus on program analysis and programming languages.
Vincenzo Riccio @p1ndsvin
1K Followers 1K Following Assistant Professor @uniud 🇮🇹 Previously, postdoc @usisoftware 🇨🇭 Born and raised in Napoli 💙 Software testing for AI 🛠️🤖🛠️
Sean McLaughlin @EnglishLabDad
101 Followers 596 Following
AZ @AnassZbair
28 Followers 439 Following
Romy Tsoupidi @tsoupidi
37 Followers 105 Following PhD student @KTHUniversity, interested in Language-based Security, Combinatorial optimization
Shangyin Tan @ShangyinT
710 Followers 477 Following PhD student @Berkeley_EECS. Prev @PurdueCS, @MSFTResearch, @googledeepmind
Xinyu Xing @xingxinyu
1K Followers 1K Following Associate Professor@Northwestern University. lead of 42-b3yond-6ug. Many Ph.D./internship/visiting scholar openings in software/system security. DM/email me.
Antti Hyvärinen @AnttiHyvrinen2
24 Followers 66 Following
Daniel Guo @realdanielkuo
85 Followers 156 Following Applied Scientist @AWS Proactive Security, Former Security Researcher @BaiduResearch, opinions are my own.
Mengjie Zhao @mengjie_zhao
290 Followers 611 Following an NLP researcher @SBIntuitions @Softbank. Views my own. Previously researcher @Sony, phd @CisLmu. #nlproc
beike @beikejun07
33 Followers 2K Following
Ziteng Yang @_ziteng_yang_
151 Followers 348 Following formal verification + compilers phd stu. @gatech_scs, ex eng. intern @Meta on Triton Compiler ex app. scientist intern @awscloud 's on Lean for Compiler
Guozhen She @sgzhazelnut
581 Followers 4K Following https://t.co/JYMH0vTvoL Plumber@Snowflake Cyclist@PNW
Nori_egg @N0ri_egg
13 Followers 108 Following
Melissa M. Thomas @MelissaMThomas2
11 Followers 39 Following If you want to get more money then do marketing here. This is a very good site for crypto trading. Many people are benefiting a lot from this place by investing
Mark Olivo @MarkOlivo69
3K Followers 4K Following Software Developer. Html5,CSS3,JavaScript, React,Next.js & Redux. Node.Js, Git, GitHub. Love to Get Knowledge from others & Meet Like Minded People. 🤖💻
tholeg @tholeg2
10 Followers 452 Following