×
You are not logged in
Bluesky Follows
Rohan Padhye
Follows by @rohan.padhye.org
Aaron Eline
Registered:18 May 2023 13:56
Follow date:6 Feb 2026 20:14
Steven Holtzen
Registered:17 Nov 2024 19:56
Follow date:3 Dec 2025 15:46
I like computers.
assistant prof at northeastern https://www.khoury.northeaster...
ISSTA 2026 Conference
Registered:21 Nov 2024 14:18
Follow date:3 Dec 2025 15:40
The 35th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Oakland, USA // 3-9 October 2026
https://conf.researchr.org/hom...
Stefan Nagy
Registered:19 Feb 2025 16:09
Follow date:18 Nov 2025 08:42
Faculty @utah.edu.
My lab hunts bugs: https://futures.cs.utah.edu/bu...
Mastodon: snagy@infosec.exchange
Twitter: @snagycs
지산
Registered:22 Jan 2023 02:05
Follow date:16 Nov 2025 08:32
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
🎵 NP: "June" by Copywrite
Duygu Yıldırım
Registered:14 Aug 2023 17:21
Follow date:8 Oct 2025 20:58
Assistant Professor of History at the University of Tennessee, Knoxville. PhD from Stanford. Exploring the intersections of knowledge, medicine, and natural history in the early modern Mediterranean. Istanbulite. Villa I Tatti Berenson Fellow ‘26
Disseminate: The Computer Science Research Podcast
Registered:21 Sep 2025 16:15
Follow date:6 Oct 2025 10:46
Interviews with Computer Science researchers about their latest work. Hosted by Dr Jack Waudby. Listen on Spotify, Apple, and YouTube.
Andrey Satarin
Registered:15 Nov 2024 01:39
Follow date:5 Sep 2025 16:26
Staff SRE at Google. Distributed systems / databases / reliability / correctness. Views my own. Repost / like is not an endorsement.
http://asatarin.github.io
Ao Li
Registered:28 Oct 2024 13:06
Follow date:23 Aug 2025 13:21
PhD Student@CMU
If you want deterministic concurrency testing, try Fray (https://github.com/cmu-pasta/f...
Mike Samuel 🟣
Registered:21 Aug 2023 06:40
Follow date:22 Aug 2025 16:12
Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
xuan (ɕɥɛn / sh-yen)
Registered:23 Jun 2023 15:00
Follow date:28 Jul 2025 13:15
Assistant professor at NUS. Scaling cooperative intelligence & infrastructure for an increasingly automated future. PhD @ MIT ProbComp / CoCoSci. Pronouns: 祂/伊
afd-icl.bsky.social
Registered:26 Nov 2024 07:28
Follow date:2 Jul 2025 13:39
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
Grace
Registered:8 Feb 2024 02:27
Follow date:27 May 2025 17:46
A latent space odyssey
gracekind.net
CMU Software & Societal Systems (S3D)
Registered:26 Mar 2025 18:05
Follow date:26 Mar 2025 18:27
At Carnegie Mellon University's Software and Societal Systems Department (S3D), we solve big, complex challenges at the critical intersection of technology and society.
nikitharao.bsky.social
Registered:27 Feb 2025 17:13
Follow date:28 Feb 2025 07:30
Gabe Fierro
Registered:30 Jul 2024 15:08
Follow date:24 Feb 2025 02:06
Assistant Professor, Computer Science @ CO School of Mines
Brick Ontology for smart buildings
Knowledge graphs, databases, semantic interoperability
https://gtf.fyi
Xiangpeng Hao
Registered:22 Oct 2024 14:48
Follow date:23 Feb 2025 09:30
Database/storage
Flight/DataFusion/Arrow/Parquet
PhD student@UW-Madison
https://xiangpeng.systems
Michael McLoughlin
Registered:23 Dec 2023 11:10
Follow date:20 Feb 2025 15:57
Mathematical Software Engineer
Phil Eaton
Registered:4 Aug 2023 09:52
Follow date:20 Feb 2025 15:08
Research and analysis for experienced programmers @theconsensus.bsky.social.
eatonphil.com
Andy Pavlo
Registered:30 May 2023 18:25
Follow date:12 Feb 2025 22:14
Associate Prof. of Databases @ Carnegie Mellon.
Joanna C S Santos
Registered:3 Dec 2024 00:50
Follow date:4 Feb 2025 21:12
Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
Bogdan "Bo" Stoica
Registered:17 Nov 2024 05:42
Follow date:4 Feb 2025 21:12
Postdoc-ing @ UIUC. Working on systems reliability and efficiency. Opinions, my own. Reposts are not endorsements. Personal website: https://bastoica.github.io/
vijaychidambaram.bsky.social
Registered:28 Jan 2025 03:57
Follow date:31 Jan 2025 18:42
Jürgen Cito
Registered:14 Jan 2025 16:40
Follow date:16 Jan 2025 22:36
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
Joe Gibbs Politz
Registered:27 Sep 2023 15:58
Follow date:3 Jan 2025 00:17
Denis Merigoux
Registered:5 Nov 2023 10:22
Follow date:3 Jan 2025 00:17
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
apanda
Registered:23 Aug 2023 21:31
Follow date:3 Jan 2025 00:17
I am A Panda. I work on systems and networking at NYU.
I mostly hang out at https://discuss.systems/@apand...
billions of packets
Registered:2 May 2023 15:19
Follow date:19 Dec 2024 07:38
I'm a member of the imperial senate on a diplomatic mision to Alderaan.
Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8!
www.justinesherry.com
Molly Q Feldman
Registered:2 Dec 2024 19:04
Follow date:15 Dec 2024 21:35
Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
Harry Goldstein
Registered:1 May 2023 21:19
Follow date:13 Dec 2024 16:12
(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
Josh Sunshine
Registered:6 Dec 2024 15:04
Follow date:6 Dec 2024 15:56
Assistant Professor at Carnegie Mellon. I help people understand the software they create.
Dominik Winterer
Registered:4 Dec 2024 12:46
Follow date:6 Dec 2024 14:33
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github....
José Cambronero
Registered:14 Nov 2024 02:45
Follow date:3 Dec 2024 02:14
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Eunsuk Kang
Registered:2 Dec 2024 23:15
Follow date:3 Dec 2024 02:14
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Leo Lampropoulos
Registered:18 Nov 2024 06:36
Follow date:1 Dec 2024 23:19
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Vincent Hellendoorn
Registered:20 Oct 2024 02:57
Follow date:29 Nov 2024 19:09
Researcher making programming more accessible, Google DeepMind and CMU
Xavier Devroey
Registered:29 Nov 2024 15:35
Follow date:29 Nov 2024 19:09
🇧🇪👨💻🏳️🌈
Joe Cutler
Registered:27 Apr 2023 16:57
Follow date:28 Nov 2024 21:58
cutler.pl
Sarah E. Chasins
Registered:26 Nov 2024 21:39
Follow date:28 Nov 2024 21:58
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Alexandra Silva
Registered:2 Apr 2024 15:36
Follow date:28 Nov 2024 21:58
Mom, foodie, traveller, computer scientist
Kush Jain
Registered:22 Nov 2024 16:43
Follow date:26 Nov 2024 16:37
SE PhD Student at Carnegie Mellon University interested in NLP for software engineering, program analysis and software testing. Former intern at Facebook AI Research.
Catarina Gamboa
Registered:26 Nov 2024 16:14
Follow date:26 Nov 2024 16:37
PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
rpiskac.bsky.social
Registered:26 Nov 2024 04:02
Follow date:26 Nov 2024 11:58
michaelddennis.bsky.social
Registered:12 Nov 2024 00:19
Follow date:26 Nov 2024 03:15
RS DeepMind. Works on Unsupervised Environment Design, Problem Specification, Game/Decision Theory, RL, AIS. prev CHAI_Berkeley
Caroline Lemieux
Registered:25 Nov 2024 04:52
Follow date:26 Nov 2024 01:10
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cest... she/her.
Michael Coblenz
Registered:20 Nov 2024 20:37
Follow date:25 Nov 2024 15:26
Assistant Prof. at UC San Diego. Helping people write better software.
Cyrus Omar
Registered:2 May 2023 19:48
Follow date:25 Nov 2024 02:40
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~co...
Sam Tobin-Hochstadt
Registered:28 Apr 2023 22:29
Follow date:25 Nov 2024 02:40
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Jingbo Wang
Registered:9 Nov 2024 20:51
Follow date:25 Nov 2024 02:39
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Yannic Noller
Registered:10 Jul 2024 16:22
Follow date:25 Nov 2024 02:39
CS Professor at @ruhr-uni-bochum.de
https://yannicnoller.github.io