ASPLOS'24 - Lightning Talks - Session 4D - Lightweight, Modular Verification for WebAssembly to Nati

117 views

ACM SIGARCH

1 year ago

ASPLOS'24 - Lightning Talks - Session 4D - Lightweight, Modular Verification for WebAssembly to Nati

ASPLOS'24 - Lightning Talks - Session 4D - Lightweight, Modular Verification for WebAssembly to Nati