Two papers, Pluto and Harmony, accepted to appear in ICDCS 2021! Congrats to Taegeon, Gyewon for their Pluto work! Congrats to Wooyeon, Yunseong, Wonook, Youngseok, Jooyeon!
Our work on finding consensus bugs in Ethereum has been accepted to appear in OSDI 2021! Congrats, Dr. Yang!