Alexandra Silva

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants Although randomization has long been used in distributed computing, formal methods for reasoning about probabilistic concurrent programs have lagged behind. No existing program logics can express spec...

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 😀

Isil Dillig on X: "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 technology that today’s companies are built on." / X 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 technology that today’s companies are built on.

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.

Look at this amazing website/tutorial Jules made! :-) julesjacobs.com/misc/katch2/...

People of ACM - Derek Dreyer Derek Dreyer is a Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany. At MPI-SWS, he leads the Foundations of Programming Group. His broad range of…

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…

Arto Salomaa, Academician of Science, dies at 90 Academician of Science Arto Salomaa (b. 1934), a pioneer in the mathematical theory of computer science, has passed away. During his long and distinguished research career, Salomaa engaged in scientif...

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.

ECOOP 2025 - Technical Papers - ECOOP 2025 ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to pro...

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!!!