Publication Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olya Ohrimenko, Bryan Parno ACM Conference on Computer and Communications Security (CCS) | October 2016 Project
Publication Exploring the Design Space for Energy-Harvesting Situated Displays Tobias Grosse-Puppendahl, Steve Hodges, Nicholas Chen, John Helmes, Stuart Taylor, James Scott, Josh Fromm, David Sweeney UIST ’16: Proceedings of the 29th annual ACM symposium on user interface software and technology | October 2016 Video Project Project
Publication Differentially Private Bayesian Programming Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesus Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub 2016 ACM SIGSAC Conference on Computer and Communications Security | October 2016
Publication Switching to Git: The Good, the Bad, and the Ugly Sascha Just, Kim Herzig, Jacek Czerwonka, Brendan Murphy 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE) | October 2016 Project
Publication Things We’ve Learnt About Home Life Alex Taylor, Richard Harper, Siân Lindley, Abigail Sellen, Richard Banks, J. Downer, Neeltje Berger Thing’s We’ve Learnt About | 2016
Publication Desugaring Haskell’s do-notation Into Applicative Operations Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov Haskell Symposium | September 2016
Publication Pattern Synonyms Matthew Pickering, Gerg˝o Érdi, Simon Peyton Jones, Richard A. Eisenberg Haskell’16 | September 2016
Publication How computational models contribute to our understanding of the germ line Kathryn Atwell, Sara-Jane Dunn, James M. Osborne, Hillel Kugler, E. Jane Albert Hubbard Molecular Reproduction and Development | September 2016
Publication ThermalSense: Determining Dynamic Thermal Comfort Preferences Using Thermographic Imaging Juhi Ranjan, James Scott Proceedings of UbiComp 2016 | September 2016 Project
Publication BTR: training asynchronous Boolean models using single-cell expression data Chee Yee Lim, Huange Wang, Steven Woodhouse, Nir Piterman, Lorenz Wernisch, Jasmin Fisher, Berthold Göttgens BMC Bioinformatics | September 2016, Vol 17(355)
