Andrew Sorensen, Henry J. Gardner. Systems level liveness with extempore. In Emina Torlak, Tijs van der Storm, Robert Biddle, editors, Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017. pages 214-228, ACM, 2017. [doi]
Abstract is missing.