SCL: A Secure Concurrency Layer For Paranoid Stateful Lambdas. - Kaiyuan Chen 001; Alexander Thomas; Hanming Lu; William Mullen; Jeffrey Ichnowski; Rahul Arya; Nivedha Krishnakumar; Ryan Teoh; Willis Wang; Anthony D. Joseph; John Kubiatowicz (CoRR, 2022)

FireAxe: Partitioned FPGA-Accelerated Simulation of Large-Scale RTL Designs. - Joonho Whangbo; Edwin Lim; Chengyi Lux Zhang; Kevin Anderson; Abraham Gonzalez; Raghav Gupta; Nivedha Krishnakumar; Sagar Karandikar; Borivoje Nikolic; Yakun Sophia Shao; Krste Asanovic (ISCA, 2024)