In terms of simplicity and architecture I think Ikarus Scheme and Rubinius are good reads. Both are compilers/VMs that have been expressed in their most beautiful form.