Cristina Cifuentes @cristinacifuentes.bsky.social Latina, migrant, mother and wife, researcher, teacher, mentor, leader. Mother of decompilation
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
@ranjitjhala.bsky.social @ranjitjhala.bsky.social 
Andreas Gerstlauer @agerstlauer.bsky.social Professor of Electrical and Computer Engineering at The University of Texas at Austin.
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Martin Maas @martinmaas.bsky.social Staff Research Scientist at Google DeepMind. All opinions are my own.
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Dan Grossman @dangrossmanseattle.bsky.social 
Saugata Ghose @saugataghose.bsky.social Computer architect who started working on Random Access Memories around the same time as Daft Punk. One of us went platinum.
Assistant professor @IllinoisCDS
TheZoq2 @thezoq2.bsky.social Developing http://spade-lang.org and the Surfer waveform viewer. Post doc at Hochschule München
Usually at https://mastodon.social/@thezoq2
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
Daniel Rosenwasser @danr.bsky.social TypeScript Product Manager and TC39 rep working on JavaScript standards.
Enthusiast of compilers, dev tools, language VMs/runtimes.
Harrison Grodin @harrisongrodin.bsky.social 
Bridgy Fed for the fediverse @ap.brid.gy Bridgy Fed (https://fed.brid.gy/) bot user for the fediverse. To bridge your account to the fediverse, follow this account.
To ask a fediverse user to bridge their account, send their address (eg @user@instance) to this account in a chat message.
More i…
Dev @sincerely.dev I mostly post about birds, food, and fun.
I am helping Microsoft build the new storage stack for Azure.
If you’re in systems I recommend checking out discuss.systems! The cooler social network
Washed up, has been systems grad student
sincerely.dev
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
⍼ https://ionathan.ch
james @yoo.bsky.social 
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
Patrick Walton @pcwalton.turbofishstudios.com Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!
Bob Nystrom @stuffwithstuff.com Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
Leif Andersen @leif.pl Interested in visual and interactive syntax (hybrid textual-visual languages). Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter- N Nicholas Nethercote @nnethercote.bsky.social he/him (or they/them)
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Douglas Creager @dcreager.net Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro.
This is a 9 planet family, kids! ♇
🌐 https://dcreager.net/
🧭 Massachusetts
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Ben Cohen @airspeedswift.bsky.social thwart leader
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
@rakamaric.bsky.social @rakamaric.bsky.social 
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Tom Magrino, PhD @tommagrino.com My day job is making arbitrary sequences of bits others told a computer reappear on command, quickly and at scale.
@tmagrino@discuss.systems
https://threads.net/t.magrino
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Shrutarshi Basu @basus.me Programmer, writer, lapsed academic computer scientist. Formerly Cornell CIS & Harvard SEAS.- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Talia Ringer @taliaringer.bsky.social 
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Swarat Chaudhuri @swarat.bsky.social Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Vinod Grover @vinodg.bsky.social Sr. Distinguished Engineer @nvidia
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
George A. Constantinides @gconstantinides.bsky.social Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Ben Liblit @liblit.bsky.social 
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Veselin Raychev @veselinr.bsky.social INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
Antony Hosking @antonyhosking.bsky.social Garbage collector.
Professor.
Rob Stewart @robstewartuk.bsky.social Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware.
https://www.macs.hw.ac.uk/~rs46/
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Alex Bradbury @asbradbury.org Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Max @bernsteinbear.com Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Michael Carbin @mcarbin.bsky.social Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app