FerroThorn @ferrothorns.bsky.social 
Adam Chalmers @adamchalmers.com Texan (prev Australian). Father (prev gamer). Pynchon fan (prev illiterate).
Building a new programming language for CAD at zoo.dev. Built a lot of Cloudflare Tunnel. I run a meetup austinsystems.org and love reading sci-fi, history and Jewish stuff.
john hui @j-hui.bsky.social 
Zixian Cai @zcai.org PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
@hannelita.bsky.social @hannelita.bsky.social 
Augusto Jacinto @augjac.bsky.social Poeta e Escritor
@fdeitylink.bsky.social @fdeitylink.bsky.social 
nanamoney @nanamone.bsky.social 
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Aaron Eline @aaroneline.bsky.social 
Donald Abrams @hypethral.bsky.social Striver for general adequacy occasionally employed as a software maker
๐ต๐น
Remy Seassau @remyjck.bsky.social PhD Candidate @ Cambium, INRIA Paris
OCaml x Program Verification
https://remyjck.github.io
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
๐ง๐ช๐ฎ๐ฑ๐ณ๏ธโ๐ ๐ He/him
Maddy Bowers @mlbowers.bsky.social PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
Alperen Keleล @keles.bsky.social METU CENG 21'
PhD Student at UMD
Programming Languages/Formal Verification/Random Testing
Writing at http://alpkeles99.medium.com
Twitter: @keleesssss
Daniel Ramos @danielrramos.bsky.social https://danieltrt.github.io
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@rvassantlal.bsky.social @rvassantlal.bsky.social 
@ahuoguo.bsky.social @ahuoguo.bsky.social 
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
๐ป SE, PL at CMU and U.Lisbon
โ๏ธ Currently in Lisbon
Ruben Branco @rubenbranco.bsky.social PhD Student @ LASIGE, Faculty of Sciences, University of Lisbon.
Love all things Deep Learning.
https://rubenbranco.github.io/
Charlie (In my unghost era) @dka.bsky.social Philosophy and Category Theory | he/him | All socials: @CharlesDKA