William L. Scherlis

Publication Activity (10 Years)

Years Active: 1981-2022
Publications (10 Years): 2

Top Topics

Temporal Properties

Provably Correct

Top Venues

IEEE Secur. Priv.

Publications

William Martin, Patrick Lincoln, William L. Scherlis
Formal Methods at Scale. IEEE Secur. Priv. 20 (3) (2022)
Gabriel Ferreira, Christian Kästner, Joshua Sunshine, Sven Apel, William L. Scherlis
Design Dimensions for Software Certification: A Grounded Analysis. CoRR (2019)
Michael Maass, William L. Scherlis, Jonathan Aldrich
In-nimbo sandboxing. HotSoS (2014)
Gregory S. Hartman, William L. Scherlis
Attentiveness: Design for Reactivity at Scale. Int. J. Softw. Informatics 5 (3) (2011)
Dean F. Sutherland, William L. Scherlis
Composable thread coloring. PPOPP (2010)
William L. Scherlis
Experience with fluid: analysis, design intent, and assurance for concurrency. PADTAD (2007)
George Fairbanks, David Garlan, William L. Scherlis
Design fragments make using frameworks easier. OOPSLA (2006)
George Fairbanks, David Garlan, William L. Scherlis
Using framework interfaces with design fragments. OOPSLA Companion (2006)
George Fairbanks, David Garlan, William L. Scherlis
Design fragments make using frameworks easier. OOPSLA Companion (2006)
Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis
Observations on the assured evolution of concurrent Java programs. Sci. Comput. Program. 58 (3) (2005)
John H. Reif, William L. Scherlis
Deriving Effcient Graph Algorithms. Verification: Theory and Practice (2003)
William L. Scherlis, Jon Eisenberg
IT research, innovation, and e-government. Commun. ACM 46 (1) (2003)
Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis
Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. eTX (2003)
Aaron Greenhouse, William L. Scherlis
Assuring and evolving concurrent programs: annotations and policy. ICSE (2002)
William L. Scherlis, Jon Eisenberg
IT Research, Innovation, and E-Government. DG.O (2002)
Brad A. Myers, Robert G. 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)
Dean F. Sutherland, Aaron Greenhouse, William L. Scherlis
The code of many colors: relating threads to code and shared state. PASTE (2002)
William L. Scherlis
Adaptation and commitment technology (ACT). ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
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)
Edwin C. Chan, John Boyland, William L. Scherlis
Promises: Limited Specifications for Analysis and Manipulation. ICSE (1998)
William L. Scherlis
Structural Views, Structural Evolution, and Product Families. ESPRIT ARES Workshop (1998)
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)
William L. Scherlis
ETAPS'98 Trip Report. ACM SIGPLAN Notices 33 (9) (1998)
William L. Scherlis
Systematic Change of Data Representation: Program Manipulations and a Case Study. ESOP (1998)
William L. Scherlis, Juha Kuusela
Example Architectures. ESPRIT ARES Workshop (1998)
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) (1998)
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)
Robert E. Kraut, Janusz Szczypula, Sara B. Kiesler, William L. Scherlis
Communication versus information: alternative uses of the internet at home. ICIS (1997)
Sara B. Kiesler, Robert E. Kraut, Vicki Lundmark, William L. Scherlis, Tridas Mukhopadhyay
Usability, Help Desk Calls, and Residential Internet Usage. CHI (1997)
William L. Scherlis
Repository Interoperability Workshop: Towards a Repository Reference Model. D Lib Mag. 2 (10) (1996)
William L. Scherlis
Repository Interactions (working session). Digital Libraries (1996)
Robert E. Kraut, William L. Scherlis, Tridas Mukhopadhyay, Jane Manning, Sara B. Kiesler
HomeNet: A Field Trial of Residential Internet Services. CHI (1996)
William L. Scherlis
Small-scale structural reengineering of software. ISAW/Viewpoints@FSE (1996)
William L. Scherlis
Beyond Coding. ACM Comput. Surv. 28 (4es) (1996)
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) (1996)
William L. Scherlis
Boundary and Path Manipulations on Abstract Data Types (Extended Abstract). IFIP Congress (1) (1994)
Peter Wegner, William L. Scherlis, James M. Purtilo, David C. Luckham, Ralph E. Johnson
Object-Oriented Megaprogramming (Panel). OOPSLA (1992)
Robert L. Nord, Peter Lee, William L. Scherlis
Formal manipulation of modular software systems. Formal Methods in Software Development (1990)
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)
William L. Scherlis
Abstract Data Types, Specialization, and Program Reuse. Advanced Programming Environments (1986)
Ulrik Jørring, William L. Scherlis
Compilers and Staging Transformations. POPL (1986)
William L. Scherlis, Dana S. Scott
Semantically Based Programming Tools (Summary). TAPSOFT, Vol.1 (1985)
William L. Scherlis, Dana S. Scott
First Steps Towards Inferential Programming. IFIP Congress (1983)
John H. Reif, William L. Scherlis
Deriving Efficient Graph Algorithms (Summary). Logic of Programs (1983)
William L. Scherlis
Program Improvement by Internal Specialization. POPL (1981)