Josh Reese

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 1

Top Topics

Delay Insensitive

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

Publications

Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
Program synthesis with algebraic library specifications. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Josh Reese, Yong Wang, Lin Li, Houshang Darabi, Erik Osland, Mehmet S. Ozcan, Verna L. Baughman, Guy Edelman
Early warning system modeling for patient bispectral index prognosis in anesthesia and the operating room. CASE (2012)