Bill Scherlis
List of publications from the DBLP Bibliography Server - FAQ
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 |