Xizao Wang @wangxiz
Ph.D. student in Computer Science at Nanjing University, focus on program analysis and programming languages. Nanjing, China Joined May 2017-
Tweets127
-
Followers45
-
Following484
-
Likes250
being good at ML systems helps you run more experiments. being good at ML theory helps you run less experiments
Buckle up because we're crashing into the new year with my annual database retrospective: License change blowbacks! @databricks vs. @SnowflakeDB gangwar! @duckdb shotgun weddings! Buying a college quarterback with database money for your new lover! cs.cmu.edu/~pavlo/blog/20…
Huge thanks to everyone who has shared the wonderful journey with us for LLM Agents MOOC Fall 2024, with ~15K registered learners, & 2500+ developers participating in LLM Agents MOOC hackathon! Join us for Advanced LLM Agents MOOC: llmagents-learning.org/sp25, starting Jan 27, 2025
Happy New Year! The lectures of all 11 guest speakers in my LLM course from Fall 2024 are now available. Thanks to all the speakers: - Hanjun Dai (@hanjundai), Thang Luong (@lmthang), and Denny Zhou (@denny_zhou) from Google DeepMind; - Jason Wei (@_jasonwei), Hyung Won Chung…
Check out live streams of SPLASH talks here! youtube.com/@acmsigplan
My @Google colleague and longtime @UCBerkeley faculty member David Patterson has a great essay out in this month's Communications of the ACM (@TheOfficialACM):🎉 "Life Lessons from the First Half-Century of My Career Sharing 16 life lessons, and nine magic words." I saw an…
Check out this excellent video on proving the continuity of various functions using Lean 4. It's a fantastic introduction to Lean, and its tactic framework for proof automation. youtube.com/watch?v=BZjAgh…
arXiv -> alphaXiv Students at Stanford have built alphaXiv, an open discussion forum for arXiv papers. @askalphaxiv You can post questions and comments directly on top of any arXiv paper by changing arXiv to alphaXiv in any URL!
AI System Achieves Silver Medal-level score in IMO The International Mathematical Olympiad (IMO) is the oldest, largest & most prestigious competition for young mathematicians. Every year, countries send their top young mathematicians to take a 6 problem test spanning two days.…
wrote a pair of PLSE blog posts explaining the basics of Verilog syntax (post 1) and semantics (post 2) for a PL audience: syntax: uwplse.org/2024/02/19/ver… semantics: uwplse.org/2024/07/22/ver… feedback welcome! from a PL perspective, Verilog is fascinating.
SIGPLAN-AV and the PLDI24 Video Volunteers present: The PLDI24 videography. youtube.com/@acmsigplan/vi… Over 200 videos are now available. If we made an error, please contact us at the email listed in sigplan.org/AV/ Big thanks to the Video Volunteers whose (cont)
As an llm practitioner, this talk is the most informative one I ever listened to so far in the area of the science of LLMs. I was deeply impressed. For my own students I would require them to memorize the entire content of the talk. I initially read the first part of this talk…
As an llm practitioner, this talk is the most informative one I ever listened to so far in the area of the science of LLMs. I was deeply impressed. For my own students I would require them to memorize the entire content of the talk. I initially read the first part of this talk… https://t.co/mptLOef76Y
Told you so. #Crowdstrike
We’re continuing to make advanced AI accessible to all with the launch of GPT-4o mini, now available in the API and rolling out in ChatGPT today.
We’re continuing to make advanced AI accessible to all with the launch of GPT-4o mini, now available in the API and rolling out in ChatGPT today.
Professor Tom Reps retires after 39 years of research and mentorship. Dubbed "the soul of the department" by colleagues, his parting gift is a new professorship honoring late wife (and CS Professor Emerita) Susan B. Horwitz. Get the full story: cs.wisc.edu/2024/07/16/pro…
A benchmark for Python testing and repair tools! Our new TESTS4PY benchmark includes 73 bugs from seven real-world #Python applications, including oracles and support for both system and unit test generation. Demo at #FSE2024 on Wednesday 16:00-18:00: 2024.esec-fse.org/details/fse-20…
New journal in software engineering is born: PACMSE The inaugural issue just got published: dl.acm.org/toc/pacmse/202…
45 年前，汉字激光照排之父，北大王选教授主持研制的华光 I 型原理性样机排出了第一张 8 开报纸样张（左图）。我用 LaTeX 复刻了这个样张（右图），PDF 见 github.com/chenshuo/types…
The classic hourglass structure of paper writing #academicx #phdchat
Fine-grained analysis of 1,302 Python projects shows 50% of dependencies are bloated, yielding inefficiencies and hiding vulnerabilities. Developers are open to debloating accepting 83% of our PRs. FSE paper with @gdrosos_ @theosotir @d1m1tr0 (CC-BY): dl.acm.org/doi/10.1145/36…
Josef Gattermayer | A... @jgattermayer
9K Followers 7K Following Co-Founder and CEO @AckeeBlockchain (cybersecurity) :: Assistant Professor and Ph.D. @FIT_CTU
Gouvarm @Gouvarm18208
63 Followers 3K Following
Daneshvar Amrollahi @AmrollahiD
110 Followers 273 Following Computer Science PhD student @Stanford | Automated Reasoning, Formal Verification | Applied Science Intern @AWScloud
Caterina Urban @caterinaurban
401 Followers 280 Following Research scientist at @inria_paris and @ENS_ULM. Left-handed 🤚, in the footsteps of Alan Turing and Marie Curie. I want a dog 🐕.
DOCTORAL STUDENTS MEN... @DisseEditors
10K Followers 11K Following Together We Rise, Together We Achieve.
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security audits for Web3 We innovate in the formal verification space to provide you with the most extensive security solution. Solidity, Rust (Solana), ZK
Xudong Sun @xu_dong_sun
1K Followers 803 Following Incoming Assistant Professor at @eceuoft | PhD from UIUC @siebelschool | System reliability, formal verification, and testing | Playing/fighting with Kubernetes
gina @gina13737977303
22 Followers 848 Following
Feldera, Inc. @felderainc
206 Followers 71 Following Incremental Computing for AI, ML and Data teams.
Ada Burak @AdaBurak8
3 Followers 152 Following
Prolif @ProlifVC
365 Followers 3K Following Early stage investments for everyone. 🎉 Join our waitlist now! US based only at the moment.
Adele @sokolowichadele
268 Followers 3K Following
Mary @j_mary89
331 Followers 3K Following
wenjing deng @DengWenjin48334
12 Followers 22 Following Research intern of @test_nus in @NUSingapore Master in @ECNUER
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.
h0n9xu @hongxuchen
295 Followers 773 Following Ph.D. in software security, program analysis; crypto believer. @ TTE Labs, 2012 Labs, Huawei.
Yonghui(Danny) Liu @DannyGooo
107 Followers 288 Following Ph.D Candidate @MonashUni @HumaniseL #SoftwareEngineering #ProgramAnalysis #MobileSecurity
Lili Wei @LiliWei_SE
512 Followers 237 Following Assistant Professor at ECE McGill, focusing on program analysis, testing and mining code repositories
Mingwei Liu @mliu918351
217 Followers 724 Following Software Engineering Researcher, Associate Professor at the School of Software Engineering, Sun Yat-Sen University, China.
Yun Lin @llmhyy
456 Followers 481 Following Associate Professor @ Shanghai Jiao Tong University Formal Research Assistant Professor @ NUS Researcher on Software Engineering and Security
Scriptopia @Scriptopia__
2K Followers 2K Following Learn to #code - Full source code for all projects available - #Python #HTML #Javascript and more - Official Scriptopia account
Xiangrong Bin @xrbin0
3 Followers 133 Following
Qingkai Shi @QingkaiS
156 Followers 192 Following PhD @HKUST, Technical Expert @AntGroup, Postdoc @PurdueCS, Associate Professor @NJU
Chengyu Zhang @chengyuzh
510 Followers 414 Following Lecturer (Assistant Professor) at @lborouniversity. Software Engineering, Programming Languages, and Formal Methods. 🙌 Looking for PhD and visiting students.
Wenyuan Xu @wyxu95
119 Followers 387 Following PhD at Aarhus University supervised by Anders Moller. Interested in program analysis, cybersecurity and ML.
Zhichao Zhou @jenkins_zzc
8 Followers 181 Following
Vijay Walunj, Ph.D. @walunj_vijay
113 Followers 433 Following Phd in Software Analytics, Programmer,Dreamer, Real, Iron Man | Views are my own
Todd Austin @ToddMAustin
2K Followers 2K Following Computer Science professor @UMich, security researcher, computer architect, entrepreneur, dad, friend, gamer, one who loves loving things!
Tse-Hsun (Peter) Chen @petertsehsun
868 Followers 560 Following Associate Professor in CS/SE @Concordia 🇨🇦 | Director of SPEAR Lab |#SoftwareEngineering |#AI4SE and #SE4AI
yinyang-project @testsmtsolvers
412 Followers 413 Following Regular tweets on interesting bugs in the SMT solvers Z3 and CVC4 (@cvc5_solver) Tool: https://t.co/yg7OJwFw7y
Alireza Farhadi @AlirezaTCS
53 Followers 5K Following دع التکاسل تغنم فقد جری مثل که زاد راهروان چستی است و چالاکی
Zhiyuan Wan @wanzhiyuan
217 Followers 235 Following Associate Professor of Computer Science at Zhejiang University @ZJU_China, Postdoc @UBC and @sgSMU, BS and PhD @ZJU_China. Researcher on Software Engineering.
Triet Le @lhmtriet
583 Followers 263 Following Continuing Lecturer & Lead of Software Security @crest_uofa @UniofAdelaide. #softwareengineering #miningsoftwarerepositories #cybersecurity
FuzzingLabs @FuzzingLabs
8K Followers 4K Following Research-oriented Cybersecurity startup specializing in #fuzzing, Vulnerability Research & Offensive security on Mobile, Browser, AI/LLM, Network & Blockchain.
Shuai Wang @wangshuai901
1K Followers 1K Following Associate Professor in CSE at HKUST | Software and Systems Security | Reverse Engineering | AI (LLM) Security and Privacy
Tianyi Zhang @tian_yi_zhang
1K Followers 713 Following Assistant professor at Purdue CS, formerly Postdoc at Harvard SEAS and PhD at UCLA CS. Working on SE, HCI, Program Synthesis & Human-AI Interaction.
Ali Ouni @ouniaali
733 Followers 940 Following Father, husband, researcher, professor, software engineer
Ting Su @su_tingsu
677 Followers 521 Following Professor of computer science @ECNUer, previously postdoc @ETH_en and @NTUsg; focus on SE/PL/Security
tosem @acm_tosem
2K Followers 828 Following
DeepSeek @deepseek_ai
972K Followers 0 Following Unravel the mystery of AGI with curiosity. Answer the essential question with long-termism.
Frank McSherry (@fran... @frankmcsherry
4K Followers 0 Following Now found elsewhere https://t.co/XOnfCV5exT
Conference on Languag... @COLM_conf
5K Followers 6 Following https://t.co/GhGCMEoHU8 Conference: October 7, 2025
Max Willsey @mwillsey
844 Followers 204 Following asst prof @Berkeley_EECS. he/him. i no longer use this account. find me elsewhere. @[email protected]
Dominik Winterer @DominikWinterer
1K Followers 652 Following Lecturer (Assistant Professor) at University of Manchester | Making Formal Methods better and more practical 👩🎓👨🎓 Looking for PhD students!
Manu Sridharan @rakingleaves
2K Followers 1K Following Professor @UCR_CSE doing research in programming languages and software engineering. https://t.co/8YGA4y2NaS BSky: @manu.sridharan.net
Stephanie Weirich @fancytypes
3K Followers 354 Following
Caterina Urban @caterinaurban
401 Followers 280 Following Research scientist at @inria_paris and @ENS_ULM. Left-handed 🤚, in the footsteps of Alan Turing and Marie Curie. I want a dog 🐕.
Black Myth @BlackMythGame
221K Followers 5 Following The only official account for the Black Myth series.
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security audits for Web3 We innovate in the formal verification space to provide you with the most extensive security solution. Solidity, Rust (Solana), ZK
Akshay 🚀 @akshay_pachaar
230K Followers 459 Following Simplifying LLMs, AI Agents, RAG, and Machine Learning for you! • Co-founder @dailydoseofds_• BITS Pilani • 3 Patents • ex-AI Engineer @ LightningAI
GraphQL @GraphQL
120K Followers 14 Following A query language for APIs, brought to you by the GraphQL Foundation
DBOS @DBOS_Inc
1K Followers 107 Following From the creators of Postgres & Apache Spark -- Build reliable backends effortlessly
Jinsheng Ba @JinshengBa
358 Followers 326 Following Postdoc in ETH Zurich. Software testing and security.
UW–Madison Computer... @WisconsinCS
4K Followers 644 Following Home to the nation's #13 graduate & #16 undergrad programs. 📍 Part of @uwcdis at @uwmadison.
Xudong Sun @xu_dong_sun
1K Followers 803 Following Incoming Assistant Professor at @eceuoft | PhD from UIUC @siebelschool | System reliability, formal verification, and testing | Playing/fighting with Kubernetes
CWE Program @CweCapec
2K Followers 69 Following Account maintained by the CWE Program to update the community on CWE-related announcements. https://t.co/Sam8JZJjFG
❤️ @10385usn
11K Followers 1 Following
🍎 @oawnefoaa9w34
61K Followers 1 Following
Mooly Sagiv @ Token @SagivMooly
2K Followers 3K Following Chief Scientist @CertoraInc and a chair of software systems at @TelAvivUni
Thomas Zimmermann @tomzimmermann
4K Followers 1K Following Chancellor's Professor and Bren Chair at UC Irvine. ACM Fellow. IEEE Fellow. Previously at Microsoft Research.
Bytebytego @bytebytego
123K Followers 3 Following Weekly system design topics you can read in 10 mins.
AIware 2025 @AIwareConf
155 Followers 78 Following 2nd ACM International Conference on AI-powered Software (AIware) | Colocated with @ASE_conf 2025
Santosh Nagarakatte @santoshgnag
2K Followers 602 Following Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: https://t.co/dYChac4veQ
Christoph Kirsch @christophkirsch
302 Followers 100 Following Computer Scientist and Professor at the University of Salzburg, Austria
Certora @CertoraInc
10K Followers 318 Following Securing DeFi through smart contract audits, formal verification, and protocol design reviews. Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
Clark Barrett @ClarkBarrett7
144 Followers 5 Following Professor (Research) in Computer Science at Stanford University
Conor Hoekstra @code_report
8K Followers 678 Following @nvidia • @youtube • @adspthepodcast • @arraycast Blusky: https://t.co/UPjBqO9qFS Mastodon: https://t.co/bjvEaww90u
Stanford Centaur Lab @CentaurLab
46 Followers 8 Following The mission of the Center for Automated Reasoning (Centaur) is to accelerate the state of the art in automated reasoning research.
OpenAlex @OpenAlex_org
4K Followers 3 Following Building a universal, open library of scholarly information, inspired by the Library of Alexandria. Also makers of @unpaywall and @unsub_org
Dawn Song @dawnsongtweets
35K Followers 832 Following Professor in Computer Science at UC Berkeley, co-Director of Berkeley RDI Center; Building safe, secure, decentralized AI; Serial entrepreneur
Arend Language @ArendLang
282 Followers 3 Following
Yihong Zhang @yihongz_bot
742 Followers 741 Following PhD student at @uwplse and @uw_db . Also on 🦋.
Daniel Kang @daniel_d_kang
5K Followers 92 Following Asst. professor at UIUC CS. Formerly in the Stanford DAWN lab and the Berkeley Sky Lab.
The Web Conference @TheWebConf
5K Followers 213 Following The premier international conference about the World Wide Web. April 28 - May 2, 2025 in Sydney, Australia #TheWebConf
ACM SIGLOG @acmsiglog
275 Followers 31 Following
ACM SIGACT @sigact
2K Followers 4 Following Special Interest Group on Algorithms and Computation Theory
IPDPS @IPDPS
1K Followers 475 Following 40h IEEE International Parallel & Distributed Processing Symposium May 25-29, 2026
Nanjing University @njuniversity
936 Followers 0 Following Nanjing University is one of the oldest and most prestigious institutions of higher learning in China.
CAINconf @CAINconf
321 Followers 22 Following International Conference on AI Engineering - Software Engineering for AI (CAIN)
Liming Zhu @limingz
627 Followers 66 Following Research Director, CSIRO's Data61; Conjoint Full Prof, UNSWTrends for United States
You might like
