Manish Shetty
PhD student @ucberkeley | Projects: Syzygy, R2E, Chatbot-Arena RepoChat | PL Tooling for AI4Code | prev @msftresearch | manishs.org
@cestlemieux.bsky.social
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.
@kjain14.bsky.social
SE PhD Student at Carnegie Mellon University interested in NLP for software engineering, program analysis and software testing. Former intern at Facebook AI Research.
@catarinavgamboa.bsky.social
PhD student 💻 SE, PL at CMU and U.Lisbon ✈️ Currently in Lisbon
@josepablocam.bsky.social
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
@shwetashinde.bsky.social
Assistant Professor at ETH Zurich, Security Researcher. shwetashinde.org
@tfahmed.bsky.social
@tonofcrates.bsky.social
@deedydas.bsky.social
VC at Menlo Ventures. Formerly founding team Glean, Google Search. Cornell CS. Tweets about tech, immigration, India, fitness and search.
@madelonhulsebos.bsky.social
Faculty at CWI & ELLIS Amsterdam https://trl-lab.github.io. Previously at UC Berkeley and the University of Amsterdam. Research on neural models for tabular data; table representation learning 💫. https://www.madelonhulsebos.com
@hellinanigatu.bsky.social
CS PhD candidate @UCBerkeley. Interested in multilingual and low-resourced language NLP + HCI. @SIGHPC CDS Fellow. Interned @MBZUAI. Website: https://hhnigatu.github.io
@preethac.bsky.social
Asst. Prof. Drexel Dept. Of Computer Science @drexeluniv | Research on mining software repositories, empirical software engineering https://preethac.github.io/
@crmarsh.com
Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
@fatherfairing.bsky.social
Writer of gnostic pulp, weird americana, and the odd essay. Linktree.com/jacobaustin
@dimitrisp.bsky.social
Researcher @MSFTResearch; Prof @UWMadison (on leave); learning in context; thinking about reasoning; babas of Inez Lily. https://papail.io
@umathur.bsky.social
Presidential Young Professor at the National University of Singapore. https://www.comp.nus.edu.sg/~umathur/
@abeirami.bsky.social
GenAI post-training at Google DeepMind / Google Research | ex-{Meta, EA, MIT, Harvard, Duke} | Georgia Tech PhD | زن زندگی آزادی | opinions my own 📍{NYC, YYZ} 🔗 https://www.mit.edu/~beirami/
@daniel-fried.bsky.social
Assistant prof at LTI CMU; Research scientist at Meta AI. Working on NLP: language interfaces, applied pragmatics, language-to-code, grounding. https://dpfried.github.io/
@ashtom.bsky.social
Building GitHub Copilot for the sake of developer happiness. CEO @GitHub.com
@mariorod1.bsky.social
CPO @github Building Copilot and Productivity features Previously at @azuredevops Enjoying 4k weeks to the fullest
@cachemisses.bsky.social
PhD candidate in Systems @ UChicago. Working on software reliability & efficiency. Opinions, my own. Reposts are not endorsements. Personal website: https://bastoica.github.io/
@ai-fm-papers.bsky.social
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
@aserebrenik.bsky.social
Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him
@justinesherry.bsky.social
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
@simpsoka.bsky.social
Product at Google Labs building AI DevEx. I run, knit, and work on dev tools. Previously at Vercel, GitHub, and Heroku. Kathy.pm
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@alexdimakis.bsky.social
UC Berkeley Professor working on AI. Co-Director: National AI Institute on the Foundations of Machine Learning (IFML). http://BespokeLabs.ai cofounder
@m-wahba.bsky.social
CS grad striving to master SWE & ML engineering 💻 | Passionate about Arabic NLP & advancing knowledge 🌍 | Exploring data, MLOps, math, science, and languages to build impactful solutions 🚀 | Lifelong learner 📚
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@avh.bsky.social
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her. https://cs.wellesley.edu/~avh/
@taliaringer.bsky.social
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@tobycmurray.bsky.social
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
@davidjustodavid.bsky.social
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@shwestrick.bsky.social
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/
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems
@tagide.com
Professor at UC Irvine, among other things. This is my personal account, not the University’s. I like light and clarity.
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat