Semantics-Based Execution and the LLVM Backend of the K Framework

This paper gives an overview of the universal language semantic framework, K, that is at the core of Pi Squared's technology.  Specifically, it discusses recent innovations and optimizations that have made K's automatically generated interpreters match and even outperform existing mainstream manually-written interpreters/VMs.