This is NOT a formal job posting, just testing waters. I have a year of post-doc money. Esp. int'd in formal methods + applied cogsci + diagramming. If you do work tied to my research, reach out (see my page). Must have US work auth, sorry. Please feel free to share/boost!
đĸ Call for Artifact Evaluation Reviewers! Join the ASE 2026 & ISSTA 2026 AE committees. Support open science while gaining an inside look at top-tier research artifacts.
đ Apply now: docs.google.com/forms/d/e/1F...
đ Please boost! #ASE2026 #ISSTA2026
My department is looking to hire a professor of practice in CS, with a focus on AI. Job posting below. If you have questions I'll do my best to answer them, else find someone who can! We are in Providence, easy commute access from Boston.
jobs.chronicle.com/job/37970844...
We're running a user study, maybe you can help!
We're studying the effect of new ways to show code diffs to programmers, and looking for participants for a 1-1.5hr virtual user study. In the study you will be shown several diffs and asked questions about them.
The program of ICOOOLPS is now online: 2026.ecoop.org/home/ICOOOLP...
And today is the last day for early registrations.
Interested in programming language implementation, compilation, and optimization? Join us in Brussels!
Don't know what to expect? 1/2
REMINDER: Our call for a professorship in the programming language field ends this Sunday! Make sure your application is in the system on time.
Ben Hermann
Shriram Krishnamurthi
Shriram Krishnamurthi
Do you want to be my new colleague in Stuttgart?
We opened a tenured professor position for researchers in Programming Languages. So, if you are working in this field, please consider applying.
If you are not in this field, please repost and boost. đŖ
www.f05.uni-stuttgart.de/en/faculty/n...
Honored to be recognized as an #ICSE Distinguished Reviewer alongside 29 fantastic colleagues! Beyond the honor, reviewing this year was genuinely fun. My selection of papers was incredibly interesting to read and I learned a lot from them.
@icseconf.bsky.social
conf.researchr.org/info/icse-20...
ECOOP wasn't on Bluesky â until now! đ
We're building a home here for the programming languages and software engineering research community. Follow us, spread the word, and help us grow!
Whether you're an author, attendee, or just passionate about PL research â you belong here. đ
#ECOOP #ECOOP26
The ICOOOLPS workshop series brings together researchers and practitioners working in the field of language implementation and optimization.
The goal of the workshop is to discuss emerging problems an...
Last call! Early registration for #ECOOP2026 closes tomorrow, May 14th.
Keynotes on verified compilation, 15 years of Viper, and where programming paradigms converge. Brussels, June 29 â July 3.
Register before the deadline: 2026.ecoop.org/attending/re...
INSTITUTE OF SOFTWARE ENGINEERING | AT THE NEXT POSSIBLE DATE
