Alexandra Silva
@xanovsky.bsky.social
Mom, foodie, traveller, computer scientist
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 😀
July 5, 2025 at 12:47 PM
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 😀
Reposted by Alexandra Silva
I'm so glad that I had mentors and touchstones who reminded me to celebrate small victories. I would have burned out on organizing in my 20s if I hadn't heeded their advice.
June 25, 2025 at 3:07 AM
I'm so glad that I had mentors and touchstones who reminded me to celebrate small victories. I would have burned out on organizing in my 20s if I hadn't heeded their advice.
Reposted by Alexandra Silva
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.
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.
x.com
May 31, 2025 at 5:16 PM
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/...
KATch2 NetKAT Analyzer
julesjacobs.com
May 27, 2025 at 1:54 PM
Look at this amazing website/tutorial Jules made! :-) julesjacobs.com/misc/katch2/...
Reposted by Alexandra Silva
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
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…
bit.ly
May 22, 2025 at 5:45 PM
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
Reposted by Alexandra Silva
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?
🧵 Today's revocation of Harvard's ability to enroll international is awful for many reasons, chief among them the human cost as @jeremywallace.bsky.social notes. It's also an attack on the US economy. But maybe less obvious: it is terrible national security policy. It makes Americans less safe. 1/
6800 people who already probably have leases for next year, spent years of their lives working to get to where they were now upended because Trump and Noem and Stephen Miller want to crush a major export sector of this economy, oh, and also a source of cures for diseases and knowledge of all sorts.
May 22, 2025 at 7:48 PM
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?
Reposted by Alexandra Silva
Bringing together outstanding people from all over the world is the core of our excellence
May 22, 2025 at 9:13 PM
Bringing together outstanding people from all over the world is the core of our excellence
Reposted by Alexandra Silva
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.
Elliot: No, Pluto is not a planet
2 year old, confidently: Pluto is a dog.
May 22, 2025 at 9:34 PM
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.
Elliot: No, Pluto is not a planet
2 year old, confidently: Pluto is a dog.
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.
March 24, 2025 at 9:55 AM
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.
Reposted by Alexandra Silva
Prakash Panangaden gives the first plenary at Bellairs ‘25
March 16, 2025 at 3:12 PM
Prakash Panangaden gives the first plenary at Bellairs ‘25
Reposted by Alexandra Silva
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.
February 4, 2025 at 1:59 PM
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…
January 30, 2025 at 7:41 PM
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…
Reposted by Alexandra Silva
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.
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...
www.aka.fi
January 28, 2025 at 5:40 PM
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.
Reposted by Alexandra Silva
As the cherry on the top, it's always so good to meet one of my very best friends
@xanovsky.bsky.social
@xanovsky.bsky.social
January 23, 2025 at 9:06 PM
As the cherry on the top, it's always so good to meet one of my very best friends
@xanovsky.bsky.social
@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!!
January 20, 2025 at 9:28 AM
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!!
Reposted by Alexandra Silva
“Mrs Brown says that in London, everyone is different. But that means anyone can fit in.”
Beautifully put. Thank you, Paddington.
Beautifully put. Thank you, Paddington.
January 1, 2025 at 1:03 AM
“Mrs Brown says that in London, everyone is different. But that means anyone can fit in.”
Beautifully put. Thank you, Paddington.
Beautifully put. Thank you, Paddington.
Reposted by Alexandra Silva
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-...
2025.ecoop.org/track/ecoop-...
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...
2025.ecoop.org
December 28, 2024 at 7:17 PM
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-...
2025.ecoop.org/track/ecoop-...