🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Got a paper at POPL25!!! ...the 10th in my POPL stack! popl25.sigplan.org/track/POPL-202…

So sad! just discovered that App in the Air (the best app for tracking your flights) has been shut down 😢! ...and this was my tracking from 2017 to 2024.

VICTORY.

You will be pleased to have Roberto Giacobazzi (Roberto Giacobazzi🇮🇹🇺🇸🇫🇷⛳️🌵) as a colleague, too (recently joined). He is known for his work on static analysis and abstract interpretation. Check out this video (insightful and fun) to see the problems he's tackling: youtube.com/watch?v=sm2MjK…

Registration is open for POPL'25! It's going to be an amazing conference in January, in Denver, Colorado, the United States. Accepted papers: popl25.sigplan.org/track/POPL-202… Sign up now! popl25.sigplan.org/attending/regi…

Computer scientist Edsger Dijkstra on the frustration of debugging a program you wrote yourself

"It doesn't matter if a cat is black or white, as long as it catches mice!"

Charlie Woods just made his first ever hole-in-one!! 📺: GOLF Channel

POPL'25 program is up! popl25.sigplan.org/program/progra…

Happy New Year -- rather excitingly, POPL'25 is happening in 2 weeks! Haven't registered? Come and join us! popl25.sigplan.org/attending/regi…

Here it is our forthcoming POPL25 paper about “the best of abstract interpretations” with Francesco Ranzato !! dl.acm.org/doi/10.1145/37…

POPL25 starts in Denver!

POPL 2026 in Rennes!!!! ❤️

Join us at the 2025 College of Science Lecture Series! This year’s series — Can We Talk? The Science of Communication — will explore the fascinating science behind communication and the integral part it plays in our everyday lives. Live at Centennial Hall in March.

Thank you to everyone who attended opening night of the 2025 College of Science Lecture Series! Join us Thursday night (3/13) for our next lecture, which will explore the advantages and complexities of bilingualism. Visit science.arizona.edu/lecture to learn more.

PL papers are worth more!

An incredible line of PCs with security and software engineering expertise is waiting for your submissions!