ACM SIGPLAN
Special Interest Group on Programming Languages
The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, ...
We are happy to announce the release of our SPLASH'24 coverage totaling 305 talks across OOPSLA, Onward!, SAS, HATRA, IWACO, LIVE, and many more!
Special thanks goes out to all the video volunteers who have enabled us to provide such a broad coverage!
youtube.com/@acmsigplan/...
11.03.2025 20:24 β π 2 π 3 π¬ 1 π 0
*tap tap* Is this thing on? Yes? Ok, we are SIGPLAN AV and we're looking forward to seeing you all at @sigplan-pldi.bsky.social in Seoul and remote!
(This is our new centralized channel for communications, updates and announcements)
11.03.2025 14:59 β π 17 π 4 π¬ 0 π 0
Recently got done editing and publishing all the ICFP talk videos: icfp23.sigplan.org
02.12.2023 07:54 β π 3 π 0 π¬ 0 π 0
Senior writer at Slate covering courts and the law. Co-host of the Amicus podcast. Dad to one toddler and several other animals.
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
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
PhD student
π» SE, PL at CMU and U.Lisbon
βοΈ Currently in Lisbon
PhD Student at the University of Lisbon
Working on Static Resource Analysis and Probabilistic Programming
Mastadon: @GUIpsp@types.pl
Dorothy is my bestie
Committed to a welcoming, vibrant & ο¬ourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
https://ipv3.org
PhD student @TUBerlin
Opinions are those of your pet
Ask me about EGraphs, Compilers and Rust
π± ruining programming forever @ hazel.org
π± professoring @ Michigan
π± poetry
π± dendrites
π± immersion
π± flowers
π± resisting idiocracy
https://web.eecs.umich.edu/~comar
Hridesh Rajan is the Dean of the Tulane University School of Science and Engineering. At Tulane, his goal is to grow interdisciplinary, research-focused education in science and engineering for better lives. https://sse.tulane.edu
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
Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
californian in london. mcmillanistβgeorgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
π₯ Lambda Scientist
π‘ Functional programming
π‘ Programming languages
π‘ Cryptography
π¨π½βπ» Swift, Haskell & Agda
π Volt πͺπΊ policy: digital rights & economy
π Utrecht π³π±π©πͺπͺπΊ
β’ Twitter: @TacticalGrace
Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr.
Personal account; not speaking for employer or anyone else.
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Microbial ecology and evolution. Special love for freshwater lakes & long-term time series πππ β‘οΈ β³β³β β‘οΈ π§¬π₯οΈ β‘οΈ πππ
postdoc @ UT Austin working remotely from the Pacific Northwest
(views my own)
robinrohwer.com
