William L. Scherlis - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 45 from 45

2022

Formal Methods at ScaleWilliam Martin, Patrick Lincoln, William L. Scherlis. ieeesp, 20(3):22-23, 2022. [doi]

2014

In-nimbo sandboxingMichael Maass, William L. Scherlis, Jonathan Aldrich. hotsos 2014: 1 [doi]

2011

Attentiveness: Design for Reactivity at ScaleGregory S. Hartman, William L. Scherlis. ijsi, 5(3):487-507, 2011. [doi]

2010

Composable thread coloringDean F. Sutherland, William L. Scherlis. ppopp 2010: 233-244 [doi]

2007

Experience with fluid: analysis, design intent, and assurance for concurrencyWilliam L. Scherlis. ISSTA 2007: 1-2 [doi]

2006

Design fragments make using frameworks easierGeorge Fairbanks, David Garlan, William L. Scherlis. OOPSLA 2006: 762-763 [doi]

Design fragments make using frameworks easierGeorge Fairbanks, David Garlan, William L. Scherlis. OOPSLA 2006: 75-88 [doi]

Using framework interfaces with design fragmentsGeorge Fairbanks, David Garlan, William L. Scherlis. OOPSLA 2006: 718 [doi]

2005

Observations on the assured evolution of concurrent Java programsAaron Greenhouse, T. J. Halloran, William L. Scherlis. SCP, 58(3):384-411, 2005. [doi]

2003

Using Eclipse to demonstrate positive static assurance of Java program concurrency design intentAaron Greenhouse, T. J. Halloran, William L. Scherlis. OOPSLA 2003: 99-103 [doi]

Deriving Effcient Graph AlgorithmsJohn H. Reif, William L. Scherlis. BIRTHDAY 2003: 645-681 [doi]

IT research, innovation, and e-governmentWilliam L. Scherlis, Jon Eisenberg. CACM, 46(1):67-68, 2003. [doi]

2002

2000

Coming to the wrong decision quickly: why awareness tools must be matched with appropriate tasksJ. Alberto Espinosa, Jonathan J. Cadiz, Luis Rico-Gutierrez, Robert E. Kraut, William L. Scherlis, Glenn Lautenbacher. chi 2000: 392-399 [doi]

Adaptation and commitment technology (ACT)William L. Scherlis. sigsoft, 25(1):96, 2000. [doi]

1998

Promises: Limited Specifications for Analysis and ManipulationEdwin C. Chan, John Boyland, William L. Scherlis. ICSE 1998: 167-176

Coordination, Overload and Team Performance: Effects of Team Communication StrategiesSusan R. Fussell, Robert E. Kraut, F. Javier Lerch, William L. Scherlis, Matthew M. McNally, Jonathan J. Cadiz. cscw 1998: 275-284 [doi]

Social Impact of the Internet: What Does It Mean?Robert E. Kraut, Sara B. Kiesler, Tridas Mukhopadhyay, William L. Scherlis, Michael Patterson. CACM, 41(12):21-22, 1998.

Communication and Information: Alternative Uses of the Internet in HouseholdsRobert E. Kraut, Tridas Mukhopadhyay, Janusz Szczypula, Sara B. Kiesler, William L. Scherlis. chi 1998: 368-375 [doi]

Structural Views, Structural Evolution, and Product FamiliesWilliam L. Scherlis. ares 1998: 235-240 [doi]

Systematic Change of Data Representation: Program Manipulations and a Case StudyWilliam L. Scherlis. ESOP 1998: 252-266 [doi]

Session 1: Example ArchitecturesWilliam L. Scherlis, Juha Kuusela. ares 1998: 4-5 [doi]

ETAPS 98 Trip ReportWilliam L. Scherlis. SIGPLAN, 33(9):18-19, 1998.

1997

Usability, Help Desk Calls, and Residential Internet UsageSara B. Kiesler, Robert E. Kraut, Vicki Lundmark, William L. Scherlis, Tridas Mukhopadhyay. chi 1997: 536-537

Communication versus information: alternative uses of the internet at homeRobert E. Kraut, Janusz Szczypula, Sara B. Kiesler, William L. Scherlis. icisc 1997: 478 [doi]

1996

1994

Boundary and Path Manipulations on Abstract Data Types (Extended Abstract)William L. Scherlis. ifip11-9 1994: 615-620

1992

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

1990

Formal manipulation of modular software systemsRobert L. Nord, Peter Lee 0001, William L. Scherlis. fmsd 1990: 90-99 [doi]

1988

The Ergo Support System: An Integrated Set of Tools for Prototyping Integrated EnvironmentsPeter Lee, Frank Pfenning, Gene Rollins, William L. Scherlis. SDE 1988: 25-34

1986

Compilers and Staging TransformationsUlrik Jørring, William L. Scherlis. POPL 1986: 86-96

Abstract Data Types, Specialization, and Program ReuseWilliam L. Scherlis. ifip 1986: 433-453

1985

Semantically Based Programming Tools (Summary)William L. Scherlis, Dana S. Scott. tapsoft 1985: 52-59

1983

Deriving Efficient Graph Algorithms (Summary)John H. Reif, William L. Scherlis. lop 1984: 421-441

First Steps Towards Inferential ProgrammingWilliam L. Scherlis, Dana S. Scott. ifip 1983: 199-212

1981

Program Improvement by Internal SpecializationWilliam L. Scherlis. POPL 1981: 41-49

1980

Expression procedures and program derivationWilliam L. Scherlis. PhD thesis, Stanford University, USA, 1980. [doi]

Sign in or sign up to see more results.

runs on WebDSL

翻译：