Formally verified lifting of C-compiled x86-64 binaries - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran. Formally verified lifting of C-compiled x86-64 binaries. In Ranjit Jhala, Isil Dillig, editors, PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022. pages 934-949, ACM, 2022. [doi]

This author has not been identified. Look up 'Freek Verbeek' in GoogleThis author has not been identified. Look up 'Joshua A. Bockenek' in GoogleThis author has not been identified. Look up 'Zhoulai Fu' in GoogleThis author has not been identified. Look up 'Binoy Ravindran' in Google

runs on WebDSL