Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication GroupBar: The TaskBar Evolved Greg Smith, Patrick Baudisch, George Robertson, Mary Czerwinski, Brian Meyers, Daniel Robbins (2003) OZCHI 2003 Conference for the Computer-Human Interaction Special Interest Group of the Human Factors Society of Australia | January 2003 (2003) OZCHI 2003 Conference for the Computer-Human Interaction Special Interest Group of the Human Factors Society of Australia
Publication Checking concise specifications for multithreaded programs Stephen N. Freund, Shaz Qadeer Proceedings of the Fifth ECOOP Workshop on Formal Techniques for Java-like Programs, 2003. | January 2003
Publication LARK: A Light-weight Resilient Application-Level Multicast Protocol Srikanth Kandula, Jong-Kwon Lee, Jennifer C. Hou January 2003 IEEE CCW (Invited Paper)
Publication Network awareness and failure resilience in self-organising overlay networks Laurent Massoulié, Anne-Marie Kermarrec, Ayalvadi J. Ganesh Proc. Symposium on Reliable Distributed Systems (SRDS) | January 2003 Proc. Symposium on Reliable Distributed Systems (SRDS)
Publication Degree Distribution of the FKP Network Model Noam Berger, Bela Bollobas, Christian Borgs, Jennifer Chayes, Oliver Riordan Proceedings of the 30th International Colloquium on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science | January 2003
Publication IrisNet: Internet-scale resource-intensive sensor services (Demo Abstract) Amol Deshpande, Suman Nath, Phillip B. Gibbons, Srinivasan Seshan SIGMOD ’03: Proceedings of the 2003 ACM SIGMOD international conference on Management of data | January 2003 SIGMOD '03: Proceedings of the 2003 ACM SIGMOD international conference on Management of data ISBN: 1-58113-634-X
Publication Predicate Routing: Enabling Controlled Networking Rebecca Isaacs, Timothy Roscoe, Steve Hand, Richard Mortier, Paul Jardetzky Proceedings of HotNets-I (2002), Computer Communication Review (CCR) | January 2003 Proceedings of HotNets-1
Publication PLI: A New Framework to Protect Digital Content for P2P Networks Guofei Gu, Bin Benjamin Zhu, Shipeng Li, Shiyong Zhang Int. Conf. Applied Cryptography and Network Security (ACNS’03) | January 2003
Publication IrisNet: An Architecture for a Worldwide Sensor Web Phillip B. Gibbons, Brad Karp, Yan Ke, Suman Nath, Srinivasan Seshan IEEE Pervasive Computing | January 2003, Vol 2: pp. 22-33
Publication Paths, Trees, and Minimum Latency Tours Kamalika Chaudhuri, Brighten Godfrey, Satish Rao, Kunal Talwar FOCS ’03: Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science | January 2003 ISBN: 0-7695-2040-5