Publication Typed reflection in Haskell Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis April 2016 April 2016 Proc Philip Wadler's 60th birthday Festschrift, Edinburgh, April 2016
Publication Computational algorithms as biological switches Rosa Hernansaiz-Ballesteros, Neil Dalchau, Luca Cardelli, Attila Csikasz-Nagy Proceedings of the Evry Spring School on Advances in Systems and Synthetic Biology | March 2016 Project Project
Publication High Port Count Hybrid Wavelength Switched TDMA (WS-TDMA) Optical Switch for Data Centers Adam Funnell, Joshua Benjamin, Hitesh Ballani, Paolo Costa, Philip Watts, Benn Thomsen Optical Fiber Communication Conference (OFC’16) | March 2016
Publication A Dual Embedding Space Model for Document Ranking Bhaskar Mitra, Eric Nalisnick, Nick Craswell, Rich Caruana February 2016 February 2016 This paper is an extended evaluation and analysis of the model proposed in a poster to appear in WWW'16, April 11 – 15, 2016, Montreal, Canada. Access Project
Publication Smart Vehicle Spaces K. Venkatesh Prasad , Steve Hodges, Brian Noble IEEE Pervasive Computing Magazine | January 2016, Vol 15(1): pp. 19-21
Publication RichReview++: Deployment of a Collaborative Multi-Modal Annotation System for Instructor Feedback and Peer Discussion D. Yoon, Nicholas Chen, B. Randles, A. Cheatle, S. Jackson, C. Loeckenhoff, Abigail Sellen, F. Guimbretiere Proceedings of CSCW | January 2016
Publication Fabular: regression formulas as probabilistic programming Johannes Borgström, Andy Gordon, Long Ouyang, Claudio Russo, Adam Ścibior, Marcin Szymczak Principles of Programming Languages | January 2016 Project Project
Publication Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal ACM Transactions on Programming Languages and Systems | January 2016, Vol 38(2)
Publication Setwise Comparison: Consistent, Scalable, Continuum Labels for Machine Learning Advait Sarkar, Cecily Morrison, FJ Dorn, R. Bedi, S. Steinheimer, J. Boisvert, J. Burggraaff, M. D'Souza, P. Kontschieder, S. Rota Bulo, L. Walsh, ChP. Kamm, Yordan Zaykov, Abigail Sellen, Siân Lindley Proceedings of CHI 2016 | January 2016
Publication Bodytracking in Healthcare Kenton O'Hara, Abigail Sellen, Cecily Morrison, N. Berthouze, C. Craig Published by Morgan & Claypool | January 2016