Butler W. Lampson

82 papers A* 18A 2B 2C 2Journal 29Unranked 25

Year	Rank	Type	Title / Venue / Authors
2022	—	`ch.`	Programming Concurrent Systems. Edsger Wybe Dijkstra Butler W. Lampson
2020	J	`jnl`	Hints and Principles for Computer System Design. CoRR Butler W. Lampson
2018	A*	`conf`	Verifying concurrent software using movers in CSPEC. OSDI Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich
2015	—	`conf`	Perspectives on protection and security. SOSP History Day Butler W. Lampson
2013	—	`conf`	A Machine Learning Framework for Programming by Example. ICML (1) Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Kalai
2013	A*	`conf`	A colorful approach to text processing by example. UIST Kuat Yessenov, Shubham Tulsiani, Aditya Krishna Menon, Robert C. Miller, Sumit Gulwani, Butler W. Lampson, Adam Kalai
2012	J	`jnl`	Textual Features for Programming by Example CoRR Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Tauman Kalai
2012	—	`conf`	What Computers Do: Model, Connect and Engage. ACM-TURING Butler W. Lampson
2012	C	`conf`	What Computers Do: Model, Connect, Engage. TAMC Butler W. Lampson
2011	J	`jnl`	Making untrusted code useful: technical perspective. Commun. ACM Butler W. Lampson
2009	J	`jnl`	Privacy and security - Usable security: how to get it. Commun. ACM Butler W. Lampson
2008	A	`conf`	Lazy and speculative execution in computer systems. ICFP Butler W. Lampson
2006	—	`conf`	Gold and Fool's Gold: Successes, Failures, and Futures in Computer Systems Research. USENIX ATC, General Track Butler W. Lampson
2006	B	`conf`	Lazy and Speculative Execution in Computer Systems. OPODIS Butler W. Lampson
2004	J	`jnl`	Computer Security in the Real World. Computer Butler W. Lampson
2003	J	`jnl`	A Trusted Open Platform. Computer Paul England, Butler W. Lampson, John Manferdelli, Marcus Peinado, Bryan Willman
2003	J	`jnl`	Getting computers to understand. J. ACM Butler W. Lampson
2001	A*	`conf`	The ABCD's of Paxos. PODC Butler W. Lampson
2000	J	`jnl`	Revisiting the PAXOS algorithm. Theor. Comput. Sci. Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch
1999	J	`jnl`	IP lookups using multiway and multicolumn search. IEEE/ACM Trans. Netw. Butler W. Lampson, Venkatachary Srinivasan, George Varghese
1999	J	`jnl`	NSF workshop on a software research program for the 21st century. ACM SIGSOFT Softw. Eng. Notes Victor R. Basili, Laszlo A. Belady, Barry W. Boehm, Frederick P. Brooks Jr., James Browne, Richard A. DeMillo, Stuart I. Feldman, Cordell Green, Butler W. Lampson, Duncan H. Lawrie, Nancy G. Leveson, Nancy A. Lynch, Mark D. Weiser, Jeannette M. Wing
1999	J	`jnl`	SPKI Certificate Theory. RFC Carl M. Ellison, Bill Frantz, Butler W. Lampson, Ron Rivest, Brian Thomas, Tatu Ylönen
1998	—	`conf`	A Processor for a High-Performance Personal Computer. 25 Years ISCA: Retrospectives and Reprints Butler W. Lampson, Kenneth A. Pier
1998	A*	`conf`	IP Lookups Using Multiway and Multicolumn Search. INFOCOM Butler W. Lampson, Venkatachary Srinivasan, George Varghese
1997	—	`conf`	Revisiting the Paxos Algorithm. WDAG Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch
1996	A	`conf`	Analysis and Caching of Dependencies. ICFP Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy
1996	—	`conf`	How to Build a Highly Available System Using Consensus. WDAG Butler W. Lampson
1996	J	`jnl`	Virtual Infrastructure: Putting Information Infrastructure on the Technology Curve. Comput. Networks ISDN Syst. David L. Tennenhouse, Butler W. Lampson, Sharon Eisner Gillett, Jennifer Steiner Klein
1994	—	`conf`	Interconnecting Computers: Architecture, Technology, and Economics. Programming Languages and System Architectures Butler W. Lampson
1993	J	`jnl`	A Calculus for Access Control in Distributed Systems. ACM Trans. Program. Lang. Syst. Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin
1993	A*	`conf`	A New Presumed Commit Optimization for Two Phase Commit. VLDB Butler W. Lampson, David B. Lomet
1993	A*	`conf`	Authentication in the Taos Operating System. SOSP Edward Wobber, Martín Abadi, Michael Burrows, Butler W. Lampson
1993	J	`jnl`	Authentification and Delegation with Smart-Cards. Sci. Comput. Program. Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson
1993	C	`conf`	Correctness of At-Most-Once Message Delivery Protocols. FORTE Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen
1992	B	`conf`	At-Most-Once Message Delivery. A Case Study in Algorithm Verification. CONCUR Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen
1992	J	`jnl`	Authentication in Distributed Systems: Theory and Practice. ACM Trans. Comput. Syst. Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber
1992	A*	`conf`	On-Line Data Compression in a Log-Structured File System. ASPLOS Michael Burrows, Charles Jerian, Butler W. Lampson, Timothy P. Mann
1991	A*	`conf`	A Calculus for Access Control in Distributed Systems. CRYPTO Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin
1991	—	`conf`	Authentication and Delegation with Smart-cards. TACS Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson
1991	A*	`conf`	Authentication in Distributed Systems: Theory and Practice. SOSP Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber
1988	J	`jnl`	Pebble, a Kernel Language for Modules and Abstract Data Types Inf. Comput. Butler W. Lampson, Rod M. Burstall
1988	—	`ch.`	Personal distributed computing: the alto and ethernet software. A History of Personal Workstations Butler W. Lampson
1986	—	`conf`	A Global Authentication Service without Global Trust. S&P Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder
1986	—	`conf`	Current work on authentication. ACM SIGOPS European Workshop Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder
1986	A*	`conf`	Designing a Global Name Service. PODC Butler W. Lampson
1984	—	`conf`	A Kernel Language for Abstract Data Types and Modules. Semantics of Data Types Rod M. Burstall, Butler W. Lampson
1984	J	`jnl`	Gene McDaniel, Severo M. Ornstein: An Instruction Fetch Unit for a High-Performance Personal Conmputer. IEEE Trans. Computers Butler W. Lampson
1984	J	`jnl`	Hints for Computer System Design. IEEE Softw. Butler W. Lampson
1984	J	`jnl`	Programming language issues for the 1980's: SIGPLAN '83: symposium on programming languages issues in software systems. ACM SIGPLAN Notices Lawrence A. Rowe, L. Peter Deutsch, Stuart I. Feldman, Butler W. Lampson, Barbara Liskov, Terry Winograd
1983	A*	`conf`	Hints for Computer System Design. SOSP Butler W. Lampson
1983	—	`conf`	Organizing software in a distributed environment. SIGPLAN Butler W. Lampson, Eric E. Schmidt
1983	A*	`conf`	Practical Use of a Polymorphic Applicative Language. POPL Butler W. Lampson, Eric E. Schmidt
1982	A*	`conf`	Fast Procedure Calls. ASPLOS Butler W. Lampson
1981	—	`ed.`	Distributed Systems - Architecture and Implementation, An Advanced Course Advanced Course: Distributed Systems Butler W. Lampson, M. Paul, Hans-Jürgen Siegert
1981	J	`jnl`	The Memory System of a High-Performance Personal Computer. IEEE Trans. Computers Douglas W. Clark, Butler W. Lampson, Kenneth A. Pier
1980	A*	`conf`	A Processor for a High-Performance Personal Computer. ISCA Butler W. Lampson, Kenneth A. Pier
1980	—	`conf`	Applications and Protocols. Advanced Course: Distributed Systems Stephen R. Kimbleton, Pearl Y. Wang, Butler W. Lampson
1980	—	`conf`	Atomic Transactions. Advanced Course: Distributed Systems Butler W. Lampson
1980	—	`conf`	Ethernet, Pup and Violet. Advanced Course: Distributed Systems Butler W. Lampson
1980	J	`jnl`	Experience with Processes and Monitors in Mesa. Commun. ACM Butler W. Lampson, David D. Redell
1979	A*	`conf`	An Open Operating System for a Single-User Machine. SOSP Butler W. Lampson, Robert F. Sproull
1979	A*	`conf`	Experience with Processes and Monitors in Mesa (Summary). SOSP Butler W. Lampson, David D. Redell
1978	—	`conf`	Proof Rules for the Programming Language Euclid. Program Construction Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek
1978	J	`jnl`	Proof Rules for the Programming Language Euclid. Acta Informatica Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek
1977	J	`jnl`	A Terminal-Oriented Communication System. Commun. ACM Paul G. Heckel, Butler W. Lampson
1977	—	`conf`	Notes on the Design of Euclid. Language Design for Reliable Software Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London
1977	J	`jnl`	Report on the programming language Euclid. ACM SIGPLAN Notices Butler W. Lampson, James J. Horning, Ralph L. London, James G. Mitchell, Gerald J. Popek
1976	J	`jnl`	Reflections on an Operating System Design. Commun. ACM Butler W. Lampson, Howard E. Sturgis
1975	—	`ed.`	Proceedings of the 1975 ACM SIGCOMM/SIGOPS Workshop on Interprocess Communications, USA SIGCOMM/SIGOPS Workshop on Interprocess Communications Wesley W. Chu, Vinton G. Cerf, T. C. Chen, R. Stockton Gains, Butler W. Lampson
1975	—	`conf`	Synchronization: Introduction by the session chairman. SIGCOMM/SIGOPS Workshop on Interprocess Communications Butler W. Lampson
1974	—	`conf`	An open operating system for a single-user machine. Symposium on Operating Systems Butler W. Lampson
1974	—	`conf`	On the transfer of control between contexts. Symposium on Programming Butler W. Lampson, James G. Mitchell, E. H. Satterthwhaite
1974	J	`jnl`	Protection. ACM SIGOPS Oper. Syst. Rev. Butler W. Lampson
1974	—	`conf`	Redundancy and Robustness in Memory Protection. IFIP Congress Butler W. Lampson
1973	J	`jnl`	A Note on the Confinement Problem. Commun. ACM Butler W. Lampson
1972	A*	`ed.`	Proceedings of the Third Symposium on Operating System Principles, SOSP 1971, Stanford University, Palo Alto, California, USA, October 18-20, 1971 SOSP Edward J. McCluskey, Nicholas A. Fortis, Butler W. Lampson, Thomas H. Bredt
1969	—	`conf`	Dynamic protection structures. AFIPS Fall Joint Computing Conference Butler W. Lampson
1968	J	`jnl`	A scheduling philosophy for multiprocessing systems. Commun. ACM Butler W. Lampson
1967	A*	`conf`	A scheduling philosophy for multi-processing systems. SOSP Butler W. Lampson
1967	J	`jnl`	An online editor. Commun. ACM L. Peter Deutsch, Butler W. Lampson
1965	—	`conf`	Interactive machine language programming. AFIPS Fall Joint Computing Conference (1) Butler W. Lampson
1965	—	`conf`	Interactive machine-language programming. AFIPS Fall Joint Computing Conference (2) Butler W. Lampson