Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alan Mycroft
@article{DBLP:journals/lmcs/McDermottM24,
author = {Dylan McDermott and
Alan Mycroft},
title = {Galois connecting call-by-value and call-by-name},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {1},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(1:13)2024},
doi = {10.46298/LMCS-20(1:13)2024},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/McDermottM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ais/SilvaM23,
author = {Lavindra de Silva and
Alan Mycroft},
title = {Toward trustworthy programming for autonomous concurrent systems},
journal = {{AI} Soc.},
volume = {38},
number = {2},
pages = {963--965},
year = {2023},
url = {https://doi.org/10.1007/s00146-022-01463-6},
doi = {10.1007/S00146-022-01463-6},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ais/SilvaM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/JaiswalKM21,
author = {Swati Jaiswal and
Uday P. Khedker and
Alan Mycroft},
title = {A Unified Model for Context-Sensitive Program Analyses: : The Blind
Men and the Elephant},
journal = {{ACM} Comput. Surv.},
volume = {54},
number = {6},
pages = {114:1--114:37},
year = {2022},
url = {https://doi.org/10.1145/3456563},
doi = {10.1145/3456563},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/JaiswalKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/McDermottM22,
author = {Dylan McDermott and
Alan Mycroft},
editor = {Amy P. Felty},
title = {Galois Connecting Call-by-Value and Call-by-Name},
booktitle = {7th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {228},
pages = {32:1--32:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.32},
doi = {10.4230/LIPICS.FSCD.2022.32},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/McDermottM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-08246,
author = {Dylan McDermott and
Alan Mycroft},
title = {Galois connecting call-by-value and call-by-name},
journal = {CoRR},
volume = {abs/2202.08246},
year = {2022},
url = {https://arxiv.org/abs/2202.08246},
eprinttype = {arXiv},
eprint = {2202.08246},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-08246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OrtonM21,
author = {Indigo Orton and
Alan Mycroft},
editor = {David R. Cok},
title = {Source code patches from dynamic analysis},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {1--8},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468416},
doi = {10.1145/3464971.3468416},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/OrtonM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OrtonM21a,
author = {Indigo Orton and
Alan Mycroft},
editor = {David R. Cok},
title = {Refactoring traces to identify concurrency improvements},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {16--23},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468420},
doi = {10.1145/3464971.3468420},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/OrtonM21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/AinsworthZM021,
author = {Sam Ainsworth and
Lionel Zoubritzky and
Alan Mycroft and
Timothy M. Jones},
title = {ParaDox: Eliminating Voltage Margins via Heterogeneous Fault Tolerance},
booktitle = {{IEEE} International Symposium on High-Performance Computer Architecture,
{HPCA} 2021, Seoul, South Korea, February 27 - March 3, 2021},
pages = {520--532},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/HPCA51647.2021.00051},
doi = {10.1109/HPCA51647.2021.00051},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpca/AinsworthZM021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/OrtonM21,
author = {Indigo Orton and
Alan Mycroft},
editor = {Herbert Kuchen and
Jeremy Singer},
title = {Tracing and its observer effect on concurrency},
booktitle = {{MPLR} '21: 18th {ACM} {SIGPLAN} International Conference on Managed
Programming Languages and Runtimes, M{\"{u}}nster, Germany, September
29-30, 2021},
pages = {88--96},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3475738.3480940},
doi = {10.1145/3475738.3480940},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pppj/OrtonM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/Rodriguez-Prieto20,
author = {Oscar Rodriguez{-}Prieto and
Alan Mycroft and
Francisco Ortin},
title = {An Efficient and Scalable Platform for Java Source Code Analysis Using
Overlaid Graph Representations},
journal = {{IEEE} Access},
volume = {8},
pages = {72239--72260},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.2987631},
doi = {10.1109/ACCESS.2020.2987631},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/Rodriguez-Prieto20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GharatKM20,
author = {Pritam M. Gharat and
Uday P. Khedker and
Alan Mycroft},
title = {Generalized Points-to Graphs: {A} Precise and Scalable Abstraction
for Points-to Analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {2},
pages = {8:1--8:78},
year = {2020},
url = {https://doi.org/10.1145/3382092},
doi = {10.1145/3382092},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/GharatKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/IvaskovicMO20,
author = {Andrej Ivaskovic and
Alan Mycroft and
Dominic Orchard},
editor = {Zena M. Ariola},
title = {Data-Flow Analyses as Effects and Graded Monads},
booktitle = {5th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual
Conference)},
series = {LIPIcs},
volume = {167},
pages = {15:1--15:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.15},
doi = {10.4230/LIPICS.FSCD.2020.15},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/IvaskovicMO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/IvaskovicM20,
author = {Andrej Ivaskovic and
Alan Mycroft},
editor = {Tom Schrijvers},
title = {A graded Monad for deadlock-free concurrency (functional pearl)},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020},
pages = {17--30},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3406088.3409024},
doi = {10.1145/3406088.3409024},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/IvaskovicM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/McDermottM19,
author = {Dylan McDermott and
Alan Mycroft},
editor = {Lu{\'{\i}}s Caires},
title = {Extended Call-by-Push-Value: Reasoning About Effectful Programs and
Evaluation Order},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {235--262},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_9},
doi = {10.1007/978-3-030-17184-1\_9},
timestamp = {Fri, 31 Jan 2020 21:32:28 +0100},
biburl = {https://dblp.org/rec/conf/esop/McDermottM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/ChatleyDM19,
author = {Robert Chatley and
Alastair F. Donaldson and
Alan Mycroft},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {The Next 7000 Programming Languages},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {250--282},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_15},
doi = {10.1007/978-3-319-91908-9\_15},
timestamp = {Tue, 12 Sep 2023 07:58:41 +0200},
biburl = {https://dblp.org/rec/series/lncs/ChatleyDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cejcs/McDermottM18,
author = {Dylan McDermott and
Alan Mycroft},
title = {Call-by-need effects via coeffects},
journal = {Open Comput. Sci.},
volume = {8},
number = {1},
pages = {93--108},
year = {2018},
url = {https://doi.org/10.1515/comp-2018-0009},
doi = {10.1515/COMP-2018-0009},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cejcs/McDermottM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-09189,
author = {Pritam M. Gharat and
Uday P. Khedker and
Alan Mycroft},
title = {Generalized Points-to Graphs: {A} New Abstraction of Memory in the
Presence of Pointers},
journal = {CoRR},
volume = {abs/1801.09189},
year = {2018},
url = {http://arxiv.org/abs/1801.09189},
eprinttype = {arXiv},
eprint = {1801.09189},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-09189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DolanM17,
author = {Stephen Dolan and
Alan Mycroft},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Polymorphism, subtyping, and type inference in MLsub},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {60--72},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009882},
doi = {10.1145/3009837.3009882},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/DolanM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MycroftOP16,
author = {Alan Mycroft and
Dominic A. Orchard and
Tomas Petricek},
editor = {Christian W. Probst and
Chris Hankin and
Ren{\'{e}} Rydhof Hansen},
title = {Effect Systems Revisited - Control-Flow Algebra and Semantics},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
and Flemming Nielson on the Occasion of Their 60th Birthdays},
series = {Lecture Notes in Computer Science},
volume = {9560},
pages = {1--32},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27810-0\_1},
doi = {10.1007/978-3-319-27810-0\_1},
timestamp = {Tue, 21 Mar 2023 20:58:42 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MycroftOP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GharatKM16,
author = {Pritam M. Gharat and
Uday P. Khedker and
Alan Mycroft},
editor = {Xavier Rival},
title = {Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To
Graphs},
booktitle = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
UK, September 8-10, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9837},
pages = {212--236},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53413-7\_11},
doi = {10.1007/978-3-662-53413-7\_11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/GharatKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/UrmaM15,
author = {Raoul{-}Gabriel Urma and
Alan Mycroft},
title = {Source-code queries with graph databases - with application to programming
language usage and evolution},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {127--134},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.010},
doi = {10.1016/J.SCICO.2013.11.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/UrmaM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/SomanMMJ15,
author = {Jyothish Soman and
Negar Miralaei and
Alan Mycroft and
Timothy M. Jones},
title = {{REPAIR:} Hard-error recovery via re-execution},
booktitle = {2015 {IEEE} International Symposium on Defect and Fault Tolerance
in {VLSI} and Nanotechnology Systems, {DFTS} 2015, Amherst, MA, USA,
October 12-14, 2015},
pages = {76--79},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/DFT.2015.7315139},
doi = {10.1109/DFT.2015.7315139},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dft/SomanMMJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/AsatiSKM14,
author = {Rahul Asati and
Amitabha Sanyal and
Amey Karkare and
Alan Mycroft},
editor = {Albert Cohen},
title = {Liveness-Based Garbage Collection},
booktitle = {Compiler Construction - 23rd International Conference, {CC} 2014,
Held as Part of the European Joint Conferences on Theory and Practice
of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8409},
pages = {85--106},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54807-9\_5},
doi = {10.1007/978-3-642-54807-9\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/AsatiSKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/UrmaOM14,
author = {Raoul{-}Gabriel Urma and
Dominic A. Orchard and
Alan Mycroft},
editor = {Raoul{-}Gabriel Urma and
Dominic A. Orchard and
Alan Mycroft},
title = {Programming language evolution workshop report},
booktitle = {Proceedings of the 1st Workshop on Programming Language Evolution,
PLE@ECOOP 2014, Uppsala, Sweden, July 28, 2014},
pages = {1--3},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2717124.2717125},
doi = {10.1145/2717124.2717125},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/UrmaOM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PetricekOM14,
author = {Tomas Petricek and
Dominic A. Orchard and
Alan Mycroft},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Coeffects: a calculus of context-dependent computation},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {123--135},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628160},
doi = {10.1145/2628136.2628160},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/PetricekOM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ProustM14,
author = {Rapha{\"{e}}l Proust and
Alan Mycroft},
editor = {Andrew P. Black and
Shriram Krishnamurthi and
Bernd Bruegge and
Joseph N. Ruskiewicz},
title = {It's Only Illegal If You Get Caught: Breaking Invariants and Getting
Away with It},
booktitle = {Onward! 2014, Proceedings of the 2014 {ACM} International Symposium
on New Ideas, New Paradigms, and Reflections on Programming {\&}
Software, part of {SPLASH} '14, Portland, OR, USA, October 20-24,
2014},
pages = {163--171},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661136.2661142},
doi = {10.1145/2661136.2661142},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ProustM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2014ple,
editor = {Raoul{-}Gabriel Urma and
Dominic A. Orchard and
Alan Mycroft},
title = {Proceedings of the 1st Workshop on Programming Language Evolution,
PLE@ECOOP 2014, Uppsala, Sweden, July 28, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2717124},
isbn = {978-1-4503-2887-6},
timestamp = {Tue, 24 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2014ple.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/OrchardPM14,
author = {Dominic A. Orchard and
Tomas Petricek and
Alan Mycroft},
title = {The semantic marriage of monads and effects},
journal = {CoRR},
volume = {abs/1401.5391},
year = {2014},
url = {http://arxiv.org/abs/1401.5391},
eprinttype = {arXiv},
eprint = {1401.5391},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/OrchardPM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/VoigtM13,
author = {Janina Voigt and
Alan Mycroft},
editor = {Chung{-}chieh Shan},
title = {Dynamic Alias Protection with Aliasing Contracts},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {140--155},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_10},
doi = {10.1007/978-3-319-03542-0\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/VoigtM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PetricekOM13,
author = {Tomas Petricek and
Dominic A. Orchard and
Alan Mycroft},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {Coeffects: Unified Static Analysis of Context-Dependence},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {385--397},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_35},
doi = {10.1007/978-3-642-39212-2\_35},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PetricekOM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/KhooMA13,
author = {Wei Ming Khoo and
Alan Mycroft and
Ross J. Anderson},
editor = {Thomas Zimmermann and
Massimiliano Di Penta and
Sunghun Kim},
title = {Rendezvous: a search engine for binary code},
booktitle = {Proceedings of the 10th Working Conference on Mining Software Repositories,
{MSR} '13, San Francisco, CA, USA, May 18-19, 2013},
pages = {329--338},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/MSR.2013.6624046},
doi = {10.1109/MSR.2013.6624046},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msr/KhooMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/WhiteM13,
author = {Leo White and
Alan Mycroft},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Concise Analysis Using Implication Algebras for Task-Local Memory
Optimisation},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {433--453},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_23},
doi = {10.1007/978-3-642-38856-9\_23},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/WhiteM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MycroftV13,
author = {Alan Mycroft and
Janina Voigt},
editor = {Dave Clarke and
James Noble and
Tobias Wrigstad},
title = {Notions of Aliasing and Ownership},
booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
series = {Lecture Notes in Computer Science},
volume = {7850},
pages = {59--83},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36946-9\_4},
doi = {10.1007/978-3-642-36946-9\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/MycroftV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Mycroft13,
author = {Alan Mycroft},
editor = {Dave Clarke and
James Noble and
Tobias Wrigstad},
title = {Aliasing Visions: Ownership and Location},
booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
series = {Lecture Notes in Computer Science},
volume = {7850},
pages = {503--504},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36946-9\_18},
doi = {10.1007/978-3-642-36946-9\_18},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/Mycroft13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/OrchardM12,
author = {Dominic A. Orchard and
Alan Mycroft},
editor = {Ralf Hinze},
title = {A Notation for Comonads},
booktitle = {Implementation and Application of Functional Languages - 24th International
Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8241},
pages = {1--17},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-41582-1\_1},
doi = {10.1007/978-3-642-41582-1\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/OrchardM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BogholmTLM12,
author = {Thomas B{\o}gholm and
Bent Thomsen and
Kim G. Larsen and
Alan Mycroft},
editor = {Chunming Hu and
Gabor Karsai and
Jie Xu and
Andreas Polze and
Ji Wang and
Andy J. Wellings},
title = {Schedulability Analysis Abstractions for Safety Critical Java},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2012, Shenzhen, China, April
11-13, 2012},
pages = {71--78},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORC.2012.18},
doi = {10.1109/ISORC.2012.18},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/BogholmTLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/UrmaM12,
author = {Raoul{-}Gabriel Urma and
Alan Mycroft},
editor = {Emerson R. Murphy{-}Hill and
Caitlin Sadowski and
Shane Markstrum},
title = {Programming language evolution via source code query languages},
booktitle = {Proceedings of the {ACM} 4th Annual Workshop on Evaluation and Usability
of Programming Languages and Tools, {PLATEAU} 2012, Tucson, AZ, USA,
October 21, 2012},
pages = {35--38},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2414721.2414728},
doi = {10.1145/2414721.2414728},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/UrmaM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CalvertM12,
author = {Peter Calvert and
Alan Mycroft},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Control Flow Analysis for the Join Calculus},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {181--197},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_14},
doi = {10.1007/978-3-642-33125-1\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/CalvertM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KhedkerMR12,
author = {Uday P. Khedker and
Alan Mycroft and
Prashant Singh Rawat},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Liveness-Based Pointer Analysis},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {265--282},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_19},
doi = {10.1007/978-3-642-33125-1\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/KhedkerMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1302-6329,
author = {Peter Calvert and
Alan Mycroft},
editor = {Simon J. Gay and
Paul Kelly},
title = {Mapping the Join Calculus to Heterogeneous Hardware},
booktitle = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
31 March 2012},
series = {{EPTCS}},
volume = {109},
pages = {7--12},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.109.2},
doi = {10.4204/EPTCS.109.2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6329.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/KingMRS12,
author = {Andy King and
Alan Mycroft and
Thomas W. Reps and
Axel Simon},
title = {Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar
12051)},
journal = {Dagstuhl Reports},
volume = {2},
number = {1},
pages = {100--116},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.1.100},
doi = {10.4230/DAGREP.2.1.100},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/KingMRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/KatsiriM11,
author = {Eleftheria Katsiri and
Alan Mycroft},
title = {Linking temporal first-order logic with Bayesian networks for the
simulation of pervasive computing systems},
journal = {Simul. Model. Pract. Theory},
volume = {19},
number = {1},
pages = {161--180},
year = {2011},
url = {https://doi.org/10.1016/j.simpat.2010.06.002},
doi = {10.1016/J.SIMPAT.2010.06.002},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/simpra/KatsiriM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/CalvertM11,
author = {Peter Calvert and
Alan Mycroft},
editor = {Emmanuel Jeannot and
Raymond Namyst and
Jean Roman},
title = {Petri-nets as an Intermediate Representation for Heterogeneous Architectures},
booktitle = {Euro-Par 2011 Parallel Processing - 17th International Conference,
Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6853},
pages = {226--237},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23397-5\_22},
doi = {10.1007/978-3-642-23397-5\_22},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/CalvertM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/Mycroft11,
author = {Alan Mycroft},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
title = {Isolation Types and Multi-core Architectures},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7421},
pages = {33--48},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31762-0\_4},
doi = {10.1007/978-3-642-31762-0\_4},
timestamp = {Mon, 26 Jun 2023 20:49:01 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/Mycroft11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/PetricekMS11,
author = {Tomas Petricek and
Alan Mycroft and
Don Syme},
editor = {Koen Claessen},
title = {Extending monads with pattern matching},
booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2011, Tokyo, Japan, 22 September 2011},
pages = {1--12},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034675.2034677},
doi = {10.1145/2034675.2034677},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/PetricekMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icppw/MakM11,
author = {Jonathan Chee Heng Mak and
Alan Mycroft},
editor = {Jang{-}Ping Sheu and
Cho{-}Li Wang},
title = {Critical-Path-Guided Interactive Parallelisation},
booktitle = {2011 International Conference on Parallel Processing Workshops, {ICPPW}
2011, Taipei, Taiwan, Sept. 13-16, 2011},
pages = {427--436},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICPPW.2011.26},
doi = {10.1109/ICPPW.2011.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icppw/MakM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-0777,
author = {Dominic A. Orchard and
Alan Mycroft},
editor = {Olivier Danvy and
Chung{-}chieh Shan},
title = {Efficient and Correct Stencil Computation via Pattern Matching and
Static Typing},
booktitle = {Proceedings {IFIP} Working Conference on Domain-Specific Languages,
{DSL} 2011, Bordeaux, France, 6-8th September 2011},
series = {{EPTCS}},
volume = {66},
pages = {68--92},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.66.4},
doi = {10.4204/EPTCS.66.4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-0777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-5000,
author = {Uday P. Khedker and
Alan Mycroft and
Prashant Singh Rawat},
title = {Lazy Pointer Analysis},
journal = {CoRR},
volume = {abs/1112.5000},
year = {2011},
url = {http://arxiv.org/abs/1112.5000},
eprinttype = {arXiv},
eprint = {1112.5000},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-5000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/KatsiriBM10,
author = {Eleftheria Katsiri and
Jean Bacon and
Alan Mycroft},
title = {Linking Temporal First Order Logic and Hidden Markov Models with Abstract
Events},
journal = {Int. J. Artif. Intell. Tools},
volume = {19},
number = {6},
pages = {857--893},
year = {2010},
url = {https://doi.org/10.1142/S0218213010000443},
doi = {10.1142/S0218213010000443},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/KatsiriBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/MakFJM10,
author = {Jonathan Chee Heng Mak and
Karl{-}Filip Fax{\'{e}}n and
Sverker Janson and
Alan Mycroft},
editor = {Pasqua D'Ambra and
Mario Rosario Guarracino and
Domenico Talia},
title = {Estimating and Exploiting Potential Parallelism by Source-Level Dependence
Profiling},
booktitle = {Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference,
Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6271},
pages = {26--37},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15277-1\_4},
doi = {10.1007/978-3-642-15277-1\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/MakFJM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/OrchardBM10,
author = {Dominic A. Orchard and
Max Bolingbroke and
Alan Mycroft},
editor = {Leaf Petersen and
Enrico Pontelli},
title = {Ypnos: declarative, parallel structured grid programming},
booktitle = {Proceedings of the {POPL} 2010 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2010, Madrid, Spain, January 19, 2010},
pages = {15--24},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1708046.1708053},
doi = {10.1145/1708046.1708053},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/OrchardBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FeiginM10,
author = {Boris Feigin and
Alan Mycroft},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Formally Efficient Program Instrumentation},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {245--252},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_19},
doi = {10.1007/978-3-642-16612-9\_19},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/FeiginM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SchrijversM10,
author = {Tom Schrijvers and
Alan Mycroft},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Strictness Meets Data Flow},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {439--454},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_27},
doi = {10.1007/978-3-642-15769-1\_27},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SchrijversM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1110-3853,
editor = {Kohei Honda and
Alan Mycroft},
title = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
21st March 2010},
series = {{EPTCS}},
volume = {69},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.69},
doi = {10.4204/EPTCS.69},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-3853.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/GrayM09,
author = {Kathryn E. Gray and
Alan Mycroft},
editor = {Marsha Chechik and
Martin Wirsing},
title = {Logical Testing},
booktitle = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5503},
pages = {186--200},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_13},
doi = {10.1007/978-3-642-00593-0\_13},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/GrayM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MakM09,
author = {Jonathan Chee Heng Mak and
Alan Mycroft},
editor = {Ben Liblit and
Andy Podgurski},
title = {Limits of parallelism using dynamic dependency graphs},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2009), {WODA} 2009, Chicago,
IL, USA, July, 2009},
pages = {42--48},
year = {2009},
url = {https://doi.org/10.1145/2134243.2134253},
doi = {10.1145/2134243.2134253},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/MakM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/OanceaMW09,
author = {Cosmin E. Oancea and
Alan Mycroft and
Stephen M. Watt},
editor = {Hillel Kolodner and
Guy L. Steele Jr.},
title = {A new approach to parallelising tracing algorithms},
booktitle = {Proceedings of the 8th International Symposium on Memory Management,
{ISMM} 2009, Dublin, Ireland, June 19-20, 2009},
pages = {10--19},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542431.1542434},
doi = {10.1145/1542431.1542434},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/OanceaMW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/OanceaMH09,
author = {Cosmin E. Oancea and
Alan Mycroft and
Tim Harris},
editor = {Friedhelm Meyer auf der Heide and
Michael A. Bender},
title = {A lightweight in-place implementation for software thread-level speculation},
booktitle = {{SPAA} 2009: Proceedings of the 21st Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Calgary, Alberta, Canada, August
11-13, 2009},
pages = {223--232},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1583991.1584050},
doi = {10.1145/1583991.1584050},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spaa/OanceaMH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SrinivasanM08,
author = {Sriram Srinivasan and
Alan Mycroft},
editor = {Jan Vitek},
title = {Kilim: Isolation-Typed Actors for Java},
booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
pages = {104--128},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5\_6},
doi = {10.1007/978-3-540-70592-5\_6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SrinivasanM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DaviesBM08,
author = {Jonathan J. Davies and
Alastair R. Beresford and
Alan Mycroft},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {Language-Based Optimisation of Sensor-Driven Distributed Computing
Applications},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {407--422},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_30},
doi = {10.1007/978-3-540-78743-3\_30},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/DaviesBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/OanceaM08,
author = {Cosmin E. Oancea and
Alan Mycroft},
editor = {Victor Pankratius and
Walter F. Tichy},
title = {Software thread-level speculation: an optimistic library implementation},
booktitle = {Proceedings of the 1st International Workshop on Multicore Software
Engineering, {IWMSE} '08, Leipzig, Germany, May 11, 2008},
pages = {23--32},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370082.1370090},
doi = {10.1145/1370082.1370090},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/OanceaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/OanceaM08,
author = {Cosmin E. Oancea and
Alan Mycroft},
editor = {Jos{\'{e}} Nelson Amaral},
title = {Set-Congruence Dynamic Analysis for Thread-Level Speculation {(TLS)}},
booktitle = {Languages and Compilers for Parallel Computing, 21th International
Workshop, {LCPC} 2008, Edmonton, Canada, July 31 - August 2, 2008,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5335},
pages = {156--171},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89740-8\_11},
doi = {10.1007/978-3-540-89740-8\_11},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/OanceaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/FeiginM08,
author = {Boris Feigin and
Alan Mycroft},
editor = {Robert Gl{\"{u}}ck and
Oege de Moor},
title = {Jones optimality and hardware virtualization: a report on work in
progress},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco,
California, USA, January 7-8, 2008},
pages = {169--175},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328408.1328433},
doi = {10.1145/1328408.1328433},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/FeiginM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpcc/KatsiriBM07,
author = {Eleftheria Katsiri and
Jean Bacon and
Alan Mycroft},
title = {{SCAFOS:} linking sensor data to context-aware applications using
abstract events},
journal = {Int. J. Pervasive Comput. Commun.},
volume = {3},
number = {4},
pages = {347--377},
year = {2007},
url = {https://doi.org/10.1108/17427370710863112},
doi = {10.1108/17427370710863112},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpcc/KatsiriBM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ThompsonM07,
author = {Sarah Thompson and
Alan Mycroft},
title = {Abstract interpretation of combinational asynchronous circuits},
journal = {Sci. Comput. Program.},
volume = {64},
number = {1},
pages = {166--183},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.03.007},
doi = {10.1016/J.SCICO.2006.03.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ThompsonM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/OanceaM07,
author = {Cosmin E. Oancea and
Alan Mycroft},
title = {A Lightweight Model for Software Thread-Level Speculation {(TLS)}},
booktitle = {16th International Conference on Parallel Architectures and Compilation
Techniques {(PACT} 2007), Brasov, Romania, September 15-19, 2007},
pages = {419},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/PACT.2007.6},
doi = {10.1109/PACT.2007.6},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEpact/OanceaM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/LokhmotovMR07,
author = {Anton Lokhmotov and
Alan Mycroft and
Andrew Richards},
editor = {Anne{-}Marie Kermarrec and
Luc Boug{\'{e}} and
Thierry Priol},
title = {Delayed Side-Effects Ease Multi-core Programming},
booktitle = {Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference,
Rennes, France, August 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4641},
pages = {641--650},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74466-5\_68},
doi = {10.1007/978-3-540-74466-5\_68},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/LokhmotovMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/LokhmotovGMHS07,
author = {Anton Lokhmotov and
Benedict R. Gaster and
Alan Mycroft and
Neil Hickey and
David Stuttard},
editor = {Vikram S. Adve and
Mar{\'{\i}}a Jes{\'{u}}s Garzar{\'{a}}n and
Paul Petersen},
title = {Revisiting {SIMD} Programming},
booktitle = {Languages and Compilers for Parallel Computing, 20th International
Workshop, {LCPC} 2007, Urbana, IL, USA, October 11-13, 2007, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5234},
pages = {32--46},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85261-2\_3},
doi = {10.1007/978-3-540-85261-2\_3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/LokhmotovGMHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/IwasawaM07,
author = {Kyoko Iwasawa and
Alan Mycroft},
editor = {David S. Munro and
Hong Shen and
Quan Z. Sheng and
Henry Detmold and
Katrina Falkner and
Cruz Izu and
Paul D. Coddington and
Bradley Alexander and
Si{-}Qing Zheng},
title = {Choosing Method of the Most Effective Nested Loop Shearing for Parallelism},
booktitle = {Eighth International Conference on Parallel and Distributed Computing,
Applications and Technologies {(PDCAT} 2007), 3-6 December 2007, Adelaide,
Australia},
pages = {267--276},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PDCAT.2007.44},
doi = {10.1109/PDCAT.2007.44},
timestamp = {Mon, 17 Jul 2023 13:04:30 +0200},
biburl = {https://dblp.org/rec/conf/pdcat/IwasawaM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Mycroft07,
author = {Alan Mycroft},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Programming Language Design and Analysis Motivated by Hardware Evolution},
booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
pages = {18--33},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_2},
doi = {10.1007/978-3-540-74061-2\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Mycroft07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/LokhmotovM07,
author = {Anton Lokhmotov and
Alan Mycroft},
editor = {Phillip B. Gibbons and
Christian Scheideler},
title = {Optimal bit-reversal using vector permutations},
booktitle = {{SPAA} 2007: Proceedings of the 19th Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, San Diego, California, USA, June
9-11, 2007},
pages = {198--199},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1248377.1248411},
doi = {10.1145/1248377.1248411},
timestamp = {Wed, 21 Nov 2018 11:13:44 +0100},
biburl = {https://dblp.org/rec/conf/spaa/LokhmotovM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MessageM08,
author = {Robin Henry Message and
Alan Mycroft},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Controlling Control Flow in Web Applications},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {119--131},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.096},
doi = {10.1016/J.ENTCS.2008.04.096},
timestamp = {Mon, 13 Feb 2023 11:22:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MessageM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Rudiak-GouldMJ06,
author = {Ben Rudiak{-}Gould and
Alan Mycroft and
Simon L. Peyton Jones},
editor = {Peter Sestoft},
title = {Haskell Is Not Not {ML}},
booktitle = {Programming Languages and Systems, 15th European Symposium on Programming,
{ESOP} 2006, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {38--53},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_4},
doi = {10.1007/11693024\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Rudiak-GouldMJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iswc/KatsiriM06,
author = {Eleftheria Katsiri and
Alan Mycroft},
title = {Applying Bayesian Networks to Sensor-Driven Systems},
booktitle = {Tenth {IEEE} International Symposium on Wearable Computers {(ISWC}
2006), 11-14 October 2006, Montreux, Switzerland},
pages = {149--150},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISWC.2006.286370},
doi = {10.1109/ISWC.2006.286370},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iswc/KatsiriM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ThompsonM06,
author = {Sarah Thompson and
Alan Mycroft},
editor = {John Hatcliff and
Frank Tip},
title = {Bit-level partial evaluation of synchronous circuits},
booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2006, Charleston, South
Carolina, USA, January 9-10, 2006},
pages = {29--37},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111542.1111548},
doi = {10.1145/1111542.1111548},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/ThompsonM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2006,
editor = {Alan Mycroft and
Andreas Zeller},
title = {Compiler Construction, 15th International Conference, {CC} 2006, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2006, Vienna, Austria, March 30-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3923},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11688839},
doi = {10.1007/11688839},
isbn = {3-540-33050-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/EnnalsSM05,
author = {Robert Ennals and
Richard Sharp and
Alan Mycroft},
editor = {Rastislav Bod{\'{\i}}k},
title = {Task Partitioning for Multi-core Network Processors},
booktitle = {Compiler Construction, 14th International Conference, {CC} 2005, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3443},
pages = {76--90},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31985-6\_6},
doi = {10.1007/978-3-540-31985-6\_6},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/EnnalsSM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdm/KatsiriM05,
author = {Eleftheria Katsiri and
Alan Mycroft},
editor = {Wathiq Mansoor and
Mohamed Khedr and
Djamal Benslimane and
Zakaria Maamar and
Manfred Hauswirth and
Karl Aberer},
title = {Model Checking for Sentient Computing: An Axiomatic Approach},
booktitle = {Proceedings of the First International Workshop on Managing Context
Information in Mobile and Pervasive Environments May 9, 2005, Ayia
Napa, Cyprus},
series = {{CEUR} Workshop Proceedings},
volume = {165},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-165/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:16 +0100},
biburl = {https://dblp.org/rec/conf/mdm/KatsiriM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GoudarziHM04,
author = {Maziar Goudarzi and
Shaahin Hessabi and
Alan Mycroft},
title = {Object-Oriented Embedded System Development Based on Synthesis and
Reuse of OO-ASIPs},
journal = {J. Univers. Comput. Sci.},
volume = {10},
number = {9},
pages = {1123--1155},
year = {2004},
url = {https://doi.org/10.3217/jucs-010-09-1123},
doi = {10.3217/JUCS-010-09-1123},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GoudarziHM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/JohnsonM04,
author = {Neil Johnson and
Alan Mycroft},
editor = {Evelyn Duesterwald},
title = {Using Multiple Memory Access Instructions for Reducing Code Size},
booktitle = {Compiler Construction, 13th International Conference, {CC} 2004, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2985},
pages = {265--280},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24723-4\_18},
doi = {10.1007/978-3-540-24723-4\_18},
timestamp = {Mon, 23 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/JohnsonM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GoudarziHM04,
author = {Maziar Goudarzi and
Shaahin Hessabi and
Alan Mycroft},
title = {Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented
Models},
booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2004), 16-20 February 2004, Paris, France},
pages = {1380--1381},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DATE.2004.1269097},
doi = {10.1109/DATE.2004.1269097},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/GoudarziHM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/EnnalsSM04,
author = {Robert Ennals and
Richard Sharp and
Alan Mycroft},
editor = {David A. Schmidt},
title = {Linear Types for Packet Processing},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {204--218},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_15},
doi = {10.1007/978-3-540-24725-8\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/EnnalsSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ThompsonM04,
author = {Sarah Thompson and
Alan Mycroft},
editor = {Roberto Giacobazzi},
title = {Abstract Interpretation of Combinational Asynchronous Circuits},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {181--196},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_15},
doi = {10.1007/978-3-540-27864-1\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/ThompsonM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigdoc/MountNLM04,
author = {S. N. I. Mount and
Robert M. Newman and
R. J. Low and
Alan Mycroft},
editor = {Scott R. Tilley and
Shihong Huang},
title = {Exstatic: a generic static checker applied to documentation systems},
booktitle = {Proceedings of the 22nd Annual International Conference on Design
of Communication: The Engineering of Quality Documentation, {SIGDOC}
2004, Memphis, Tennessee, USA, October 10-13, 2004},
pages = {52--57},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1026533.1026548},
doi = {10.1145/1026533.1026548},
timestamp = {Wed, 10 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigdoc/MountNLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/KhedkerDM03,
author = {Uday P. Khedker and
Dhananjay M. Dhamdhere and
Alan Mycroft},
title = {Bidirectional data flow analysis for type inferencing},
journal = {Comput. Lang. Syst. Struct.},
volume = {29},
number = {1-2},
pages = {15--44},
year = {2003},
url = {https://doi.org/10.1016/S1477-8424(03)00012-5},
doi = {10.1016/S1477-8424(03)00012-5},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/KhedkerDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MycroftS03,
author = {Alan Mycroft and
Richard Sharp},
title = {Higher-level techniques for hardware description and synthesis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {3},
pages = {271--297},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0086-1},
doi = {10.1007/S10009-002-0086-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MycroftS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/JohnsonM03,
author = {Neil Johnson and
Alan Mycroft},
editor = {G{\"{o}}rel Hedin},
title = {Combined Code Motion and Register Allocation Using the Value State
Dependence Graph},
booktitle = {Compiler Construction, 12th International Conference, {CC} 2003, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2622},
pages = {1--16},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36579-6\_1},
doi = {10.1007/3-540-36579-6\_1},
timestamp = {Mon, 23 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/JohnsonM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaSAM/MadhavapeddyMSS03,
author = {Anil Madhavapeddy and
Alan Mycroft and
David J. Scott and
Richard Sharp},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {The Case for Abstracting Security Policies},
booktitle = {Proceedings of the International Conference on Security and Management,
{SAM} '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1},
pages = {156--160},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Fri, 24 Jan 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csreaSAM/MadhavapeddyMSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ScottBM03,
author = {David J. Scott and
Alastair R. Beresford and
Alan Mycroft},
editor = {Mauro Pezz{\`{e}}},
title = {Spatial Security Policies for Mobile Agents in a Sentient Computing
Environment},
booktitle = {Fundamental Approaches to Software Engineering, 6th International
Conference, {FASE} 2003, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland,
April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2621},
pages = {102--117},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36578-8\_8},
doi = {10.1007/3-540-36578-8\_8},
timestamp = {Sun, 02 Oct 2022 16:01:12 +0200},
biburl = {https://dblp.org/rec/conf/fase/ScottBM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GoudarziHM03,
author = {Maziar Goudarzi and
Shaahin Hessabi and
Alan Mycroft},
title = {Object-Oriented {ASIP} Design and Synthesis},
booktitle = {Forum on specification and Design Languages, {FDL} 2003, September
23-26, 2003, Frankfurt, Germany, Proceedings},
pages = {680--692},
publisher = {{ECSI}},
year = {2003},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=793},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/GoudarziHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/FrankauM03,
author = {Simon Frankau and
Alan Mycroft},
title = {Stream Processing Hardware from Functional Language Specifications},
booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36}
2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island,
HI, {USA}},
pages = {278},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HICSS.2003.1174809},
doi = {10.1109/HICSS.2003.1174809},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/FrankauM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/ScottBM03,
author = {David J. Scott and
Alastair R. Beresford and
Alan Mycroft},
title = {Spatial Policies for Sentient Mobile Applications},
booktitle = {4th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2003), 4-6 June 2003, Lake Como, Italy},
pages = {147--157},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/POLICY.2003.1206968},
doi = {10.1109/POLICY.2003.1206968},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/ScottBM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NethercoteM03,
author = {Nicholas Nethercote and
Alan Mycroft},
editor = {Oleg Sokolsky and
Mahesh Viswanathan},
title = {Redux: {A} Dynamic Dataflow Tracer},
booktitle = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {2},
pages = {149--170},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81047-8},
doi = {10.1016/S1571-0661(04)81047-8},
timestamp = {Fri, 16 Dec 2022 11:03:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NethercoteM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/NethercoteM02,
author = {Nicholas Nethercote and
Alan Mycroft},
editor = {Hans{-}Juergen Boehm and
David Detlefs},
title = {The cache behaviour of large lazy functional programs on stock hardware},
booktitle = {Proceedings of The Workshop on Memory Systems Performance {(MSP} 2002),
June 16, 2002 and The International Symposium on Memory Management
{(ISMM} 2002), June 20-21, 2002, Berlin, Germany},
pages = {44--55},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/773146.773044},
doi = {10.1145/773146.773044},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/NethercoteM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MycroftS01,
author = {Alan Mycroft and
Richard Sharp},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Hardware Synthesis Using {SAFL} and Application to Processor Design},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {13--39},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_2},
doi = {10.1007/3-540-44798-9\_2},
timestamp = {Sun, 02 Jun 2019 21:23:48 +0200},
biburl = {https://dblp.org/rec/conf/charme/MycroftS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SharpM01,
author = {Richard Sharp and
Alan Mycroft},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {A Higher-Level Language for Hardware Synthesis},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {228--243},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_20},
doi = {10.1007/3-540-44798-9\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SharpM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SharpM01,
author = {Richard Sharp and
Alan Mycroft},
editor = {Patrick Cousot},
title = {Soft Scheduling for Hardware},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {57--72},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_4},
doi = {10.1007/3-540-47764-0\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/SharpM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MycroftS01,
author = {Alan Mycroft and
Richard Sharp},
editor = {Tiziana Margaria and
Wang Yi},
title = {Hardware/Software Co-Design Using Functional Languages},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {236--251},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_17},
doi = {10.1007/3-540-45319-9\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MycroftS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/MycroftOK01,
author = {Alan Mycroft and
Atsushi Ohori and
Shin{-}ya Katsumata},
editor = {Elizabeth Burd and
Peter Aiken and
Rainer Koschke},
title = {Comparing Type-Based and Proof-Directed Decompilation},
booktitle = {Proceedings of the Eighth Working Conference on Reverse Engineering,
WCRE'01, Stuttgart, Germany, October 2-5, 2001},
pages = {362--367},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/WCRE.2001.957844},
doi = {10.1109/WCRE.2001.957844},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/MycroftOK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MycroftS00,
author = {Alan Mycroft and
Richard Sharp},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {A Statically Allocated Parallel Functional Language},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {37--48},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_5},
doi = {10.1007/3-540-45022-X\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MycroftS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/Mycroft00,
author = {Alan Mycroft},
editor = {Mar{\'{\i}}a Alpuente},
title = {Logic Programming and Functional Nets},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {1--7},
year = {2000},
timestamp = {Tue, 30 Nov 2004 09:20:36 +0100},
biburl = {https://dblp.org/rec/conf/wflp/Mycroft00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Mycroft99,
author = {Alan Mycroft},
editor = {S. Doaitse Swierstra},
title = {Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)},
booktitle = {Programming Languages and Systems, 8th European Symposium on Programming,
ESOP'99, Held as Part of the European Joint Conferences on the Theory
and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28
March, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1576},
pages = {208--223},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49099-X\_14},
doi = {10.1007/3-540-49099-X\_14},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Mycroft99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Mycroft96,
author = {Alan Mycroft},
title = {On Integration of Programming Paradigms},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {309--311},
year = {1996},
url = {https://doi.org/10.1145/234528.234735},
doi = {10.1145/234528.234735},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Mycroft96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/NielsonCDDJMT96,
author = {Flemming Nielson and
Patrick Cousot and
Mads Dam and
Pierpaolo Degano and
Pierre Jouvelot and
Alan Mycroft and
Bent Thomsen},
editor = {Mads Dam},
title = {Logical and Operational Methods in the Analysis of Programs and Systems},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {1--21},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_1},
doi = {10.1007/3-540-62503-8\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/NielsonCDDJMT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ErnoultM95,
author = {Christine Ernoult and
Alan Mycroft},
title = {Untyped Strictness Analysis},
journal = {J. Funct. Program.},
volume = {5},
number = {1},
pages = {37--49},
year = {1995},
url = {https://doi.org/10.1017/S0956796800001222},
doi = {10.1017/S0956796800001222},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ErnoultM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/MycroftDP95,
author = {Alan Mycroft and
Pierpaolo Degano and
Corrado Priami},
editor = {Kanchana Kanchanasut and
Jean{-}Jacques L{\'{e}}vy},
title = {Complexity as a Basis for Comparing Semantic Models of Concurrency},
booktitle = {Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science
Conference, {ACSC} '95, Pathumthani, Thailand, December 11-13, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1023},
pages = {141--155},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60688-2\_41},
doi = {10.1007/3-540-60688-2\_41},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/MycroftDP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/MycroftS95,
author = {Alan Mycroft and
Kirsten Lackner Solberg},
editor = {Manuel V. Hermenegildo and
S. Doaitse Swierstra},
title = {Uniform PERs and Comportment Analysis},
booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International
Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {982},
pages = {169--187},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0026820},
doi = {10.1007/BFB0026820},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/MycroftS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/95,
editor = {Alan Mycroft},
title = {Static Analysis, Second International Symposium, SAS'95, Glasgow,
UK, September 25-27, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {983},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60360-3},
doi = {10.1007/3-540-60360-3},
isbn = {3-540-60360-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Mycroft93,
author = {Alan Mycroft},
editor = {David A. Schmidt},
title = {Completeness and predicate-based abstract interpretation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark,
June 14-16, 1993},
pages = {179--185},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/154630.154648},
doi = {10.1145/154630.154648},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Mycroft93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Mycroft92,
author = {Alan Mycroft},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Incremental Polymorphic Type Checking with Update},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {347--357},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023888},
doi = {10.1007/BFB0023888},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Mycroft92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MycroftR92,
author = {Alan Mycroft and
Mads Rosendahl},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Minimal Function Graphs are not Instrumented},
booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings},
series = {Series Bigre},
volume = {81-82},
pages = {60--67},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1992},
timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
biburl = {https://dblp.org/rec/conf/sas/MycroftR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ErnoultM91,
author = {Christine Ernoult and
Alan Mycroft},
editor = {Javier Leach Albert and
Burkhard Monien and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Uniform Ideals and Strictness Analysis},
booktitle = {Automata, Languages and Programming, 18th International Colloquium,
ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {510},
pages = {47--59},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54233-7\_124},
doi = {10.1007/3-540-54233-7\_124},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ErnoultM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JonesM86,
author = {Neil D. Jones and
Alan Mycroft},
title = {Data Flow Analysis of Applicative Programs Using Minimal Function
Graphs},
booktitle = {Conference Record of the Thirteenth Annual {ACM} Symposium on Principles
of Programming Languages, St. Petersburg Beach, Florida, USA, January
1986},
pages = {296--306},
publisher = {{ACM} Press},
year = {1986},
url = {https://doi.org/10.1145/512644.512672},
doi = {10.1145/512644.512672},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/JonesM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdo/MycroftJ85,
author = {Alan Mycroft and
Neil D. Jones},
editor = {Harald Ganzinger and
Neil D. Jones},
title = {A relational framework for abstract interpretation},
booktitle = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
October 17-19, 1985},
series = {Lecture Notes in Computer Science},
volume = {217},
pages = {156--171},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16446-4\_9},
doi = {10.1007/3-540-16446-4\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdo/MycroftJ85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MycroftO84,
author = {Alan Mycroft and
Richard A. O'Keefe},
title = {A Polymorphic Type System for Prolog},
journal = {Artif. Intell.},
volume = {23},
number = {3},
pages = {295--307},
year = {1984},
url = {https://doi.org/10.1016/0004-3702(84)90017-1},
doi = {10.1016/0004-3702(84)90017-1},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/MycroftO84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GoltzM84,
author = {Ursula Goltz and
Alan Mycroft},
editor = {Jan Paredaens},
title = {On the Relationship of {CCS} and Petri Nets},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {196--208},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_18},
doi = {10.1007/3-540-13345-3\_18},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GoltzM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Mycroft84,
author = {Alan Mycroft},
editor = {Manfred Paul and
Bernard J. Robinet},
title = {Polymorphic Type Schemes and Recursive Definitions},
booktitle = {International Symposium on Programming, 6th Colloquium, Toulouse,
France, April 17-19, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {167},
pages = {217--228},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-12925-1\_41},
doi = {10.1007/3-540-12925-1\_41},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/programm/Mycroft84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/JonesM84,
author = {Neil D. Jones and
Alan Mycroft},
title = {Stepwise Development of Operational and Denotational Semantics for
Prolog},
booktitle = {Proceedings of the 1984 International Symposium on Logic Programming,
Atlantic City, New Jersey, USA, February 6-9, 1984},
pages = {281--288},
publisher = {{IEEE-CS}},
year = {1984},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/JonesM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Mycroft84,
author = {Alan Mycroft},
editor = {Max Fontet and
Kurt Mehlhorn},
title = {Logic Programs and Many-Valued Logic},
booktitle = {{STACS} 84, Symposium of Theoretical Aspects of Computer Science,
Paris, France, 11-13 April, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {166},
pages = {274--286},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-12920-0\_25},
doi = {10.1007/3-540-12920-0\_25},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Mycroft84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MycroftN83,
author = {Alan Mycroft and
Flemming Nielson},
editor = {Josep D{\'{\i}}az},
title = {Strong Abstract Interpretation Using Power Domains (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
July 18-22, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {154},
pages = {536--547},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0036935},
doi = {10.1007/BFB0036935},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MycroftN83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MycroftO83,
author = {Alan Mycroft and
Richard A. O'Keefe},
editor = {Lu{\'{\i}}s Moniz Pereira and
Ant{\'{o}}nio Porto and
Lu{\'{\i}}s Monteiro and
Miguel Figueiras},
title = {A Polymorphic Type System for Prolog},
booktitle = {Logic Programming Workshop '83, Praia da Fal{\'{e}}sia, Algarve,
Portugal, 26 June - 1 July, 1983, Proceedings},
pages = {107--122},
publisher = {N{\'{u}}cleo de Intellig{\^{e}}ncia Artificial, Universidade
Nova De Lisboa, Portugal},
year = {1983},
url = {http://www.softwarepreservation.org/projects/prolog/lisbon/lpw83/p107-Mycroft.pdf},
timestamp = {Thu, 12 Mar 2020 11:37:20 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MycroftO83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Mycroft82,
author = {Alan Mycroft},
title = {Abstract interpretation and optimising transformations for applicative
programs},
school = {University of Edinburgh, {UK}},
year = {1982},
url = {https://hdl.handle.net/1842/6602},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Mycroft82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Mycroft80,
author = {Alan Mycroft},
editor = {Bernard J. Robinet},
title = {The Theory and Practice of Transforming Call-by-need into Call-by-value},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {269--281},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_19},
doi = {10.1007/3-540-09981-6\_19},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/programm/Mycroft80.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-05-08 21:02 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:
