Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Optimal FIR Pre- and Postfilters for Decimation and Interpolation of Random Signals Henrique S. Malvar, David H. Staelin IEEE Transactions on Communications | January 1988
Publication Synchronization Primitives for a Multiprocessor: a Formal Specification Andrew Birrell, J. V. Guttag, J. J. Horning, Roy Levin Proceedings of the 11th ACM Symposium on Operating System Principles | December 1987 A preliminary version appeared as SRC Research Report 20. A revised version appeared in Systems Programming with Modula-3, Prentice Hall, 1991
Publication Designing a Global Name Service Butler Lampson 4th ACM Symposium on Principles of Distributed Computing | August 1986
Publication A Global Authentication Service without Global Trust Andrew Birrell, Butler Lampson, Roger Needham, Mike Schroeder IEEE Symposium on Security and Privacy | April 1986 Test of Time Award (The First Fifteen Years), 40th IEEE Symposium on Security and Privacy
Publication Parsing distfix operators Simon Peyton Jones Communications of the ACM | February 1986, Vol 29: pp. 118-122
Publication Current work on authentication Andrew Birrell, Butler Lampson, Roger M. Needham, Mike Schroeder ACM SIGOPS European Workshop: Making Distributed Systems Work | January 1986
Publication A caching file system for a programmer’s workstation Mike Schroeder, David K. Gifford, Roger M. Needham Proceedings of the 10th ACM Symposium on Opeating Systems Principles | November 1985
Publication Secure Communication Using Remote Procedure Calls Andrew Birrell ACM Transactions on Computer Systems | February 1985, pp. 1–14
Publication Experience with Grapevine: The Growth of a Distributed System Mike Schroeder, Andrew Birrell, Roger Needham ACM Transactions on Computer Systems | February 1984, Vol 2
Publication Implementing Remote Procedure Calls Andrew Birrell, Bruce Jay Nelson ACM Transactions on Computer Systems | February 1984, Vol 2: pp. 39-59
