Publication A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson 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 Project
Publication Experimental and Causal View on Information Integration in Autonomous Agents Philipp Geiger, Katja Hofmann, Bernhard Schölkopf 6th International Workshop on Combinations of Intelligent Methods and Applications | August 2016 6th International Workshop on Combinations of Intelligent Methods and Applications Project
Publication A lambda-calculus foundation for universal probabilistic programming Johannes Borgström, Andy Gordon, Ugo Dal Lago, Marcin Szymczak International Conference on Functional Programming | August 2016
Publication Safe zero-cost coercions for Haskell Joachim Breitner, Richard Eisenberg, Simon Peyton Jones, Stephanie Weirich Journal of Functional Programming | July 2016, Vol 26
Publication Polylogarithmic-Time Leader Election in Population Protocols Dan Alistarh, Rati Gelashvili July 2016 Accepted to ICALP, track C.
Publication Time-Sensitive Bayesian Information Aggregation for Crowdsourcing Systems Matteo Venanzi, John Guiver, Pushmeet Kohli, Nicholas R. Jennings Journal of Artificial Intelligence Research – Special Track on Human Computation and AI | July 2016, Vol 56: pp. 517-545 Project
Publication Neu-IR: The SIGIR 2016 Workshop on Neural Information Retrieval Nick Craswell, W. Bruce Croft, Jiafeng Guo, Maarten de Rijke, Bhaskar Mitra Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval | July 2016
Publication Oblivious Multi-Party Machine Learning on Trusted Processors Olya Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa The 25th USENIX Security Symposium 2016 | July 2016 Project Project
Publication The Malmo Platform for Artificial Intelligence Experimentation Matthew Johnson, Katja Hofmann, Tm Hutton, David Bignell, Katja Hofmann 25th International Joint Conference on Artificial Intelligence (IJCAI-16) | July 2016 Video Project
