Matthieu Lemerre
Researcher at CEA LIST, working on abstract interpretation of systems language
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@denismerigoux.bsky.social
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
@bournez.bsky.social
Prof @Polytechnique Computer Science #Computationtheory#JeKiffeLesMachinesDeTuring #OrdinaryDifferentialEquations#Non-Binary (Analog) Computations
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@jff-dev.bsky.social
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID Web: https://joaoff.com
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@ranzato.bsky.social
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
@notjfmc.bsky.social
I work on http://github.com/ciao-lang/ciao, a modern Prolog system. You can also find me on http://mastodon.social/@jfmc IMDEA Software Institute & UPM
@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
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@caterinaurban.bsky.social
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems
@pasquamichele.bsky.social
Assistant Professor in Computer Science at Univ. of Verona (Italy)
@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
@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.
@dustyweb.bsky.social
Co-author/co-editor of ActivityPub (what connects together the fediverse, including Mastodon, etc). Executive Director of the Spritely Institute. Lisp/scheme enthusiast, chaos transfem, sketcher of tiny creature drawings. https://dustycloud.org
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@93mschwarz.bsky.social
PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
@bernsteinbear.com
Baking bread and compilers are kinda similar if you think about it @tekknolagi elsewhere
@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
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@taliaringer.bsky.social
@marcozzi.net
🇪🇺🇧🇪 Permanent researcher in cybersecurity (fuzzing). Works at CEA List Institute from Université Paris-Saclay (France). http://www.marcozzi.net I make software safer by viciously torturing it to reveal its flaws. I can be kind too.
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app