A Self-certifying Compilation Framework for WebAssembly.

Kedar S. Namjoshi Anton Xue

Published in: VMCAI (2021)

Keyphrases

main contribution
conceptual framework
lightweight
genetic algorithm
probabilistic model
information systems
special case
information retrieval
artificial intelligence
social networks
image sequences
search algorithm
data streams
key features