Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Permission Re-Delegation: Attacks and Defenses Helen Wang, Adrienne Porter Felt, Alex Moshchuk, Steven Hanna, Erika Chin Usenix Security 2011 | January 2011
Publication 24-GOPS 4.5-mm2 Digital Cellular Neural Network for Rapid Visual Attention in an Object-Recognition SoC Seungjin Lee, Minsu Kim, Kwanho Kim, Joo-Young Kim, Hoi-Jun Yoo Transactions on Neural Networks | January 2011
Publication The consequences of size dependent foraging for food web topology Aaron Thierry, Owen L. Petchey, Andrew P. Beckerman, Philip H. Warren, Rich Williams Oikos | January 2011, Vol 120: pp. 439-502
Publication CoBayes: Bayesian Knowledge Corroboration with Assessors of Unknown Areas of Expertise Gjergji Kasneci, Jurgen Van Gael, David Stern, Thore Graepel the 4th ACM International Conference on Web Search and Data Mining (WSDM2011) | January 2011
Publication Hop Limited Flooding over Dynamic Networks Milan Vojnovic, Alexandre Proutiere Proc. of IEEE Infocom 2011 | January 2011
Publication Temporal property verification as a program analysis task Byron Cook, Eric Koskinen, Moshe Vardi January 2011
Publication PatchMatch Stereo – Stereo Matching with Slanted Support Windows Michael Bleyer, Christoph Rhemann, Carsten Rother BMVC | January 2011 BMVC
Publication A moving target: The evolution of HCI Jonathan Grudin Human-computer interaction handbook, 3rd edition, J. Jacko (Ed.) | Published by Taylor & Francis | 2011 | Human-computer interaction handbook, 3rd edition, J. Jacko (Ed.) edition
Publication Semantics of Transactional Memory and Automatic Mutual Exclusion Martin Abadi, Andrew Birrell, Tim Harris, Michael Isard ACM Transactions on Programming Languages and Systems | January 2011
Publication Jigsaw: Efficient optimization over uncertain enterprise data Oliver Kennedy, Suman Nath SIGMOD’11: Proceedings of the 2011 ACM SIGMOD international conference on Management of data | January 2011