A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
Retrofuturist software mender / Legacy Code Rocks / Empathy in Tech
jan Pana Suno li toki pona
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Vibeless coding enthusiast. Indifferent to antipathy. Opinionated on neutrality.
Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
mit '23 | meng '24 | stanford phd ???
your friendly neighborhood PL enjoyer
she/her
Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
AI research scientist @ Sailplane. He/him
Usability of AI-based Programming Tools.
PL/HCI
🏳️🌈🏺
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
Associate Prof. of Databases @ Carnegie Mellon.
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
computers can be understood • she/her, ⚢ • Chicago
Programmer, writer, lapsed academic computer scientist. Formerly Cornell CIS & Harvard SEAS.
Software Security @ MPI for Security and Privacy
Spokesperson for Max Planck Research Group Leads at CPTS
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
AWS S3 & UC San Diego professor
Building networks and systems that enable high-performance, scalable, and sustainable computing and storage.
https://www.cs.ucsd.edu/~gmporter
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
Assistant Prof. at UC San Diego. Helping people write better software.
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
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
Programming language researcher at Microsoft.
Assoc. prof. at Uppsala University, working in programming languages and verification
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
New blue sky. Same old troll.
Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
https://jpolitz.github.io
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
I run @popvax.com (https://popvax.com). We develop mRNA vaccines using computational protein design, including a broadly-protective COVID-19 vax to preempt new variants. I write at https://infinitesunrise.com, and I used to build robots (https://soh.am).
A modern functional hardware description language
https://clash-lang.org/
https://github.com/clash-lang/clash-compiler
Racket is...
* A language-oriented programming project
* a family of programming languages
* a native code compiler and other tools,
* a diverse community 😁
Join us at https://racket.discourse.group/
https://racket-lang.org/
Assistant Professor at UC Davis. Programming languages, formal methods, systems. https://github.com/DavisPL
Developing http://spade-lang.org and the Surfer waveform viewer. Post doc at Hochschule München
Usually at https://mastodon.social/@thezoq2
i want everyone to aspire to integrity, intensity, and intentionality. see also @latent.space
Principal Scientist at Stealth Software.
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/
Interpreters, compilation, concurrency, and debugging tools.
PhD student at Stanford working on compilers and graphics
https://ajroot.pl
https://cseweb.ucsd.edu/~tzli/
computer graphics, programming systems, machine learning, differentiable graphics
Retired computer graphics researcher
Grandparent
Musical tinkerer
Pen plotter enthusiast
@TomDuff.mastodon.social
www.dgp.toronto.edu/~hertzman
Forest Baskett Professor of Computer Science and Director of the Brown Institute for Media Innovation at Stanford.
http://graphics.stanford.edu/~maneesh
I'm a PhD student at MIT CSAIL.
More about me: https://cs.stanford.edu/~kach
Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Research and analysis for experienced programmers @theconsensus.bsky.social.
eatonphil.com
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Postdoc at EPFL working with interactive theorem provers for hardware design.
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Professor at Aarhus University
https://cs.au.dk/~amoeller
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Sr. Distinguished Engineer @nvidia
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Programming Languages Researcher and Consultant
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.
The ACM Special Interest Group on Programming Languages.
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.
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
Active on Mastodon: https://mastodon.social/@danluu. Also trying https://threads.net/@danluu.danluu
Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Programming Language Researcher at the Australian National University
Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; Vice-chair RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. 🇨🇦-🇺🇸
Professing computing and applied math at Cornell. Numerical methods for data science, plasma physics, other stuff depending on the day. Director, Cornell Center for Applied Mathematics; Director, Simons Collaboration on Hidden Symmetries and Fusion Energy.
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com
More at https://shadaj.me!
