Conference paper
Modular verification of concurrent programs
Brent Hailpern, Susan Owicki
POPL 1982
Paper
Realizing the potential of data science
Related
Brent Hailpern, Padmanabhan Santhanam
IBM Systems Journal
Nissim Francez, Brent Hailpern, et al.
Science of Computer Programming
Qiuhao Lu, Nisansa De Silva, et al.
ACM-BCB 2019