Guannan Wei @GuannanWei
Postdoc at INRIA/ENS Paris; Incoming Assistant Prof in CS @TuftsUniversity; Ex @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social continuation.passing.style Joined January 2012-
Tweets607
-
Followers1K
-
Following960
-
Likes7K
A friend needed lots of sophisticated C code to be written for his systems startup so he decided to advertise and interview for OCaml programmers (not a language he himself was very familiar with). This turned out to be a brilliant filter for hiring very highly skilled…
@icfp_conference @splashcon Update! The Scala Workshop 2025 submission deadline is now July 18, AoE (11:59 PM UTC-12). More time to submit your talk proposals! Original: x.com/scala_workshop…
@icfp_conference @splashcon Update! The Scala Workshop 2025 submission deadline is now July 18, AoE (11:59 PM UTC-12). More time to submit your talk proposals! Original: x.com/scala_workshop…
🚀 Announcing the 1st International Workshop on Language Models and Programming Languages (LMPL) at SPLASH 2025! Join us to explore the intersection of generative AI & programming languages. See you in Singapore! 🇸🇬 🔗 conf.researchr.org/home/icfp-spla…📝 #LMPL2025 #ProgrammingLanguages…
🚀 Announcing the 1st International Workshop on Language Models and Programming Languages (LMPL) at SPLASH 2025! Join us to explore the intersection of generative AI & programming languages. See you in Singapore! 🇸🇬 🔗 conf.researchr.org/home/icfp-spla…📝 #LMPL2025 #ProgrammingLanguages… https://t.co/VISGC1QQ0Q
Thank you all for writing amazing posts so that I can read them and learn ❤️ bernsteinbear.com/blog/pl-writin…
After supervising 20+ papers, I have highly opinionated views on writing great ML papers. When I entered the field I found this all frustratingly opaque So I wrote a guide on turning research into high-quality papers with scientific integrity! Hopefully still useful for NeurIPS
.... Each of the major conferences in computer science and software engineering has its own little subculture, implying that at a certain time any paper that has any chance of getting accepted must conform to a very rigid preconception of what a suitable paper looks like for that…
🚨 CFP Alert! GeCoIn 2025 @ ECAI in Bologna 🇮🇹 We’re calling for papers on generative AI & code safety 🧠💻 Topics: LLMs, code security, explainability, benchmarking & more! 📅 Deadline: July 15 🔗 gecoin-workshop.github.io
If you want to learn about the basics of programming language semantics, this paper by @haskellhutt is an excellent exposition to the subject. Learn about operational and denotational semantics, how to use structural induction as the basic proof technique in denotational…
Happy 2025 everyone! It's been an exciting year for our team, and to celebrate, we're releasing new code, examples, docs, and a slick new website for our query language Rhyme. Check it out: rhyme-lang.github.io, github.com/rhyme-lang/rhy…
🎉Excited to announce our paper: “ParDiff: Practical Static Differential Analysis of Network Protocol Parsers” won #OOPSLA2024 Distinguished Paper Award! I will present tomorrow morning @splashcon ! Hope to see you in Pasadena! #SoftwareTesting #StaticAnalysis #ProtocolTesting
As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the rationale had nothing to do with theory vs practice, and everything to do with pragmatically coping with an unaccommodated disability in academia. (1/16)
As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the rationale had nothing to do with theory vs practice, and everything to do with pragmatically coping with an unaccommodated disability in academia. (1/16)
By the way, I'm on the academic job market this year and currently attending @acm_ccs! If you’re interested in software security, binary analysis, Web3 security, or if you’re currently hiring, feel free to ping me or meet up at CCS! 🚀
Terence Tao is so right... You can't just casually read a math book hoping you will learn anything... You actually have to sit down with a pen and paper, roll up your sleeves, turn your phone off and do the grind.
I wrote a piece on @sigarch blog about the state of hardware and architecture security. "Secure Computer Architecture in the Post-Meltdown World: A Long Road Ahead" sigarch.org/secure-compute…
Simple (github.com/SeaOfNodes) is a compiler tutorial featuring the Sea-of-Nodes IR, a Java port (@CliffClick), Go (@YardenLaif), Rust (@RobertObkircher), and C++ (@Hels15), with help from @XmiliaH, @ThaliaArchi. If you'd like to help reach out to [email protected] or on GitHub.
OSDI/SOSP Paper: "CoolAcronym: Making the System-You-Don't-Know-You're-Using Faster" CCS/S&P Paper: "Famous Movie Name: Detecting and/or Fixing the New-Critical-Vulnerability-Discovered-Last-Month at Scale" POPL Paper:
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Purdue Computer Scien... @PurdueCS
5K Followers 1K Following The Persistent Pursuit of Innovation and Creativity through Computing. #TheNextGiantLeap
Tianyin Xu @tianyin_xu
5K Followers 1K Following Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Zhuo Zhang @i2huer
2K Followers 382 Following PostDoc, Ph.D. in Computer Science @PurdueCS ➡️ Assistant Professor @??? 👉 Binary Analysis 🐱💻 ➕ Web3 🦇🔊 👉 Opinions are my own. ❄️❄️❄️
PurPL @purdue_pl
924 Followers 120 Following PurPL is the cross-departmental center for programming languages research at Purdue University.
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Tiark Rompf @tiarkrompf
2K Followers 507 Following Purdue University (We're hiring! grad students, post-docs, faculty)
Lingming Zhang @LingmingZhang
2K Followers 382 Following Associate Professor @plfmse @IllinoisCS. Enjoy breaking, fixing, and synthesizing software. SE | PL | FM | LLM4Code
LightQuantum @LightQuantumhah
8K Followers 762 Following CS PhD student @UofT | call-by-name | PLT/FP | zh-CN daily life | 生活推
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Tufts University Scho... @TuftsEngineer
3K Followers 216 Following School of Engineering at @TuftsUniversity. Combining the resources of a world-class research university with the strengths of a top-ranked liberal arts college.
Haoyu Wu @haoyuwu_pl
5 Followers 252 Following
Claire @lambdaclaire
1 Followers 137 Following
Ravindra Kumar @ravidsrk
190K Followers 9K Following
Maxwell Yu @maxwell_yu_x
112 Followers 3K Following Full Stack Engineer,Blockchain Architect. The code that can be named is not the eternal code. The function that can be defined is not the limitless function.
Aniruddh @aniruddh_gdn
91 Followers 2K Following Product Manager, Serial Entrepreneur, Ex-Software Engineer, MS at Lund University.
Tom @tomstructured
23 Followers 506 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
Sam Lindley @reifyreflect
639 Followers 281 Following
Vijay Chidambaram @vijay_ut
223 Followers 578 Following Professor @utcompsci. Work on all things systems and storage. Lead @utsaslab. Prev: @WisconsinCS. Views my own.
Taylor Pass @PassT10935m
640 Followers 3K Following
Schleim Slime Suraimu... @ArtsSuraimu
11K Followers 2K Following The Slime-Type vTuber. Traveller. Opinions are own. 属性鼠鹿，性别男，找不到对象，政治属性不明，喜欢鹿乃子、史莱姆（利姆露）、小埋、@ddvd233 日本語を少しい話せます Deutsch kann ich auch ein bissl
Rylee Jones @RyleeJones63502
24 Followers 224 Following
Alvian @alvianNR_
71 Followers 124 Following
Ankush Desai @ankushpd
2K Followers 778 Following Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw
Hemanth Prasad @leohemanth
625 Followers 6K Following iOS developer, technology enthusiast, Cyber Security and trying to figure out others.
Maritza Zemlak @MaritzaZem40109
75 Followers 4K Following
Henry Chu @henryhchchc
121 Followers 174 Following aka. Hengcheng Zhu | PhD student @HKUST | Software Engineering Researcher & Hacker | https://t.co/QKsKn71i6Z
Hoang @Hoang230458134
140 Followers 5K Following
Vagner Aparecido @VagnerApar20498
590 Followers 7K Following May peace be with us always..I can do all things through Him who is in all things and strengthens me ⚡⚡🌞
Yasir khan @Yasirkhan___
30 Followers 504 Following
Cheddar🧀 @cheddardollarz
20 Followers 214 Following
ZX @ZQZQZQ1688
117 Followers 3K Following
Schuvic @Schuvic
23 Followers 1K Following
Jeff Williams @WilliamsJe24350
6 Followers 98 Following # staff manager director of HALIBURTON corperation company.#
lkztej @kesjetson
36 Followers 1K Following
Pensé FFun @inftyCategory
137 Followers 7K Following
Liao Zhang @lideji1
72 Followers 1K Following Machine learning for theorem proving Neuro-symbolic learning
Bukenya Lukman @lukman_bukenya
1K Followers 5K Following Software Engineer, Data Scientist and ML Engineer. Research Enthusiast For NLP , CB, CC, CV and Compiler Design. Co-host at https://t.co/wEHn6eMryg
Zachary Tatlock @ztatlock
1K Followers 481 Following Finding nails, building hammers. Prof at UW Allen School (CSE) @[email protected]
GYMRATCRYPTO @GymRatCrypto
17K Followers 8K Following $GRC only communicates in person. He doesn't use twitter, telegram, social media, email, msgs, youtube, newspapers, magazines, mail, tv, or radio
Simrnjeet @simrnjeet5
53 Followers 2K Following ▫️Software Development Instructor ▫️Full Stack Developer
Touheed_Rahman @touheed005
390 Followers 7K Following || #Muslim🕋|| #ComputerEngineer || #Freelancer || #SportsLover || || #CryptoTrader || #CryptoEnthusiast || #TradeMarketAnalyst || "$VCM"
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Purdue Computer Scien... @PurdueCS
5K Followers 1K Following The Persistent Pursuit of Innovation and Creativity through Computing. #TheNextGiantLeap
Tianyin Xu @tianyin_xu
5K Followers 1K Following Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
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
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Jeremy Siek @jeremysiek
3K Followers 352 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Max ⊶ New @maxsnew@... @ProfMaxNew
1K Followers 208 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Tufts University Scho... @TuftsEngineer
3K Followers 216 Following School of Engineering at @TuftsUniversity. Combining the resources of a world-class research university with the strengths of a top-ranked liberal arts college.
Ming Chow @0xmchow
7K Followers 390 Following Hacker of the old-school variety. Associate Teaching Professor at Tufts University. Likes the simple life. My views are mine alone. #GGMU
Google Design @GoogleDesign
212K Followers 438 Following Design resources and inspiration from Google — including the Material Design system, Google Fonts, and emerging concepts.
Vijay Chidambaram @vijay_ut
223 Followers 578 Following Professor @utcompsci. Work on all things systems and storage. Lead @utsaslab. Prev: @WisconsinCS. Views my own.
Michael A. Arouet @MichaelAArouet
141K Followers 1K Following Compounding. Economy & politics, investing, charts and irony. No investment advice. Watch out impersonators. I’m not on Threads, Telegram, Bluesky, Facebook etc
Tufts University @TuftsUniversity
53K Followers 956 Following Tufts is a student-centered research university dedicated to the creation and application of knowledge.
Ankush Desai @ankushpd
2K Followers 778 Following Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw
Tsung-Ju Chiang @tsungjuc
81 Followers 198 Following Studying programming languages. Mastodon: @[email protected]
Lef @elefthei
1K Followers 1K Following PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
Henry Chu @henryhchchc
121 Followers 174 Following aka. Hengcheng Zhu | PhD student @HKUST | Software Engineering Researcher & Hacker | https://t.co/QKsKn71i6Z
Tao Li @tao__li
176 Followers 462 Following Research Engineer @GoogleDeepMind | Formerly @GoogleAI | PhD @UtahNLP @UUtah | Intern @allen_ai Aristo, @Amazon A9, @PhilipsNA.
Yudai Urabe (占部) @yudai_urabe
100 Followers 303 Following Research student @ Tokyo Tech, Japan/Programming Languages/History of Computer Science/Othello,📖,🎱,🎤,🚶emoji🥳😤🌊
Alex Kavvos @lambdabetaeta
726 Followers 888 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni
GeCoIn at ECAI 2025 @GeCoIn2025
15 Followers 41 Following
Yue Jiang @YueJiang_nj
2K Followers 522 Following Incoming Assistant Professor at Utah. Previously at Aalto, MPI, UMD, UofT, Nanjing. 🇨🇳🇨🇦🇺🇸🇩🇪🇫🇮
John David Pressman @jd_pressman
9K Followers 772 Following LLM developer, AI agents, synthetic data, scalable alignment, forecasting, behavioral uploading. Transhumanist. All tweets public domain under CC0 1.0.
Zhongtang Luo @zhtluo
215 Followers 326 Following https://t.co/cd8EJEnrGA / 羅中瑭 / CS PhD @LifeAtPurdue with @aniketpkate / Interned @Meta / Undergrad @sjtu1896 / Cryptography & Network Security / Codeforces @Zhtluo
Sabine Hossenfelder @skdh
196K Followers 787 Following German Physicist. Author of "Lost in Math" & "Existential Physics". There is no strength in numbers, have no such misconception.
Yuka Ikarashi @c20
3K Followers 648 Following PhD candidate @MIT CSAIL / Trying to make things work / 🇯🇵→@00_
Ahan Gupta @AhanGupta13
106 Followers 1K Following Computer science PhD student @UIUC. Ex Google DeepMind & Citadel.
Shin Hwei Tan @tan_hwei
522 Followers 402 Following Associate Professor at Concordia University. Interested in finding bugs (software testing) and fixing them automatically (automated program repair).
max.rss @tekknolagi
2K Followers 895 Following Bread, beans, programming languages; fmr Chief Potato; he/him; cover photo credit xkcd proud owner of https://t.co/kUeNYzHHut https://t.co/q3ainEJ9sW
Grigore Rosu | π² @RosuGrigore
19K Followers 667 Following Founder & CEO @Pi_Squared_Pi2, building Web3 infra beyond blockchain | Founder @rv_inc | Professor @cse_uiuc | Creator of K Framework | Previously @NASA.
Vasanth Sarathy @vasanthsarathy
375 Followers 529 Following Improving Chess Player #Chesspunks | Amateur Cartoonist | CS Prof. at @TuftsUniv @TuftsCS | AI social and creative reasoning #AI |
Martin Vechev @mvechev
2K Followers 26 Following Professor of Computer Science, ETH Zurich. Founder of INSAIT (https://t.co/bqKTA6e8X0). Works on Safe/Secure AI, LLMs, Quantum. Co-founder of 6 Deep-Tech start-ups.
Hongxin Hu @hongxin_hu
996 Followers 610 Following Professor @ University at Buffalo, SUNY (@UBuffalo). Researcher of Security, Machine Learning, and Networking.
Neel Nanda @NeelNanda5
30K Followers 123 Following Mechanistic Interpretability lead DeepMind. Formerly @AnthropicAI, independent. In this to reduce AI X-risk. Neural networks can be understood, let's go do it!
Lea Verou, PhD @LeaVerou
119K Followers 1K Following I make things to help people make things. @csswg Invited Expert • @w3ctag alum • CS/HCI PhD @MIT Also: 🐘 @[email protected] • 🦋 @lea.verou.me
Yejin Choi @YejinChoinka
25K Followers 402 Following professor at Stanford, researcher at NVIDIA, adventurer at heart
Lin Tan @Lin0Tan
651 Followers 252 Following Elmore New Frontiers Professor @PurdueCS, Amazon Scholar @awscloud | Ex @Meta @UWaterloo @IllinoisCS @MSFTResearch @IBMResearch | #SE #LLM4Code #AI #Security
TracingWoodgrains @tracewoodgrains
49K Followers 2K Following Storyteller. Pragmatist. Pursue excellence. Cofounder @CenterforEdProg. Eng/中文
Thomas Zimmermann @tomzimmermann
4K Followers 1K Following Chancellor's Professor and Bren Chair at UC Irvine. ACM Fellow. IEEE Fellow. Previously at Microsoft Research.
Ross Tate @rossetate
3K Followers 148 Following Researcher and Consultant for Programming-Language Design and Implementation
Alvin Cheung @alvinkcheung
2K Followers 309 Following Data management and programming systems; Associate professor @Berkeley_EECS, member of @ucbrise, SLICE Lab, and @UCBIDS
Jason Gross @diagram_chaser
619 Followers 88 Following
Rahul Gopinath ⇾ @r... @_rahulgopinath
685 Followers 994 Following Computer Scientist. Lecturer (Asst/Prof) at the University of Sydney 🇦🇺. ശ്രീദേവി's Dad. Social: https://t.co/1FAoO2dBbV
Rui Ma @ruima
68K Followers 749 Following AI, EVs, Robotics, Education, China. Mom. Also I help edit @techbuzzchina. Views personal. Ask me anything
Justin Yirka @JustinYirka
507 Followers 303 Following Quantum Computing | Now at Blanqet | PhD at UT Austin w/ Scott Aaronson | BS at VCU
Klaus Gleissenthall @kgleissen
278 Followers 320 Following Assistant Professor in Computer Science at @VUamsterdam.
Michele Pasqua @_pasquaMichele_
46 Followers 130 Following Computer Scientist; Assistant Professor @UniVeronaTrends for United States
You might like
