William L. Scherlis

50 papers A* 8A 4B 2C 1Journal 11Unranked 19

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Formal Methods at Scale. IEEE Secur. Priv. William Martin, Patrick Lincoln, William L. Scherlis
2019	J	`jnl`	Design Dimensions for Software Certification: A Grounded Analysis. CoRR Gabriel Ferreira, Christian Kästner, Joshua Sunshine, Sven Apel, William L. Scherlis
2016	—	`ed.`	Proceedings of the Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, USA, April 19-21, 2016 HotSoS William L. Scherlis, David Brumley
2014	—	`conf`	In-nimbo sandboxing. HotSoS Michael Maass, William L. Scherlis, Jonathan Aldrich
2011	J	`jnl`	Attentiveness: Design for Reactivity at Scale. Int. J. Softw. Informatics Gregory S. Hartman, William L. Scherlis
2010	B	`conf`	Composable thread coloring. PPoPP Dean F. Sutherland, William L. Scherlis
2007	—	`conf`	Experience with fluid: analysis, design intent, and assurance for concurrency. PADTAD William L. Scherlis
2006	A	`conf`	Design fragments make using frameworks easier. OOPSLA George Fairbanks, David Garlan, William L. Scherlis
2006	—	`conf`	Design fragments make using frameworks easier. OOPSLA Companion George Fairbanks, David Garlan, William L. Scherlis
2006	—	`conf`	Using framework interfaces with design fragments. OOPSLA Companion George Fairbanks, David Garlan, William L. Scherlis
2005	J	`jnl`	Observations on the assured evolution of concurrent Java programs. Sci. Comput. Program. Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis
2003	—	`conf`	Deriving Effcient Graph Algorithms. Verification: Theory and Practice John H. Reif, William L. Scherlis
2003	J	`jnl`	IT research, innovation, and e-government. Commun. ACM William L. Scherlis, Jon Eisenberg
2003	—	`conf`	Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. eTX Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis
2002	A*	`conf`	Assuring and evolving concurrent programs: annotations and policy. ICSE Aaron Greenhouse, William L. Scherlis
2002	B	`conf`	Flexi-Modal and Multi-Machine User Interfaces. ICMI 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
2002	—	`conf`	IT Research, Innovation, and E-Government. DG.O William L. Scherlis, Jon Eisenberg
2002	—	`conf`	The code of many colors: relating threads to code and shared state. PASTE Dean F. Sutherland, Aaron Greenhouse, William L. Scherlis
2000	J	`jnl`	Adaptation and commitment technology (ACT). ACM SIGSOFT Softw. Eng. Notes William L. Scherlis
2000	A*	`conf`	Coming to the wrong decision quickly: why awareness tools must be matched with appropriate tasks. CHI J. Alberto Espinosa, Jonathan J. Cadiz, Luis Rico-Gutierrez, Robert E. Kraut, William L. Scherlis, Glenn Lautenbacher
1998	A*	`conf`	Communication and Information: Alternative Uses of the Internet in Households. CHI Robert E. Kraut, Tridas Mukhopadhyay, Janusz Szczypula, Sara B. Kiesler, William L. Scherlis
1998	A	`conf`	Coordination, Overload and Team Performance: Effects of Team Communication Strategies. CSCW Susan R. Fussell, Robert E. Kraut, F. Javier Lerch, William L. Scherlis, Matthew M. McNally, Jonathan J. Cadiz
1998	J	`jnl`	ETAPS'98 Trip Report. ACM SIGPLAN Notices William L. Scherlis
1998	—	`conf`	Example Architectures. ESPRIT ARES Workshop William L. Scherlis, Juha Kuusela
1998	—	`ed.`	Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998 SIGSOFT FSE Leon J. Osterweil, William L. Scherlis
1998	A*	`conf`	Promises: Limited Specifications for Analysis and Manipulation. ICSE Edwin C. Chan, John Boyland, William L. Scherlis
1998	J	`jnl`	Social Impact of the Internet: What Does It Mean? Commun. ACM Robert E. Kraut, Sara B. Kiesler, Tridas Mukhopadhyay, William L. Scherlis, Michael Patterson
1998	—	`conf`	Structural Views, Structural Evolution, and Product Families. ESPRIT ARES Workshop William L. Scherlis
1998	A	`conf`	Systematic Change of Data Representation: Program Manipulations and a Case Study. ESOP William L. Scherlis
1997	C	`conf`	Communication versus information: alternative uses of the internet at home. ICIS Robert E. Kraut, Janusz Szczypula, Sara B. Kiesler, William L. Scherlis
1997	A*	`conf`	Usability, Help Desk Calls, and Residential Internet Usage. CHI Sara B. Kiesler, Robert E. Kraut, Vicki Lundmark, William L. Scherlis, Tridas Mukhopadhyay
1996	J	`jnl`	Beyond Coding. ACM Comput. Surv. William L. Scherlis
1996	A*	`conf`	HomeNet: A Field Trial of Residential Internet Services. CHI Robert E. Kraut, William L. Scherlis, Tridas Mukhopadhyay, Jane Manning, Sara B. Kiesler
1996	—	`conf`	Repository Interactions (working session). Digital Libraries William L. Scherlis
1996	J	`jnl`	Repository Interoperability Workshop: Towards a Repository Reference Model. D Lib Mag. William L. Scherlis
1996	—	`conf`	Small-scale structural reengineering of software. ISAW/Viewpoints@FSE William L. Scherlis
1996	J	`jnl`	The HomeNet Field Trial of Residential Internet Services. Commun. ACM Robert E. Kraut, William L. Scherlis, Tridas Mukhopadhyay, Jane Manning, Sara B. Kiesler
1994	—	`conf`	Boundary and Path Manipulations on Abstract Data Types (Extended Abstract). IFIP Congress (1) William L. Scherlis
1993	—	`ch.`	First Steps Towards Inferential Programming. Program Verification William L. Scherlis, Dana S. Scott
1992	A	`conf`	Object-Oriented Megaprogramming (Panel). OOPSLA Peter Wegner, William L. Scherlis, James M. Purtilo, David C. Luckham, Ralph E. Johnson
1990	—	`conf`	Formal manipulation of modular software systems. Formal Methods in Software Development Robert L. Nord, Peter Lee, William L. Scherlis
1988	—	`conf`	The Ergo Support System: An Integrated Set of Tools for Prototyping Integrated Environments. Software Development Environments (SDE) Peter Lee, Frank Pfenning, Gene Rollins, William L. Scherlis
1986	—	`conf`	Abstract Data Types, Specialization, and Program Reuse. Advanced Programming Environments William L. Scherlis
1986	A*	`conf`	Compilers and Staging Transformations. POPL Ulrik Jørring, William L. Scherlis
1986	—	`ed.`	Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986. LISP and Functional Programming William L. Scherlis, John H. Williams, Richard P. Gabriel
1985	—	`conf`	Semantically Based Programming Tools (Summary). TAPSOFT, Vol.1 William L. Scherlis, Dana S. Scott
1983	—	`conf`	Deriving Efficient Graph Algorithms (Summary). Logic of Programs John H. Reif, William L. Scherlis
1983	—	`conf`	First Steps Towards Inferential Programming. IFIP Congress William L. Scherlis, Dana S. Scott
1981	A*	`conf`	Program Improvement by Internal Specialization. POPL William L. Scherlis
1980	—	`—`	Expression procedures and program derivation. William L. Scherlis