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
-
Following951
-
Likes687
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
ARRAY 2026's (co-located with PLDI) deadline has been extended until April 6 AoE! Don't miss your chance to share your work on array-oriented programming. Also, for attendees, ARRAY's keynote speakers are now listed on the website: pldi26.sigplan.org/home/ARRAY-2026
CP 2026's deadline has been extended until Monday March 30 AoE! If you've been on the fence, now's your chance. We'd love to see your work!
The 2nd Workshop on Choreographic Programming (CP 2026) is co-located with @PLDI this year! Talk proposals are due in just a couple months. Please check out the website and share widely. pldi26.sigplan.org/home/cp-2026
🚨The PLDI'26 Student Research Competition deadline has been extended to Thursday, March 19! Whether your work is in its early stages or more polished, this is a great opportunity to get feedback from the PL community. Check out: pldi26.sigplan.org/track/pldi-202…
📢Calling all students! PLDI'26 is now soliciting student volunteers. It's a fantastic opportunity to connect with the programming languages research community, meet top researchers, and contribute to PLDI'26's success! ⏳Apply by April 13 AoE pldi26.sigplan.org/track/pldi-202…
The 2026 ACM SIGPLAN International Symposium on Memory Management (co-located with PLDI'26) is accepting submissions on areas of interest in memory management until March 27 AoE! See conf.researchr.org/home/ismm-2026 to submit and for more information.
Do you have new research ideas in array-oriented programming? Then submit your work as a full paper or extended abstract to ARRAY 2026 by April 1 AoE! For more info about ARRAY 2026 and the submission process see pldi26.sigplan.org/home/ARRAY-2026.
The EGRAPHS Workshop will hold its fifth (!) instance at PLDI'26! Submission deadline is April 17, 2026 AoE. Submissions are invited for talks broadly, including talks that may cover already published or in-progress work. See pldi26.sigplan.org/home/egraphs-2… for more info.
The 27th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2026) is co-located with PLDI'26 this year. Submit your work as an abstract by March 6 AoE and paper by March 13 AoE at pldi26.sigplan.org/home/LCTES-2026!
The 2nd Workshop on Choreographic Programming (CP 2026) is co-located with @PLDI this year! Talk proposals are due in just a couple months. Please check out the website and share widely. pldi26.sigplan.org/home/cp-2026
SOAP 2026 is now accepting paper submissions! Submit your experiments, tools, and ideas on program analysis by March 4, 2026 (soap26.hotcrp.com). More info: pldi26.sigplan.org/home/SOAP-2026 #SOAP2026 #CallForPapers #ProgramAnalysis Co-located with #PLDI2026 in #Boulder
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 🕊🪬 @TaliaRinger
33K 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 774 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Satnam Singh @satnam6502
22K 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 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Brendan Dolan-Gavitt @moyix
33K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Mike Hicks @michael_w_hicks
5K Followers 467 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 422 Following Professor of Programming Languages at Imperial College London
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Kristopher Micinski -... @krismicinski
7K Followers 3K 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 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. 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 216 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 Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
codegeist @codegeist
1 Followers 37 Following
Leon Ding @auula_
720 Followers 4K Following 🧪 INTP 🎸 Full-stack Developer 📚 Technology Blog Writer 🚢 International Busines 🔍 Research Basic Software 🧑🔬 Open Source Project Maintainer
FSTTCS 2026 @fsttcs
100 Followers 60 Following The 46th IARCS Conference on Foundations of Software Technology and Theoretical Computer Science at @iitdelhi. Tweets by @AalokDThakkar and @akhileshbalaji_.
Satpreet @SatpreetMakhija
97 Followers 82 Following Computation, proofs as programs, and program synthesis | Industry-turned Researcher @AshokaUniv | prev @Google
Vic Shihang Li @sudopowr
133 Followers 4K Following cs phd @uwcse, building self-defining systems (https://t.co/g6PsqayZZi). prev @BrownCSDept and @nyuniversity.
hard of smelling @whywhywhyw45382
13 Followers 307 Following
autodidac @autodidaclzfm
0 Followers 2K Following
Luka Duranovic @lduranovic99
0 Followers 23 Following
Alice Beaton @BeatonAlice
3 Followers 199 Following Careful of what you want or love sometime people take advantage of such to ruin you im worrying about my future and need someone good faithful to build the wit
Immad Naseer @immadnaseer
82 Followers 176 Following Interested in techniques and tools to help us build reliable software • Software Engineer @Azure
SAWC || CS STUDENT @sawyerc_cs
2 Followers 33 Following CS @AngeloState | unreal engine | NASA visualization project | DoD-funded AI Research
Aayan Kumar @aayankumar
5 Followers 39 Following
Prateek (प्रत... @prateekkumarweb
112 Followers 907 Following Senior Rust Engineer | prev - ByteDance, @Apple , @AQRCapital | @IITHyderabad Alumnus | ♥️ Rust and JavaScript 🇮🇳
Clas @Clas824584441
2 Followers 46 Following
Unjuno @UnJuno_
7 Followers 389 Following GITHUB https://t.co/LmKSzZ89yJ AIを用いた議論サイト https://t.co/L5HpTEKUzu
Vasu Singh @vasucp1207
19 Followers 559 Following
Kasra Arghavani @KasraArghavani9
12 Followers 663 Following
Carlos Rosario @CarlosRosario97
7 Followers 145 Following Passionate about science, technology, engineering, sports, and working out.
Symiere @symiereallard
42 Followers 2K Following AI | ML | Software Engineering | Interests in Philosophy | Psychology | Biohacking | Anthropology | Finance | Economics
Mariano Vecchioli @vekiar
21 Followers 210 Following
Jinpeng Wang @JinpengWang123
0 Followers 11 Following
Santiago Cuellar @VeryCuellar
10 Followers 37 Following Research Engineer @galois, previously PhD @PrincetonCS. Interested in language-based security and cryptography.
__Alita__ @_Progres1st_
0 Followers 21 Following
nsajko @nsajko2
1 Followers 86 Following
Haomin Machinery @HaoMin_Machine
3 Followers 62 Following Manufacturer of used excavators and loaders
ZeeRhoQ @ZirhoQ
3 Followers 74 Following
Aslan A. @alijevaslan
10 Followers 2K Following
Ziyu Mao @hoooyvaaas
0 Followers 4 Following
YEdawu66 @PFo32udr
2 Followers 675 Following
Jason @Kujuchang
0 Followers 95 Following
Sudeep Chowdhary @Sudeep_885
1 Followers 11 Following
Grigory Evko @GrigoryEvko
425 Followers 860 Following CTO @TheArtisanAI | Compilers, ML and DevOps engineer | MD
LucasAlves @LucasAl017715
1 Followers 122 Following
Shraddha Barke @shraddha_96
671 Followers 899 Following Senior Researcher @MSFTResearch | program synthesis, AI4Code, large language models, Human-AI | PhD from @ucsd_cse, @Theteamatx, @BITSPilaniGoa.
Dr. Thorsten Fuchs @ThorFuchs74
552 Followers 538 Following PhD Mathematician, Panta Rhei Research Program. Former McKinsey, Microsoft, AWS & ServiceNow.
Sudarshan Vasudevan @svasudevan2000
7 Followers 347 Following Software Engineer@LinkedIn, Data, Systems and Infrastructure, Cricket
Yonghyun Kim @Outis253
0 Followers 18 Following
Yueyang Feng @yueyang_feng
1 Followers 12 Following PhD student at National University of Singapore. Interested in formal method, programming language.
Chapel Language @ChapelLanguage
806 Followers 251 Following A productive parallel programming language that scales from laptops to supercomputers, developed as part of the High Performance Software Foundation (https://t.co/YduwthqU1q)
Halit Oğuztüzün @FaniKubbe
330 Followers 2K Following Professor, Department of Computer Engineering, Middle East Technical University, Ankara
Arnab Ghosh @ag2583
0 Followers 5 Following
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 🕊🪬 @TaliaRinger
33K 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 774 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Satnam Singh @satnam6502
22K 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 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Brendan Dolan-Gavitt @moyix
33K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Mike Hicks @michael_w_hicks
5K Followers 467 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 422 Following Professor of Programming Languages at Imperial College London
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Kristopher Micinski -... @krismicinski
7K Followers 3K 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 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Laurence Tratt @laurencetratt
4K Followers 313 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 216 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 Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
HPCA @HpcaArchConf
2K Followers 53 Following IEEE International Symposium on High-Performance Computer Architecture
Zephyr Yao @YaoZephyr
165 Followers 404 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 663 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 466 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
591 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
118 Followers 631 Following Attorney, Programmer, and Independent Scholar Founder, Founders' Quadrangle — an unincorporated association exploring possible Universities of the Future.
mip @mipcodes
114 Followers 532 Following
@[email protected] �... @jiribenes_
80 Followers 325 Following PhD student at University of Tübingen. Interested in linear types and effect systems. You can find me at: @[email protected]
Chandrakana Nandi @ChandrakanaNaN
618 Followers 209 Following Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle
Machine Learning Jack @ML__Jack
3K Followers 2K Following I'm Machine Learning Engineer and I provide free content through Machine Learning Jack Youtube channel and Facebook group.
Ali Ouni @ouniaali
720 Followers 927 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 114 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 53K Following Global #AI Advisor | Thought Leader in AI | Co-Founder #SwissCognitive | #CIO #CDO | #Speaker | #AI | #DigitalTransformation | CIO of Year Award | #CIO2020
Jan Newger @ObfuscaTHOR
474 Followers 446 Following Computer Architecture Research @ GoogleDeepMind. Tweeting about C++, compilers, performance, reverse engineering. Opinions my own. https://t.co/5Pe7fWGA8Q
batuhan the fal guy @isidentical
10K Followers 667 Following defending free markets @fal. holding inference speed records. Python core developer / @thePSF fellow
Ames ✨🌙🌟💫�... @eagerchickadee
131 Followers 567 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
18K Followers 1K Following Founder & CTO @tursodatabase; previously @ScyllaDB and Linux kernel. Author of "Latency" (https://t.co/XWRFq71WaJ).
sourabh jaiswal @sourabh_jaiswal
111 Followers 673 Following Software Engineer. Mainly in Read-Only mode here.
Didrik Lundberg @LundbergDidrik
87 Followers 172 Following I work with formal methods in computer science.
Xuanhua Shi @Xuanhua2
36 Followers 104 Following Professor of Computer Science, Huazhong University of Science and Technology
Nick Roessler @nick_roessler
172 Followers 956 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
64 Followers 78 Following
RedDeer.Games @RedDeer_Games
39K Followers 543 Following 🎮 INDIE GAMES DEVELOPER & PUBLISHER 🕹️ #Nintendo #Xbox #Steam #Playstation
z0ey @__z0ey__
154 Followers 551 Following
nukr @nukrs
22 Followers 431 Following
Suhaib A Fahmy @suhaibfahmy
359 Followers 122 Following Associate Professor, Computer Science at @KAUST_News 🇸🇦. Previously @imperialcollege 🇬🇧, @tcddublin 🇮🇪, @NTUsg 🇸🇬, @warwickuni and @turinginst 🇬🇧.
Pantelis Georgiou @pgeorgiou_ic
1K Followers 303 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
39 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 @bekdoteth
4K Followers 2K Following Built 3. Exited 3. Backed 40+ | Forbes Tech | AI, Big Data, Startups & Intelligence
SwissCognitive, AI Ve... @SwissCognitive
145K Followers 99K 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
763 Followers 990 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni
. @kwazinhlaka
479 Followers 719 FollowingTrends for United States
You might like
