dblp.uni-trier.dewww.uni-trier.de

Butler W. Lampson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
57EEButler W. Lampson: Lazy and speculative execution in computer systems. ICFP 2008: 1-2
2006
56EEButler W. Lampson: Lazy and Speculative Execution in Computer Systems. OPODIS 2006: 1-2
55EEButler W. Lampson: Gold and Fool's Gold: Successes, Failures, and Futures in Computer Systems Research. USENIX Annual Technical Conference, General Track 2006
2004
54EEButler W. Lampson: Computer Security in the Real World. IEEE Computer 37(6): 37-46 (2004)
2003
53EEPaul England, Butler W. Lampson, John Manferdelli, Marcus Peinado, Bryan Willman: A Trusted Open Platform. IEEE Computer 36(7): 55-62 (2003)
52EEButler W. Lampson: Getting computers to understand. J. ACM 50(1): 70-72 (2003)
2001
51EEButler W. Lampson: The ABCD's of Paxos. PODC 2001: 13
2000
50EERoberto De Prisco, Butler W. Lampson, Nancy A. Lynch: Revisiting the PAXOS algorithm. Theor. Comput. Sci. 243(1-2): 35-91 (2000)
1999
49EEButler W. Lampson, Venkatachary Srinivasan, George Varghese: IP lookups using multiway and multicolumn search. IEEE/ACM Trans. Netw. 7(3): 324-334 (1999)
1998
48EEButler W. Lampson, Kenneth A. Pier: A Processor for a High-Performance Personal Computer. 25 Years ISCA: Retrospectives and Reprints 1998: 180-194
47 Butler W. Lampson, Venkatachary Srinivasan, George Varghese: IP Lookups Using Multiway and Multicolumn Search. INFOCOM 1998: 1248-1256
1997
46 Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch: Revisiting the Paxos Algorithm. WDAG 1997: 111-125
1996
45 Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy: Analysis and Caching of Dependencies. ICFP 1996: 83-91
44 Butler W. Lampson: How to Build a Highly Available System Using Consensus. WDAG 1996: 1-17
43EEDavid L. Tennenhouse, Butler W. Lampson, Sharon Eisner Gillett, Jennifer Steiner Klein: Virtual Infrastructure: Putting Information Infrastructure on the Technology Curve. Computer Networks and ISDN Systems 28(13): 1769-1790 (1996)
1994
42 Butler W. Lampson: Interconnecting Computers: Architecture, Technology, and Economics. Programming Languages and System Architectures 1994: 1-20
1993
41 Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen: Correctness of At-Most-Once Message Delivery Protocols. FORTE 1993: 385-400
40 Edward Wobber, Martín Abadi, Michael Burrows, Butler W. Lampson: Authentication in the Taos Operating System. SOSP 1993: 256-269
39EEButler W. Lampson, David B. Lomet: A New Presumed Commit Optimization for Two Phase Commit. VLDB 1993: 630-640
38EEMartín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin: A Calculus for Access Control in Distributed Systems. ACM Trans. Program. Lang. Syst. 15(4): 706-734 (1993)
37 Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson: Authentification and Delegation with Smart-Cards. Sci. Comput. Program. 21(2): 93-113 (1993)
1992
36 Michael Burrows, Charles Jerian, Butler W. Lampson, Timothy Mann: On-Line Data Compression in a Log-Structured File System. ASPLOS 1992: 2-9
35 Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen: At-Most-Once Message Delivery. A Case Study in Algorithm Verification. CONCUR 1992: 317-324
34EEButler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber: Authentication in Distributed Systems: Theory and Practice. ACM Trans. Comput. Syst. 10(4): 265-310 (1992)
1991
33EEMartín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin: A Calculus for Access Control in Distributed Systems. CRYPTO 1991: 1-23
32 Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber: Authentication in Distributed Systems: Theory and Practice. SOSP 1991: 165-182
31 Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson: Authentication and Delegation with Smart-cards. TACS 1991: 326-345
1988
30 Butler W. Lampson, Rod M. Burstall: Pebble, a Kernel Language for Modules and Abstract Data Types Inf. Comput. 76(2/3): 278-346 (1988)
1986
29EEAndrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder: Current work on authentication. ACM SIGOPS European Workshop 1986
28 Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder: A Global Authentication Service without Global Trust. IEEE Symposium on Security and Privacy 1986: 223-230
27 Butler W. Lampson: Designing a Global Name Service. PODC 1986: 1-10
1984
26 Rod M. Burstall, Butler W. Lampson: A Kernel Language for Abstract Data Types and Modules. Semantics of Data Types 1984: 1-50
25 Butler W. Lampson: Hints for Computer System Design. IEEE Software 1(1): 11-28 (1984)
24 Butler W. Lampson: Gene McDaniel, Severo M. Ornstein: An Instruction Fetch Unit for a High-Performance Personal Conmputer. IEEE Trans. Computers 33(8): 712-730 (1984)
1983
23 Butler W. Lampson, Eric E. Schmidt: Practical Use of a Polymorphic Applicative Language. POPL 1983: 237-255
22 Butler W. Lampson: Hints for Computer System Design. SOSP 1983: 33-48
1982
21 Butler W. Lampson: Fast Procedure Calls. ASPLOS 1982: 66-76
1981
20 Butler W. Lampson, M. Paul, Hans-Jürgen Siegert: Distributed Systems - Architecture and Implementation, An Advanced Course Springer 1981
19 Douglas W. Clark, Butler W. Lampson, Kenneth A. Pier: The Memory System of a High-Performance Personal Computer. IEEE Trans. Computers 30(10): 715-733 (1981)
1980
18 Butler W. Lampson: Atomic Transactions. Advanced Course: Distributed Systems 1980: 246-265
17 Stephen R. Kimbleton, Pearl Y. Wang, Butler W. Lampson: Applications and Protocols. Advanced Course: Distributed Systems 1980: 308-370
16 Butler W. Lampson: Ethernet, Pup and Violet. Advanced Course: Distributed Systems 1980: 446-485
15 Butler W. Lampson, Kenneth A. Pier: A Processor for a High-Performance Personal Computer. ISCA 1980: 146-160
14 Butler W. Lampson, David D. Redell: Experience with Processes and Monitors in Mesa. Commun. ACM 23(2): 105-117 (1980)
1979
13 Butler W. Lampson, David D. Redell: Experience with Processes and Monitors in Mesa (Summary). SOSP 1979: 43-44
12 Butler W. Lampson, Robert F. Sproull: An Open Operating System for a Single-User Machine. SOSP 1979: 98-105
1978
11 Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Program Construction 1978: 133-163
10 Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Acta Inf. 10: 1-26 (1978)
1977
9 Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London: Notes on the Design of Euclid. Language Design for Reliable Software 1977: 11-18
8 Paul G. Heckel, Butler W. Lampson: A Terminal-Oriented Communication System. Commun. ACM 20(7): 486-494 (1977)
1976
7 Butler W. Lampson, Howard E. Sturgis: Reflections on an Operating System Design. Commun. ACM 19(5): 251-265 (1976)
1974
6 Butler W. Lampson: Redundancy and Robustness in Memory Protection. IFIP Congress 1974: 128-132
5 Butler W. Lampson: An open operating system for a single-user machine. Symposium on Operating Systems 1974: 208-217
4 Butler W. Lampson, James G. Mitchell, E. H. Satterthwhaite: On the transfer of control between contexts. Symposium on Programming 1974: 181-203
1973
3 Butler W. Lampson: A Note on the Confinement Problem. Commun. ACM 16(10): 613-615 (1973)
1968
2EEButler W. Lampson: A scheduling philosophy for multiprocessing systems. Commun. ACM 11(5): 347-360 (1968)
1967
1EEL. Peter Deutsch, Butler W. Lampson: An online editor. Commun. ACM 10(12): 793-799 (1967)

