MaPLE Lab (Applied PL) @AppliedPl
Methods and Programming Languages Lab. Tweets about: research practice, culture, and findings; higher education; tech. Joined June 2022-
Tweets19
-
Followers82
-
Following104
-
Likes28
Related: As the future of Twitter is uncertain, could we all coalesce around e.g. a @sigplan mailing list or something else more centralized to post about opportunities?
0
0
1
0
0
Anyone have experience running ads on fb? We had an id rejected during the identity verification process and the docs online aren't aligning with what we're seeing. No idea how to get in touch with a person there...
Is there a "SIGPLAN submission tex templates for dummies?" There are so many flags now...
MaPLE Lab (Applied PL) retweeted
working on a blog post about the causal message delivery protocol from sciencedirect.com/science/articl…
Just so you know where we stand on this issue in this lab: tiktok.com/@masood_boomga…
Just so you know where we stand on this issue in this lab: tiktok.com/@masood_boomga…
MaPLE Lab (Applied PL) retweeted
Do you want to help making the next POPL happen by participating in the Artifact Evaluation Committee? Do you know of a student or colleague who would be a great fit for it? Nominate yourself or someone else below! forms.gle/L7dDGPNcToGpDX… Deadline extended to August 5
MaPLE Lab (Applied PL) retweeted
Shiny new look for my blog! Now with HTTPS! decomposition.al ✨ Plus, new post with a transcript of my FLOPS 2022 keynote talk, on building distributed systems with Liquid Haskell: decomposition.al/blog/2022/07/2…
First lab blog post, answering the hard questions we get. 😉 uvm-maple.github.io/blog/what-is-p…
MaPLE Lab (Applied PL) retweeted
🚨 Call for Papers 🚨 jsys.org/cfp/ Next deadline: August 1st Notification: September 15th 🚀 13 areas are welcoming submissions! • Computer Architecture • Configuration Management for Systems • Data Science and Reproducibility 1/5
MaPLE Lab (Applied PL) retweeted
Our fellowship will launch soon, also, and is a good fit for this kind of thing, though the pilot is just in programming languages: computingconnections.org
MaPLE Lab (Applied PL) retweeted
Essentials of Compilation is now in the "forthcoming" stage of publication (release date Feb 2023): mitpress.mit.edu/books/essentia… so you can already pre-order: indiebound.org/book/978026204… amazon.com/dp/0262047764/
MaPLE Lab (Applied PL) retweeted
Shut it all down. Twitter has fulfilled its purpose. We can call it day. Elon can buy it and burn it.
Shut it all down. Twitter has fulfilled its purpose. We can call it day. Elon can buy it and burn it.
Guidelines, advice, and thoughts on writing every day (for graduate students in CS): emmatosch.com/musings/writin…
Rose Bohrer @rose_bohrer
452 Followers 612 Following Asst CS Prof at WPI. Interdisciplinary from PL/FM/CPS to HCI and games. 🏳️⚧️(she/her) EN/中文
Yao Li @lastland0
1K Followers 670 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]
Pratyush Das @ReikDas
401 Followers 664 Following PhD student @PurdueCS advised by @mkulkarni and @GhostOfBendy | Past: @apple @iris_hep
hamza @hmzashezad3
33 Followers 931 Following swipe left for hot singles in your area ➡️https://t.co/bF6oeWnAqh ⬅️
Ben L. Titzer @TitzerBL
2K Followers 349 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
J. Nathan Matias @nat... @natematias
12K Followers 5K Following Researching how to govern human-algorithm behavior in democracies. This account is no longer active. See my website for information on how to find me elsewhere.
Chris Henson @_chenson__
860 Followers 3K Following CS PhD student @DrexelCCI working on categorical semantics in Lean. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
Dr. Claire Le Goues @clegoues
3K Followers 1K Following Prof@SCS@CMU. https://t.co/fcjhKkZzHd Posting intermittently and guiltily.
Aviral Goel @TheAviralGoel
357 Followers 978 Following Programming Languages and Compilers Loves Dysfunctional Programming
Aleph0 @Aleph0Tech
539 Followers 2K Following Get a lifetime of item tracking stickers: just $5/year.
Celeste @cahollenbeck
1K Followers 915 Following Nontraditional computer science PhD candidate at @EdinburghUni 🏴. Former technical & creative writer.
Andrew Bempah @KrumDonDada
25 Followers 3K Following Proud Kotobabian by way of Chicago & Stanford University
SynthesisForTheMasses @SynthesisFor
3 Followers 73 Following
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
Wilfred Hughes @_wilfredh
3K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV
Software Practices La... @ubc_spl
647 Followers 220 Following We study programming languages, verification, and software engineering in the Department of Computer Science at the University of British Columbia @ubc
zach battleman 🦋 @zaxioms
172 Followers 1K Following Certified Bestie 🦋 CMU SCS '25 I like math and computer things just a tad too much Carnegie Library of Pittsburgh Enjoyer
DidYouKnow @did_you_know_cs
81 Followers 558 Following Insights and statistics on CS departments and professors. Based on public data from Drafty (https://t.co/cekpgDKJX6)
Software Innovation N... @SoftwareInnovNZ
276 Followers 494 Following Software Innovation NZ is the New Zealand software research network. It aspires to bring together software researchers within NZ.
@[email protected] @cyberglot
3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq
Pooyan Jamshidi @PooyanJamshidi
1K Followers 5K Following Prof. @UofSC; Systems&ML; Co-founder @jsysresearch; Ex @Google; Ex @CarnegieMellon @imperialcollege; https://t.co/rCiTQ2iHPA
Manish Gill @mgill25
3K Followers 6K Following Databases | Kubernetes | Compilers | EM @ClickHouseDB | https://t.co/12g8segwjE | https://t.co/worpODcnLt | Prev: AI Research @TomTom |
Advait Vinayak Soman @advait_soman
147 Followers 1K Following Compilers and Programming language enthusiast. Working in Nvidia Pune Compiler team tweets are personal
Arpan Agrawal @DontDoCoffeeKid
0 Followers 2K Following
Andrew Kent @pnwamk
95 Followers 112 Following During the day I hack on cryptographic computing tech at @AWS. PhD in CS (Programming Languages) from @IULuddy. Tweets may reflect the opinion of no one.
Zachary Tatlock @ztatlock
1K Followers 481 Following Finding nails, building hammers. Prof at UW Allen School (CSE) @[email protected]
Leo Lampropoulos @LeoLambro
1K Followers 622 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
Tianyin Xu @tianyin_xu
5K Followers 1K Following Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
Thomas LaToza @Thomas... @ThomasLaToza
786 Followers 822 Following Associate Professor, @GMUCompSci. I study how humans interact with code and invent new ways to build software.
Shraddha Barke @shraddha_96
677 Followers 887 Following Senior Researcher @MSFTResearch | program synthesis, AI4Code, large language models, Human-AI | PhD from @ucsd_cse, @Theteamatx, @BITSPilaniGoa.
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.
Ian Sweet @completelysound
441 Followers 344 Following Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.
Anders Miltner (@amil... @AndersMiltner
481 Followers 449 Following He/Him. Assistant Professor at Simon Fraser University. Follows PL people. Posts Corgi Pictures.
J @EremondiJoey
634 Followers 489 Following This account is deprecated. Find me as @[email protected]
vollmerm @ma_vollmer
674 Followers 677 Following lecturer in @UniKentComp, cs phd from @IULuddy, functional programming and compilers, he/him
✨ Jean Yang ✨ @jeanqasaur
24K Followers 4K Following API observability product @getpostman. Founded @akitasoftware (acquired 2023). Programming, APIs, and developer experience. Former professor @CSDatCMU.
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.
Joe Cutler @alpha_convert
4K Followers 2K Following CS PhD candidate at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
James Yoo @yoo_hoo_yoo
324 Followers 310 Following
doyougnu @do_you_gnu
124 Followers 348 Following PhD in programming languages. PL, FP, SAT solvers, Philosophy, and most importantly, dungeons and dragons. all views and claims are my own. (he/him)
Stephen De Gabrielle ... @spdegabrielle
521 Followers 1K Following
Sean J. Taylor @seanjtaylor
45K Followers 4K Following Data Science at @OpenAI. Formerly @MotifAnalytics @Lyft and @Facebook. Keywords: Experiments, Causal Inference, Statistics, Machine Learning, Economics.
Chris Henson @_chenson__
860 Followers 3K Following CS PhD student @DrexelCCI working on categorical semantics in Lean. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
J. Nathan Matias @nat... @natematias
12K Followers 5K Following Researching how to govern human-algorithm behavior in democracies. This account is no longer active. See my website for information on how to find me elsewhere.
Dr. Claire Le Goues @clegoues
3K Followers 1K Following Prof@SCS@CMU. https://t.co/fcjhKkZzHd Posting intermittently and guiltily.
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
David Van Horn @lambda_calculus
5K Followers 1K Following Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @[email protected]
Joydeep Biswas @Joydeepb_robots
675 Followers 320 Following Associate Professor, Computer Science, UT Austin. Visiting Professor, Nvidia Robot doctor / CS Professor / he / him Also @[email protected]
Bret Victor @worrydream
55K Followers 10 Following past posts: https://t.co/B7ETHSGzT5 new posts: https://t.co/qtYDKYc6ez
Nintendo .DS_Store @sliminality
10K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
Manish @ManishEarth
14K Followers 591 Following territory mapper. 💉did @ca_covid . 🗣️ likes languages. ✈️ Repatriate/ABCD. 👨🔬 Formerly physics. he/him
Andrea Grimes Parker @andreagparker
865 Followers 374 Following Associate Professor @GeorgiaTech. Director, Wellness Technology Lab. Researcher of digital health equity, human-computer interaction & social computing. Mom.
Michael Greenberg @mgrnbrg
982 Followers 157 Following
Andrew Kent @pnwamk
95 Followers 112 Following During the day I hack on cryptographic computing tech at @AWS. PhD in CS (Programming Languages) from @IULuddy. Tweets may reflect the opinion of no one.
Jina Huh-Yoo @dr_jinahuhyoo
1K Followers 364 Following Associate Professor @stevens_cs_ HCI, CSCW, health, #academicmama of three. @[email protected]
Irene Zhang @schemeprincess
6K Followers 250 Following [email protected] on Mastodon. schemeprincess on Instagram.
SIGPLAN-M @SigplanM
1K Followers 409 Following We form long-term cross-institutional mentoring connections in the programming languages community.
Isil Dillig @IsilDillig
4K Followers 839 Following CS Professor at UT Austin + President of @VeridiseInc.
William J. Bowman @wi... @wilbowma
3K Followers 229 Following Paren-wielding facebook-theorist, PhD. Sith Lord of Compilers. Asst. Prof. at UBC. This account is deprecated.
🥢 Jon 🍲 @ionathanch
952 Followers 432 Following Jon(athan)? Chan 🏳️🌈 • he/they ↵ MSc @ubc_spl ⊢ PhD @CIS_Penn ↵ programming languages and type theory ↵ @ionchy.ca on bsky | coädmin on https://t.co/kUlV1hNtrR
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
✨ Jean Yang ✨ @jeanqasaur
24K Followers 4K Following API observability product @getpostman. Founded @akitasoftware (acquired 2023). Programming, APIs, and developer experience. Former professor @CSDatCMU.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Steve Blackburn (@ste... @stevemblackburn
2K Followers 900 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Lindsey Kuper (@linds... @lindsey
9K Followers 797 Following CSE assistant professor at @ucsc (https://t.co/mijWIrhfoU). Made in Iowa. Nearly 100% biodegradable. https://t.co/iAyJDalnrG
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Thomas LaToza @Thomas... @ThomasLaToza
786 Followers 822 Following Associate Professor, @GMUCompSci. I study how humans interact with code and invent new ways to build software.
Zheng Guo @ZhengGuo069
120 Followers 204 Following PhD student at UC San Diego, focus on program synthesis
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Leo Lampropoulos @LeoLambro
1K Followers 622 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Olivia K. Richards @livkrichards
402 Followers 599 Following PhD Candidate @UMSI • studying the impact of digital tech on children's health • HCI • Penn State alum
Liam O'Connor @kamatsu8
1K Followers 511 Following he/any Senior Lecturer, @ANUComputing. I leave these tweets, I do not know for whom, I no longer know what they are about. 한국어도 할 수 있다: @liamoc_kr
J @EremondiJoey
634 Followers 489 Following This account is deprecated. Find me as @[email protected]
PurPL @purdue_pl
924 Followers 120 Following PurPL is the cross-departmental center for programming languages research at Purdue University.
Tiark Rompf @tiarkrompf
2K Followers 507 Following Purdue University (We're hiring! grad students, post-docs, faculty)
Zachary Tatlock @ztatlock
1K Followers 481 Following Finding nails, building hammers. Prof at UW Allen School (CSE) @[email protected]
Pratyush Das @ReikDas
401 Followers 664 Following PhD student @PurdueCS advised by @mkulkarni and @GhostOfBendy | Past: @apple @iris_hep
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.
Arvind Krishnamurthy @arvind_uw
1K Followers 540 Following Professor @uwcse, Networks and distributed systems
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.
Aviral Goel @TheAviralGoel
357 Followers 978 Following Programming Languages and Compilers Loves Dysfunctional Programming
Dev (discuss.systems/... @Dev14e
1K Followers 928 Following no time for facts, vibes only. washed up, has been grad student. he/him https://t.co/k87BxAudYHTrends for United States
28 B posts
9.591 posts
2.931 posts
1.281 posts
1.877 posts
22,6 B posts
18,5 B posts
79,5 B posts
30,4 B posts
7.782 posts
12,7 B posts
2.620 posts
427 B posts
38,7 B posts
113 B posts
374 B posts
21,4 B posts
702 B posts
You might like
Andrew K. Hirsch
@andrewkhirsch
574 Followers
David Young
@roboguy20
502 Followers
vollmerm
@ma_vollmer
674 Followers
Sam Westrick
@shwestrick
1K Followers
Aviral Goel
@TheAviralGoel
357 Followers
Thomas Gilray
@tomgilray
455 Followers