Joint work with Joe Tassarotti !
pcOL is the first program logic to enable reasoning about programs where concurrency and probabilistic computations can coexist, it allows unbounded looping and support for almost sure termination. All details in arxiv.org/abs/2411.11662
Screenshot of popl program with abstract
If you are at POPL this week, please check out my student Noam Zilberstein’s talk on probabilistic outcome logic (pcOL)! We were delighted that it got a distinguished paper award! This paper is the culmination of several years of work and Noam is on the job market this year!
The latte art is 🔝
7 of my former and current students gathered to celebrate the PhD defence of (my student lucky 13) Dr. Rozowski! Very proud of this bunch! This picture shows their personalities well and reminds me that I’ll never get tired of working with nice people 😀
1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the breakthroughs that today’s tech companies are built on.
This week's People of ACM profile features Derek Dreyer, Scientific Director @mpi_sws_ Among other topics, Dreyer discusses the Rust programming language, Iris separation logic, and his interest in classical music. Read here: bit.ly/3SMAuyY
Also: I assume Harvard will try to sue fast and fix things, but the cruelty this letter unleashes *today* will induce lasting fear and panic not just on the 6800 international students at Harvard, but also on all international students in this country, even if there is a swift TRO. Why stay here?
Bringing together outstanding people from all over the world is the core of our excellence
My husband: is Pluto a planet now? I can’t remember. Elliot, what did they teach you at preschool? Is Pluto a planet?
Elliot: No, Pluto is not a planet
2 year old, confidently: Pluto is a dog.
Congratulations 🎉
Being a woman in CS in 2025: having two white men tell to your face that you’re not as successful as @herrdreyer.bsky.social. Thank you, aware of that, Derek is awesome and I love him, but it does not take away any of my awesomeness. Now, fuck off.
Prakash Panangaden gives the first plenary at Bellairs ‘25
One of the cruelest things about the NSF/NIH situations is that federal funders have been asking for acknowledgment about disparate impacts, inequality, etc. for years. To get a grant at all you had to (rightly) address those things. Now is the punishment for both caring and following the rules.
Blaming an airplane crash on DEI is one thing that would never have featured in any list of possible things I might hear this week. What a world we’re living in…
I'm truly saddened to hear of the passing of Arto Salomaa, a giant in formal languages and automata theory. I was a student of his son, Kai, and I was honoured to co-author a recent paper with the two Salomaas. Arto formed the foundations of our field and his work influences mine every day.
As the cherry on the top, it's always so good to meet one of my very best friends
@xanovsky.bsky.social
On my way to POPL! Excited to meet many people I haven’t seen in some time and to hear Noam Zilberstein giving a talk on Demonic Outcome logic, joint work with me, Dexter Kozen, and Joe Tassarotti! Noam will be on the academic market next year, come listen to some of the cool stuff he’s been doing!!
Amazing selection!!
Luca is awesome, a favorite!! How long are you in town?
The Gruffalo’s child is a favorite :-)
Which one are the pigeon books ? :-)
What are E&P books? :)
“Mrs Brown says that in London, everyone is different. But that means anyone can fit in.”
Beautifully put. Thank you, Paddington.
Get your ECOOP papers ready for the new year! ECOOP'25, held in Bergen, Norway, solicits practical and theoretical investigations of programming languages, systems and environments. Round 1 submissions are due January 6 AoE:
2025.ecoop.org/track/ecoop-...
Everyone in college called me Xana and then that turned into this handle ;-) but a Portuguese person seeing it written down might not immediately make the connection unless you read it out loud!
olaaaaa :) finally here!!!