Paper

01 Apr 2018

Realizing the potential of data science

View publication

Related

Paper

Software debugging, testing, and verification

Brent Hailpern, Padmanabhan Santhanam

IBM Systems Journal

Paper

SIGPLAN Scope and Tutorial Needs

Ron K. Cytron, Brent Hailpern

ACM Computing Surveys (CSUR)

Paper

Script: A communication abstraction mechanism and its verification

Nissim Francez, Brent Hailpern, et al.

Science of Computer Programming

Conference paper

Configurable and scalable belief propagation accelerator for computer vision

Jungwook Choi, Rob Rutenbar

FPL 2016

View all publications