POP at CMU @pop_cmu
Principles of Programming Group at Carnegie Mellon University. cs.cmu.edu/Groups/pop Pittsburgh, PA Joined October 2015-
Tweets92
-
Followers560
-
Following81
-
Likes30
The students in H.O.T.* Compilation dress as their professor, Karl Crary, for the day. *named such not just because compilers are 🔥🔥, but because it's about compiling higher-order types
1
5
30
0
0
Download Image
POP at CMU retweeted
POP at CMU retweeted
WiL 2018: Women in Logic, 8 Jul 2018, Oxford, England ift.tt/2BgDKxo
POP at CMU retweeted
PL as a research area can be a little misunderstood. Sometimes applicants think "I'll be studying Java, Python, Perl". We cover a broad spectrum abstract theories of programming concepts to large-scale implementations in working software systems. Check out all the interviews. :-)
This interview is great for conveying why one would do research on the principles of programming.
This interview is great for conveying why one would do research on the principles of programming.
POP at CMU retweeted
Register now for POPL 2018! Early registration ends December 10. popl18.sigplan.org/attending/Regi…
POP at CMU retweeted
Great conversation with @fancytypes about her approach to language design research and what it's been like working with Haskell as more and more people use it. cs.cmu.edu/~popl-intervie…
If you're interested in doing a PhD in programming languages, you should definitely apply to @SCSatCMU! Many of us are taking new students: cs.cmu.edu/Groups/pop/
POP at CMU retweeted
People of PL, a series of interviews with people in the POPL community: cs.cmu.edu/~popl-intervie…
POP at CMU retweeted
Registration is open for #POPL2018! Join us in LA in January. popl18.sigplan.org/attending/Regi…
New paper from the Platzer group about formally verifying obstacle avoidance in robots: journals.sagepub.com/doi/10.1177/02…
POP at CMU retweeted
Spread the word! Applications for the PL Mentoring Workshop (in LA next Jan, colocated with POPL) are due Oct 29. popl18.sigplan.org/track/PLMW-POP…
POP at CMU retweeted
Students who want to attend POPL in LA: the first-round deadline for student volunteers is coming up October 15! popl18.sigplan.org/track/POPL-201…
POP at CMU retweeted
We're on Twitter now! Follow us for news about the conference and for the latest on principles in programming languages.
Spread the word! POPL's Programming Languages Mentoring Workshop (PLMW) application deadline is October 29. popl18.sigplan.org/track/PLMW-POP…
Are you a PhD student who wants to attend POPL 2018? Apply to be a student volunteer! popl18.sigplan.org/track/POPL-201…
Talia Ringer 💚 @TaliaRinger
30K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Ilya Sergey @ilyasergey
6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Loris D'Antoni @lorisdanto
8K Followers 771 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
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
Sydney Gibson 🚛 �... @sydgibs
3K Followers 317 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Sam Westrick @shwestrick
1K Followers 595 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
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.
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
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
brogician @sivawashere
434 Followers 271 Following you're wrong about programming languages and i'm right
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
billions of packets @justinesherry
10K Followers 2K Following Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
David Thrane Christia... @d_christiansen
3K Followers 623 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
Ron Garcia @rg9119
2K Followers 429 Following Transmogrifies coffee into LaTeX at University of British Columbia
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
Heather Miller @heathercmiller
14K Followers 988 Following Science-ing at Two Sigma, Professing computery things at CMU. Co-founder & former Exec Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
reserved @reserved932924
51 Followers 4K Following
EleanorePerkin @L5R4e87uAQB5sM
70 Followers 7K Following
Netonaw @NetonawrnbHUP
19 Followers 790 Following
Believe @Believe80360786
34 Followers 3K Following
Jiasun Li @mysteryfigure
963 Followers 997 Following Vibe coder; Learning econ & CS via blockchains & beyond; Assoc. Prof. @GeorgeMasonU; Visiting Prof. @Yale spring 2025
13_Audrey @13Audrey174467
50 Followers 3K Following
Crypto Wallfacer @nubyist
181 Followers 2K Following 币圈面壁人，币圈黑暗森林面壁人 #CryptoWallfacer #加密货币 #比特币 #区块链
Thasha @Thasha1458164
50 Followers 1K Following
Yiyuan Cao @yiiiyuannn
20 Followers 233 Following PhD student in programming languages at Peking University.
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.
Apprentice @monadivalence
214 Followers 274 Following Type theory daisuki! Profile picture by @sealily___
Ernest Ng @ngernest2
504 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
comonoidal esotericis... @adamnemecek1
3K Followers 3K Following Fixing machine learning @ https://t.co/x06CbGClKL. There is no AGI, without energy-based models. As seen on HN: https://t.co/WpbTAjLvPv
Jim Fowler @kisonecat
2K Followers 3K Following A mathematician at the Ohio State University. He/him. @[email protected]
Aswin V @avi010_
91 Followers 477 Following
Rommel Quintanilla @rommelqc
180 Followers 2K Following
ajay singh @aajayssingh1
42 Followers 334 Following PhD @UWCheritonCS. Area: #ConcurrencyTheory#ConcurrentSystems. Wrote code @SamsungResearch and attempted security and privacy research @TCSResearch.
Robert Zhang @0xrobertzhang
261 Followers 344 Following CS PhD student @UTCompSci | CS undergrad & Masson Fellow @JohnsHopkins | Formerly @Reactjs @MetaOpenSource
Mayank Keoliya @KeoliyaMayank
83 Followers 303 Following PhD @ Penn, working on trustworthy AI for healthcare!
Xiangrong Bin @xrbin0
3 Followers 133 Following
Gangādhara @terrible_archer
174 Followers 1K Following Tweets would often be deleted. Mostly a fictional scrapbook with occasional technical threads.
Eunsuk Kang @eskang09
609 Followers 919 Following Associate prof. @SCSatCMU, @S3DatCMU. Software engineering, formal methods, system design, safety, security.
Shrey Tiwari @shrey_twr
481 Followers 498 Following Here to share my journey in research/life | PhD Student @CarnegieMellon | Previous @Uber @MSFTResearch @citrix @MorganStanley @iiscbangalore
Catarina Gamboa @catarinavgamboa
246 Followers 244 Following PhD Student 🖥️ Software Engineering @S3DatCMU and @lasige ✈️ Currently: Pittsburgh, US 📍From: Olhalvo, Lisbon, PT Check out LiquidJava!!
Pratap Singh | @prata... @vdash_pratap
57 Followers 186 Following @[email protected] PhD student at @CSDatCMU, prev RA at @MIT_CSAIL, undergrad at @Harvard. Interested in security, formal verification, PL. he/him/his
beike @beikejun07
33 Followers 2K Following
jiangsy @jiangsy96
25 Followers 303 Following
zach battleman 🦋 @zaxioms
169 Followers 1K Following Certified Bestie 🦋 CMU SCS '25 I like math and computer things just a tad too much Carnegie Library of Pittsburgh Enjoyer
Tom 7 @tom7
8K Followers 364 Following lexicographic NES AIs, alphabetical star wars, video games, fonts, album-a-day, expert mode running, chiptune, programming languages, etc.
Vaibhav Kurhe @vaibspidy
191 Followers 1K Following Senior Member of Technical Staff at Oracle (Database Transactions) | MTech CSE from IIT Delhi | Interested in Systems Research
Shoaib Ahmed Dipu @shoaibdipu
267 Followers 5K Following Prospective PhD Student | Lecturer at @CSEbracU
Michael McLoughlin @mbmcloughlin
806 Followers 2K Following Mathematical Software Engineer. Mastodon @[email protected] Bluesky @mmcloughlin.com
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 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
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
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
David Thrane Christia... @d_christiansen
3K Followers 623 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
Ron Garcia @rg9119
2K Followers 429 Following Transmogrifies coffee into LaTeX at University of British Columbia
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
Michael Greenberg @mgrnbrg
979 Followers 155 Following
Heather Miller @heathercmiller
14K Followers 988 Following Science-ing at Two Sigma, Professing computery things at CMU. Co-founder & former Exec Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
POPL 2026 @poplconf
3K Followers 280 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
Pavel Panchekha @pavpanchekha
1K Followers 95 Following Web browsers, numerics, PL, and formal methods at the University of Utah
UCF Computer Science @UCFComputerSci
2K Followers 257 Following We write the code for an exceptional computer science education. Housed within @UCFCECS. #UCFCS
UW PLSE @uwplse
1K Followers 179 Following We are the Programming Languages and Software Engineering group at the University of Washington (@uwcse)
UCL-CS PPLV @ucl_pplv
261 Followers 157 Following Programming Principles, Logic and Verification group at University College London
INI Carnegie Mellon @inicmu
4K Followers 2K Following The Information Networking Institute (INI) offers master's programs in Information Networking, Information Security and Mobile & IoT Engineering.
Jana 🏳️⚧️... @etrolleybus
278 Followers 137 Following It never gets easier, but you might get better at it. · ⊢ 🏳️🌈 ∧ 🏳️⚧️ • https://t.co/IQvbolzYDO
Lars Bergstrom @larsberg_
3K Followers 3K Following Google Director of Engineering, @android Platform Tools & Libraries. @rust_foundation & @risc_v Board of Directors. Powerlifter. (he/him)
Noam Zeilberger @noamzoam
739 Followers 546 Following Computer scientist interested in the connections between things. Assistant professor at @LIX_lab @Polytechnique. https://t.co/idhOknEIRO
EP @EdgarPek
94 Followers 612 Following
Tiark Rompf @tiarkrompf
2K Followers 506 Following Purdue University (We're hiring! grad students, post-docs, faculty)
Papers We Love (@pape... @papers_we_love
14K Followers 698 Following !!! Follow us in the Fediverse: @[email protected] Papers https://t.co/n9Q4lMpuhk | Videos https://t.co/m7KZoSv7Tt | PWLConf https://t.co/0heF6CVy76
Conal Elliott @conal
5K Followers 371 Following Into correct, efficient engineering with precise & simple specifications. Play/work with me: https://t.co/qDqyBbWKnm . https://t.co/TsY4j2QJwu
Chung-chieh Shan 單�... @ccshan
1K Followers 623 Following Into: ambiguity (watching). He. https://t.co/4xLJ0ebN7J @[email protected]
Gabriele Keller @gckeller
1K Followers 386 Following Professor of Software Technology, @UniUtrecht, (functional) programming languages, type systems, parallel computing @[email protected]
CMU Computer Science ... @CSDatCMU
8K Followers 806 Following CSD's mission @ Carnegie Mellon is to lead in computer science research & education, pushing the frontiers of the field, resulting in real world impact.
Carnegie Mellon Unive... @CarnegieMellon
81K Followers 2K Following United by curiosity and driven by passion, we reach across disciplines, forge new ground and deploy our expertise to make real change that benefits humankind.
Association for Compu... @TheOfficialACM
72K Followers 3K Following The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org Likes & shares ≠endorsement
Andrew Moore @awmcmu
6K Followers 97 Following Vice President, Google and head of Google Cloud AI. I love Algorithms, Systems, Machine Learning, AI.
CMU School of Compute... @SCSatCMU
48K Followers 764 Following The School of Computer Science at @carnegiemellon is one of the world's premier institutions for computer science research and education.
Type Theory Podcast @typetheorypcast
1K Followers 1 Following A podcast about type theory from the viewpoints of programming, mathematics, and philosophy. Hosted by @darinmorrison, @jonsterling, and @d_christiansen.
Stephanie Weirich @fancytypes
3K Followers 354 Following
Ran Ji @talentjimmy
2 Followers 7 Following
Ram Raghunathan @ramLlama
24 Followers 37 Following
daniel gratzer @dannygratzer
1K Followers 764 Following phd student @ aarhus university. (modal) type theory, (higher) category theory. he/him. 🏳️🌈.
bblum chesed yibaneh @bubblingbeebles
418 Followers 295 Following i like biking, baking, hockey, games board & dance, linguistics programming & natural. they/them. 日本語垢の@bblum4649もぜひ。
Kraang Subprime Mortg... @overfull_hitbox
361 Followers 155 Following Software Engineer in Android Security and Privacy, analyzing apps for shady behavior. This account's at the hotel bar, not the technical session he/him
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Thomas Zimmermann @tomzimmermann
4K Followers 1K Following Chancellor's Professor and Bren Chair at UC Irvine. ACM Fellow. IEEE Fellow. Previously at Microsoft Research.
Tao Xie @taoxiease
3K Followers 3K Following Peking University Chair Professor (Chair of Software Science&Engineering Dept), Former UIUC CS Full Professor (ACM/IEEE/AAAS Fellow, Academia Europaea Member)
Mike Freedman @michaelfreedman
5K Followers 376 Following Co-founder/CTO, @TigerDatabase / @TimescaleDB 🐯🦄. Professor, @PrincetonCS. Distributed systems, databases, AI, security, networking.
Eddie Kohler @xexd
2K Followers 383 Following Ass, Professor. Gay. “Wow, A+++ would rely on the services of Eddie "Monkey Bounty Hunter" Kohler again” —@moyix. They (or he)
Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]
Mitch ((No Kings!!)) ... @mwand
559 Followers 500 FollowingTrends for United States
1.457 posts
40,6 B posts
2.447 posts
9.665 posts
10,5 B posts
3.500 posts
34,2 B posts
48,2 B posts
11 B posts
3.050 posts
15,6 B posts
15,2 B posts
4.132 posts
10,9 B posts
1.404 posts
3.285 posts
49,6 B posts
2.616 posts
You might like
PLDI
@PLDI
5K Followers
Isil Dillig
@IsilDillig
4K Followers
PL/FM/SE at Illinois
@plfmse
1K Followers
Peter O'Hearn
@PeterOHearn12
2K Followers
POPL 2026
@poplconf
3K Followers
Derek Dreyer
@HerrDreyer
3K Followers
Zachary Tatlock
@ztatlock
1K Followers
Effect | TypeScript a...
@EffectTS_
11K Followers
Ranjit Jhala
@RanjitJhala
3K Followers
Arjun Guha
@ArjunGuha
1K Followers
UCL-CS PPLV
@ucl_pplv
261 Followers
Joe
@alpha_convert
4K Followers
Alexandra Silva
@alexandra8silva
2K Followers
Ankush Das
@Das8Ankush
553 Followers