VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, Lars Birkedal. VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A. Proceedings of the ACM on Programming Languages, 7(PLDI):1438-1462, 2023. [doi]

This author has not been identified. Look up 'Zongyuan Liu' in GoogleThis author has not been identified. Look up 'Sergei Stepanenko' in GoogleThis author has not been identified. Look up 'Jean Pichon-Pharabod' in GoogleThis author has not been identified. It may be one of the following persons:

Amin Timany

Look up 'Amin Timany' in GoogleThis author has not been identified. Look up 'Aslan Askarov' in GoogleThis author has not been identified. Look up 'Lars Birkedal' in Google

runs on WebDSL