PaperSoftware debugging, testing, and verificationBrent Hailpern, Padmanabhan SanthanamIBM Systems Journal
PaperScript: A communication abstraction mechanism and its verificationNissim Francez, Brent Hailpern, et al.Science of Computer Programming
Conference paperLearning electronic health records through hyperbolic embedding of medical ontologiesQiuhao Lu, Nisansa De Silva, et al.ACM-BCB 2019