Student-Faculty Collaborations

The following is an incomplete list of publications authored jointly by undergraduate students (in bold) and MCS faculty.

A. Hobor, E. Li, F. Stephan. (accepted) Pumping, with or without choice. 17th Asian Symposium on Programming Languages and Systems.

S. Wang, Q. Cao, A. Mohan, and A. Hobor. (accepted) Certifying graph-manipulating C programs via localizations within data structures. Proceedings of the ACM on Programming Languages, Volume 3, Number OOPSLA (OOPSLA ’19).

W. van den Boom, M. Hoy, J. Sankaran, M. Liu, H. Chahed, M. Feng, and K.C. See. (2019). The search for optimal oxygen saturation targets in critically ill patients: Observational data from large ICU databases. CHEST, in press. doi:10.1016/j.chest.2019.09.015

S. Tingsheng, I. K. Duncan, and M. T. Gastner. (2019) go-cart.io: a web application for generating contiguous cartograms. Abstr. Int. Cartogr. Assoc. 1(333). doi:10.5194/ica-abs-1-333-2019

M. T. Gastner, V. Seguy, and P. More. (2018) Fast flow-based algorithm for creating density-equalizing map projections. Proc. Natl. Acad. Sci. U.S.A. 115(10):E2156–E2164. doi:10.1073/pnas.1712674115

L. Luu, D.-H. Chu, H. Olickel, P. Saxena, and A. Hobor. (2016) Making smart contracts smarter. Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. 254–269. doi:10.1145/2976749.2978309

X. B. Le, C. Gherghina, A. Hobor. (2012) Decision procedures over sophisticated fractional permissions. Programming Languages and Systems. APLAS 2012. doi:10.1007/978-3-642-35182-2_26