Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Partial-Order Reduction for Context-Bounded State Exploration Madan Musuvathi, Shaz Qadeer MSR-TR-2007-12 | January 2007
Publication FlashDB: dynamic self-tuning database for NAND flash Suman Nath, Aman Kansal IPSN ’07: Proceedings of the 6th international conference on Information processing in sensor networks | January 2007 IPSN '07: Proceedings of the 6th international conference on Information processing in sensor networks ISBN: 978-1-59593-638-X
Publication Flow-level stability of data networks with non-convex and time-varying rate regions Jiaping Liu, Alexandre Proutiere, Yung Yi, Mung Chiang, H. Vincent Poor SIGMETRICS ’07: Proceedings of the 2007 ACM SIGMETRICS international conference on Measurement and modeling of computer systems | January 2007 ISBN: 978-1-59593-639-4
Publication Exploratory Search and HCI: Designing and Evaluating Interfaces to Support Exploratory Search Interaction Ryen W. White, Steven M. Drucker, Gary Marchionini, Marti Hearst, m.c. schraefel ACM SIGCHI Conference on Human Factors in Computing Systems(CHI) | January 2007
Publication Dynamic, Adaptive Workflows for Mesoscale Meteorology Dennis Gannon, Yogesh Simmhan Workflows for eScience: Scientific Workflows for Grids | Published by Springer Verlag | 2007 | Workflows for eScience: Scientific Workflows for Grids edition ISBN: 978-1846285196
Publication Link-local Multicast Name Resolution (LLMNR) B. Aboba, Dave Thaler, D. Thaler, L. Esibov January 2007 RFC 4795
Publication On the Optimality and Interconnection of Valiant Load-Balancing Networks Moshe Babaioff, John Chuang IEEE International Conference on Computer Communications (INFOCOM’07) | January 2007 ISBN: 1-4244-1047-9
Publication Predicate Abstraction via Symbolic Decision Procedures Shuvendu Lahiri, Thomas Ball, Byron Cook Logical Methods in Computer Science (LMCS ’07) | January 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