Operating system development with ATS: work in progress: (abstract only). - Matthew Danish; Hongwei Xi 001 (ACM SIGPLAN Notices, 2009)

Operating system development with ATS: work in progress. - Matthew Danish; Hongwei Xi 001 (PLPV, 2010)

Virtual-CPU Scheduling in the Quest Operating System. - Matthew Danish; Ye Li 001; Richard West (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Quest-V: A Virtualized Multikernel for High-Confidence Systems - Ye Li 001; Matthew Danish; Richard West (CoRR, 2011)

Applying language-based static verification in an ARM operating system. - Matthew Danish; Hongwei Xi 001; Richard West (SIGBED Rev., 2013)

Using Lightweight Theorem Proving in an Asynchronous Systems Context. - Matthew Danish; Hongwei Xi 001 (NASA Formal Methods, 2014)

Terrier: an embedded operating system using advanced types for safety - Matthew Danish (2015)

Units-of-Measure Correctness in Fortran Programs. - Mistral Contrastin; Andrew C. Rice; Matthew Danish; Dominic A. Orchard (Comput. Sci. Eng., 2016)

A Virtualized Separation Kernel for Mixed-Criticality Systems. - Richard West; Ye Li 001; Eric S. Missimer; Matthew Danish (ACM Trans. Comput. Syst., 2016)

Verifying spatial properties of array computations. - Dominic A. Orchard; Mistral Contrastin; Matthew Danish; Andrew C. Rice (Proc. ACM Program. Lang., 2017)

Learning units-of-measure from scientific code. - Matthew Danish; Miltiadis Allamanis; Marc Brockschmidt; Andrew C. Rice; Dominic Orchard (SE4Science@ICSE, 2019)

DeepDish: multi-object tracking with an off-the-shelf Raspberry Pi. - Matthew Danish; Justas Brazauskas; Rob Bricheno; Ian Lewis; Richard Mortier (EdgeSys@EuroSys, 2020)

Guiding user annotations for units-of-measure verification. - Dominic Orchard; Mistral Contrastin; Matthew Danish; Andrew Rice (CoRR, 2020)

RACER: Real-Time Automated Complex Event Recognition in Smart Environments. - Rohit Verma; Justas Brazauskas; Vadim Safronov; Matthew Danish; Ian Lewis; Richard Mortier (SIGSPATIAL/GIS, 2021)

Do we want the New Old Internet?: Towards Seamless and Protocol-Independent IoT Application Interoperability. - Vadim Safronov; Justas Brazauskas; Matthew Danish; Rohit Verma; Ian Lewis; Richard Mortier (HotNets, 2021)

Real-time data visualisation on the adaptive city platform. - Justas Brazauskas; Rohit Verma; Vadim Safronov; Matthew Danish; Ian Lewis; Richard Mortier (BuildSys, 2021)

Data Management for Building Information Modelling in a Real-Time Adaptive City Platform. - Justas Brazauskas; Rohit Verma; Vadim Safronov; Matthew Danish; Jorge Merino; Xiang Xie; Ian Lewis; Richard Mortier (CoRR, 2021)

SenseRT: A Streaming Architecture for Smart Building Sensors. - Rohit Verma; Justas Brazauskas; Vadim Safronov; Matthew Danish; Jorge Merino; Xiang Xie; Ian Lewis; Richard Mortier (CoRR, 2021)

DeepDish on a diet: low-latency, energy-efficient object-detection and tracking at the edge. - Matthew Danish; Rohit Verma; Justas Brazauskas; Ian Lewis; Richard Mortier (EdgeSys@EuroSys, 2022)

CDBB West Cambridge Digital Twin: Lessons Learned. - Justas Brazauskas; Matthew Danish; Vadim Safronov; Rohit Verma; Richard Mortier; Ian Lewis (CoRR, 2022)

Cerberus: Privacy-Preserving Crowd Counting and Localisation using Face Detection in Edge Devices. - Justas Brazauskas; Chris Jensen; Matthew Danish; Ian Lewis; Richard Mortier (EdgeSys@EuroSys, 2024)

To use or not to use proprietary street view images in (health and place) research? That is the question. - Marco Helbich; Matthew Danish; S. M. Labib; Britta Ricker (CoRR, 2024)

Incremental units-of-measure verification. - Matthew Danish; Dominic Orchard; Andrew Rice (CoRR, 2024)

A citizen science toolkit to collect human perceptions of urban environments using open street view images. - Matthew Danish; S. M. Labib; Britta Ricker; Marco Helbich (Comput. Environ. Urban Syst., 2025)

fortran-src: Fortran static analysis infrastructure. - Mistral Contrastin; Raoul Hidalgo Charman; Matthew Danish; Benjamin Orchard; Dominic Orchard; Andrew Rice; Jason Xu (J. Open Source Softw., 2025)