PLDI 2023
Sat 17 - Wed 21 June 2023 Orlando, Florida, United States
PLDI 2023 (series) / Aslan Askarov

Registered user since Fri 21 Sep 2018

Name:Aslan Askarov
Affiliation:Aarhus University
Personal website:http://askarov.net/

Contributions

PLDI 2023 VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Show activities from other conferences

Using general profile