chris martens @[email protected]

@chrisamaphone

I'm not here anymore! Go find me where my display name says.

+ Follow

Federico Tomassetti - Language Engineer

@ftomasse

Software Architect and Founder of @strumenta, a consulting studio specialized in Language Engineering. We build DSLs, parsers, editors, languages, compilers

+ Follow

marcuspecht

@marcuspecht

+ Follow

Jan de Muijnck-Hughes

@jfdm

Lecturer of type-driven approaches to trustworthy-systems at Strathclyde. PL & FM enthusiast. pronoun.is/he 🇳🇱🏴󠁧󠁢󠁷󠁬󠁳󠁿🇬🇧🇪🇺

+ Follow

Colin Gordon of Mastodon

@csgordon

CS prof at Drexel. (He/him). Now mostly on Mastodon at @[email protected] and @[email protected] and @[email protected]

+ Follow

William Byrd

@webyrd

I like to make things.

+ Follow

Sam Tobin-Hochstadt

@samth

Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]

+ Follow

Ilya Sergey

@ilyasergey

Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

+ Follow

Andreas Zeller

@andreaszeller

Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].

+ Follow

/Fay-lee-nuh/

@felienne

Moved to BlueSky permanently: bsky.app/profile/felien…

+ Follow

Manu Sridharan

@rakingleaves

Professor @UCR_CSE doing research in programming languages and software engineering. discuss.systems/@manusridharan BSky: @manu.sridharan.net

+ Follow

Mustafa Marghadi

@mousmar

Correspondent Zuidoost-Azië NOS

+ Follow

Dr. Claire Le Goues

@clegoues

Prof@SCS@CMU. clairelegoues.com Posting intermittently and guiltily.

+ Follow

Miles Sabin

@milessabin

Partner @underscoreio, @Typelevel cofounder. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Internationalist. types.pl/web/@milessabin

+ Follow

Jordi Cabot

@jordicabot

Head of the Software Engineering RDI Unit at LIST (Luxembourg). FNR Pearl. Building Better SW Faster. Former ICREA, UOC, Inria/IMT, U of Toronto. 2xFounder

+ Follow

Ben Delaware

@ghostofbendy

Professor at @PurdueCS; dad; occasional cancer fighter🎗️. Tweets about programming languages and formal methods, but mostly bird pictures.

+ Follow

Arie van Deursen

@avandeursen

Professor in Software Engineering at TU Delft. Opinions are my own. He/him. Mastodon: mastodon.acm.org/@avandeursen

+ Follow

Alexander Serebrenik

@aserebrenik

Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️‍🌈 🐕 He/him @[email protected]

+ Follow

Andrew Myers

@andrewcmyers

Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.

+ Follow

Cristina Cifuentes

@criscifuentes

Latina, migrant, mother and wife, researcher, teacher, mentor, leader. Mother of decompilation

+ Follow

Derek Dreyer

@herrdreyer

Get used to disappointment.

+ Follow

Loris D'Antoni

@lorisdanto

A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.

+ Follow

Vladimir Kovalenko

@vovak_

I help computers help people program other computers @JetBrains. 🇷🇺: @vovak_ru

+ Follow

Karim Ali (كريم علي)

@karimhamdanali

Associate Professor @NYUAbuDhabi. Interests: static analysis, programming languages, compiler optimizations, security, and ⚽️ 🏀 🏊 🏋

+ Follow

Ron Garcia

@rg9119

Transmogrifies coffee into LaTeX at University of British Columbia

+ Follow

Laurence Tratt

@laurencetratt

Shopify / Royal Academy of Engineering Research Chair in Language Engineering.

+ Follow

Alex Russell

@slightlylate

This place is not a place of honor. No highly esteemed deed is commemorated here. Noting valued is here...This message is a warning about danger.

+ Follow

Elisa Gonzalez Boix

@elisagboix

prof@Vrije Universiteit Brussel - concurrent and distributed systems, programming abstractions, debuggers & language-based security.

+ Follow

Jonathan Bell

@_jon_bell_

Associate Professor at Northeastern University (Software Engineering). I don't post here much; see [email protected]

+ Follow

Rijnard van Tonder

@rvtond

Devtools, @OCaml @elmlang enthusiast. Built comby.dev. Ex-@Mysten_Labs Ex-@Sourcegraph Ex-FAANG. CS PhD @CarnegieMellon, Certified Somm @CMS_americas

+ Follow

David J. Pearce

@whileydave

[email protected] | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.

+ Follow

ACM Digital Library

@acmdl

