Jungwook Choi, Rob Rutenbar
FPL 2016
Paper
Realizing the potential of data science
Related
Ron K. Cytron, Brent Hailpern
ACM Computing Surveys (CSUR)
Conference paper
Modular verification of concurrent programs
Brent Hailpern, Susan Owicki
POPL 1982
Tianqi Gao, Jungwook Choi, et al.
FPL 2017