I'm interested in operating systems, hardware-software interfaces, and virtualization.
Program committees: EuroSys'20, ATC'19 (program chair), ASPLOS'19, OSDI'18, ASPLOS'18, VEE'18, ATC'17, EuroSys'17, ASPLOS'17, OSDI'16, ATC'16, ASPLOS'16, ATC'15, EuroSys'15, ASPLOS'15, ...