Coauthor Index

1Martín Abadi [31] [32] [33] [34] [37] [38] [40] [45]
2Andrew Birrell [28] [29]
3Michael Burrows [31] [32] [33] [34] [36] [37] [38] [40]
4Rod M. Burstall [26] [30]
5Douglas W. Clark [19]
6L. Peter Deutsch [1]
7Paul England [53]
8Sharon Eisner Gillett [43]
9John V. Guttag [10] [11]
10Paul G. Heckel [8]
11James J. Horning (Jim Horning) [9] [10] [11]
12Charles Jerian [36]
13C. Kaufman [31] [37]
14Stephen R. Kimbleton [17]
15Jennifer Steiner Klein [43]
16Jean-Jacques Lévy [45]
17David B. Lomet [39]
18Ralph L. London [9] [10] [11]
19Nancy A. Lynch [35] [41] [46] [50]
20John Manferdelli [53]
21Timothy Mann [36]
22James G. Mitchell [4] [9] [10] [11]
23Roger M. Needham [28] [29]
24M. Paul [20]
25Marcus Peinado [53]
26Kenneth A. Pier (Ken Pier) [15] [19] [48]
27Gordon D. Plotkin [33] [38]
28Gerald J. Popek [9] [10] [11]
29Roberto De Prisco [46] [50]
30David D. Redell [13] [14]
31E. H. Satterthwhaite [4]
32Eric E. Schmidt [23]
33Michael D. Schroeder [28] [29]
34Hans-Jürgen Siegert [20]
35Jørgen F. Søgaard-Andersen [35] [41]
36Robert F. Sproull [12]
37Venkatachary Srinivasan [47] [49]
38Howard E. Sturgis [7]
39David L. Tennenhouse [43]
40George Varghese [47] [49]
41Pearl Y. Wang [17]
42Bryan Willman [53]
43Edward Wobber [32] [34] [40]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)