Conference paperToward a pixel-parallel architecture for graph cuts inference on FPGATianqi Gao, Jungwook Choi, et al.FPL 2017
PaperExtending Objects to Support Multiple Interfaces and Access ControlBrent Hailpern, Harold OssherIEEE Transactions on Software Engineering
PaperScript: A communication abstraction mechanism and its verificationNissim Francez, Brent Hailpern, et al.Science of Computer Programming
