default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWilliam L. Scherlis
Person information
- affiliation: Carnegie Mellon University, Pittsburgh, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j11]William Martin, Patrick Lincoln, William L. Scherlis:
Formal Methods at Scale. IEEE Secur. Priv. 20(3): 22-23 (2022)
2010 – 2019
- 2019
- [i1]Gabriel Ferreira, Christian Kästner, Joshua Sunshine, Sven Apel, William L. Scherlis:
Design Dimensions for Software Certification: A Grounded Analysis. CoRR abs/1905.09760 (2019) - 2016
- [e3]William L. Scherlis, David Brumley:
Proceedings of the Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, USA, April 19-21, 2016. ACM 2016, ISBN 978-1-4503-4277-3 [contents] - 2014
- [c35]Michael Maass, William L. Scherlis, Jonathan Aldrich
:
In-nimbo sandboxing. HotSoS 2014: 1 - 2011
- [j10]Gregory S. Hartman, William L. Scherlis:
Attentiveness: Design for Reactivity at Scale. Int. J. Softw. Informatics 5(3): 487-507 (2011) - 2010
- [c34]Dean F. Sutherland, William L. Scherlis:
Composable thread coloring. PPoPP 2010: 233-244
2000 – 2009
- 2007
- [c33]William L. Scherlis:
Experience with fluid: analysis, design intent, and assurance for concurrency. PADTAD 2007: 1-2 - 2006
- [c32]George Fairbanks, David Garlan, William L. Scherlis:
Design fragments make using frameworks easier. OOPSLA 2006: 75-88 - [c31]George Fairbanks, David Garlan, William L. Scherlis:
Using framework interfaces with design fragments. OOPSLA Companion 2006: 718 - [c30]George Fairbanks, David Garlan, William L. Scherlis:
Design fragments make using frameworks easier. OOPSLA Companion 2006: 762-763 - 2005
- [j9]Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis:
Observations on the assured evolution of concurrent Java programs. Sci. Comput. Program. 58(3): 384-411 (2005) - 2003
- [j8]William L. Scherlis, Jon Eisenberg:
IT research, innovation, and e-government. Commun. ACM 46(1): 67-68 (2003) - [c29]John H. Reif, William L. Scherlis:
Deriving Effcient Graph Algorithms. Verification: Theory and Practice 2003: 645-681 - [c28]Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis:
Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. eTX 2003: 99-103 - 2002
- [c27]William L. Scherlis, Jon Eisenberg:
IT Research, Innovation, and E-Government. DG.O 2002 - [c26]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: 343-348 - [c25]Aaron Greenhouse, William L. Scherlis:
Assuring and evolving concurrent programs: annotations and policy. ICSE 2002: 453-463 - [c24]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
- [j7]William L. Scherlis:
Adaptation and commitment technology (ACT). ACM SIGSOFT Softw. Eng. Notes 25(1): 96 (2000) - [c23]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 - [c22]Bill Scherlis:
Digital government: an IT research perspective. DG.O 2000
1990 – 1999
- 1999
- [j6]Robert E. Kraut, Tridas Mukhopadhyay, Janusz Szczypula, Sara B. Kiesler, Bill Scherlis:
Information and Communication: Alternative Uses of the Internet in Households. Inf. Syst. Res. 10(4): 287-303 (1999) - 1998
- [j5]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) - [j4]William L. Scherlis:
ETAPS'98 Trip Report. ACM SIGPLAN Notices 33(9): 18-19 (1998) - [c21]William L. Scherlis, Juha Kuusela:
Example Architectures. ESPRIT ARES Workshop 1998: 4-5 - [c20]William L. Scherlis:
Structural Views, Structural Evolution, and Product Families. ESPRIT ARES Workshop 1998: 235-240 - [c19]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 - [c18]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 - [c17]William L. Scherlis:
Systematic Change of Data Representation: Program Manipulations and a Case Study. ESOP 1998: 252-266 - [c16]Edwin C. Chan, John Boyland, William L. Scherlis:
Promises: Limited Specifications for Analysis and Manipulation. ICSE 1998: 167-176 - [e2]Leon J. Osterweil, William L. Scherlis:
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998. ACM 1998, ISBN 978-1-58113-108-6 [contents] - 1997
- [c15]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 - [c14]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
- [j3]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) - [j2]William L. Scherlis:
Beyond Coding. ACM Comput. Surv. 28(4es): 201 (1996) - [j1]William L. Scherlis:
Repository Interoperability Workshop: Towards a Repository Reference Model. D Lib Mag. 2(10) (1996) - [c13]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 - [c12]William L. Scherlis:
Repository Interactions (working session). Digital Libraries 1996: 171 - [c11]William L. Scherlis:
Small-scale structural reengineering of software. ISAW/Viewpoints@FSE 1996: 116-120 - 1994
- [c10]William L. Scherlis:
Boundary and Path Manipulations on Abstract Data Types (Extended Abstract). IFIP Congress (1) 1994: 615-620 - 1992
- [c9]Peter Wegner, William L. Scherlis, James M. Purtilo, David C. Luckham, Ralph E. Johnson:
Object-Oriented Megaprogramming (Panel). OOPSLA 1992: 392-396 - 1990
- [c8]Robert L. Nord, Peter Lee, William L. Scherlis:
Formal manipulation of modular software systems. Formal Methods in Software Development 1990: 90-99
1980 – 1989
- 1988
- [c7]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
- [c6]William L. Scherlis:
Abstract Data Types, Specialization, and Program Reuse. Advanced Programming Environments 1986: 433-453 - [c5]Ulrik Jørring, William L. Scherlis:
Compilers and Staging Transformations. POPL 1986: 86-96 - [e1]William L. Scherlis, John H. Williams, Richard P. Gabriel:
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986. ACM 1986, ISBN 0-89791-200-4 [contents] - 1985
- [c4]William L. Scherlis, Dana S. Scott:
Semantically Based Programming Tools (Summary). TAPSOFT, Vol.1 1985: 52-59 - 1983
- [c3]William L. Scherlis, Dana S. Scott:
First Steps Towards Inferential Programming. IFIP Congress 1983: 199-212 - [c2]John H. Reif, William L. Scherlis:
Deriving Efficient Graph Algorithms (Summary). Logic of Programs 1983: 421-441 - 1981
- [c1]William L. Scherlis:
Program Improvement by Internal Specialization. POPL 1981: 41-49 - 1980
- [b1]William L. Scherlis:
Expression procedures and program derivation. Stanford University, USA, 1980
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-26 00:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
