Static.usenix.org