William L. Scherlis

According to our database, William L. Scherlis authored at least 45 papers between 1980 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Formal Methods at Scale.

William Martin, Patrick Lincoln, William L. Scherlis

IEEE Secur. Priv., 2022

2019

Design Dimensions for Software Certification: A Grounded Analysis.

Gabriel Ferreira, Christian Kästner, Joshua Sunshine, Sven Apel, William L. Scherlis

CoRR, 2019

2014

In-nimbo sandboxing.

Michael Maass, William L. Scherlis, Jonathan Aldrich

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

2011

Attentiveness: Design for Reactivity at Scale.

Gregory S. Hartman, William L. Scherlis

Int. J. Softw. Informatics, 2011

2010

Composable thread coloring.

Dean F. Sutherland, William L. Scherlis

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

2007

Experience with fluid: analysis, design intent, and assurance for concurrency.

William L. Scherlis

Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, 2007

2006

Design fragments make using frameworks easier.

George Fairbanks, David Garlan, William L. Scherlis

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Using framework interfaces with design fragments.

George Fairbanks, David Garlan, William L. Scherlis

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005

Observations on the assured evolution of concurrent Java programs.

Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis

Sci. Comput. Program., 2005

2003

IT research, innovation, and e-government.

William L. Scherlis, Jon Eisenberg

Commun. ACM, 2003

Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent.

Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis

Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003

Deriving Effcient Graph Algorithms.

John H. Reif, William L. Scherlis

Proceedings of the Verification: Theory and Practice, 2003

2002

The code of many colors: relating threads to code and shared state.

Dean F. Sutherland, Aaron Greenhouse, William L. Scherlis

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2002

Assuring and evolving concurrent programs: annotations and policy.

Aaron Greenhouse, William L. Scherlis

Proceedings of the 24th International Conference on Software Engineering, 2002

Flexi-Modal and Multi-Machine User Interfaces.

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

Proceedings of the 4th IEEE International Conference on Multimodal Interfaces (ICMI 2002), 2002

2000

Adaptation and commitment technology (ACT).

William L. Scherlis

ACM SIGSOFT Softw. Eng. Notes, 2000

Digital government: an IT research perspective.

Bill Scherlis

Proceedings of the 2000 National Conference on Digital Government Research, 2000

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

Proceedings of the CHI 2000 Conference on Human factors in computing systems, 2000

1999

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

1998

ETAPS'98 Trip Report.

William L. Scherlis

ACM SIGPLAN Notices, 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

Promises: Limited Specifications for Analysis and Manipulation.

Edwin C. Chan, John Boyland, William L. Scherlis

Proceedings of the Forging New Links, 1998

Systematic Change of Data Representation: Program Manipulations and a Case Study.

William L. Scherlis

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 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

Proceedings of the CSCW '98, 1998

Communication and Information: Alternative Uses of the Internet in Households.

Robert E. Kraut, Tridas Mukhopadhyay, Janusz Szczypula, Sara B. Kiesler, William L. Scherlis

Proceedings of the Proceeding of the CHI '98 Conference on Human Factors in Computing Systems, 1998

Example Architectures.

William L. Scherlis, Juha Kuusela

Proceedings of the Development and Evolution of Software Architectures for Product Families, 1998

Structural Views, Structural Evolution, and Product Families.

William L. Scherlis

Proceedings of the Development and Evolution of Software Architectures for Product Families, 1998

1997

Communication versus information: alternative uses of the internet at home.

Robert E. Kraut, Janusz Szczypula, Sara B. Kiesler, William L. Scherlis

Proceedings of the Eighteenth International Conference on Information Systems, 1997

Usability, Help Desk Calls, and Residential Internet Usage.

Sara B. Kiesler, Robert E. Kraut, Vicki Lundmark, William L. Scherlis, Tridas Mukhopadhyay

Proceedings of the Human Factors in Computing Systems, 1997

1996

Repository Interoperability Workshop: Towards a Repository Reference Model.

William L. Scherlis

D Lib Mag., 1996

Beyond Coding.

William L. Scherlis

ACM Comput. Surv., 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

Small-scale structural reengineering of software.

William L. Scherlis

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

Repository Interactions (working session).

William L. Scherlis

Proceedings of the 1st ACM International Conference on Digital Libraries, 1996

1994

Boundary and Path Manipulations on Abstract Data Types (Extended Abstract).

William L. Scherlis

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1992

Object-Oriented Megaprogramming (Panel).

Peter Wegner, William L. Scherlis, James M. Purtilo, David C. Luckham, Ralph E. Johnson

Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

1990

Formal manipulation of modular software systems.

Robert L. Nord, Peter Lee, William L. Scherlis

Proceedings of the Conference proceedings on Formal methods in software development, 1990

1988

The Ergo Support System: An Integrated Set of Tools for Prototyping Integrated Environments.

Peter Lee, Frank Pfenning, Gene Rollins, William L. Scherlis

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

1986

Compilers and Staging Transformations.

Ulrik Jørring, William L. Scherlis

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

Abstract Data Types, Specialization, and Program Reuse.

William L. Scherlis

Proceedings of the Advanced Programming Environments, 1986

1985

Semantically Based Programming Tools (Summary).

William L. Scherlis, Dana S. Scott

Proceedings of the Mathematical Foundations of Software Development, 1985

1983

Deriving Efficient Graph Algorithms (Summary).

John H. Reif, William L. Scherlis

Proceedings of the Logics of Programs, 1983

First Steps Towards Inferential Programming.

William L. Scherlis, Dana S. Scott

Proceedings of the Information Processing 83, 1983

1981

Program Improvement by Internal Specialization.

William L. Scherlis

Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

1980

Expression procedures and program derivation.

William L. Scherlis

PhD thesis, 1980