PLDI @PLDI
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas. pldi26.sigplan.org Boulder, Colorado Joined July 2010-
Tweets1K
-
Followers5K
-
Following948
-
Likes685
Most sincere thanks to the authors, speakers, sponsors, reviewers, and participants for making PLDI 2026 in Boulder such a huge success! -- PLDI 2026 Organizers
#PLDI2026 day 1 is in the books! We've already had some fantastic talks with packed rooms and great energy. There's still 2 days left to catch the full slate of research talks shaping the future of programming language design and implementation. Don't miss them!
The views from Monday/Tuesday's Chautauqua hikes were unreal! Missed them? Don't worry #PLDI2026's social week is just getting started! We have Bands on the Bricks tonight, tea at Dushanbe tomorrow, and one more hike Friday. See you there! 🏔️ pldi26.sigplan.org/track/pldi-202…
@satnam6502 In case tweets aren't enough, we are live streaming participating talks and sessions (including the keynotes) here: pldi26.sigplan.org/attending/live…
The #PLDI2026 main conference kicks off tomorrow in Boulder, CO! We have stellar keynotes lined up for each day on: - PL design in the ML era (Wed), - AI validation with testing and proof engineering (Thu), and - Quantum through a PL lens (Fri). 🔗pldi26.sigplan.org/track/pldi-202…
Unable to attend a talk or session at #PLDI2026 in person? You can still join via live-stream through links available on the PLDI website!
#PLDI2026 is live-streaming participating sessions on YouTube! Catch workshops, keynotes, research talks, and more from the premier PL and programming systems research venue. 📺Tune in at: pldi26.sigplan.org/attending/live…
Beyond the sessions, at #PLDI2026 we've got a full week of social meetups to explore Boulder! This includes hikes in Chautauqua Mon/Tues/Fri, walk to downtown Pearl St for Bands on the Bricks on Wed, and tea at the Dushanbe Tea House on Thu. 🏔️pldi26.sigplan.org/track/pldi-202…
The third Programming for the Planet workshop is kicking off at @PLDI now; live stream at youtube.com/watch?v=wqc94h… and live blog at bsky.app/profile/propl.…
#PLDI2026 is live-streaming participating sessions on YouTube! Catch workshops, keynotes, research talks, and more from the premier PL and programming systems research venue. 📺Tune in at: pldi26.sigplan.org/attending/live…
As you begin your travels to #PLDI2026, don't forget to check out the travel information on the website for directions from the airport to the Limelight Boulder. We also have tips for exploring Boulder from our local organizers. Pack your hiking boots! 🔗pldi26.sigplan.org
The PAgE'26 @ #PLDI2026 program is live! PAgE is packed with great talks on formal methods for AI, agentic code reasoning and debugging, self-healing agentic programs, and more. Join us Monday, June 15 in Boulder, CO for PAgE: 🔗pldi26.sigplan.org/home/page-2026
The Proceedings of the ACM on Programming Languages (PACMPL) issue for #PLDI2026 is out! 🔗dl.acm.org/toc/pacmpl/202… With less than a week until the conference kicks off in Boulder, CO on June 15, now's the perfect time to plan your reading list and program schedule!
The program is live for the Tom Ball @ Sixty workshop at #PLDI2026! We have a great line up of distinguished speakers covering decades of important research in testing and formal verification. Don't miss it! 📅 Tue, Jun. 16 | Boulder, CO 🔗 pldi26.sigplan.org/home/tb-60-2026
We've set up a Discord server for #PLDI26! Join the community for discussions, networking, and real-time conference updates. Find the invite link on the attendee info page: pldi26.sigplan.org/attending/Info…
Don't forget about PLDI's exciting workshops at registration! ARRAY: Array-oriented Programming CP: Choreographic Programming EGRAPHS: Equality Graphs PAgE: Principles of Agentic Engineering PROPL: Programming for the Planet SOAP: SotA in Program Analysis TB@60: Tom Ball at 60
🚨Time is running out for #PLDI2026 early rates!🚨 Early registration closes in two days on May 16 (UTC -6), and the room block at the Limelight Boulder expires TOMORROW, May 15 (UTC -6). Don't miss these savings! 🔗pldi26.sigplan.org
PAgE'26's submission deadline is now May 6 AoE! Don't miss this chance to share your work on safe agentic engineering!
AI agents are being deployed in production, but are they safe, reliable, and trustworthy? PAgE @ PLDI'26 brings the formal methods and AI communities together to tackle this challenge! Submissions and attendance welcome. 🗓️New deadline: April 30 AoE 🔗pldi26.sigplan.org/home/page-2026
AI agents are being deployed in production, but are they safe, reliable, and trustworthy? PAgE @ PLDI'26 brings the formal methods and AI communities together to tackle this challenge! Submissions and attendance welcome. 🗓️New deadline: April 30 AoE 🔗pldi26.sigplan.org/home/page-2026
We encourage undergraduate, master’s, and early-stage PhD students interested in programming languages to apply for PLMW at PLDI 2026. It is a great opportunity to learn from researchers, build connections, and explore future directions in PL. Apply here: pldi26.sigplan.org/home/PLMW-PLDI…
A special workshop celebrating Thomas Ball's 60th birthday and extraordinary impact in PL, SE, and formal methods will be held on June 16th at PLDI'26! There is a great line up of speakers who will reflect on his work and lasting influence. Don't miss it! pldi26.sigplan.org/home/tb-60-2026
Shriram Krishnamurthi... @ShriramKMurthi
24K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 🕊🪬 @TaliaRinger
34K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Loris D'Antoni @lorisdanto
9K Followers 778 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Satnam Singh @satnam6502
23K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Ilya Sergey @ilyasergey
8K Followers 993 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Brendan Dolan-Gavitt @moyix
34K Followers 7K Following Building offsec agents: https://t.co/G9EtnC3eaB PGP https://t.co/3WXr0Rgpa3
Mike Hicks @michael_w_hicks
5K Followers 466 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Alastair Donaldson @afd_icl
3K Followers 421 Following Professor of Programming Languages at Imperial College London
Andrew Myers @AndrewCMyers
6K Followers 299 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Derek Dreyer @HerrDreyer
3K Followers 210 Following Get used to disappointment. Professor @ MPI-SWS. Opinions expressed here are my own and do not reflect the views of my employer.
Kristopher Micinski -... @krismicinski
7K Followers 4K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Graham Hutton @haskellhutt
9K Followers 704 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
KC Sivaramakrishnan @kc_srk
6K Followers 4K Following Profing @iitmadras. Running @fp_launchpad. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Ben L. Titzer @TitzerBL
2K Followers 346 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
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)
Andreas Zeller @AndreasZeller
10K Followers 217 Following Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Council. Co-dev of https://t.co/ilgx6i6eL1 He/him.
✨ Jean Yang ✨ @jeanqasaur
23K Followers 4K Following Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
李鹏 @miaobyte
1 Followers 18 Following 这是我设计的编程语言与计算架构 https://t.co/RQsRyyvMqZ &正在打造最好的rsi-agent https://t.co/Sp6cUAXBnZ，在@nio 支持世界模型训练加速
ryu @mr0ti6
9 Followers 91 Following メイン: @ysk3578 Interested in ML systems, compilers, high frequency trading
Omar Jatoi @omarjatoi
52 Followers 756 Following Software Engineer @NVIDIA. Previously @GroqInc, @recursecenter, @Lyft.
Carlos Caldas 🇵�... @CarlosC24501217
478 Followers 357 Following Oncology Physician Scientist. @caldaslab @HebrewU Functional genomics. Breast cancer ecosystems. Cell state and cell fate. Precision cancer medicine 2.0
Dirk @DirkDai
1 Followers 12 Following
Qinggao Hong @qhong1729
0 Followers 16 Following
Ryan Doenges @doenges_cs
6 Followers 36 Following By pressing down a special key It plays a little melody
jonathan @jonathanymoreo
4 Followers 169 Following cs undergrad | math, programming and structures in general
Jonathan H. @JonathanH164328
1 Followers 20 Following
Deborup Sanyal @deborupsanyal
4 Followers 205 Following Storage and memory systems @SyracuseU | Prev: @UT_Dallas, @UBuffalo, @IllinoisTech, @QatarComputing, @nomura
Kloten @kloten324
0 Followers 19 Following
Valaar @valaar12
0 Followers 221 Following
Yifeng He @yfhe62
91 Followers 357 Following Head of gym and director of powerlifting @ainativescience | PhD @ucdavis | Prev @awscloud @BytedanceTalk
ozox @ozox
9 Followers 447 Following
hualin wu @wu_hualin
8 Followers 911 Following
Andrew Shu @0xAndrewShu
86 Followers 2K Following Founder @Branchmore, personal AI coding analytics. Former Dir. Eng @PermisoSecurity, founding CTO @Printivity. Writing about eng at https://t.co/xN9MzMtODC
윤하진 @yun_daisy_1011
0 Followers 30 Following
Yida @yidayuan1028
0 Followers 49 Following
Avinash Subramanian @avi_research
29 Followers 812 Following Software Engineer @JuliaHub_Inc, @GeorgiaTech Computer Science Prev: @MIT Chemical Eng. Optimization. Machine Learning. Systems Engineering. #julialang #Dyad
Vishal Patwa @VishalP73893317
2 Followers 133 Following
1HateTheWorld @Eoon777
0 Followers 67 Following https://t.co/gy3MjWkVHb Focus on Program Analysis,Compiler Engineering,Cyber Security.....
Eva @Eva8God
56 Followers 2K Following
Zheng Qing @Zine_QIN
0 Followers 43 Following
Confused Perceptron @P3rc3ptr0n
6 Followers 137 Following
Laura Zielinski @lcziel
10 Followers 25 Following
Pedro Henrique @pedroh2993
14 Followers 4K Following
Henry Ogedegbe Jr. @_HooJR
312 Followers 3K Following Founder & CEO | Quincy Labs | AGI Sickle Cell Warrior | RCS 🩸 🧬Engineer, BlockHaven — Building The Health Intelligence Network™ https://t.co/FRx1NrSibL
farsi_rumi @farsi_rumi
0 Followers 2K Following
imxm @MoazzamArif2
198 Followers 551 Following Connecting 0s and 1s in blockchain | Security Researcher | CQF Candidate @block_apex @SecurityOak @Nerochain_io @OrbitEarn
Georgiy Komarov @_jubnzv
42 Followers 98 Following compiler engineer | building web3 security tooling | @nowarp_io | ex @paritytech @Zilliqa @Huawei
Anvit Aggarwal @anvit26
0 Followers 48 Following
Alegruz @Notremesw
0 Followers 117 Following
Shriram Krishnamurthi... @ShriramKMurthi
24K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 🕊🪬 @TaliaRinger
34K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Loris D'Antoni @lorisdanto
9K Followers 778 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Satnam Singh @satnam6502
23K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Ilya Sergey @ilyasergey
8K Followers 993 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Brendan Dolan-Gavitt @moyix
34K Followers 7K Following Building offsec agents: https://t.co/G9EtnC3eaB PGP https://t.co/3WXr0Rgpa3
Mike Hicks @michael_w_hicks
5K Followers 466 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Alastair Donaldson @afd_icl
3K Followers 421 Following Professor of Programming Languages at Imperial College London
Andrew Myers @AndrewCMyers
6K Followers 299 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Derek Dreyer @HerrDreyer
3K Followers 210 Following Get used to disappointment. Professor @ MPI-SWS. Opinions expressed here are my own and do not reflect the views of my employer.
Kristopher Micinski -... @krismicinski
7K Followers 4K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Graham Hutton @haskellhutt
9K Followers 704 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
KC Sivaramakrishnan @kc_srk
6K Followers 4K Following Profing @iitmadras. Running @fp_launchpad. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Laurence Tratt @laurencetratt
4K Followers 319 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
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)
Andreas Zeller @AndreasZeller
10K Followers 217 Following Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Council. Co-dev of https://t.co/ilgx6i6eL1 He/him.
✨ Jean Yang ✨ @jeanqasaur
23K Followers 4K Following Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
HPCA @HpcaArchConf
2K Followers 53 Following IEEE International Symposium on High-Performance Computer Architecture
Zephyr Yao @YaoZephyr
167 Followers 425 Following Assistant Professor @NJIT, PhD @UCIrvine. Focused on system and security. Views are my own. Anything interesting is likely due to my cat 🐈 jumping on keyboard.
Yao Li @lastland0
1K Followers 665 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]
Sriram Rajamani @SriramRajamani
3K Followers 464 Following Geek, technologist, research junkie. Dad, husband, son, brother & uncle. CVP, Microsoft CoreAI. Working with wonderful colleagues and friends.
Simon Peyton Jones @simonpj0
5K Followers 3 Following
Sukyoung Ryu @sukyoungryu
589 Followers 237 Following KAIST ICT Endowed Chair Professor Chairperson of Kakao Impact (https://t.co/li80h1SU9L)
Benjamin Chetioui @_SIben_
1K Followers 1K Following Currently JAX & Pallas @GoogleDeepMind 🇨🇭 (prev XLA @Google 🇨🇭🇧🇻, PL PhD @UiB 🇧🇻) | ⚪⚫ Go player, 🇫🇷🥈'25 | Prev CTF @FlatNetworkOrg. Opinions my own
Dave Grove @david_p_grove
23 Followers 5 Following
Peter J. Wasilko @PeterJWasilko
111 Followers 628 Following Attorney, Programmer, and Independent Scholar Founder, Founders' Quadrangle — an unincorporated association exploring possible Universities of the Future.
mip @mipcodes
110 Followers 530 Following
@[email protected] �... @jiribenes_
78 Followers 324 Following PhD student at University of Tübingen. Interested in type systems and (co)effect systems. You can find me at @[email protected]
Chandrakana Nandi @ChandrakanaNaN
662 Followers 207 Following Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle
Ali Ouni @ouniaali
719 Followers 926 Following Father, husband, researcher, professor, software engineer
Steve Downey @sdowney
1K Followers 1K Following Software engineer at Bloomberg LP Views are my own he/him Parody of a real software engineer and grown up. @[email protected]
Neil Thawani @lioninawhat
1K Followers 3K Following This account is no longer active. Follow @neilthawani for updates.
Marvin Ma @MarvinM81969885
7 Followers 112 Following Ph.D student, interested in AIOPS (AI for IT Operations).
Saurabh Jha @SaurJha
95 Followers 192 Following Software engineer. Interested in computers and music.
THE AI ANDY FITZE @andy_fitze
85K Followers 52K Following Global #AI Advisor | Thought Leader in AI | Co-Founder #SwissCognitive | #CIO #CDO | #Speaker | #AI | #DigitalTransformation | CIO of Year Award | #CIO2020
Jan Newger @ObfuscaTHOR
532 Followers 451 Following Computer Architecture Research @ GoogleDeepMind. Tweeting about C++, compilers, performance, reverse engineering. Opinions my own. https://t.co/5Pe7fWGA8Q
batuhan the fal guy @isidentical
11K Followers 699 Following allocating compute and defending free markets @fal. holding inference speed records. Python core developer / @thePSF fellow
Ames ✨🌙🌟💫�... @eagerchickadee
131 Followers 566 Following ames.jmh on threads…let’s build things that last, make art, read, talk, and be merry together she/her 🏳️🌈
Tim Pl @timofeipl
222 Followers 365 Following Software engineer, technologist, tech-optimist, deep tech
Pekka Enberg @penberg
20K Followers 1K Following Founder & CTO @tursodatabase; previously @ScyllaDB and Linux kernel. Author of "Latency" (https://t.co/XWRFq71WaJ).
sourabh jaiswal @sourabh_jaiswal
110 Followers 680 Following Software Engineer. Mainly in Read-Only mode here.
Didrik Lundberg @LundbergDidrik
86 Followers 172 Following I work with formal methods in computer science.
Xuanhua Shi @Xuanhua2
33 Followers 104 Following Professor of Computer Science, Huazhong University of Science and Technology
Nick Roessler @nick_roessler
170 Followers 963 Following Computer scientist, former PhD @Penn. Interested in exploit mitigation techniques, systems, exploit dev, kernel hacking, simulations
Anshu Dasgupta @AnshuDasgupta
20 Followers 175 Following Ones and zeros and everything in between. Compilers @Qualcomm. @RiceUniversity and @OhioWesleyan alumnus. Opinions are my own.
Cormac Flanagan @cormacflanagan
63 Followers 78 Following
RedDeer.Games @RedDeer_Games
39K Followers 542 Following 🎮 INDIE GAMES DEVELOPER & PUBLISHER 🕹️ #Nintendo #Xbox #Steam #Playstation
z0ey @__z0ey__
153 Followers 548 Following
nukr @nukrs
22 Followers 434 Following
Suhaib A Fahmy @suhaibfahmy
352 Followers 120 Following Associate Professor, Computer Science at @KAUST_News 🇸🇦. Previously @imperialcollege 🇬🇧, @tcddublin 🇮🇪, @NTUsg 🇸🇬, @warwickuni and @turinginst 🇬🇧.
Pantelis Georgiou @pgeorgiou_ic
1K Followers 302 Following Professor of Biomedical Electronics at Imperial College London, Head of Bio-inspired Metabolic and Infection Technology Lab, Centre for Bio-inspired Technology
🐘@[email protected]... @cxandru
38 Followers 118 Following Haskell Nix Emacs Rec… Schemes Generic Prog… Cat… Th… Lang… Acquis… Unlearn Patr…chy Vegan Sustainable Skeptic Friend Family Patron Maker 🇪🇺an they/them
Berkan Altun @berkanxyz
4K Followers 2K Following Built 3. Exited 3. Backed 40+ | Forbes Tech | AI, Big Data, Startups & Intelligence | Posts mainly in 🇹🇷
SwissCognitive, AI Ve... @SwissCognitive
144K Followers 98K Following We are committed to unleashing the power of AI in the business world. With our AI research, advisory, and ventures, we bring a blend of expertise to the Table.
Alex Kavvos @lambdabetaeta
1K Followers 1K Following computer scientist (moonlighting as category theorist). associate professor at @bristolcs @BristolUni
. @kwazinhlaka
476 Followers 718 Following
Troy Howard @thoward37
2K Followers 4K Following Docs, Search Engines, ML, Ethical Machines, Calm Tech, and Community alum: @twitter/@ford STL→PEK→PDXYou might like
