Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
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 A Scalable Multicast Architecture for One-to-many Telepresentations Jim Gemmell, Eve Schooler, Roger Kermode January 1998
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 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 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 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 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