1. XenTT: Deterministic Systems Analysisin XenAnton Burtsev, David Johnson, Chung Hwan Kim, Mike Hibler,Eric Eide, John RegehrUniversity of Utah 2. • Record execution…
