MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
Alexandra E. MichaelAnitha GollamudiJay BosamiyaEvan JohnsonAidan DenlingerCraig DisselkoenConrad WattBryan ParnoMarco PatrignaniMarco VassenaDeian StefanPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- memory management
- distributed shared memory
- code generation
- control flow
- data flow
- memory requirements
- source code
- memory usage
- java virtual machine
- databases
- memory space
- low memory
- execution model
- message passing
- address space
- program execution
- error correcting
- state information
- operating system
- random access
- software engineering
- memory size
- resource consumption
- real time
- static analysis
- hardware implementation