Adrian Colyer (The Morning Paper) personal blog
Teaching rigorous distributed systems with efficient model checking
Teaching rigorous distributed systems with efficient model checking Michael et al., EuroSys’19 On the surface you might think today’s paper selection an odd pick. It describes the labs enviro…
- Points
- 105
- HN comments
- 12
- Submissions
- 1
- Cited by
- 0 commenters
Systems & PerformanceSoftware Engineering2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 17, 2019 | Teaching rigorous distributed systems with efficient model checking by feross | 105 | 12 |
