22 Apr 2016: Atlantis: Robust, Extensible Execution Environm
Channel: Geoffrey Challen
Date: 2016-04-22

Discussion of the Atlantis paper by James Mickens and collaborators.