The recording of Marc Brooker's keynote will be published after post-processing in a week or two. Stay tuned. #tlaplus
PS: Thanks Marc for your keynote.

We’re hiring! 🎉 We have openings for two postdocs to join us in Azure Research. One post in security & privacy (jobs.careers.microsoft.com/global/en/job/…) and one in systems & security (jobs.careers.microsoft.com/global/en/job/…). Please help spread the word to final year phd students & early career researchers

It's research intern application season at MSR. Come work with us at RiSE!

jobs.careers.microsoft.com/global/en/job/…

Types of Distributed Systems Papers.
Joke modeled after Randall Munroe 's xkcd.com/2456/
#distributedsystems #distributedsystems jokes

I'm incredibly excited to announce that our paper, “Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability” has been accepted to VLDB (Volume 17). The paper is available now at arxiv.org/abs/2310.11559

arxiv.org/abs/2310.11559

... and part 2. jack-vanlightly.com/blog/2023/10/1…

I've written a primer on formal verification and TLA+ so I can refer to that whenever I write posts about specific aspects of TLA+. I have a two-parter on liveness that is ready to go after this. jack-vanlightly.com/blog/2023/10/1…

Concurrency bug causing major security incident:
msrc.microsoft.com/blog/2023/09/r…

In case you missed it.

Listening insightful takes on distributed systems from Leslie Lamport made my day yesterday.

Also go #tlaplus

changelog.com/person/lamport

Thank you #tlaplus

twitter.com/DeniTechh/stat…

usenix.org/publications/l… #tlaplus

usenix.org/publications/l… #tlaplus

I often prefer to zoom in rather than blur my background when using Teams and Zoom.

What's the content of file Foo.txt?

youtube.com/watch?v=H6PjGd…

AI Does Not Help Programmers | blog@CACM | Communications of the ACM m-cacm.acm.org/blogs/blog-cac…

@[email protected] Assuming I actually implemented Raft half decently, then learning TLA+ enough to read and understand it (mostly) took just a few hours.