Ziteng Yang @_ziteng_yang_
formal verification + compilers phd stu. @gatech_scs, eng. intern @Meta on Triton Compiler app. scientist intern @awscloud 's on Lean for Compiler youngzt998.github.io Atlanta, GA 30332 Joined August 2015-
Tweets14
-
Followers153
-
Following348
-
Likes48
I’ll present my new paper Fully Verified Instruction Scheduling at OOPSLA’24 on Thu. This is my first paper as a PhD student. Thanks my advisor Vivek Sarkar @vsarkar_gt and Dr. Shirako on the advisory and collaborations. I’d appreciate any comments and suggestions! #SPLASH2024
0
0
10
460
0
Download Image
Mark
Ziteng Yang retweeted
My father, Edmund M Clarke, passed away from Covid today. He won the 2007 Turing Award for computer science. While he always had high expectations when it came to academic success, he also taught me to hit baseballs, to fish, and to travel worldwide. I will miss him dearly.
Mark
Mark
Mark
Anna @HegmannKea46168
94 Followers 4K Following
Matt @matt_dz
5K Followers 3K Following C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance
Sam S. Z @quantumliuyao
3 Followers 52 Following Quantum Consciousness Liuyao(QCL) can predict future events, economic data, or market behavior through principles such as QCL tunneling and entanglement.
Yiran Wang @nlp_yiran
126 Followers 2K Following #NLProc Researcher (0xDC687816 | 0x54D | 0xCA29) @NICT_Publicity ZH/EN/JA
Umang Mathur @mathur_umang
1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Biston @biston_c_k
420 Followers 6K Following Researcher in Mathematics and Theoretical Computer Science
Reshabh K Sharma @ReshabhSharma01
302 Followers 501 Following Everything is a compiler! PhD student @uwcse Opinions are my own!
拉普拉斯的小妖 @huizhicheng
3 Followers 59 Following
XuX @YufanXu
113 Followers 1K Following @uutah, @uf @ohiostate alumni. Go Gators! Go Bucks! Go Utes!
Aaron Eline @aaroneline
218 Followers 338 Following Automated Reasoning Group at AWS. Working on programming languages, testing, and security. he/him
Yaozhu Sun @yzyzsun
248 Followers 377 Following Programming Languages Researcher. Postdoc @jouhouken 🇯🇵 | PhD @HKUniversity 🇭🇰
Ruijie Fang @ruijiefang
38 Followers 447 Following To Mastodon: @[email protected] and back. X-denialist and Twitter-luddite. Tweets locked to avoid bots.
wuc9521 @wuc9521
84 Followers 1K Following
Xudong Sun @xu_dong_sun
976 Followers 796 Following Incoming Assistant Professor at @eceuoft | PhD from UIUC @siebelschool | System reliability, formal verification, and testing | Playing/fighting with Kubernetes
Yifeng Ding @YifengDing_
831 Followers 2K Following CS PhD student @illinoisCDS. Research intern at AWS AI Labs @AmazonScience. Towards building advanced code LLMs with better reasoning and planning.
Tyler(Jiawei) Gu @tylergu_jiawei
295 Followers 176 Following CS System PhD student at UIUC, a nomad.
Chenyuan @cy1yang
143 Followers 196 Following Third-year PhD student at UIUC Improve the reliability of software systems including MLSys, Kernel, Compiler with fuzzing, static analysis and verification
MarthaDaniell @84q8270vjH1Ol9
43 Followers 4K Following
Rommel Quintanilla @rommelqc
178 Followers 2K Following
Pratyush Das @ReikDas
400 Followers 664 Following PhD student @PurdueCS advised by @mkulkarni and @GhostOfBendy | Past: @apple @iris_hep
xiaoyu.sun @sunxiaobiu
517 Followers 976 Following Assistant professor @ANUComputing | A Tennis lover 🇦🇺
Amanda Liu @amangoliu
337 Followers 364 Following PhD student @MITEECS with a soft spot for PL + verification.
Shuo Ding @ultrafinitism
11 Followers 76 Following compiler engineer, theory of computation researcher
Hugh Kearns @ithinkwellHugh
93K Followers 57K Following Procrastination, Perfectionism, Overcommitment and the Imposter Syndrome. Flinders University, Adelaide, iThinkWell. Lecturer, researcher and author.
Qingkai Shi @QingkaiS
153 Followers 190 Following PhD @HKUST, Technical Expert @AntGroup, Postdoc @PurdueCS, Associate Professor @NJU
Yu-Fu Fu @fuyu0425_en
53 Followers 201 Following Second year Ph.D. student at @SSLab_Gatech. Alumni @NYCU_official
Skylee @SkyleeBot
289 Followers 783 Following
Lianmin Zheng @lm_zheng
13K Followers 609 Following Member of technical staff @xAI | Prev: Ph.D. @UCBerkeley, Co-founder @lmsysorg
Bernardo Subercaseaux... @b_subercaseaux
801 Followers 1K Following Chilean PhD student @CarnegieMellon. Passionate about Theoretical Computer Science, writing, monkeys, beer, lemon pie and old Shakira's songs. He/Him/Monke.
Maddy Bowers @mattlbowers
386 Followers 619 Following PhD Student at MIT working in program synthesis. Interested in abstraction learning, probabilistic programming, and cognitive science. she/her
Lingming Zhang @LingmingZhang
2K Followers 382 Following Associate Professor @plfmse @IllinoisCS. Enjoy breaking, fixing, and synthesizing software. SE | PL | FM | LLM4Code
藍 @Ai77541300
45 Followers 452 Following
OKOKfine @gqglucky2ikjSA1
80 Followers 2K Following
Laura Shigihara (鴫�... @supershigi
147K Followers 196 Following 🌻 Plants vs Zombies Composer | RAKUEN Creator | DELTARUNE | メグとばけもの | WoW | CS:GO | 1.3M subs on YouTube | ハーフ 🎇 NEW song: https://t.co/WWKlvkTJgo
Songlin Yang @SonglinYang4
12K Followers 3K Following research @MIT_CSAIL @thinkymachines. work on scalable and principled algorithms in #LLM and #MLSys. in open-sourcing I trust 🐳. she/her/hers
Auke Ijspeert @BIOROB_EPFL
1K Followers 151 Following Professor at @EPFL. Head of the Biorobotics Laboratory
Yuxiang Wei @YuxiangWei9
709 Followers 263 Following PhD candidate @IllinoisCDS | Researcher @AIatMeta (Meta FAIR). Code LLM training.
Amazon Web Services @awscloud
2.2M Followers 425 Following The official account for Amazon Web Services (AWS). For help, contact: @AWSSupport.
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
The Linux Foundation @linuxfoundation
575K Followers 9K Following A nonprofit organization enabling mass innovation through open source. #linux #kubernetes #riscv #hyperledger #anuket #openssf #openjs #o3de and more!
Aidan Yang @AidanZHYang
639 Followers 546 Following PhD student @CarnegieMellon || Previously @awsCloud, @MSFTResearch, @AMD and @Queensu 🇨🇦 || Researching software engineering, security, and deep learning
DeepSeek @deepseek_ai
973K Followers 0 Following Unravel the mystery of AGI with curiosity. Answer the essential question with long-termism.
Oliver Bračevac @etaconversion
221 Followers 126 Following Researcher in CS, Scala 3 Compiler Engineer & Team Lead @epfl, Serves on the Scala Core Team and SIP committee. Agonizes over Effects, Capabilities & Ownership.
Shuyang Liu @willowsssos
30 Followers 445 Following PhD student at UCLA studying formal methods and concurrent languages
Manling Li @ManlingLi_
8K Followers 735 Following Assistant Professor@NU, Amazon Scholar, Postdoc@Stanford, PhD@UIUC #NLP #CV Language+Vision/EmbodiedAI, Reasoning, Planning, Compositionality, Trustworthiness
Litao Zhou @Litao_Zhou
660 Followers 224 Following SJTUer / PhD student at @HKUniversity / Programming Languages - Types / ✨@andy_czm0622
SSLab @SSLab_Gatech
2K Followers 24 Following The official account of the Systems Software & Security Lab @GeorgiaTech.
Yu-Fu Fu @fuyu0425_en
53 Followers 201 Following Second year Ph.D. student at @SSLab_Gatech. Alumni @NYCU_official
Shuo Ding @ultrafinitism
11 Followers 76 Following compiler engineer, theory of computation researcher
maxpoletto - @maxp@ms... @maxpoletto
67 Followers 167 Following Computers, climate, cycling, (ski) mountaineering. Currently infrastructure security at Google. Maintained @trumplog for 4 years. Most likes are bookmarks.
Umang Mathur @mathur_umang
1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Dirk Beyer @beyer_dirk
765 Followers 537 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
Laurence Tratt @laurencetratt
4K Followers 310 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Vinod Grover @vinodg
3K Followers 1K Following Sr Distinguished Engineer @nvidia. Compilers, CUDA C++, PL, Machine Learning and Systems. tweets and opinions are personal.
Michael Coblenz @mcoblenz
1K Followers 654 Following Asst. Prof. of CS at @ucsd_cse. Creating safer, more usable programming languages. Formerly at @Apple, @SCSatCMU, & @umdcs. Moved to bsky: @mcoblenz.bsky.social
Reshabh K Sharma @ReshabhSharma01
302 Followers 501 Following Everything is a compiler! PhD student @uwcse Opinions are my own!
Aaron Eline @aaroneline
218 Followers 338 Following Automated Reasoning Group at AWS. Working on programming languages, testing, and security. he/him
XuX @YufanXu
113 Followers 1K Following @uutah, @uf @ohiostate alumni. Go Gators! Go Bucks! Go Utes!
Konstantinos Kallas @KonsKallas
1K Followers 534 Following Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they https://t.co/461Ntl9CBc
Guilherme Espada @GuiEspada
207 Followers 190 Following PhD Student @lasige @FC_UL | Working on Static Resource Analysis with @alcides | Mastadon: @[email protected] | BlueSky: https://t.co/FZYUHMHHVd
Chengpeng Wang @Chasen86341870
272 Followers 361 Following SE researcher. Current Postdoc at Purdue University. Former PhD at HKUST
Alex Bradbury @asbradbury
5K Followers 3K Following Find me on Mastodon/Bsky. ~~Compilers @Igalia. @llvmweekly author. Previously: @lowRISC CTO and co-founder, researcher at UCambridge~~
Yaozhu Sun @yzyzsun
248 Followers 377 Following Programming Languages Researcher. Postdoc @jouhouken 🇯🇵 | PhD @HKUniversity 🇭🇰
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.
Xudong Sun @xu_dong_sun
976 Followers 796 Following Incoming Assistant Professor at @eceuoft | PhD from UIUC @siebelschool | System reliability, formal verification, and testing | Playing/fighting with Kubernetes
Yifeng Ding @YifengDing_
831 Followers 2K Following CS PhD student @illinoisCDS. Research intern at AWS AI Labs @AmazonScience. Towards building advanced code LLMs with better reasoning and planning.
Tyler(Jiawei) Gu @tylergu_jiawei
295 Followers 176 Following CS System PhD student at UIUC, a nomad.
Chenyuan @cy1yang
143 Followers 196 Following Third-year PhD student at UIUC Improve the reliability of software systems including MLSys, Kernel, Compiler with fuzzing, static analysis and verification
Dominik Winterer @DominikWinterer
1K Followers 649 Following Lecturer (Assistant Professor) at University of Manchester | Making Formal Methods better and more practical 👩🎓👨🎓 Looking for PhD students!
Sam Westrick @shwestrick
1K Followers 594 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
ECOOP’24 Conference @ECOOPconf
1K Followers 110 Following European Conference on Object-Oriented Programming Practical and theoretical investigations of programming languages, systems and environments #ECOOP24
Danning Xie @danning_x
531 Followers 232 Following Research Scientist @PyTorch MSL | CS PhD @PurdueCS | GenAI | LLM4Code | Software Engineering Researcher
CAV @confCAV
796 Followers 0 Following 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25
Amazon Web Services @AWS
16K Followers 1 Following For all the latest news and information about AWS head to @AWSCloud. For support, go to @AWSSupport
Lili Wei @LiliWei_SE
514 Followers 237 Following Assistant Professor at ECE McGill, focusing on program analysis, testing and mining code repositories
Catoverflow @Cat_overflow
255 Followers 279 Following CS Systems researcher, UIUC CS Ph.D. student | 椎间盘突出 PM welcomed
Julien Vanegue @jvanegue
6K Followers 958 Following CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network analysis at world scale.
Trends for United States
45,4 B posts
5.920 posts
73,6 B posts
1,65 Mn posts
21,6 B posts
3.491 posts
3.963 posts
11,7 B posts
2.193 posts
28,8 B posts
3.467 posts
1.168 posts
4.898 posts
20,3 B posts
13,4 B posts
184 B posts
35,6 B posts
20,2 B posts
2.994 posts
69,5 B posts
You might like
Yihong Zhang
@yihongz_bot
742 Followers
Marisa "Long Middle N...
@MarisaVeryMoe
3K Followers
Xu Xue
@juniorxxue
67 Followers
Shangyin Tan
@ShangyinT
697 Followers
Yaozhu Sun
@yzyzsun
248 Followers
Gary Hu
@rdsspq_eax
169 Followers
Andong Fan
@andongfan
169 Followers
EDJ
@EDKJJKDE
365 Followers
Chengpeng Wang
@Chasen86341870
272 Followers
Hongjie (Tony) Fang
@FangGalaxies
231 Followers
Mr_RNA
@cyd950413
10 Followers
Mack
@TaxPayer0912
82 Followers
Joy Dong
@JoyChew_d
182 Followers