Cited By
View all- Kuo HChen KLu YWilliams DMohan SXu TBromberg YKermarrec AKozyrakis C(2022)Verified programs can partyProceedings of the Seventeenth European Conference on Computer Systems10.1145/3492321.3519562(283-299)Online publication date: 28-Mar-2022
- Møller NBossen CPine KNielsen TNeff G(2020)Who does the work of data?Interactions10.1145/338638927:3(52-55)Online publication date: 17-Apr-2020
- Taylor JSherman S(2020)Designing a design-a-hack-a-thonInteractions10.1145/338638727:3(56-60)Online publication date: 17-Apr-2020
- Show More Cited By