School of Computing

Publications by Dr Dominic Orchard

Also view these in the Kent Academic Repository

Article
Hughes, J. and Orchard, D. A. (2020) "Resourceful program synthesis from graded linear types", Proceedings of International Symposium on Logic-based Program Synthesis and Transformation.
Orchard, D. A. (2018) "Complexity bounds for container functors and comonads", Information and Computation. Elsevier. doi: 10.1016/j.ic.2018.05.008.
Dominic, O., Mistral, C., Matthew, D. and Andrew, R. (2017) "Verifying Spatial Properties of Array Computations", Journal of Proceedings of the ACM on Programming Languages. Association for Computing Machinery, New York, NY, United States. doi: 10.1145/3133899.
Gaboardi, M., Katsumata, S.- ya, Orchard, D. A., Breuvart, F. and Uustalu, T. (2016) "Combining Effects and Coeffects via Grading", ACM SIGPLAN Notices. Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016, ACM, pp. 476-489. doi: 10.1145/2951913.2951939.
Mycroft, A., Orchard, D. A. and Petricek, T. (2016) "Effect Systems Revisited - Control-Flow Algebra and Semantics", Lecture Notes in Computer Science. Edited by C. W. P. Probst, C. Hankin, and R. R. Hansen. Springer, pp. 1-32. doi: 10.1007/978-3-319-27810-0_1.
Contrastin, M., Rice, A., Danish, M. and Orchard, D. A. (2015) "Units-of-Measure Correctness in Fortran Programs", Computing in Science & Engineering. Institute of Electrical and Electronics Engineers (IEEE), pp. 102-107. doi: 10.1109/MCSE.2016.17.
Orchard, D. A., Rice, A. C. and Oshmyan, O. (2015) "Evolving Fortran types with inferred units-of-measure", Journal of Computational Science. Elsevier, pp. 156-162. doi: 10.1016/j.jocs.2015.04.018.
Orchard, D. and Rice, A. (2014) "A Computational Science Agenda for Programming Language Research", Procedia Computer Science. Proceedings of the International Conference on Computational Science, ICCS 2014, Cairns, Elsevier, pp. 713-727. doi: 10.1016/j.procs.2014.05.064.
Orchard, D. A., Petricek, T. and Mycroft, A. (2014) "The semantic marriage of monads and effects", CoRR. Available at: http://arxiv.org/abs/1401.5391.
Orchard, D. A. and Matthews, S. (2008) "Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation", Mathematics in Computer Science. Springer, pp. 103-122. doi: 10.1007/s11786-008-0046-6.
Book section
Ivašković, A., Mycroft, A. and Orchard, D. (2020) "Data-flow analyses as effects and graded monads", in Ariola, Z. M. (ed.) 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Wadern, Germany: Dagstuhl. doi: 10.4230/LIPIcs.FSCD.2020.15.
Orchard, D. A. and Yoshida, N. (2017) "Session Types with Linearity in Haskell", in Gay, S. and Ravara, A. (eds.) Behavioural Types: from Theory to Tools. River Publishers, pp. 219-241. doi: 10.13052/rp-9788793519817.
Aaron, S., Orchard, D. and Blackwell, A. F. (2014) "Temporal semantics for a live coding language", in Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design. 2nd ACM SIGPLAN International workshop on Functional art, music, modeling & design, New York, USA: ACM, pp. 37-47. doi: 10.1145/2633638.2633648.
Orchard, D. and Petricek, T. (2014) "Embedding effect systems in Haskell", in Proceedings of the 2014 ACM SIGPLAN symposium on Haskell. ACM SIGPLAN symposium on Haskell, New York, USA: ACM, pp. 13-24. doi: 10.1145/2633357.2633368.
Petersen, L., Orchard, D. and Glew, N. (2013) "Automatic SIMD vectorization for Haskell", in Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. ACM SIGPLAN International Conference on Functional Programming, New York, USA: ACM, pp. 25-36. doi: 10.1145/2500365.2500605.
Orchard, D. A. (2011) "The four Rs of programming language design", in Onward! 2011 Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software. ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2011, New York, USA: ACM, pp. 157-162. doi: 10.1145/2089131.2089138.
Orchard, D. A., Bolingbroke, M. and Mycroft, A. (2010) "Ypnos: declarative, parallel structured grid programming", in DAMP '10 Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming. Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, New York, USA: ACM, pp. 15-24. doi: 10.1145/1708046.1708053.
Conference or workshop item
Danish, M., Allamanis, M., Brockschmidt, M., Rice, A. and Orchard, D. A. (2019) "Learning Units-of-Measure from Scientific Code", in 2019 IEEE/ACM 14th International Workshop on Software Engineering for Science (SE4Science). 2019 IEEE/ACM 14th International Workshop on Software Engineering for Science (SE4Science), IEEE, pp. 43-46. doi: 10.1109/SE4Science.2019.00013.
Orchard, D. A., Liepelt, V. and Eades, H. (2019) "Quantitative program reasoning with graded modal types", in. ACM. doi: 10.1145/3341714.
Xia, L.-Y., Orchard, D. A. and Wang, M. (2019) "Composing bidirectional programs monadically", in 28th European Symposium on Programming (ESOP). 28th European Symposium on Programming (ESOP), Springer, pp. 147-175. doi: 10.1007/978-3-030-17184-1_6.
Contrastin, M., Orchard, D. A. and Rice, A. C. (2018) "Automatic reordering for dataflow safety of Datalog", in 20th International Symposium on Principles and Practice of Declarative Programming. 20th International Symposium on Principles and Practice of Declarative Programming, ACM. doi: 10.1145/3236950.3236954.
Contrastin, M., Danish, M., Rice, A. C. and Orchard, D. A. (2016) "Supporting Software Sustainability with Lightweight Specifications", in 4th Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). 4th Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4).
Orchard, D. A. and Yoshida, N. (2016) "Effects as Sessions, Sessions as Effects", in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, New York, USA: ACM, New York USA, pp. 568-581. doi: 10.1145/2837614.2837634.
Petricek, T., Orchard, D. A. and Mycroft, A. (2014) "Coeffects: A calculus of context-dependent computation", in Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II, New York: ACM, New York USA, pp. 123-135. doi: 10.1145/2628136.2628160.
Petricek, T., Orchard, D. A. and Mycroft, A. (2013) "Coeffects: Unified static analysis of context-dependence", in Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013. Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Springer-Verlag, pp. 385-397. doi: 10.1007/978-3-642-39212-2_35.
Orchard, D. A. and Mycroft, A. (2012) "A Notation for Comonads", in Revised Selected Papers from 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012. Revised Selected Papers from 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, Springer, pp. 1-17. doi: 10.1007/978-3-642-41582-1_1.
Orchard, D. A. and Mycroft, A. (2011) "Efficient and Correct Stencil Computation via Pattern Matching and Static Typing", in Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011. Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011, pp. 68-92. doi: 10.4204/EPTCS.66.4.
Orchard, D. A. and Schrijvers, T. (2010) "Haskell Type Constraints Unleashed", in Functional and Logic Programming, 10th International Symposium, FLOPS 2010. Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Springer, pp. 56-71. doi: 10.1007/978-3-642-12251-4_6.
Review
Orchard, D. A. (2014) "Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger", Journal of Functional Programming. Oxford University Press, pp. 524-527. doi: 10.1017/S0956796814000057.
Total publications in KAR: 29 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 27/07/2021