Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Okapi at TREC-6: Automatic adhoc, VLC, routing, filtering and QSDR S. Walker, Stephen Robertson, M. Boughanem, G. J. F. Jones, K. Sparck Jones The Sixth Text REtrieval Conference (TREC-6) | January 1998 The Sixth Text REtrieval Conference (TREC–6)
Publication ACSys TREC-7 experiments David Hawking, Nick Craswell, Paul Thistlewaite TREC-7, NIST special publication 500-242 | January 1998 TREC-7, NIST special publication 500-242 \urlhttp://research.microsoft.com/users/nickcr/pubs/hawking_trec98.pdf
Publication MOCHA: Modularity in model checking R. Alur, T. Henzinger, F. Mang, Shaz Qadeer, Sriram Rajamani, S. Tasiran Proceedings of the 10th International Conference on Computer-aided Verication (CAV) | January 1998
Publication Distributed Schedule Management in the Tiger Video Fileserver Bob Fitzgerald, Bill Bolosky, John (JD) Douceur Proceedings of 16th Symposium on Operating Systems Principles (SOSP) | December 1997
Publication Information transfer between solitary waves in the saturable Schrödinger equation Mariusz Jakubowski, Ken Steiglitz, Richard K. Squier Physical Review E | December 1997, Vol 56
Publication Protocol Implementation in a Vertically Structured Operating System Richard Black, Paul Barham, Austin Donnelly, Neil Stratford IEEE LCN’97 | November 1997
Publication Lazy Reference Counting for Transactional Storage Systems Miguel Castro, Atul Adya, Barbara Liskov MIT/LCS/TM-567 | November 1997
Publication Benchmarking and Analysis of Architectures for CAD Applications Amit Mehrotra, Shaz Qadeer, Ra jeev K. Ranjan, Randy H. Katz ICCD ’97 Proceedings of the 1997 International Conference on Computer Design (ICCD ’97) | October 1997