Butler Lampson

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+	Hints and Principles for Computer System Design	2020	Butler Lampson
+	Textual Features for Programming by Example	2012	Aditya Krishna Menon Omer Tamuz Sumit Gulwani Butler Lampson Adam Tauman Kalai
+	Textual Features for Programming by Example	2012	Aditya Krishna Menon Omer Tamuz Sumit Gulwani Butler Lampson Adam Tauman Kalai
+	Notes on the Design of Euclid	1983	Gerald J. Popek J. J. Horning Butler Lampson Jim Mitchell Ralph L. London

Common Coauthors

Coauthor	Papers Together
Sumit Gulwani	2
Aditya Krishna Menon	2
Omer Tamuz	2
Adam Tauman Kalai	2
J. J. Horning	1
Ralph L. London	1
Jim Mitchell	1
Gerald J. Popek	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Learning semantic string transformations from examples	2012	Rishabh Singh Sumit Gulwani	1
+	Abstraction mechanisms in CLU	1977	Barbara Liskov Alan Snyder Russell R. Atkinson Craig Schaffert	1