Publication Now let me see where I was: Understanding how Lifelogs mediate memory Vaiva Kalnikaite, Abigail Sellen, Steve Whittaker, Dave Kirk Proceedings of CHI 2010 | April 2010 Project
Publication Designing a technological playground: A field study of the emergence of play in household messaging Siân Lindley, Richard Harper, Abigail Sellen Proceedings of the 2010 SIGCHI conference on Human Factors in computing systems | April 2010 Winner of SIGCHI Honorable Mention award.
Publication The Neuroepithelial Basement Membrane Serves As A Boundary And A Substrate For Neuron Migration In The Zebrafish Hindbrain Paul Grant, Cecilia Moens Neural Development | March 2010, Vol 5 Project
Publication Opening up the family archive Dave Kirk, Shahram Izadi, Abigail Sellen, Stuart Taylor, Richard Banks, Otmar Hilliges Proceedings of CSCW 2010 | February 2010 Winner Best Paper CSCW Project
Publication Telling the whole story: Anticipation, inspiration and reputation in a field deployment of TellTable Xiang Cao, Siân Lindley, John Helmes, Abigail Sellen Proceedings of CSCW 2010 | February 2010
Publication Modular verification of security protocol code by typing Karthik Bhargavan, Cédric Fournet, Andy Gordon POPL ’10 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2010 ISBN: 978-1-60558-479-9
Publication Loopfrog “” loop summarization for static analysis Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Workshop on Invariant Generation (WING) | January 2010
Publication SecPAL: Design and Semantics of a Decentralized Authorization Language Moritz Becker, Cédric Fournet, Andy Gordon Journal of Computer Security | January 2010, Vol 18(4): pp. 619-665
Publication Understanding family communication across time zones Xiang Cao, Abigail Sellen, A.J. Brush, Dave Kirk, Darren Edge, Xianghua Ding Proceedings of CSCW 2010 | January 2010
Publication Structural Epitome: A Way to Summarize Ones Visual Experience Nebojsa Jojic, Alessandro Perina, Vittorio Murino Advances in Neural Information Processing Systems 23 (NIPS 2010) | January 2010 Project
