Publication Simple, Fast and Safe Manual Memory Management Piyus Kedia, Manuel Costa, Dimitrios Vytiniotis, Matthew J. Parkinson, Kapil Vaswani, Aaron Blankstein Proceedings of the Conference on Programming Langauges Design and Implementation (PLDI) | June 2017
Publication Compiling without continuations Luke Maurer, Zena Ariola, Paul Downen, Simon Peyton Jones ACM Conference on Programming Languages Design and Implementation (PLDI’17) | June 2017
Publication Towards Calm Displays: Matching Ambient Illumination in Bedrooms Jan Kučera, James Scott, Nicholas Chen, Patrick Olivier, Steve Hodges Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | June 2017
Publication Risk-based attack surface approximation: how much data is enough? Christopher Theisen, Kim Herzig, Brendan Murphy, Laurie Williams 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP) | May 2017
Publication The Atari Grand Challenge Dataset Vitaly Kurin, Sebastian Nowozin, Katja Hofmann, Lucas Beyer, Bastian Leibe MSR-TR-2017-61 | May 2017 Published by Microsoft
Publication Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson ACM Transactions on Programming Languages and Systems | May 2017, Vol 39(3)
Publication Characterizing Experimentation in Continuous Deployment: A Case Study on Bing Katja Kevic, Brendan Murphy, Laurie Williams, Jennifer Beckmann 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP) | May 2017
Publication Learning to Match Using Local and Distributed Representations of Text for Web Search Bhaskar Mitra, Fernando Diaz, Nick Craswell Proceedings of the 26th International Conference on World Wide Web | April 2017
Publication “Creating Cool Stuff”: Pupils’ Experience of the BBC micro:bit Sue Sentance, Jane Waite, Steve Hodges, Emily MacLeod, Lucy Yeomans Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education | March 2017 Project Project Project