Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, and Xi Wang won a best paper award at SOSP 2019 for their paper, “Scaling symbolic evaluation for automated verification of systems code with Serval.” Congratulations, to the Serval team!
Naveen Kr. Sharma passed his general exam. Congratulations, General Sharma!
Haichen and Nacho defend their dissertations on SysML work!