Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: William L. Harrison
@inproceedings{DBLP:conf/nfm/HarrisonBBHLTZ23,
author = {William L. Harrison and
Ian Blumenfeld and
Eric Bond and
Chris Hathhorn and
Paul Li and
May Torrence and
Jared Ziegler},
editor = {Kristin Yvonne Rozier and
Swarat Chaudhuri},
title = {Formalized High Level Synthesis with Applications to Cryptographic
Hardware},
booktitle = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
Houston, TX, USA, May 16-18, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13903},
pages = {332--352},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33170-1\_20},
doi = {10.1007/978-3-031-33170-1\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/HarrisonBBHLTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HarrisonHA21,
author = {William L. Harrison and
Chris Hathhorn and
Gerard Allwein},
editor = {Niccol{\`{o}} Veltri and
Nick Benton and
Silvia Ghilezan},
title = {A Mechanized Semantic Metalanguage for High Level Synthesis},
booktitle = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
pages = {22:1--22:14},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3479394.3479417},
doi = {10.1145/3479394.3479417},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/HarrisonHA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HarrisonA20,
author = {William L. Harrison and
Gerard Allwein},
title = {Verifiable Security Templates for Hardware},
booktitle = {2020 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
pages = {658--661},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.23919/DATE48585.2020.9116342},
doi = {10.23919/DATE48585.2020.9116342},
timestamp = {Thu, 25 Jun 2020 12:55:44 +0200},
biburl = {https://dblp.org/rec/conf/date/HarrisonA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ReynoldsHCA20,
author = {Thomas N. Reynolds and
William L. Harrison and
Rohit Chadha and
Gerard Allwein},
editor = {James McKinna and
Cyrus Omar},
title = {Strongly bounded termination with applications to security and hardware
synthesis},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on Type-Driven
Development, TyDe@ICFP 2020, Virtual Event, USA, August 23, 2020},
pages = {1--10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3406089.3409029},
doi = {10.1145/3406089.3409029},
timestamp = {Mon, 03 Aug 2020 15:46:08 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ReynoldsHCA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ReynoldsPHA19,
author = {Thomas N. Reynolds and
Adam M. Procter and
William L. Harrison and
Gerard Allwein},
title = {The Mechanized Marriage of Effects and Monads with Applications to
High-assurance Hardware},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {18},
number = {1},
pages = {6:1--6:26},
year = {2019},
url = {https://doi.org/10.1145/3274282},
doi = {10.1145/3274282},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ReynoldsPHA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/reconfig/HarrisonA18,
author = {William L. Harrison and
Gerard Allwein},
editor = {David Andrews and
Ren{\'{e}} Cumplido and
Claudia Feregrino and
Dirk Stroobandt},
title = {Language Abstractions for Hardware-based Control-Flow Integrity Monitoring},
booktitle = {2018 International Conference on ReConFigurable Computing and FPGAs,
ReConFig 2018, Cancun, Mexico, December 3-5, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/RECONFIG.2018.8641707},
doi = {10.1109/RECONFIG.2018.8641707},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/reconfig/HarrisonA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/HarrisonA18,
author = {William L. Harrison and
Gerard Allwein},
title = {Semantics-Directed Prototyping of Hardware Runtime Monitors},
booktitle = {2018 International Symposium on Rapid System Prototyping, {RSP} 2018,
Torino, Italy, October 4-5, 2018},
pages = {42--48},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/RSP.2018.8631992},
doi = {10.1109/RSP.2018.8631992},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/rsp/HarrisonA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ProcterHGBA17,
author = {Adam M. Procter and
William L. Harrison and
Ian Graves and
Michela Becchi and
Gerard Allwein},
title = {A Principled Approach to Secure Multi-core Processor Design with ReWire},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {2},
pages = {33:1--33:25},
year = {2017},
url = {https://doi.org/10.1145/2967497},
doi = {10.1145/2967497},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ProcterHGBA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ReynoldsPHA17,
author = {Thomas N. Reynolds and
Adam M. Procter and
William L. Harrison and
Gerard Allwein},
editor = {Jean{-}Pierre Talpin and
Patricia Derler and
Klaus Schneider},
title = {A core calculus for secure hardware: its formal semantics and proof
system},
booktitle = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
September 29 - October 02, 2017},
pages = {122--131},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3127041.3127048},
doi = {10.1145/3127041.3127048},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/ReynoldsPHA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recosoc/HarrisonGPBA16,
author = {William L. Harrison and
Ian Graves and
Adam M. Procter and
Michela Becchi and
Gerard Allwein},
title = {A programming model for reconfigurable computing based in functional
concurrency},
booktitle = {11th International Symposium on Reconfigurable Communication-centric
Systems-on-Chip, ReCoSoC 2016, Tallinn, Estonia, June 27-29, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ReCoSoC.2016.7533911},
doi = {10.1109/RECOSOC.2016.7533911},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/recosoc/HarrisonGPBA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/HarrisonPA16,
author = {William L. Harrison and
Adam M. Procter and
Gerard Allwein},
title = {Model-driven design {\&} synthesis of the {SHA-256} cryptographic
hash function in rewire},
booktitle = {2016 International Symposium on Rapid System Prototyping, {RSP} 2016,
Pittsburg, PA, USA, October 6-7, 2016},
pages = {114--120},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1145/2990299.2990318},
doi = {10.1145/2990299.2990318},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/rsp/HarrisonPA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arc/GravesPHBA15,
author = {Ian Graves and
Adam M. Procter and
William L. Harrison and
Michela Becchi and
Gerard Allwein},
editor = {Kentaro Sano and
Dimitrios Soudris and
Michael H{\"{u}}bner and
Pedro C. Diniz},
title = {Hardware Synthesis from Functional Embedded Domain-Specific Languages:
{A} Case Study in Regular Expression Compilation},
booktitle = {Applied Reconfigurable Computing - 11th International Symposium, {ARC}
2015, Bochum, Germany, April 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9040},
pages = {41--52},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16214-0\_4},
doi = {10.1007/978-3-319-16214-0\_4},
timestamp = {Wed, 28 Apr 2021 16:06:56 +0200},
biburl = {https://dblp.org/rec/conf/arc/GravesPHBA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/GravesPHA15,
author = {Ian Graves and
Adam M. Procter and
William L. Harrison and
Gerard Allwein},
title = {Provably Correct Development of reconfigurable hardware designs via
equational reasoning},
booktitle = {2015 International Conference on Field Programmable Technology, {FPT}
2015, Queenstown, New Zealand, December 7-9, 2015},
pages = {160--171},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FPT.2015.7393143},
doi = {10.1109/FPT.2015.7393143},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/fpt/GravesPHA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/ProcterHGBA15,
author = {Adam M. Procter and
William L. Harrison and
Ian Graves and
Michela Becchi and
Gerard Allwein},
editor = {Sam H. Noh and
Sebastian Fischmeister and
Jason Xue},
title = {Semantics Driven Hardware Design, Implementation, and Verification
with ReWire},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers and Tools for Embedded Systems, {LCTES} 2015, CD-ROM, Portland,
OR, USA, June 18 - 19, 2015},
pages = {13:1--13:10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2670529.2754970},
doi = {10.1145/2670529.2754970},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/ProcterHGBA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/ProcterHGBA13,
author = {Adam M. Procter and
William L. Harrison and
Ian Graves and
Michela Becchi and
Gerard Allwein},
title = {Semantics-directed machine architecture in ReWire},
booktitle = {2013 International Conference on Field-Programmable Technology, {FPT}
2013, Kyoto, Japan, December 9-11, 2013},
pages = {446--449},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FPT.2013.6718410},
doi = {10.1109/FPT.2013.6718410},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/fpt/ProcterHGBA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HarrisonPA12,
author = {William L. Harrison and
Adam M. Procter and
Gerard Allwein},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {The Confinement Problem in the Presence of Faults},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {182--197},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_15},
doi = {10.1007/978-3-642-34281-3\_15},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/HarrisonPA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/ProcterHS12,
author = {Adam M. Procter and
William L. Harrison and
Aaron Stump},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {The Design of a Practical Proof Checker for a Lazy Functional Language},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {117--132},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_8},
doi = {10.1007/978-3-642-40447-4\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/ProcterHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1211-6193,
author = {Chris Hathhorn and
Michela Becchi and
William L. Harrison and
Adam M. Procter},
editor = {Franck Cassez and
Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Formal Semantics of Heterogeneous {CUDA-C:} {A} Modular Approach with
Applications},
booktitle = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
2012, Sydney, Australia, 28-30 November 2012},
series = {{EPTCS}},
volume = {102},
pages = {115--124},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.102.11},
doi = {10.4204/EPTCS.102.11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-6193.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/AllweinH10,
author = {Gerard Allwein and
William L. Harrison},
editor = {Lev D. Beklemishev and
Valentin Goranko and
Valentin B. Shehtman},
title = {Partially-ordered Modalities},
booktitle = {Advances in Modal Logic 8, papers from the eighth conference on "Advances
in Modal Logic," held in Moscow, Russia, 24-27 August 2010},
pages = {1--21},
publisher = {College Publications},
year = {2010},
url = {http://www.aiml.net/volumes/volume8/Allwein-Harrison.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:31 +0100},
biburl = {https://dblp.org/rec/conf/aiml/AllweinH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/HarrisonH09,
author = {William L. Harrison and
James Hook},
title = {Achieving information flow security through monadic control of effects},
journal = {J. Comput. Secur.},
volume = {17},
number = {5},
pages = {599--653},
year = {2009},
url = {https://doi.org/10.3233/JCS-2009-0356},
doi = {10.3233/JCS-2009-0356},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/HarrisonH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsl/HarrisonPAKA09,
author = {William L. Harrison and
Adam M. Procter and
Jason Agron and
Garrin Kimmell and
Gerard Allwein},
editor = {Walid Mohamed Taha},
title = {Model-Driven Engineering from Modular Monadic Semantics: Implementation
Techniques Targeting Hardware and Software},
booktitle = {Domain-Specific Languages, {IFIP} {TC} 2 Working Conference, {DSL}
2009, Oxford, UK, July 15-17, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5658},
pages = {20--44},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03034-5\_2},
doi = {10.1007/978-3-642-03034-5\_2},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/dsl/HarrisonPAKA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdmb/FuWHH08,
author = {Xuezheng Fu and
Hao Wang and
Robert W. Harrison and
William L. Harrison},
title = {A rule-based approach for {RNA} pseudoknot prediction},
journal = {Int. J. Data Min. Bioinform.},
volume = {2},
number = {1},
pages = {78--93},
year = {2008},
url = {https://doi.org/10.1504/IJDMB.2008.016757},
doi = {10.1504/IJDMB.2008.016757},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijdmb/FuWHH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/KariotisPH08,
author = {Pericles S. Kariotis and
Adam M. Procter and
William L. Harrison},
editor = {Andy Gill},
title = {Making monads first-class with template haskell},
booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2008, Victoria, BC, Canada, 25 September 2008},
pages = {99--110},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411286.1411300},
doi = {10.1145/1411286.1411300},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/haskell/KariotisPH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HarrisonAGP08,
author = {William L. Harrison and
Gerard Allwein and
Andy Gill and
Adam M. Procter},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Asynchronous Exceptions as an Effect},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {153--176},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_10},
doi = {10.1007/978-3-540-70594-9\_10},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/HarrisonAGP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Harrison06,
author = {William L. Harrison},
editor = {Michael Johnson and
Varmo Vene},
title = {The Essence of Multitasking},
booktitle = {Algebraic Methodology and Software Technology, 11th International
Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4019},
pages = {158--172},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11784180\_14},
doi = {10.1007/11784180\_14},
timestamp = {Sun, 25 Oct 2020 23:16:26 +0100},
biburl = {https://dblp.org/rec/conf/amast/Harrison06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Harrison06,
author = {William L. Harrison},
editor = {Naoki Kobayashi},
title = {Proof Abstraction for Imperative Languages},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4279},
pages = {97--113},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11924661\_6},
doi = {10.1007/11924661\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Harrison06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HarrisonK05,
author = {William L. Harrison and
Richard B. Kieburtz},
title = {The logic of demand in Haskell},
journal = {J. Funct. Program.},
volume = {15},
number = {5},
pages = {837--891},
year = {2005},
url = {https://doi.org/10.1017/S0956796805005666},
doi = {10.1017/S0956796805005666},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HarrisonK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Harrison05,
author = {William L. Harrison},
editor = {Kwangkeun Yi},
title = {A Simple Semantics for Polymorphic Recursion},
booktitle = {Programming Languages and Systems, Third Asian Symposium, {APLAS}
2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3780},
pages = {37--51},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575467\_4},
doi = {10.1007/11575467\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Harrison05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibe/FuWHH05,
author = {Xuezheng Fu and
Hao Wang and
William L. Harrison and
Robert W. Harrison},
title = {{RNA} Pseudoknot Prediction Using Term Rewriting},
booktitle = {Fifth {IEEE} International Symposium on Bioinformatic and Bioengineering
{(BIBE} 2005), 19-21 October 2005, Minneapolis, MN, {USA}},
pages = {169--176},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/BIBE.2005.50},
doi = {10.1109/BIBE.2005.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibe/FuWHH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HarrisonH05,
author = {William L. Harrison and
James Hook},
title = {Achieving Information Flow Security through Precise Control of Effects},
booktitle = {18th {IEEE} Computer Security Foundations Workshop, {(CSFW-18} 2005),
20-22 June 2005, Aix-en-Provence, France},
pages = {16--30},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CSFW.2005.6},
doi = {10.1109/CSFW.2005.6},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/HarrisonH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HarrisonSH02,
author = {William L. Harrison and
Tim Sheard and
James Hook},
editor = {Eerke A. Boiten and
Bernhard M{\"{o}}ller},
title = {Fine Control of Demand in Haskell},
booktitle = {Mathematics of Program Construction, 6th International Conference,
{MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2386},
pages = {68--93},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45442-X\_6},
doi = {10.1007/3-540-45442-X\_6},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/HarrisonSH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Harrison01,
author = {William L. Harrison},
title = {Modular Compilers and Their Correctness Proofs},
school = {University of Illinois Urbana-Champaign, {USA}},
year = {2001},
url = {https://hdl.handle.net/2142/81573},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Harrison01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/HarrisonS01,
author = {William L. Harrison and
Tim Sheard},
editor = {Walid Taha},
title = {Dynamically Adaptable Software with Metacomputations in a Staged Language},
booktitle = {Semantics, Applications, and Implementation of Program Generation,
Second International Workshop, {SAIG} 2001, Florence, Italy, September
6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2196},
pages = {163--182},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44806-3\_10},
doi = {10.1007/3-540-44806-3\_10},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/saig/HarrisonS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HarrisonK00,
author = {William L. Harrison and
Samuel N. Kamin},
editor = {Roland Carl Backhouse and
Jos{\'{e}} Nuno Oliveira},
title = {Metacomputation-Based Compiler Architecture},
booktitle = {Mathematics of Program Construction, 5th International Conference,
{MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1837},
pages = {213--229},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722010\_14},
doi = {10.1007/10722010\_14},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/HarrisonK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/HarrisonK98,
author = {William L. Harrison and
Samuel N. Kamin},
title = {Modular Compilers Based on Monad Transformers},
booktitle = {Proceedings of the 1998 International Conference on Computer Languages,
{ICCL} 1998, Chicago, IL, USA, May 14-16, 1998},
pages = {122--131},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICCL.1998.674163},
doi = {10.1109/ICCL.1998.674163},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/HarrisonK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacis/ChouCH95,
author = {Huey{-}Wen Chou and
James R. Coakley and
William L. Harrison},
title = {End User Computing Management Practice s in Taiwan and the {U.S}},
booktitle = {The Second Pacific Asia Conference on Information Systems, {PACIS}
1995, Singapore, June 29 - July 2, 1995},
pages = {96},
publisher = {AISeL},
year = {1995},
url = {http://aisel.aisnet.org/pacis1995/96},
timestamp = {Sat, 03 Mar 2012 14:38:49 +0100},
biburl = {https://dblp.org/rec/conf/pacis/ChouCH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HarrisonAL92,
author = {William L. Harrison and
Myla Archer and
Karl N. Levitt},
editor = {Luc J. M. Claesen and
Michael J. C. Gordon},
title = {A {HOL} Mechanisation of the Axiomatic Semantics of a Simple Distributed
Programming Language},
booktitle = {Higher Order Logic Theorem Proving and its Applications, Proceedings
of the {IFIP} {TC10/WG10.2} Workshop HOL'92, Leuven, Belgium, 21-24
September 1992},
series = {{IFIP} Transactions},
volume = {{A-20}},
pages = {347--356},
publisher = {North-Holland/Elsevier},
year = {1992},
timestamp = {Thu, 03 Jan 2002 12:10:28 +0100},
biburl = {https://dblp.org/rec/conf/tphol/HarrisonAL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HarrisonL91,
author = {William L. Harrison and
Karl N. Levitt},
editor = {Myla Archer and
Jeffrey J. Joyce and
Karl N. Levitt and
Phillip J. Windley},
title = {Mechanizing Security in {HOL}},
booktitle = {Proceedings of the 1991 International Workshop on the {HOL} Theorem
Proving System and its Applications, August 1991, Davis, California,
{USA}},
pages = {63--66},
publisher = {{IEEE} Computer Society},
year = {1991},
timestamp = {Wed, 17 Apr 2002 08:13:51 +0200},
biburl = {https://dblp.org/rec/conf/tphol/HarrisonL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iam/HarrisonF90,
author = {William L. Harrison and
Cheng{-}Kiang Farn},
title = {A comparison of information management issues in the United States
of America and the Republic of China},
journal = {Inf. Manag.},
volume = {18},
number = {4},
pages = {177--188},
year = {1990},
url = {https://doi.org/10.1016/0378-7206(90)90038-J},
doi = {10.1016/0378-7206(90)90038-J},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iam/HarrisonF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iam/HarrisonD87,
author = {William L. Harrison and
Mary Ellen E. Dick},
title = {An investigation of microcomputer policies in large organizations},
journal = {Inf. Manag.},
volume = {12},
number = {5},
pages = {223--233},
year = {1987},
url = {https://doi.org/10.1016/0378-7206(87)90001-2},
doi = {10.1016/0378-7206(87)90001-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iam/HarrisonD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/misq/FelixH84,
author = {Robert G. Felix and
William L. Harrison},
title = {Project Management Considerations for Distributed Processing Applications},
journal = {{MIS} Q.},
volume = {8},
number = {3},
pages = {161--170},
year = {1984},
url = {http://misq.org/project-management-considerations-for-distributed-processing-applications.html},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/misq/FelixH84.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-21 17:25 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:
