Jungwook Choi, Rob Rutenbar
FPL 2016
Paper
Realizing the potential of data science
Related
Qiuhao Lu, Nisansa De Silva, et al.
ACM-BCB 2019
Mark R. Laff, Brent Hailpern
ACM SIGPLAN Notices
Conference paper
Modular verification of concurrent programs
Brent Hailpern, Susan Owicki
POPL 1982