×
You are not logged in
Bluesky Follows
Zixian Cai
Follows by @zcai.org
Max Willsey
Registered:11 May 2023 20:32
Follow date:6 Jul 2025 07:58
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
Ilya Sergey
Registered:20 Nov 2024 17:32
Follow date:6 Jul 2025 07:58
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Sam Westrick
Registered:26 Jul 2023 01:33
Follow date:6 Jul 2025 07:57
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/
Sarah E. Chasins
Registered:26 Nov 2024 21:39
Follow date:6 Jul 2025 07:57
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Dan Grossman
Registered:19 Nov 2024 22:13
Follow date:6 Jul 2025 07:57
Nate Foster
Registered:25 Jul 2023 20:13
Follow date:6 Jul 2025 07:57
Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Kristopher Micinski
Registered:13 Nov 2024 06:06
Follow date:6 Jul 2025 07:57
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Emery Berger
Registered:1 Sep 2023 02:28
Follow date:6 Jul 2025 07:57
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.
Graydon Hoare
Registered:29 Aug 2024 06:21
Follow date:6 Jul 2025 07:57
extremely dubious of "everything is public" social network
Loris D'Antoni
Registered:2 Aug 2023 19:11
Follow date:6 Jul 2025 07:57
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Rachit Nigam
Registered:11 Aug 2023 17:15
Follow date:6 Jul 2025 07:57
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
Adrian Sampson
Registered:24 Mar 2023 19:02
Follow date:6 Jul 2025 07:57
actually just on Mastodon: https://discuss.systems/@adria...
Talia Ringer
Registered:7 Jul 2023 05:53
Follow date:6 Jul 2025 07:57
Guilherme Espada
Registered:21 Aug 2023 22:48
Follow date:6 Jul 2025 07:57
PhD Student at the University of Lisbon
Working on Static Resource Analysis and Probabilistic Programming
Mastadon: @GUIpsp@types.pl
Dorothy is my bestie
Catarina Gamboa
Registered:26 Nov 2024 16:14
Follow date:6 Jul 2025 07:57
PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
Satnam Singh
Registered:17 Aug 2024 22:30
Follow date:6 Jul 2025 07:57
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
KC Sivaramakrishnan
Registered:14 Nov 2024 13:41
Follow date:6 Jul 2025 07:57
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
fdeitylink.bsky.social
Registered:3 Sep 2023 00:43
Follow date:6 Jul 2025 07:56
Apoorv
Registered:23 Aug 2023 15:53
Follow date:6 Jul 2025 07:56
Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
PLDI
Registered:20 Jan 2025 21:34
Follow date:6 Jul 2025 07:56
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.
great triambic icosidodecahedron
Registered:31 Jan 2024 03:11
Follow date:6 Jul 2025 07:56
aha! ordoliberal.
ahuoguo.bsky.social
Registered:2 Dec 2024 19:48
Follow date:6 Jul 2025 07:56
Antony Hosking
Registered:13 Nov 2024 10:07
Follow date:4 Jun 2025 08:27
Garbage collector.
Professor.
Joe Cutler
Registered:27 Apr 2023 16:57
Follow date:4 Jun 2025 08:27
cutler.pl
Andreas Zeller
Registered:22 Sep 2023 05:50
Follow date:4 Jun 2025 08:27
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/
Caterina Urban
Registered:14 Nov 2024 15:56
Follow date:4 Jun 2025 08:27
Ross Tate
Registered:14 Nov 2023 18:51
Follow date:4 Jun 2025 08:27
Programming Languages Researcher and Consultant
Mae Milano
Registered:28 May 2023 20:05
Follow date:4 Jun 2025 08:27
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Derek Dreyer
Registered:13 Nov 2024 07:57
Follow date:4 Jun 2025 08:26
Get used to disappointment.
Heather Miller
Registered:1 Jun 2023 16:07
Follow date:4 Jun 2025 08:26
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
Adrian Herrera
Registered:31 Oct 2023 00:46
Follow date:4 Jun 2025 08:26
Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Jonathan Aldrich
Registered:29 Apr 2023 03:56
Follow date:4 Jun 2025 08:26
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.
Liam O'Connor
Registered:5 Jan 2024 12:59
Follow date:4 Jun 2025 08:26
Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
Richard Jones
Registered:14 Nov 2024 13:56
Follow date:4 Jun 2025 08:26
Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
Manu Sridharan
Registered:11 Sep 2024 19:01
Follow date:4 Jun 2025 08:26
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Isil Dillig
Registered:6 Nov 2024 17:22
Follow date:4 Jun 2025 08:26
CS professor at UT Austin, does research in programming languages & formal methods.
Hila Peleg
Registered:8 Jul 2023 08:47
Follow date:4 Jun 2025 08:26
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Shriram Krishnamurthi
Registered:9 May 2023 13:25
Follow date:4 Jun 2025 08:26
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.
Sam Tobin-Hochstadt
Registered:28 Apr 2023 22:29
Follow date:4 Jun 2025 08:26
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Toby Murray
Registered:8 Aug 2023 13:36
Follow date:4 Jun 2025 08:26
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
Jenna DiVincenzo
Registered:11 Nov 2024 19:14
Follow date:4 Jun 2025 08:26
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Manuel Rigger
Registered:15 Nov 2024 08:04
Follow date:4 Jun 2025 08:26
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.
Nicole Heinimann
Registered:26 Jun 2023 13:14
Follow date:4 Jun 2025 08:26
Where are my types, I can't see without my types!
PhD student @tuberlin.bsky.social
https://ipv3.org
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Alexa VanHatttum
Registered:20 Jun 2023 05:04
Follow date:4 Jun 2025 08:26
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
SIGPLAN
Registered:23 Nov 2024 19:27
Follow date:4 Jun 2025 08:26
The ACM Special Interest Group on Programming Languages.
Tony Sloane
Registered:1 Dec 2024 06:45
Follow date:4 Jun 2025 08:26
Computer Scientist, programming addict, music lover, sports tragic.
Ex ANU, CU Boulder, JCU, Macquarie Uni, Symbiont. Currently, static analysis tooling at Oracle.
Opinions here are my own.
Also https://mastodon.acm.org/@inky...
Aws Albarghouthi
Registered:23 May 2023 14:45
Follow date:4 Jun 2025 08:26
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws...
Stephanie Weirich
Registered:17 Jan 2025 12:04
Follow date:4 Jun 2025 08:26
Tell me about types
Chris Martens
Registered:27 Jan 2025 15:51
Follow date:4 Jun 2025 08:26
mostly not here, but there: https://hci.social/@chrisamaph...
Molly Q Feldman
Registered:2 Dec 2024 19:04
Follow date:4 Jun 2025 08:26
Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com