Expression procedures and program derivation. - William L. Scherlis (1980)

Program Improvement by Internal Specialization. - William L. Scherlis (POPL, 1981)

First Steps Towards Inferential Programming. - William L. Scherlis; Dana S. Scott (IFIP Congress, 1983)

Deriving Efficient Graph Algorithms (Summary). - John H. Reif; William L. Scherlis (Logic of Programs, 1983)

Semantically Based Programming Tools (Summary). - William L. Scherlis; Dana S. Scott (TAPSOFT, Vol.1, 1985)

Abstract Data Types, Specialization, and Program Reuse. - William L. Scherlis (Advanced Programming Environments, 1986)

Compilers and Staging Transformations. - Ulrik Jørring; William L. Scherlis (POPL, 1986)

The Ergo Support System: An Integrated Set of Tools for Prototyping Integrated Environments. - Peter Lee 001; Frank Pfenning; Gene Rollins; William L. Scherlis (Software Development Environments (SDE), 1988)

Formal manipulation of modular software systems. - Robert L. Nord; Peter Lee 001; William L. Scherlis (Formal Methods in Software Development, 1990)

Object-Oriented Megaprogramming (Panel). - Peter Wegner; William L. Scherlis; James M. Purtilo; David C. Luckham; Ralph E. Johnson (OOPSLA, 1992)

First Steps Towards Inferential Programming. - William L. Scherlis; Dana S. Scott (Program Verification, 1993)

Boundary and Path Manipulations on Abstract Data Types (Extended Abstract). - William L. Scherlis (IFIP Congress (1), 1994)

Repository Interactions (working session). - William L. Scherlis (Digital Libraries, 1996)

Small-scale structural reengineering of software. - William L. Scherlis (ISAW/Viewpoints@FSE, 1996)

The HomeNet Field Trial of Residential Internet Services. - Robert E. Kraut; William L. Scherlis; Tridas Mukhopadhyay; Jane Manning; Sara B. Kiesler (Commun. ACM, 1996)

Beyond Coding. - William L. Scherlis (ACM Comput. Surv., 1996)

Repository Interoperability Workshop: Towards a Repository Reference Model. - William L. Scherlis (D Lib Mag., 1996)

Usability, Help Desk Calls, and Residential Internet Usage. - Sara B. Kiesler; Robert E. Kraut; Vicki Lundmark; William L. Scherlis; Tridas Mukhopadhyay (CHI, 1997)

Communication versus information: alternative uses of the internet at home. - Robert E. Kraut; Janusz Szczypula; Sara B. Kiesler; William L. Scherlis (ICIS, 1997)

Structural Views, Structural Evolution, and Product Families. - William L. Scherlis (ESPRIT ARES Workshop, 1998)

Example Architectures. - William L. Scherlis; Juha Kuusela (ESPRIT ARES Workshop, 1998)

Communication and Information: Alternative Uses of the Internet in Households. - Robert E. Kraut; Tridas Mukhopadhyay; Janusz Szczypula; Sara B. Kiesler; William L. Scherlis (CHI, 1998)

Coordination, Overload and Team Performance: Effects of Team Communication Strategies. - Susan R. Fussell; Robert E. Kraut; F. Javier Lerch; William L. Scherlis; Matthew M. McNally; Jonathan J. Cadiz (CSCW, 1998)

Systematic Change of Data Representation: Program Manipulations and a Case Study. - William L. Scherlis (ESOP, 1998)

Promises: Limited Specifications for Analysis and Manipulation. - Edwin C. Chan; John Boyland; William L. Scherlis (ICSE, 1998)

Social Impact of the Internet: What Does It Mean? - Robert E. Kraut; Sara B. Kiesler; Tridas Mukhopadhyay; William L. Scherlis; Michael Patterson (Commun. ACM, 1998)

ETAPS'98 Trip Report. - William L. Scherlis (ACM SIGPLAN Notices, 1998)

Information and Communication: Alternative Uses of the Internet in Households. - Robert E. Kraut; Tridas Mukhopadhyay; Janusz Szczypula; Sara B. Kiesler; Bill Scherlis (Inf. Syst. Res., 1999)

Coming to the wrong decision quickly: why awareness tools must be matched with appropriate tasks. - J. Alberto Espinosa; Jonathan J. Cadiz; Luis Rico-Gutierrez; Robert E. Kraut; William L. Scherlis; Glenn Lautenbacher (CHI, 2000)

Digital government: an IT research perspective. - Bill Scherlis (DG.O, 2000)

Adaptation and commitment technology (ACT). - William L. Scherlis (ACM SIGSOFT Softw. Eng. Notes, 2000)

Flexi-Modal and Multi-Machine User Interfaces. - Brad A. Myers; Robert G. Malkin; Michael Bett; Alex Waibel; Ben Bostwick; Robert C. Miller; Jie Yang 001; Matthias Denecke; Edgar Seemann; Jie Zhu; Choon Hong Peck; Dave Kong; et al. (ICMI, 2002)

Assuring and evolving concurrent programs: annotations and policy. - Aaron Greenhouse; William L. Scherlis (ICSE, 2002)

The code of many colors: relating threads to code and shared state. - Dean F. Sutherland; Aaron Greenhouse; William L. Scherlis (PASTE, 2002)

Deriving Effcient Graph Algorithms. - John H. Reif; William L. Scherlis (Verification: Theory and Practice, 2003)

Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. - Aaron Greenhouse; Timothy J. Halloran; William L. Scherlis (eTX, 2003)

IT research, innovation, and e-government. - William L. Scherlis; Jon Eisenberg (Commun. ACM, 2003)

Observations on the assured evolution of concurrent Java programs. - Aaron Greenhouse; Timothy J. Halloran; William L. Scherlis (Sci. Comput. Program., 2005)

Using framework interfaces with design fragments. - George Fairbanks; David Garlan; William L. Scherlis (OOPSLA Companion, 2006)

Design fragments make using frameworks easier. - George Fairbanks; David Garlan; William L. Scherlis (OOPSLA Companion, 2006)

Experience with fluid: analysis, design intent, and assurance for concurrency. - William L. Scherlis (PADTAD, 2007)

Composable thread coloring. - Dean F. Sutherland; William L. Scherlis (PPoPP, 2010)

Attentiveness: Design for Reactivity at Scale. - Gregory S. Hartman; William L. Scherlis (Int. J. Softw. Informatics, 2011)

In-nimbo sandboxing. - Michael Maass; William L. Scherlis; Jonathan Aldrich (HotSoS, 2014)

Design Dimensions for Software Certification: A Grounded Analysis. - Gabriel Ferreira; Christian Kästner; Joshua Sunshine; Sven Apel; William L. Scherlis (CoRR, 2019)

Formal Methods at Scale. - William Martin 010; Patrick Lincoln; William L. Scherlis (IEEE Secur. Priv., 2022)