MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
Alexandra E. MichaelAnitha GollamudiJay BosamiyaCraig DisselkoenAidan DenlingerConrad WattBryan ParnoMarco PatrignaniMarco VassenaDeian StefanPublished in: CoRR (2022)
Keyphrases
- memory management
- distributed shared memory
- java virtual machine
- code generation
- resource consumption
- control flow
- memory usage
- data flow
- memory requirements
- state information
- source code
- execution model
- message passing
- hardware implementation
- database
- multithreading
- windows xp
- computing power
- global consistency
- binary codes
- error correction
- main memory
- data structure
- database systems
- genetic algorithm
- databases