Fabian Muehlboeck
Programming Language Researcher at the Australian National University
@sigplan-av.bsky.social
We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences. https://sigplan.org/AV Every event we cover is available on YouTube: https://youtube.com/@acmsigplan
@abhizer.com
Compiler Engineer @ Feldera Interested in PL, Compilers, Databases and a whole lotta things that I don’t know about yet! https://abhizer.com
@feldmanmolly.bsky.social
Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
@sdivvela.bsky.social
Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site
@polyroly.bsky.social
CS PhD student @ UC Santa Barbara, doing program synthesis and verification https://junrui-liu.github.io/
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@gabritto.bsky.social
software engineer @typescritlang.org, master's student @ University of British Columbia.
@badumbatish.bsky.social
Jasmine Tang, she/her certified hunter schafer simp https://badumbatish.github.io/
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@jgancher.bsky.social
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
@racket-lang.org
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/
@harrisongoldste.in
(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
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@inkytonik.bsky.social
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/@inkytonik.
@benhermann.eu
Professor for Secure Software Engineering at TU Dortmund 🏳️🌈💻🎓 https://benhermann.eu https://sse.cs.tu-dortmund.de
@language.metaproject.frl
Meta, a #HumanFriendly #Programming #Language Reducing #software waste - Productive - Highly efficient & blazingly fast - Universal, runs from #8bit #Atari 2600 to #64bit #PC, to #web #browsers, to #IBM #S390 #mainframes https://language.metaproject.frl
@ameliadobis.bsky.social
PhD Student in CS at Princeton University PL + HW Verification MSc CS ETHZ & BSc CS EPFL [she/her] 🏳️⚧️ | 🇨🇭🇵🇹 cs.princeton.edu/~ad4048 mostly on mastodon: miado@discuss.systems
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@pelenitsyn.top
Postdoc at Purdue. PhD in CS. Programming languages and compilers. Julia, Haskell.
@thenzinger.bsky.social
Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@rahul.gopinath.org
Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing https://rahul.gopinath.org
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@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/
@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
@balajee.bsky.social
CS prof @UIC; computer scientist (networks & systems); previously Nvidia, Purdue, BITS-Pilani; tennis aficionado; designed a chip for the first MacBook Air.
@saltypeppermint.bsky.social
https://ipv3.org PhD student @TUBerlin Opinions are those of your pet Ask me about EGraphs, Compilers and Rust
@arminwolf.at
Politik, Medien & Sonstiges | Kein ORF-Account | Blog: arminwolf.at | Foto: Peter Rigaud
@cledmonds.bsky.social
Research Associate @sheffielduni.bsky.social working on proof assistants, formal verification & security. Passionate about CS Education. Cambridge Australia Scholar, PhD, AFHEA.
@mrigger.bsky.social
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.
@jcenzo.bsky.social
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
@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
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@shriram.bsky.social
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.
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.