Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mary Sheeran
@inproceedings{DBLP:conf/icfp/Bouverot-Dupuis23,
author = {Mathis Bouverot{-}Dupuis and
Mary Sheeran},
editor = {Gabriele Keller and
Sam Westrick},
title = {Efficient {GPU} Implementation of Affine Index Permutations on Arrays},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on
Functional High-Performance and Numerical Computing, {FHPNC} 2023,
Seattle, WA, USA, 4 September 2023},
pages = {15--28},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609024.3609411},
doi = {10.1145/3609024.3609411},
timestamp = {Tue, 26 Sep 2023 17:21:37 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Bouverot-Dupuis23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-07795,
author = {Mathis Bouverot{-}Dupuis and
Mary Sheeran},
title = {Efficient {GPU} implementation of a class of array permutations},
journal = {CoRR},
volume = {abs/2306.07795},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.07795},
doi = {10.48550/ARXIV.2306.07795},
eprinttype = {arXiv},
eprint = {2306.07795},
timestamp = {Sat, 17 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-07795.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SarkarSS22,
author = {Abhiroop Sarkar and
Bo Joel Svensson and
Mary Sheeran},
editor = {Karim Ali and
Jan Vitek},
title = {Synchron - An {API} and Runtime for Embedded Systems},
booktitle = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
pages = {17:1--17:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.17},
doi = {10.4230/LIPICS.ECOOP.2022.17},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/SarkarSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-03262,
author = {Abhiroop Sarkar and
Bo Joel Svensson and
Mary Sheeran},
title = {Synchron - An {API} and Runtime for Embedded Systems},
journal = {CoRR},
volume = {abs/2205.03262},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.03262},
doi = {10.48550/ARXIV.2205.03262},
eprinttype = {arXiv},
eprint = {2205.03262},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-03262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/SarkarKSS21,
author = {Abhiroop Sarkar and
Robert Krook and
Bo Joel Svensson and
Mary Sheeran},
editor = {Herbert Kuchen and
Jeremy Singer},
title = {Higher-order concurrency for microcontrollers},
booktitle = {{MPLR} '21: 18th {ACM} {SIGPLAN} International Conference on Managed
Programming Languages and Runtimes, M{\"{u}}nster, Germany, September
29-30, 2021},
pages = {26--35},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3475738.3480716},
doi = {10.1145/3475738.3480716},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pppj/SarkarKSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-13468,
author = {Abhiroop Sarkar and
Mary Sheeran},
title = {Hailstorm : {A} Statically-Typed, Purely Functional Language for IoT
Applications},
journal = {CoRR},
volume = {abs/2105.13468},
year = {2021},
url = {https://arxiv.org/abs/2105.13468},
eprinttype = {arXiv},
eprint = {2105.13468},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-13468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-07805,
author = {Abhiroop Sarkar and
Robert Krook and
Bo Joel Svensson and
Mary Sheeran},
title = {Higher-Order Concurrency for Microcontrollers},
journal = {CoRR},
volume = {abs/2108.07805},
year = {2021},
url = {https://arxiv.org/abs/2108.07805},
eprinttype = {arXiv},
eprint = {2108.07805},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-07805.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SarkarS20,
author = {Abhiroop Sarkar and
Mary Sheeran},
title = {Hailstorm: {A} Statically-Typed, Purely Functional Language for IoT
Applications},
booktitle = {{PPDP} '20: 22nd International Symposium on Principles and Practice
of Declarative Programming, Bologna, Italy, 9-10 September, 2020},
pages = {12:1--12:16},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3414080.3414092},
doi = {10.1145/3414080.3414092},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/SarkarS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AronssonCSS19,
author = {Markus Aronsson and
Koen Claessen and
Mary Sheeran and
Nicholas Smallbone},
editor = {Marco Zocca},
title = {Safety at speed: in-place array algorithms from pure functional programs
by safely re-using storage},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Functional
High-Performance and Numerical Computing, FHPNC@ICFP 2019, Berlin,
Germany, August 18, 2019},
pages = {34--46},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3331553.3342616},
doi = {10.1145/3331553.3342616},
timestamp = {Mon, 23 Aug 2021 14:42:04 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AronssonCSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/AronssonS17,
author = {Markus Aronsson and
Mary Sheeran},
editor = {Iavor S. Diatchki},
title = {Hardware software co-design in Haskell},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
Haskell, Oxford, United Kingdom, September 7-8, 2017},
pages = {162--173},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122955.3122970},
doi = {10.1145/3122955.3122970},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/haskell/AronssonS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/DreyerS16,
author = {Derek Dreyer and
Mary Sheeran},
title = {Special issue dedicated to {ICFP} 2014: Editorial},
journal = {J. Funct. Program.},
volume = {26},
pages = {e20},
year = {2016},
url = {https://doi.org/10.1017/S0956796816000228},
doi = {10.1017/S0956796816000228},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/DreyerS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SvenssonNS16,
author = {Bo Joel Svensson and
Ryan R. Newton and
Mary Sheeran},
title = {A language for hierarchical data parallel design-space exploration
on GPUs},
journal = {J. Funct. Program.},
volume = {26},
pages = {e6},
year = {2016},
url = {https://doi.org/10.1017/S0956796816000046},
doi = {10.1017/S0956796816000046},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SvenssonNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DybdalESS16,
author = {Martin Dybdal and
Martin Elsman and
Bo Joel Svensson and
Mary Sheeran},
editor = {David Duke and
Yukiyoshi Kameyama},
title = {Low-level functional {GPU} programming for parallel algorithms},
booktitle = {Proceedings of the 5th International Workshop on Functional High-Performance
Computing, FHPC@ICFP 2016, Nara, Japan, September 22, 2016},
pages = {31--37},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2975991.2975996},
doi = {10.1145/2975991.2975996},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/DybdalESS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Sheeran15,
author = {Mary Sheeran},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Functional programming and hardware design: still interesting after
all these years},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {165},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2789053},
doi = {10.1145/2784731.2789053},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Sheeran15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2015array,
editor = {Laurie J. Hendren and
Hidehiko Masuhara and
Mary Sheeran and
Jan Vitek},
title = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on Libraries,
Languages, and Compilers for Array Programming, ARRAY@PLDI, Portland,
OR, USA, June 15 - 17, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774959},
doi = {10.1145/2774959},
isbn = {978-1-4503-3584-3},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2015array.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/SvenssonSN14,
author = {Bo Joel Svensson and
Mary Sheeran and
Ryan R. Newton},
title = {Design exploration through code-generating DSLs},
journal = {Commun. {ACM}},
volume = {57},
number = {6},
pages = {56--63},
year = {2014},
url = {https://doi.org/10.1145/2605685},
doi = {10.1145/2605685},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/SvenssonSN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/SvenssonSN14,
author = {Bo Joel Svensson and
Mary Sheeran and
Ryan R. Newton},
title = {Design Exploration through Code-generating DSLs},
journal = {{ACM} Queue},
volume = {12},
number = {4},
pages = {40--52},
year = {2014},
url = {https://doi.org/10.1145/2611429.2626374},
doi = {10.1145/2611429.2626374},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/queue/SvenssonSN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/AronssonAS14,
author = {Markus Aronsson and
Emil Axelsson and
Mary Sheeran},
editor = {Sam Tobin{-}Hochstadt},
title = {Stream Processing for Embedded Domain Specific Languages},
booktitle = {Proceedings of the 26th 2014 International Symposium on Implementation
and Application of Functional Languages, {IFL} '14, Boston, MA, USA,
October 1-3, 2014},
pages = {8:1--8:12},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2746325.2746334},
doi = {10.1145/2746325.2746334},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifl/AronssonAS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2014fhpc,
editor = {Jost Berthold and
Mary Sheeran and
Ryan Newton},
title = {Proceedings of the 3rd {ACM} {SIGPLAN} workshop on Functional high-performance
computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2636228},
doi = {10.1145/2636228},
isbn = {978-1-4503-3040-4},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2014fhpc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2014array,
editor = {Laurie J. Hendren and
Alex Rubinsteyn and
Mary Sheeran and
Jan Vitek},
title = {ARRAY'14: Proceedings of the 2014 {ACM} {SIGPLAN} International Workshop
on Libraries, Languages, and Compilers for Array Programming, Edinburgh,
United Kingdom, June 12-13, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2627373},
doi = {10.1145/2627373},
isbn = {978-1-4503-2937-8},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2014array.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SvenningssonSS13,
author = {Josef David Svenningsson and
Bo Joel Svensson and
Mary Sheeran},
editor = {Clemens Grelck and
Fritz Henglein and
Umut A. Acar and
Jost Berthold},
title = {Counting and occurrence sort for GPUs using an embedded language},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} workshop on Functional high-performance
computing, Boston, MA, USA, FHPC@ICFP 2013, September 25-27, 2013},
pages = {37--46},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502323.2502325},
doi = {10.1145/2502323.2502325},
timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
biburl = {https://dblp.org/rec/conf/icfp/SvenningssonSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SvenssonS12,
author = {Bo Joel Svensson and
Mary Sheeran},
editor = {Andrzej Filinski and
Clemens Grelck},
title = {Parallel programming in Haskell almost for free: an embedding of intel's
array building blocks},
booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} workshop on Functional high-performance
computing, Copenhagen, Denmark, FHPC@ICFP 2012, September 9-15, 2012},
pages = {3--14},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364474.2364477},
doi = {10.1145/2364474.2364477},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/SvenssonS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ClaessenSS12,
author = {Koen Claessen and
Mary Sheeran and
Joel Svensson},
editor = {Umut A. Acar and
V{\'{\i}}tor Santos Costa},
title = {Expressive array constructs in an embedded {GPU} kernel programming
language},
booktitle = {Proceedings of the {POPL} 2012 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2012, Philadelphia, PA, USA, Saturday,
January 28, 2012},
pages = {21--30},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103736.2103740},
doi = {10.1145/2103736.2103740},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/ClaessenSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Sheeran11,
author = {Mary Sheeran},
title = {Functional and dynamic programming in the design of parallel prefix
networks},
journal = {J. Funct. Program.},
volume = {21},
number = {1},
pages = {59--114},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000304},
doi = {10.1017/S0956796810000304},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Sheeran11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/AxelssonS11,
author = {Emil Axelsson and
Mary Sheeran},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Feldspar: Application and Implementation},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {402--439},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_8},
doi = {10.1007/978-3-642-32096-5\_8},
timestamp = {Mon, 03 Jan 2022 22:17:59 +0100},
biburl = {https://dblp.org/rec/conf/cefp/AxelssonS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/AxelssonCSSEP10,
author = {Emil Axelsson and
Koen Claessen and
Mary Sheeran and
Josef Svenningsson and
David Engdal and
Anders Persson},
editor = {Jurriaan Hage and
Marco T. Moraz{\'{a}}n},
title = {The Design and Implementation of Feldspar - An Embedded Language for
Digital Signal Processing},
booktitle = {Implementation and Application of Functional Languages - 22nd International
Symposium, {IFL} 2010, Alphen aan den Rijn, The Netherlands, September
1-3, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6647},
pages = {121--136},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24276-2\_8},
doi = {10.1007/978-3-642-24276-2\_8},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/AxelssonCSSEP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/AxelssonCDHKLPSSV10,
author = {Emil Axelsson and
Koen Claessen and
Gergely D{\'{e}}vai and
Zolt{\'{a}}n Horv{\'{a}}th and
Karin Keijzer and
Bo Lyckeg{\aa}rd and
Anders Persson and
Mary Sheeran and
Josef Svenningsson and
Andr{\'{a}}s Vajda},
title = {Feldspar: {A} domain specific language for digital signal processing
algorithms},
booktitle = {8th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010},
pages = {169--178},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MEMCOD.2010.5558637},
doi = {10.1109/MEMCOD.2010.5558637},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/AxelssonCDHKLPSSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/SvenssonCS10,
author = {Joel Svensson and
Koen Claessen and
Mary Sheeran},
editor = {Peter M. A. Sloot and
G. Dick van Albada and
Jack J. Dongarra},
title = {{GPGPU} kernel implementation and refinement using Obsidian},
booktitle = {Proceedings of the International Conference on Computational Science,
{ICCS} 2010, University of Amsterdam, The Netherlands, May 31 - June
2, 2010},
series = {Procedia Computer Science},
volume = {1},
number = {1},
pages = {2065--2074},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.procs.2010.04.231},
doi = {10.1016/J.PROCS.2010.04.231},
timestamp = {Thu, 08 Jul 2021 14:29:22 +0200},
biburl = {https://dblp.org/rec/journals/procedia/SvenssonCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/ClaessenESSVA09,
author = {Koen Claessen and
Niklas E{\'{e}}n and
Mary Sheeran and
Niklas S{\"{o}}rensson and
Alexey Voronov and
Knut {\AA}kesson},
title = {SAT-Solving in Practice, with a Tutorial Example from Supervisory
Control},
journal = {Discret. Event Dyn. Syst.},
volume = {19},
number = {4},
pages = {495--524},
year = {2009},
url = {https://doi.org/10.1007/s10626-009-0081-8},
doi = {10.1007/S10626-009-0081-8},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/ClaessenESSVA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/SubramaniyanALS09,
author = {Kasyab P. Subramaniyan and
Emil Axelsson and
Per Larsson{-}Edefors and
Mary Sheeran},
title = {Layout exploration of geometrically accurate arithmetic circuits},
booktitle = {16th {IEEE} International Conference on Electronics, Circuits, and
Systems, {ICECS} 2009, Yasmine Hammamet, Tunisia, 13-19 December,
2009},
pages = {795--798},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICECS.2009.5410779},
doi = {10.1109/ICECS.2009.5410779},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/SubramaniyanALS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/SvenssonSC08,
author = {Joel Svensson and
Mary Sheeran and
Koen Claessen},
editor = {Sven{-}Bodo Scholz and
Olaf Chitil},
title = {Obsidian: {A} Domain Specific Embedded Language for Parallel Programming
of Graphics Processors},
booktitle = {Implementation and Application of Functional Languages - 20th International
Symposium, {IFL} 2008, Hatfield, UK, September 10-12, 2008. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5836},
pages = {156--173},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-24452-0\_9},
doi = {10.1007/978-3-642-24452-0\_9},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/SvenssonSC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/ErikssonLSSJS06,
author = {Henrik Eriksson and
Per Larsson{-}Edefors and
Mary Sheeran and
Magnus Sj{\"{a}}lander and
Daniel Johansson and
Martin Scholin},
title = {Multiplier reduction tree with logarithmic logic depth and regular
connectivity},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2006), 21-24
May 2006, Island of Kos, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ISCAS.2006.1692508},
doi = {10.1109/ISCAS.2006.1692508},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/ErikssonLSSJS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Sheeran05,
author = {Mary Sheeran},
title = {Hardware Design and Functional Programming: a Perfect Match},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1135--1158},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1135},
doi = {10.3217/JUCS-011-07-1135},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Sheeran05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AxelssonCS05,
author = {Emil Axelsson and
Koen Claessen and
Mary Sheeran},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Wired: Wire-Aware Circuit Design},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {5--19},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_4},
doi = {10.1007/11560548\_4},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/AxelssonCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Sheeran04,
author = {Mary Sheeran},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Generating Fast Multipliers Using Clever Circuits},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {6--20},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_2},
doi = {10.1007/978-3-540-30494-4\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Sheeran04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ClaessenSS03,
author = {Koen Claessen and
Mary Sheeran and
Satnam Singh},
title = {Using Lava to design and verify recursive and periodic sorters},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {3},
pages = {349--358},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0089-y},
doi = {10.1007/S10009-002-0089-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ClaessenSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Sheeran03,
author = {Mary Sheeran},
editor = {Daniel Geist and
Enrico Tronci},
title = {Finding Regularity: Describing and Analysing Circuits That Are Not
Quite Regular},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {4--18},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_4},
doi = {10.1007/978-3-540-39724-3\_4},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/Sheeran03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ClaessenSS01,
author = {Koen Claessen and
Mary Sheeran and
Satnam Singh},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {The Design and Verification of a Sorter Core},
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 = {355--369},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_28},
doi = {10.1007/3-540-44798-9\_28},
timestamp = {Sun, 02 Jun 2019 21:23:48 +0200},
biburl = {https://dblp.org/rec/conf/charme/ClaessenSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SheeranS00,
author = {Mary Sheeran and
Gunnar St{\aa}lmarck},
title = {A Tutorial on St{\aa}lmarck's Proof Procedure for Propositional Logic},
journal = {Formal Methods Syst. Des.},
volume = {16},
number = {1},
pages = {23--58},
year = {2000},
url = {https://doi.org/10.1023/A:1008725524946},
doi = {10.1023/A:1008725524946},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/SheeranS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SheeranSS00,
author = {Mary Sheeran and
Satnam Singh and
Gunnar St{\aa}lmarck},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {Checking Safety Properties Using Induction and a SAT-Solver},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {108--125},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_8},
doi = {10.1007/3-540-40922-X\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SheeranSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SheeranS98,
author = {Mary Sheeran and
Gunnar St{\aa}lmarck},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
title = {A Tutorial on St{\aa}lmarcks's Proof Procedure for Propositional Logic},
booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
{FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1522},
pages = {82--99},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_7},
doi = {10.1007/3-540-49519-3\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SheeranS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BjesseCSS98,
author = {Per Bjesse and
Koen Claessen and
Mary Sheeran and
Satnam Singh},
editor = {Matthias Felleisen and
Paul Hudak and
Christian Queinnec},
title = {Lava: Hardware Design in Haskell},
booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
September 27-29, 1998},
pages = {174--184},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289423.289440},
doi = {10.1145/289423.289440},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BjesseCSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JonesS94,
author = {Geraint Jones and
Mary Sheeran},
title = {Designing Arithmetic Circuits by Refinement in Ruby},
journal = {Sci. Comput. Program.},
volume = {22},
number = {1-2},
pages = {107--135},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)90009-4},
doi = {10.1016/0167-6423(94)90009-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JonesS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/JonesS92,
author = {Geraint Jones and
Mary Sheeran},
editor = {John Launchbury and
Patrick M. Sansom},
title = {A Certain Loss of Identity},
booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
series = {Workshops in Computing},
pages = {113--121},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3215-8\_10},
doi = {10.1007/978-1-4471-3215-8\_10},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/fp/JonesS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/JonesS92,
author = {Geraint Jones and
Mary Sheeran},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Designing Arithmetic Circuits by Refinement in Ruby},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {208--232},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_15},
doi = {10.1007/3-540-56625-2\_15},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/mpc/JonesS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Sheeran91,
author = {Mary Sheeran},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {A Note on Abstraction in Ruby},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {332--338},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_27},
doi = {10.1007/978-1-4471-3196-0\_27},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/fp/Sheeran91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsi/JonesS91,
author = {Geraint Jones and
Mary Sheeran},
editor = {Arne Halaas and
Peter B. Denyer},
title = {Deriving Bit-Serial Circuits in Ruby},
booktitle = {{VLSI} 91, Proceedings of the {IFIP} {TC10/WG} 10.5 International
Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22
August, 1991},
series = {{IFIP} Transactions},
volume = {{A-1}},
pages = {71--80},
publisher = {North-Holland},
year = {1991},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsi/JonesS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Sheeran89,
author = {Mary Sheeran},
editor = {Kei Davis and
John Hughes},
title = {Describing Butterfly Networks in Ruby},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {182--205},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 08 Mar 2022 10:14:58 +0100},
biburl = {https://dblp.org/rec/conf/fp/Sheeran89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msiw/Sheeran89,
author = {Mary Sheeran},
editor = {Miriam Leeser and
Geoffrey Brown},
title = {Categories for the Working Hardware Designer},
booktitle = {Hardware Specification, Verification and Synthesis: Mathematical Aspects,
Mathematical Science Institute Workshop, Cornall University, Ithaca,
New York, USA, July 5-7, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {408},
pages = {380--402},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/0-387-97226-9\_38},
doi = {10.1007/0-387-97226-9\_38},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/msiw/Sheeran89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Sheeran85,
author = {Mary Sheeran},
editor = {Jean{-}Pierre Jouannaud},
title = {Designing Regular Array Architectures using Higher Order Functions},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {220--237},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_39},
doi = {10.1007/3-540-15975-4\_39},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Sheeran85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Sheeran84,
author = {Mary Sheeran},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {muFP, {A} Language for {VLSI} Design},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {104--112},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802026},
doi = {10.1145/800055.802026},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Sheeran84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Sheeran83,
author = {Mary Sheeran},
title = {UpsilonFP : An algebraic {VLSI} design language},
school = {University of Oxford, {UK}},
year = {1983},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.348107},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Sheeran83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:46 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:
