Complex models in modern science and are now routinely expressed as software. The PLAS4Sci lab (Programming Languages and Systems for Science) at the School of Computing, University of Kent is a sub-group of the PLAS group focussed on improving the state-of-the-art in programming languages, programming systems, and programming tools to support the daily work of scientists.

People

• Dominic Orchard - Lab lead
• Laura Bocchi - Reader in Programming Languages

Former members

• Benjamin Orchard - Research Assistant and Research Software Engineer
• Danielle Marshall - Research Assistant

Partners

     

Projects

• CamFort, a tool for verification and static analysis of Fortran, with a particular focus on verification techniques for numerical computation.

• fortran-src, a static-analysis framework for Fortran, written in Haskell.

News

• 22 January 2024 - Dominic co-chairs the 1st ACM Workshop on Programming for the Planet in London
• 29 October 2023 - Training at AIMS Kigali and attending WCRP OSC 2023
• 4 May 2023 - Presentations at EGU23
• 21 April 2023 - Presentation and extended abstract at Climate Informatics 2023
• 12 October 2022 - Hello world

Publications

pdf, bib	FTorch - lowering the technical barrier of incorporating ML into Fortran models, Dominic Orchard, Elliott Kasoar, Jack Atkinson, Thomas Meltzer, Simon Clifford, and Athena Elafrou. Presentation at (EGU 2024)
pdf, bib	Tools and techniques for modular, portable (Machine Learning) parameterisations, Jack Atkinson, Dominic Orchard, Elliott Kasoar, and Thomas Meltzer. Presentation at (EGU 2024)
pdf, bib	Reducing the overhead of coupled ML models between Python and Fortran: an application to Gravity Wave Parameterizations, Jack Atkinson, Simon Clifford, David Connelly, Chris Edsall, Athena Elafrou, Ed Gerber, Laura Mansfield, Dominic Orchard, Aditi Sheshadri, Y. Qiang Sun, Minah Yang Extended abstract at (Climate Informatics 2023)
pdf, bib	Fostering collaboration through improved software development practices for the ONEFlux eddy covariance data processing pipeline, Gilberto Pastorello, Carlo Trotta, Alessio Ribeca, Keith Beattie, Sy-Toan Ngo, Housen Chu, You-Wei Cheah, Danielle Christianson, Giacomo Nicolini, Sigrid Dengel, Diego Polidori, Peter Isaac, Matthew Archer, Dominic Orchard, Deb Agarwal, Sebastien Biraud, Margaret Torn, Dario Papale. Presentation at (EGU 2023)
pdf, bib	Guiding user annotations for units-of-measure verification, Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice, Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2020)
pdf, bib	Learning units-of-measure from scientific code, Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew Rice, Dominic Orchard, Software Engineering for Science, 2019
pdf, bib	Monitoring networks through multiparty session types, Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida, Theoretical Computer Science 669 (2017): 33-58
pdf	Scrap Your Reprinter: A Datatype Generic Algorithm for Layout-Preserving Refactoring, Harry Clarke, Dominic Orchard, IFL 2017
pdf, bib	Timed runtime monitoring for multiparty conversations, Rumyana Neykova, Laura Bocchi, Nobuko Yoshida, Formal Aspects Comput. 29(5): 877-910 (2017)
pdf, bib	Verifying Spatial Properties of Array Computations, Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice, OOPSLA 2017
pdf, bib	Supporting software sustainability with lightweight specifications, Mistral Contrastin, Matthew Danish, Dominic Orchard, Andrew Rice, WSSSPE4 (2016)
pdf, bib	Units-of-Measure Correctness in Fortran Programs, Mistral Contrastin, Andrew C. Rice, Matthew Danish, Dominic Orchard, Computing in Science and Engineering 18(1): 102-107 (2016)
pdf, bib	Evolving Fortran types with inferred units-of-measure, Dominic Orchard, Andrew C. Rice, Oleg Oshmyan, J. Comput. Science 9: 156-162 (2015)
pdf, bib	A Computational Science Agenda for Programming Language Research, Dominic Orchard, Andrew C. Rice, ICCS 2014: 713-727
pdf, bib	Upgrading Fortran source code using automatic refactoring, Dominic Orchard, Andrew C. Rice, WRT@SPLASH 2013: 29-32