Two papers accepted to ASPLOS’22:
Revisor — a system for automatic detection of speculative execution vulnerabilities on black-box CPUs: jointly with Microsoft Research Cambridge and TU Dresden, led by Oleksii Oleksenko
and
FlexConnect — an infrastructure for direct p2p management of NICs from FPGAs: jointly with NVIDIA Networking (former Mellanox), led by Haggai Eran
Congrats to the authors!!