Conference paper
Modular verification of concurrent programs
Brent Hailpern, Susan Owicki
POPL 1982
Paper
Realizing the potential of data science
Related
Jungwook Choi, Ameya D. Patii, et al.
ICASSP 2016
Mark R. Laff, Brent Hailpern
ACM SIGPLAN Notices
Van Nguyen, Brent Hailpern
ACM SIGPLAN Notices