awesome that EuroSys is willing to accept papers like this! Teaching Rigorous Distributed Systems With Efficient Model Checking https://homes.cs.washington.edu/~mernst/pubs/dslabs-eurosys2019.pdf …pic.twitter.com/Ul0ktzkDS7
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
seriously SUPER happy it got accepted
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.