Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: William L. Scherlis
@article{DBLP:journals/ieeesp/MartinLS22,
author = {William Martin and
Patrick Lincoln and
William L. Scherlis},
title = {Formal Methods at Scale},
journal = {{IEEE} Secur. Priv.},
volume = {20},
number = {3},
pages = {22--23},
year = {2022},
url = {https://doi.org/10.1109/MSEC.2022.3158842},
doi = {10.1109/MSEC.2022.3158842},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeesp/MartinLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-09760,
author = {Gabriel Ferreira and
Christian K{\"{a}}stner and
Joshua Sunshine and
Sven Apel and
William L. Scherlis},
title = {Design Dimensions for Software Certification: {A} Grounded Analysis},
journal = {CoRR},
volume = {abs/1905.09760},
year = {2019},
url = {http://arxiv.org/abs/1905.09760},
eprinttype = {arXiv},
eprint = {1905.09760},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-09760.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotsos/2016,
editor = {William L. Scherlis and
David Brumley},
title = {Proceedings of the Symposium and Bootcamp on the Science of Security,
Pittsburgh, PA, USA, April 19-21, 2016},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2898375},
isbn = {978-1-4503-4277-3},
timestamp = {Fri, 22 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotsos/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/MaassSA14,
author = {Michael Maass and
William L. Scherlis and
Jonathan Aldrich},
editor = {Laurie A. Williams and
David M. Nicol and
Munindar P. Singh},
title = {In-nimbo sandboxing},
booktitle = {Proceedings of the 2014 Symposium and Bootcamp on the Science of Security,
HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014},
pages = {1},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2600176.2600177},
doi = {10.1145/2600176.2600177},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotsos/MaassSA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/HartmanS11,
author = {Gregory S. Hartman and
William L. Scherlis},
title = {Attentiveness: Design for Reactivity at Scale},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {3},
pages = {487--507},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i98},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/HartmanS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/SutherlandS10,
author = {Dean F. Sutherland and
William L. Scherlis},
editor = {R. Govindarajan and
David A. Padua and
Mary W. Hall},
title = {Composable thread coloring},
booktitle = {Proceedings of the 15th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2010, Bangalore, India,
January 9-14, 2010},
pages = {233--244},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1693453.1693485},
doi = {10.1145/1693453.1693485},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/SutherlandS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Scherlis07,
author = {William L. Scherlis},
editor = {Shmuel Ur and
Eitan Farchi},
title = {Experience with fluid: analysis, design intent, and assurance for
concurrency},
booktitle = {Proceedings of the 5th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, held in conjunction with the {ACM}
{SIGSOFT} International Symposium on Software Testing and Analysis
{(ISSTA} 2007), {PADTAD} 2007, London, UK, July 9, 2007},
pages = {1--2},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273647.1273648},
doi = {10.1145/1273647.1273648},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Scherlis07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FairbanksGS06,
author = {George Fairbanks and
David Garlan and
William L. Scherlis},
editor = {Peri L. Tarr and
William R. Cook},
title = {Design fragments make using frameworks easier},
booktitle = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {75--88},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167473.1167480},
doi = {10.1145/1167473.1167480},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FairbanksGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FairbanksGS06a,
author = {George Fairbanks and
David Garlan and
William L. Scherlis},
editor = {Peri L. Tarr and
William R. Cook},
title = {Using framework interfaces with design fragments},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {718},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176690},
doi = {10.1145/1176617.1176690},
timestamp = {Sat, 31 Jul 2021 17:22:24 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FairbanksGS06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FairbanksGS06b,
author = {George Fairbanks and
David Garlan and
William L. Scherlis},
editor = {Peri L. Tarr and
William R. Cook},
title = {Design fragments make using frameworks easier},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {762--763},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176713},
doi = {10.1145/1176617.1176713},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/FairbanksGS06b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GreenhouseHS05,
author = {Aaron Greenhouse and
Timothy J. Halloran and
William L. Scherlis},
title = {Observations on the assured evolution of concurrent Java programs},
journal = {Sci. Comput. Program.},
volume = {58},
number = {3},
pages = {384--411},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2005.03.002},
doi = {10.1016/J.SCICO.2005.03.002},
timestamp = {Thu, 26 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GreenhouseHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ScherlisE03,
author = {William L. Scherlis and
Jon Eisenberg},
title = {{IT} research, innovation, and e-government},
journal = {Commun. {ACM}},
volume = {46},
number = {1},
pages = {67--68},
year = {2003},
url = {https://doi.org/10.1145/602421.602455},
doi = {10.1145/602421.602455},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/ScherlisE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ReifS03,
author = {John H. Reif and
William L. Scherlis},
editor = {Nachum Dershowitz},
title = {Deriving Effcient Graph Algorithms},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {645--681},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_28},
doi = {10.1007/978-3-540-39910-0\_28},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ReifS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GreenhouseHS03,
author = {Aaron Greenhouse and
Timothy J. Halloran and
William L. Scherlis},
editor = {Michael G. Burke},
title = {Using Eclipse to demonstrate positive static assurance of Java program
concurrency design intent},
booktitle = {Proceedings of the 2003 {OOPSLA} Workshop on Eclipse Technology eXchange,
October 2003, Anaheim, CA, {USA}},
pages = {99--103},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/965660.965681},
doi = {10.1145/965660.965681},
timestamp = {Mon, 14 Feb 2022 14:38:20 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/GreenhouseHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dgo/ScherlisE02,
author = {William L. Scherlis and
Jon Eisenberg},
title = {{IT} Research, Innovation, and E-Government},
booktitle = {Proceedings of the 2002 Annual National Conference on Digital Government
Research, {DG.O} 2002, Los Angeles, CA, USA, 2002},
series = {{ACM} International Conference Proceeding Series},
publisher = {Digital Government Research Center},
year = {2002},
url = {http://dl.acm.org/citation.cfm?id=1123148},
timestamp = {Sat, 07 Jul 2018 14:13:59 +0200},
biburl = {https://dblp.org/rec/conf/dgo/ScherlisE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmi/MyersMBWBMYDSZPKNS02,
author = {Brad A. Myers and
Robert G. Malkin and
Michael Bett and
Alex Waibel and
Ben Bostwick and
Robert C. Miller and
Jie Yang and
Matthias Denecke and
Edgar Seemann and
Jie Zhu and
Choon Hong Peck and
Dave Kong and
Jeffrey Nichols and
William L. Scherlis},
title = {Flexi-Modal and Multi-Machine User Interfaces},
booktitle = {4th {IEEE} International Conference on Multimodal Interfaces {(ICMI}
2002), 14-16 October 2002, Pittsburgh, PA, {USA}},
pages = {343--348},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICMI.2002.1167019},
doi = {10.1109/ICMI.2002.1167019},
timestamp = {Sun, 26 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmi/MyersMBWBMYDSZPKNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GreenhouseS02,
author = {Aaron Greenhouse and
William L. Scherlis},
editor = {Will Tracz and
Michal Young and
Jeff Magee},
title = {Assuring and evolving concurrent programs: annotations and policy},
booktitle = {Proceedings of the 24th International Conference on Software Engineering,
{ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
pages = {453--463},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581339.581395},
doi = {10.1145/581339.581395},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GreenhouseS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/SutherlandGS02,
author = {Dean F. Sutherland and
Aaron Greenhouse and
William L. Scherlis},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {The code of many colors: relating threads to code and shared state},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {77--83},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586109},
doi = {10.1145/586094.586109},
timestamp = {Thu, 21 Jan 2021 17:36:46 +0100},
biburl = {https://dblp.org/rec/conf/paste/SutherlandGS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Scherlis00,
author = {William L. Scherlis},
title = {Adaptation and commitment technology {(ACT)}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {96},
year = {2000},
url = {https://doi.org/10.1145/340855.341051},
doi = {10.1145/340855.341051},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Scherlis00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/EspinosaCRKSL00,
author = {J. Alberto Espinosa and
Jonathan J. Cadiz and
Luis Rico{-}Gutierrez and
Robert E. Kraut and
William L. Scherlis and
Glenn Lautenbacher},
editor = {Thea Turner and
Gerd Szwillus},
title = {Coming to the wrong decision quickly: why awareness tools must be
matched with appropriate tasks},
booktitle = {Proceedings of the {CHI} 2000 Conference on Human factors in computing
systems, The Hague, The Netherlands, April 1-6, 2000},
pages = {392--399},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/332040.332463},
doi = {10.1145/332040.332463},
timestamp = {Tue, 16 Aug 2022 23:04:24 +0200},
biburl = {https://dblp.org/rec/conf/chi/EspinosaCRKSL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dgo/Scherlis00,
author = {Bill Scherlis},
title = {Digital government: an {IT} research perspective},
booktitle = {Proceedings of the 2000 National Conference on Digital Government
Research, {DG.O} 2000, Los Angeles, CA, USA, May 15-17, 2000},
series = {{ACM} International Conference Proceeding Series},
volume = {128},
publisher = {Digital Government Research Center},
year = {2000},
url = {http://dl.acm.org/citation.cfm?id=1123077},
timestamp = {Sat, 07 Jul 2018 14:17:09 +0200},
biburl = {https://dblp.org/rec/conf/dgo/Scherlis00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isr/KrautMSKS99,
author = {Robert E. Kraut and
Tridas Mukhopadhyay and
Janusz Szczypula and
Sara B. Kiesler and
Bill Scherlis},
title = {Information and Communication: Alternative Uses of the Internet in
Households},
journal = {Inf. Syst. Res.},
volume = {10},
number = {4},
pages = {287--303},
year = {1999},
url = {https://doi.org/10.1287/isre.10.4.287},
doi = {10.1287/ISRE.10.4.287},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isr/KrautMSKS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KrautKMSP98,
author = {Robert E. Kraut and
Sara B. Kiesler and
Tridas Mukhopadhyay and
William L. Scherlis and
Michael Patterson},
title = {Social Impact of the Internet: What Does It Mean?},
journal = {Commun. {ACM}},
volume = {41},
number = {12},
pages = {21--22},
year = {1998},
url = {https://doi.org/10.1145/290133.290140},
doi = {10.1145/290133.290140},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KrautKMSP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Scherlis98,
author = {William L. Scherlis},
title = {ETAPS'98 Trip Report},
journal = {{ACM} {SIGPLAN} Notices},
volume = {33},
number = {9},
pages = {18--19},
year = {1998},
url = {https://doi.org/10.1145/290229.290232},
doi = {10.1145/290229.290232},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Scherlis98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ares/ScherlisK98,
author = {William L. Scherlis and
Juha Kuusela},
editor = {Frank van der Linden},
title = {Example Architectures},
booktitle = {Development and Evolution of Software Architectures for Product Families,
Second International {ESPRIT} {ARES} Workshop, Las Palmas de Gran
Canaria, Spain, February 26-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1429},
pages = {4--5},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-68383-6\_2},
doi = {10.1007/3-540-68383-6\_2},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ares/ScherlisK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ares/Scherlis98,
author = {William L. Scherlis},
editor = {Frank van der Linden},
title = {Structural Views, Structural Evolution, and Product Families},
booktitle = {Development and Evolution of Software Architectures for Product Families,
Second International {ESPRIT} {ARES} Workshop, Las Palmas de Gran
Canaria, Spain, February 26-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1429},
pages = {235--240},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-68383-6\_32},
doi = {10.1007/3-540-68383-6\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ares/Scherlis98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/KrautMSKS98,
author = {Robert E. Kraut and
Tridas Mukhopadhyay and
Janusz Szczypula and
Sara B. Kiesler and
William L. Scherlis},
editor = {Michael E. Atwood and
Clare{-}Marie Karat and
Arnold M. Lund and
Jo{\"{e}}lle Coutaz and
John Karat},
title = {Communication and Information: Alternative Uses of the Internet in
Households},
booktitle = {Proceeding of the {CHI} '98 Conference on Human Factors in Computing
Systems, Los Angeles, California, USA, April 18-23, 1998},
pages = {368--375},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/274644.274695},
doi = {10.1145/274644.274695},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/KrautMSKS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscw/FussellKLSMC98,
author = {Susan R. Fussell and
Robert E. Kraut and
F. Javier Lerch and
William L. Scherlis and
Matthew M. McNally and
Jonathan J. Cadiz},
editor = {Steven E. Poltrock and
Jonathan Grudin},
title = {Coordination, Overload and Team Performance: Effects of Team Communication
Strategies},
booktitle = {{CSCW} '98, Proceedings of the {ACM} 1998 Conference on Computer Supported
Cooperative Work, Seattle, WA, USA, November 14-18, 1998},
pages = {275--284},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289444.289502},
doi = {10.1145/289444.289502},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cscw/FussellKLSMC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Scherlis98,
author = {William L. Scherlis},
editor = {Chris Hankin},
title = {Systematic Change of Data Representation: Program Manipulations and
a Case Study},
booktitle = {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 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1381},
pages = {252--266},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053575},
doi = {10.1007/BFB0053575},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Scherlis98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChanBS98,
author = {Edwin C. Chan and
John Boyland and
William L. Scherlis},
editor = {Koji Torii and
Kokichi Futatsugi and
Richard A. Kemmerer},
title = {Promises: Limited Specifications for Analysis and Manipulation},
booktitle = {Forging New Links, Proceedings of the 1998 International Conference
on Software Engineering, {ICSE} 98, Kyoto, Japan, April 19-25, 1998},
pages = {167--176},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICSE.1998.671113},
doi = {10.1109/ICSE.1998.671113},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChanBS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/1998,
editor = {Leon J. Osterweil and
William L. Scherlis},
title = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
USA, November 3-5, 1998},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/288195},
doi = {10.1145/288195},
isbn = {978-1-58113-108-6},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/KieslerKLSM97,
author = {Sara B. Kiesler and
Robert E. Kraut and
Vicki Lundmark and
William L. Scherlis and
Tridas Mukhopadhyay},
editor = {Steven Pemberton},
title = {Usability, Help Desk Calls, and Residential Internet Usage},
booktitle = {Human Factors in Computing Systems, {CHI} '97 Conference Proceedings,
Atlanta, Georgia, USA, March 22-27, 1997},
pages = {536--537},
publisher = {ACM/Addison-Wesley},
year = {1997},
url = {https://doi.org/10.1145/258549.259020},
doi = {10.1145/258549.259020},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/KieslerKLSM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icis/KrautSKS97,
author = {Robert E. Kraut and
Janusz Szczypula and
Sara B. Kiesler and
William L. Scherlis},
editor = {Janice I. DeGross and
Kuldeep Kumar},
title = {Communication versus information: alternative uses of the internet
at home},
booktitle = {Proceedings of the Eighteenth International Conference on Information
Systems, Atlanta, Georgia, USA, December 15-17, 1997},
pages = {478},
publisher = {Association for Information Systems},
year = {1997},
url = {http://aisel.aisnet.org/icis1997/47},
timestamp = {Wed, 28 Nov 2018 12:57:14 +0100},
biburl = {https://dblp.org/rec/conf/icis/KrautSKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KrautSMMK96,
author = {Robert E. Kraut and
William L. Scherlis and
Tridas Mukhopadhyay and
Jane Manning and
Sara B. Kiesler},
title = {The HomeNet Field Trial of Residential Internet Services},
journal = {Commun. {ACM}},
volume = {39},
number = {12},
pages = {55--63},
year = {1996},
url = {https://doi.org/10.1145/240483.240493},
doi = {10.1145/240483.240493},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KrautSMMK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Scherlis96,
author = {William L. Scherlis},
title = {Beyond Coding},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {201},
year = {1996},
url = {https://doi.org/10.1145/242224.242481},
doi = {10.1145/242224.242481},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Scherlis96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dlib/Scherlis96,
author = {William L. Scherlis},
title = {Repository Interoperability Workshop: Towards a Repository Reference
Model},
journal = {D Lib Mag.},
volume = {2},
number = {10},
year = {1996},
url = {http://www.dlib.org/dlib/october96/workshop/10scherlis.html},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dlib/Scherlis96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/KrautSMMK96,
author = {Robert E. Kraut and
William L. Scherlis and
Tridas Mukhopadhyay and
Jane Manning and
Sara B. Kiesler},
editor = {Bonnie A. Nardi and
Gerrit C. van der Veer and
Michael J. Tauber},
title = {HomeNet: {A} Field Trial of Residential Internet Services},
booktitle = {Conference on Human Factors in Computing Systems: Common Ground, {CHI}
'96, Vancouver, BC, Canada, April 13-18, 1996, Proceedings},
pages = {284--291},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/238386.238531},
doi = {10.1145/238386.238531},
timestamp = {Tue, 09 Mar 2021 16:21:56 +0100},
biburl = {https://dblp.org/rec/conf/chi/KrautSMMK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dl/Scherlis96,
author = {William L. Scherlis},
title = {Repository Interactions (working session)},
booktitle = {Proceedings of the 1st {ACM} International Conference on Digital Libraries,
March 20-23, 1996, Bethesda, Maryland, {USA}},
pages = {171},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/226931.226966},
doi = {10.1145/226931.226966},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dl/Scherlis96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Scherlis96,
author = {William L. Scherlis},
editor = {Alexander L. Wolf and
Anthony Finkelstein and
George Spanoudakis and
Laura Vidal},
title = {Small-scale structural reengineering of software},
booktitle = {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,
{ISAW} '96, San Francisco, California, {USA}},
pages = {116--120},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/243327.243623},
doi = {10.1145/243327.243623},
timestamp = {Fri, 11 Feb 2022 12:39:52 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Scherlis96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Scherlis94,
author = {William L. Scherlis},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Boundary and Path Manipulations on Abstract Data Types (Extended Abstract)},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {615--620},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 13:03:03 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Scherlis94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WegnerSPLJ92,
author = {Peter Wegner and
William L. Scherlis and
James M. Purtilo and
David C. Luckham and
Ralph E. Johnson},
editor = {John R. Pugh},
title = {Object-Oriented Megaprogramming (Panel)},
booktitle = {Proceedings of the Seventh Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1992, Vancouver, British
Columbia, Canada, October 18-22, 1992},
pages = {392--396},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141936.141968},
doi = {10.1145/141936.141968},
timestamp = {Fri, 13 May 2022 10:38:22 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WegnerSPLJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsd/Nord0S90,
author = {Robert L. Nord and
Peter Lee and
William L. Scherlis},
editor = {Mark Moriconi},
title = {Formal manipulation of modular software systems},
booktitle = {Conference proceedings on Formal methods in software development,
Napa, California, USA, May 9-11, 1990},
pages = {90--99},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/99569.99825},
doi = {10.1145/99569.99825},
timestamp = {Thu, 17 Feb 2022 09:26:24 +0100},
biburl = {https://dblp.org/rec/conf/fmsd/Nord0S90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/LeePRS88,
author = {Peter Lee and
Frank Pfenning and
Gene Rollins and
William L. Scherlis},
editor = {Peter B. Henderson},
title = {The Ergo Support System: An Integrated Set of Tools for Prototyping
Integrated Environments},
booktitle = {Proceedings of the {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
on Practical Software Development Environments, Boston, Massachusetts,
USA, November 28-30, 1988},
pages = {25--34},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/64135.65006},
doi = {10.1145/64135.65006},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/sde/LeePRS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Scherlis86,
author = {William L. Scherlis},
editor = {Reidar Conradi and
Tor Didriksen and
Dag H. Wanvik},
title = {Abstract Data Types, Specialization, and Program Reuse},
booktitle = {Advanced Programming Environments, Proceedings of an International
Workshop, Trondheim, Norway, June 16-18, 1986},
series = {Lecture Notes in Computer Science},
volume = {244},
pages = {433--453},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17189-4\_112},
doi = {10.1007/3-540-17189-4\_112},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Scherlis86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JorringS86,
author = {Ulrik J{\o}rring and
William L. Scherlis},
title = {Compilers and Staging Transformations},
booktitle = {Conference Record of the Thirteenth Annual {ACM} Symposium on Principles
of Programming Languages, St. Petersburg Beach, Florida, USA, January
1986},
pages = {86--96},
publisher = {{ACM} Press},
year = {1986},
url = {https://doi.org/10.1145/512644.512652},
doi = {10.1145/512644.512652},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/JorringS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfp/1986,
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838},
doi = {10.1145/319838},
isbn = {0-89791-200-4},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/1986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/ScherlisS85,
author = {William L. Scherlis and
Dana S. Scott},
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {Semantically Based Programming Tools (Summary)},
booktitle = {Mathematical Foundations of Software Development, Proceedings of the
International Joint Conference on Theory and Practice of Software
Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
1: Colloquium on Trees in Algebra and Programming (CAAP'85)},
series = {Lecture Notes in Computer Science},
volume = {185},
pages = {52--59},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15198-2\_4},
doi = {10.1007/3-540-15198-2\_4},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/ScherlisS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ScherlisS83,
author = {William L. Scherlis and
Dana S. Scott},
editor = {R. E. A. Mason},
title = {First Steps Towards Inferential Programming},
booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
Congress, Paris, France, September 19-23, 1983},
pages = {199--212},
publisher = {North-Holland/IFIP},
year = {1983},
timestamp = {Sun, 28 Jul 2019 17:03:41 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ScherlisS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/ReifS83,
author = {John H. Reif and
William L. Scherlis},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Deriving Efficient Graph Algorithms (Summary)},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {421--441},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_378},
doi = {10.1007/3-540-12896-4\_378},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/ReifS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Scherlis81,
author = {William L. Scherlis},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Program Improvement by Internal Specialization},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {41--49},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567536},
doi = {10.1145/567532.567536},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Scherlis81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Scherlis80,
author = {William L. Scherlis},
title = {Expression procedures and program derivation},
school = {Stanford University, {USA}},
year = {1980},
url = {https://searchworks.stanford.edu/view/1010872},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Scherlis80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:27 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:
