Great stuff!!! Thanks for doing this!

Lax FAA oversight allowed Southwest to put millions of passengers at risk, IG says wapo.st/37mT2Ma

“I was just shaking”—new documents reveal details of fatal Tesla crash arstechnica.com/cars/2020/02/i… by Timothy B. Lee

Why fixing security vulnerabilities in medical devices, IoT is so hard arstechnica.com/information-te…

Boeing acknowledges “gaps” in its Starliner software testing arstechnica.com/science/2020/0… by Eric Berger

A fascinating retrospective from Andy Gavin about Crash Bandicoot, covering topics such as how they got the hardware to perform to the level they wanted. I loved the game as a kid (and still do!).

Air-safety regulators are poised to order electrical wires relocated inside Boeing 737 MAX jets in the latest complication and potential delay for their return to commercial service on.wsj.com/2PYmvq5

We were asked to make a trailer for the #LVI IEEE S&P paper. Here it is ;) "We turn #Meltdown around." youtube.com/watch?v=baKHSX… x.com/jovanbulck/sta… lviattack.eu cc Jo Van Bulck @danielmgmi Michael Schwarz Moritz Lipp

“RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification” (@YManerkar, Daniel Lustig, @MargMartonosi; 2020) 📄 arxiv.org/pdf/2003.04892… #MemoryConsistency #RISCV #WeakMemoryOrdering #TotalScoreOrdering

MRMGroup’s Yatin Manerkar is working to bring automated formal verification to scale, his latest work with Daniel Lustig and Margaret Martonosi enables modular memory consistency verification for hardware design — preprint on arXiv now! arxiv.org/abs/2003.04892

Greatest Indian series win of all time IMO. Well done team! 🇮🇳

Prof. Natalie Enright Jerger presents the TCCA Outstanding Dissertation Award to Dimitrios Skarlatos! 🎉👏 And honorable mentions to Yatin Manerkar and Hyoukjun Kwon! 🎊 #isca2021

Kevin's paper is about a new phenomenon that he discovered that causes commodity workloads to induce DRAM hammering, leading to potential reliability and security issues. Kevin's paper rethinks memory coherency to alleviate this problem. Joint with Stefan Saroiu Alec Wolman Yatin Manerkar

On multi-socket Intel workloads, normal cloud workloads can access memory at rates approaching (and even bypassing) today DRAM's Rowhammer thresholds. Why? (1/2)

Check out Prof. Yatin Manerkar’s summary of ISCA 2022, from the awards to the business meeting. sigarch.org/isca-2022-trip…

I am recruiting PhD students! If you're interested in the intersection of formal methods and computer architecture/systems research, please apply to Computer Science and Engineering at Michigan's PhD program and mention my name in your application! RTs to spread the word would be greatly appreciated🙏.

Formal hardware models are hard to write by hand. Our ASPLOS paper, PipeSynth, shows how to automatically synthesize microarchitectural ordering models from common inputs like test programs and simulator traces. Come to our talk tomorrow in session 1B to see how we do it!

I'm recruiting PhD students (again) this year! If you're interested in hardware security, formal synthesis, or the intersection of formal methods and computer architecture in general, please apply to Computer Science and Engineering at Michigan's PhD program and mention me in your app! RTs greatly appreciated🙏.