A Max-SMT Superoptimizer for EVM handling Memory and Storage.
Elvira AlbertPablo GordilloAlejandro Hernández-CerezoAlbert RubioPublished in: TACAS (1) (2022)
Keyphrases
- memory capacity
- random access
- secondary storage
- storage devices
- memory storage
- limited memory
- disk storage
- garbage collection
- memory management
- memory usage
- virtual memory
- memory size
- memory space
- statistical machine translation
- main memory
- compressed data
- memory requirements
- data storage
- storage capacity
- storage requirements
- disk access
- storage media
- processing capabilities
- operating system
- information retrieval
- database
- flash memory
- data management
- computing power
- database systems