Our work on finding consensus bugs in Ethereum has been accepted to appear in OSDI 2021! Congrats, Dr. Yang!