William L. Scherlis

Bill Scherlis

2007
37	EE	William L. Scherlis: Experience with fluid: analysis, design intent, and assurance for concurrency. PADTAD 2007: 1-2
2006
36	EE	George Fairbanks, David Garlan, William L. Scherlis: Design fragments make using frameworks easier. OOPSLA 2006: 75-88
35	EE	George Fairbanks, David Garlan, William L. Scherlis: Using framework interfaces with design fragments. OOPSLA Companion 2006: 718
34	EE	George Fairbanks, David Garlan, William L. Scherlis: Design fragments make using frameworks easier. OOPSLA Companion 2006: 762-763
2005
33	EE	Aaron Greenhouse, T. J. Halloran, William L. Scherlis: Observations on the assured evolution of concurrent Java programs. Sci. Comput. Program. 58(3): 384-411 (2005)
2003
32	EE	Aaron Greenhouse, T. J. Halloran, William L. Scherlis: Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. OOPSLA Workshop on Eclipse Technology eXchange 2003: 99-103
31	EE	John H. Reif, William L. Scherlis: Deriving Effcient Graph Algorithms. Verification: Theory and Practice 2003: 645-681
30	EE	William L. Scherlis, Jon Eisenberg: IT research, innovation, and e-government. Commun. ACM 46(1): 67-68 (2003)
2002
29	EE	William L. Scherlis, Jon Eisenberg: IT Research, Innovation, and E-Government. DG.O 2002
28	EE	Brad A. Myers, Robert Malkin, Michael Bett, Alex Waibel, Ben Bostwick, Robert C. Miller, Jie Yang, Matthias Denecke, Edgar Seemann, Jie Zhu, Choon Hong Peck, Dave Kong, Jeffrey Nichols, William L. Scherlis: Flexi-Modal and Multi-Machine User Interfaces. ICMI 2002: 343-348
27	EE	Aaron Greenhouse, William L. Scherlis: Assuring and evolving concurrent programs: annotations and policy. ICSE 2002: 453-463
26	EE	Dean F. Sutherland, Aaron Greenhouse, William L. Scherlis: The code of many colors: relating threads to code and shared state. PASTE 2002: 77-83
2000
25	EE	J. Alberto Espinosa, Jonathan J. Cadiz, Luis Rico-Gutierrez, Robert E. Kraut, William L. Scherlis, Glenn Lautenbacher: Coming to the wrong decision quickly: why awareness tools must be matched with appropriate tasks. CHI 2000: 392-399
24	EE	Bill Scherlis: Digital government: an IT research perspective. DG.O 2000
1998
23	EE	Robert E. Kraut, Tridas Mukhopadhyay, Janusz Szczypula, Sara B. Kiesler, William L. Scherlis: Communication and Information: Alternative Uses of the Internet in Households. CHI 1998: 368-375
22	EE	Susan R. Fussell, Robert E. Kraut, F. Javier Lerch, William L. Scherlis, Matthew M. McNally, Jonathan J. Cadiz: Coordination, Overload and Team Performance: Effects of Team Communication Strategies. CSCW 1998: 275-284
21	EE	William L. Scherlis: Systematic Change of Data Representation: Program Manipulations and a Case Study. ESOP 1998: 252-266
20	EE	William L. Scherlis: Structural Views, Structural Evolution, and Product Families. ESPRIT ARES Workshop 1998: 235-240
19	EE	William L. Scherlis, Juha Kuusela: Session 1: Example Architectures. ESPRIT ARES Workshop 1998: 4-5
18		Edwin C. Chan, John Boyland, William L. Scherlis: Promises: Limited Specifications for Analysis and Manipulation. ICSE 1998: 167-176
17		Robert E. Kraut, Sara B. Kiesler, Tridas Mukhopadhyay, William L. Scherlis, Michael Patterson: Social Impact of the Internet: What Does It Mean? Commun. ACM 41(12): 21-22 (1998)
16		William L. Scherlis: ETAPS'98 Trip Report. SIGPLAN Notices 33(9): 18-19 (1998)
1997
15		Sara B. Kiesler, Robert E. Kraut, Vicki Lundmark, William L. Scherlis, Tridas Mukhopadhyay: Usability, Help Desk Calls, and Residential Internet Usage. CHI 1997: 536-537
14	EE	Robert E. Kraut, Janusz Szczypula, Sara B. Kiesler, William L. Scherlis: Communication versus information: alternative uses of the internet at home. ICIS 1997: 478
1996
13	EE	Robert E. Kraut, William L. Scherlis, Tridas Mukhopadhyay, Jane Manning, Sara B. Kiesler: HomeNet: A Field Trial of Residential Internet Services. CHI 1996: 284-291
12	EE	William L. Scherlis: Repository Interactions (working session). Digital Libraries 1996: 171
11		William L. Scherlis: Beyond Coding. ACM Comput. Surv. 28(4es): 201 (1996)
10		Robert E. Kraut, William L. Scherlis, Tridas Mukhopadhyay, Jane Manning, Sara B. Kiesler: The HomeNet Field Trial of Residential Internet Services. Commun. ACM 39(12): 55-63 (1996)
1994
9		William L. Scherlis: Boundary and Path Manipulations on Abstract Data Types (Extended Abstract). IFIP Congress (1) 1994: 615-620
1992
8		Peter Wegner, William L. Scherlis, James M. Purtilo, David C. Luckham, Ralph E. Johnson: Object-Oriented Megaprogramming (Panel). OOPSLA 1992: 392-396
1988
7		Peter Lee, Frank Pfenning, Gene Rollins, William L. Scherlis: The Ergo Support System: An Integrated Set of Tools for Prototyping Integrated Environments. Software Development Environments (SDE) 1988: 25-34
1986
6		William L. Scherlis: Abstract Data Types, Specialization, and Program Reuse. Advanced Programming Environments 1986: 433-453
5		Ulrik Jørring, William L. Scherlis: Compilers and Staging Transformations. POPL 1986: 86-96
1985
4		William L. Scherlis, Dana S. Scott: Semantically Based Programming Tools (Summary). TAPSOFT, Vol.1 1985: 52-59
1983
3		William L. Scherlis, Dana S. Scott: First Steps Towards Inferential Programming. IFIP Congress 1983: 199-212
2		John H. Reif, William L. Scherlis: Deriving Efficient Graph Algorithms (Summary). Logic of Programs 1983: 421-441
1981
1		William L. Scherlis: Program Improvement by Internal Specialization. POPL 1981: 41-49

