Design of an Efficient Lisp Bytecode Machine and Compiler

We present a new virtual machine for Common Lisp, focused on efficiency of compiled code as well as efficiency of the compilation process itself. An extended fix-up mechanism is used to apply some important optimizations without requiring an intermediate representation. The new system performs comparably to or better than existing systems with similar design goals.