Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication An Efficient Certified Email Protocol Jun Shao, Min Feng, Bin Benjamin Zhu, Zhenfu Cao Information Security Conference | January 2007
Publication Lottery Trees: Motivational Deployment of Networked Systems John (JD) Douceur, Thomas Moscibroda SIGCOMM 2007: ACM SIGCOMM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Kyoto, Japan | January 2007
Publication Mechanism Design for Stochastic Optimization Problems Samuel Ieong, Anthony Man-Cho So, Mukund Sundararajan Proceedings of Workshop on Internet and Network Economics (WINE) | January 2007 A brief announcement of this work has appeared in SIGEcom Exchange (Dec 2007)
Publication Reconfiguration methods for mobile sensor networks Aman Kansal, William Kaiser, Gregory Pottie, Mani Srivastava, Gaurav Sukhatme ACM Trans. Sensor Networks | January 2007, pp. 22
Publication Link-local Multicast Name Resolution (LLMNR) B. Aboba, Dave Thaler, D. Thaler, L. Esibov January 2007 January 2007 | RFC 4795 edition edition RFC 4795
Publication Connecting Sensors and Robots Through the Internet by Integrating Robotics Studio and Embedded Web Services Oscar Almeida, Johannes Helander, Henrik Frystyk Nielsen, Nishith Khantal IADIS WWW/Internet 2007 Conference (best paper award) | January 2007
Publication Emergence of non-scaling degree distribution in bipartite networks: a numerical and analytical study Fernando Peruani, Niloy Ganguly, Monojit Choudhury, Animesh Mukherjee Europhysics Letters | January 2007, Vol 79
Publication Scalable Multicast Platforms for a New Generation of Robust Distributed Applications Ken Birman, Mahesh Balakrishnan, Danny Dolev, Tudor Marian, Krzysztof Ostrowski, Amar Phanishayee IEEE Comsware 2007 | January 2007
Publication Predicate Abstraction via Symbolic Decision Procedures Shuvendu Lahiri, Thomas Ball, Byron Cook Logical Methods in Computer Science (LMCS ’07) | January 2007