A research, discovery and networking platform from @TheOfficialACM focused exclusively on the field of computing.

+ Follow

Ravi Chugh

@ravi_chugh

@UChicagoCS professor

+ Follow

Simon Peyton Jones

@simonpj0

+ Follow

Erik Meijer

@headinthebox

+ Follow

Shriram Krishnamurthi (primary: Bluesky)

@shriramkmurthi

@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

+ Follow

jakob buchgraber

@buchgr

@rustlang @google Past: #rstats, @bazelbuild, @grpcio and @netty_project. Opinions my own.

+ Follow

Steffen Zschaler

@szschaler

Reader in Software Engineering. MDE, Languages, SE & Theatre. Director @the_mde_network. All views my own and not of @kingscollegelon.

+ Follow

Sicco Verwer

@siccoverwer

+ Follow

Mike Hicks

@michael_w_hicks

Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar cedarpolicy.com. Inactive: see my WWW for new location

+ Follow

Sam Lindley

@reifyreflect

+ Follow

Jonathan Aldrich

@jaldrichpl

Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (noteful.net). He/him. Views are mine.

+ Follow

Eric Griffis

@dedbox

intrepid metaprogrammer with an audacious vision :: PL PhD student @umichcse :: hobby photographer

+ Follow

Alastair Donaldson

@afd_icl

Professor of Programming Languages at Imperial College London

+ Follow

Associate Deans

@ass_deans

Making fun of middle management in colleges and universities. Because you can never have too many associate deans conspiring to be THE dean.

+ Follow

Silvia Stringhini

@silviast9

Social and lifecourse epidemiologist, Associate Professor at UBC. Mom of two.

+ Follow

paulette d. koronkevich @[email protected]

@koronkebitch

preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)

+ Follow

Cristian Cadar

@c_cadar

+ Follow

Oracle Labs

@oraclelabs

Oracle Labs is an R&D branch of Oracle. Our research is focused on real-world outcomes that can contribute to the evolution of technology and society.

+ Follow

Emma Söderberg

@emmasoederberg

Senior Lecturer, Dept. of Computer Science, Lund University

+ Follow

Graham Hutton

@haskellhutt

Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿

+ Follow

Steve Blackburn (@[email protected])

@stevemblackburn

Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. discuss.systems/@steveblackburn

+ Follow

Talia Ringer 🟣 🎗️

@taliaringer

Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

+ Follow

President Biden Archived

@potus46archive

This is an archive of a Biden administration account, maintained by the National Archives and Records Administration.

+ Follow

SEWIRE

@sewire3

SEWIRE is the Women in Software Engineering Community channel.

+ Follow

Jacques Carette

@jjcarett2

Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.

+ Follow

Quantum Tinkerer

@quantumtinkerer

Just a research group tinkerin' with quantum devices

+ Follow

Anton Akhmerov🦋

@akhmerovanton

Theoretical physicist @tudelft, wannabe hacker, member of @quantumtinkerer

+ Follow

Mikhail Barash

@mikhail_barash

Programming languages, IDEs, language workbenches. @tc39 delegate. Ph.D. in parsing. Views are mine. medium.com/@mikhail.baras…

+ Follow

Isil Dillig

@isildillig

CS Professor at UT Austin + President of @VeridiseInc.

+ Follow

ACM SIGPLAN Int. Conf. on Compiler Construction

@acm_cc_conf

ACM SIGPLAN 2025 International Conference on Compiler Construction. 1-2 March 2025.

+ Follow

POPL 2025

@poplconf

ACM SIGPLAN Symposium on Principles of Programming Languages. Denver, Colorado, United States, 22-24 January 2025 (#POPL2025). Tweets by @xnningxie

+ Follow

Grigore Rosu

@rosugrigore

Founder & CEO @Pi_Squared_Pi2 | Founder @rv_inc | Prof @cse_uiuc | Creator of K. Prev @NASA. Building the new standard for verifiable settlement in AI & crypto.

+ Follow

Software Technology

@delftswtech

Department of Software Technology of the @eemcs_tud faculty. Tweeting about research in Computer Science at @tudelft, and the education of 2500 CS students.

+ Follow

@[email protected]

@delftpl

Programming languages research group at TU Delft. This account is no longer active, follow us at akademienl.social/@DelftPL instead.

+ Follow

PurPL

@purdue_pl

PurPL is the cross-departmental center for programming languages research at Purdue University.

+ Follow

Programming Languages Talks

@plpresents

We record and upload videos of PL talks. Run by @LeifAndersen and @ckfinite

+ Follow