Heidi Howard
@heidiann360
Distributed Systems Researcher, Azure Research (Microsoft)
ID:604252261
http://heidihoward.co.uk 10-06-2012 06:12:33
1,9K Tweets
7,2K Followers
631 Following
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
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 ;-).
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
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