David’s research lets you take any protocol, even BFT ones, and automatically scales it up so it can be distributed across more nodes without compromising safety!

Transactions that are fast, simple and fault tolerant! 😲 exciting work by Cjen1

TLA+ conf is happening today! @[email protected] will be presenting our collaboration on modelling CCF’s distributed protocols in TLA+ and using trace validation to verify that our formal model is consistent with our production implementation

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

If you’re in Athens for EuroSys 2023 checkout PAPOC, my favourite workshop for all things consistency. Cjen1 will be talking about a hot new take on 2PC and David Chu will taking about programmatically scaling BFT protocols. Definitely worth a watch!

Calling storage innovators and file system researchers to submit to HotStorage’24, the 16th ACM workshop on computer storage and file systems. hotstorage.org/2024/cfp.html before submission deadline March 22, 2024! Look forward to seeing you on July 8-9th in Santa Clara, CA!

We're looking for a team lead at Tarides: tarides.com/jobs/team-lead/. Please apply if keen, and do retweet for visibility.

Interested in system programming, security & privacy, confidential computing or distributed computing? We are looking for a Senior Research Engineer to join the Confidential Consortium Framework team within Microsoft. jobs.careers.microsoft.com/global/en/job/…

Yet another informative yet accessible post from Lindsey Kuper (@[email protected]). K8s caching layers on top of etcd end up undermining the correctness guarantees it provides in the first place decomposition.al/blog/2023/12/3…

SOSP attendees, Suyash Gupta is looking for an academic job this year, and Levy Deng, Timothée Zerbib for PhD positions (all attending). Hire them! You won't regret it. Though Suyash might force you to write scripts in shell ;-).

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

looking at how researchers and practitioners use packet capture and filtering tools, and what problems y'all encounter so we can try and fix some of them :)

If that includes you, please consider spending 10min on this survey before 6 Oct cs.iit.edu/~nsultana1/fil… thanks! 1/2

If you’re at PODC-DISC this morning then do go to Neil’s talk at 8:50, kickstarting the Byzantine agreement session. We at Azure Research were lucky enough to get a sneak peek last week and very much enjoyed it!

Welcoming our keynote speaker to the stage, Heidi Howard

Building distributed systems worthy of our trust by Heidi Howard Heidi Howard at EMPEX Conf EMPEX NYC

#myelixirstatus #elixirlang #erlang #visualthinking

Do not miss the video from the talk by Heidi Howard about Confidential Consortium Framework at #JOTB23 #DistributedSystems #ComputerSystems
youtu.be/vW2qIhx1s84

Watching Heidi Howard presentation on the CIA tradeoffs, at #jotb23

This distills the essence of partial connectivity, a greatly overlooked issue in today's consensus systems originally observed by Heidi Howard Ittai Abraham a few years back. OmniPaxos shows how to boost liveness by decoupling leader election from Sequence Paxos-based log replication.

We are SO excited to announce the EMPEX NYC lineup! Andrea Leopardi 🇺🇦 Lorena Mireles Cory O’Daniel Heidi Howard Andrew Forward Andrew Glassman Sean Moriarity Jace Warren will cover everything from networking on the BEAM to the future of AI in Elixir empex.co/new-york#speak… #myelixirstatus

I am incredibly excited to announce that I'll be giving a keynote at this year's EMPEX NYC conference on the future of trustworthy distributed systems