Coauthor Index

1	Michael Bett	[28]
2	Ben Bostwick	[28]
3	John Tang Boyland (John Boyland)	[18]
4	Jonathan J. Cadiz	[22] [25]
5	Edwin C. Chan	[18]
6	Matthias Denecke	[28]
7	Jon Eisenberg	[29] [30]
8	J. Alberto Espinosa	[25]
9	George Fairbanks	[34] [35] [36]
10	Susan R. Fussell	[22]
11	David Garlan	[34] [35] [36]
12	Aaron Greenhouse	[26] [27] [32] [33]
13	T. J. Halloran	[32] [33]
14	Ralph E. Johnson	[8]
15	Ulrik Jørring	[5]
16	Sara B. Kiesler	[10] [13] [14] [15] [17] [23]
17	Dave Kong	[28]
18	Robert E. Kraut	[10] [13] [14] [15] [17] [22] [23] [25]
19	Juha Kuusela	[19]
20	Glenn Lautenbacher	[25]
21	Peter Lee	[7]
22	F. Javier Lerch	[22]
23	David C. Luckham	[8]
24	Vicki Lundmark	[15]
25	Robert Malkin	[28]
26	Jane Manning	[10] [13]
27	Matthew M. McNally	[22]
28	Rob Miller (Robert C. Miller)	[28]
29	Tridas Mukhopadhyay	[10] [13] [15] [17] [23]
30	Brad A. Myers	[28]
31	Jeffrey Nichols	[28]
32	Michael Patterson	[17]
33	Choon Hong Peck	[28]
34	Frank Pfenning	[7]
35	James M. Purtilo	[8]
36	John H. Reif	[2] [31]
37	Luis Rico-Gutierrez	[25]
38	Gene Rollins	[7]
39	Dana S. Scott	[3] [4]
40	Edgar Seemann	[28]
41	Dean F. Sutherland	[26]
42	Janusz Szczypula	[14] [23]
43	Alex Waibel	[28]
44	Peter Wegner	[8]
45	Jie Yang	[28]
46	Jie Zhu	[28]

Colors in the list of coauthors