Matthew Danish

26 papers A 1Misc 1Journal 15Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
A citizen science toolkit to collect human perceptions of urban environments using open street view images.
Comput. Environ. Urban Syst.
Matthew Danish, S. M. Labib, Britta Ricker, Marco Helbich
2025 J jnl
fortran-src: Fortran static analysis infrastructure.
J. Open Source Softw.
Mistral Contrastin, Raoul Hidalgo Charman, Matthew Danish, Benjamin Orchard, Dominic Orchard, Andrew Rice, Jason Xu
2024 J jnl
A citizen science toolkit to collect human perceptions of urban environments using open street view images.
CoRR
Matthew Danish, S. M. Labib, Britta Ricker, Marco Helbich
2024 — conf
Cerberus: Privacy-Preserving Crowd Counting and Localisation using Face Detection in Edge Devices.
EdgeSys@EuroSys
Justas Brazauskas, Chris Jensen, Matthew Danish, Ian Lewis, Richard Mortier
2024 J jnl
Incremental units-of-measure verification.
CoRR
Matthew Danish, Dominic Orchard, Andrew Rice
2024 J jnl
To use or not to use proprietary street view images in (health and place) research? That is the question.
CoRR
Marco Helbich, Matthew Danish, S. M. Labib, Britta Ricker
2022 J jnl
CDBB West Cambridge Digital Twin: Lessons Learned.
CoRR
Justas Brazauskas, Matthew Danish, Vadim Safronov, Rohit Verma, Richard Mortier, Ian Lewis
2022 — conf
DeepDish on a diet: low-latency, energy-efficient object-detection and tracking at the edge.
EdgeSys@EuroSys
Matthew Danish, Rohit Verma, Justas Brazauskas, Ian Lewis, Richard Mortier
2021 J jnl
Data Management for Building Information Modelling in a Real-Time Adaptive City Platform.
CoRR
Justas Brazauskas, Rohit Verma, Vadim Safronov, Matthew Danish, Jorge Merino, Xiang Xie, Ian Lewis, Richard Mortier
2021 Misc conf
Do we want the New Old Internet?: Towards Seamless and Protocol-Independent IoT Application Interoperability.
HotNets
Vadim Safronov, Justas Brazauskas, Matthew Danish, Rohit Verma, Ian Lewis, Richard Mortier
2021 — conf
RACER: Real-Time Automated Complex Event Recognition in Smart Environments.
SIGSPATIAL/GIS
Rohit Verma, Justas Brazauskas, Vadim Safronov, Matthew Danish, Ian Lewis, Richard Mortier
2021 — conf
Real-time data visualisation on the adaptive city platform.
BuildSys
Justas Brazauskas, Rohit Verma, Vadim Safronov, Matthew Danish, Ian Lewis, Richard Mortier
2021 J jnl
SenseRT: A Streaming Architecture for Smart Building Sensors.
CoRR
Rohit Verma, Justas Brazauskas, Vadim Safronov, Matthew Danish, Jorge Merino, Xiang Xie, Ian Lewis, Richard Mortier
2020 — conf
DeepDish: multi-object tracking with an off-the-shelf Raspberry Pi.
EdgeSys@EuroSys
Matthew Danish, Justas Brazauskas, Rob Bricheno, Ian Lewis, Richard Mortier
2020 J jnl
Guiding user annotations for units-of-measure verification.
CoRR
Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice
2019 — conf
Learning units-of-measure from scientific code.
SE4Science@ICSE
Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew C. Rice, Dominic Orchard
2017 J jnl
Verifying spatial properties of array computations.
Proc. ACM Program. Lang.
Dominic A. Orchard, Mistral Contrastin, Matthew Danish, Andrew C. Rice
2016 J jnl
A Virtualized Separation Kernel for Mixed-Criticality Systems.
ACM Trans. Comput. Syst.
Richard West, Ye Li, Eric S. Missimer, Matthew Danish
2016 J jnl
Units-of-Measure Correctness in Fortran Programs.
Comput. Sci. Eng.
Mistral Contrastin, Andrew C. Rice, Matthew Danish, Dominic A. Orchard
2015 — —
Terrier: an embedded operating system using advanced types for safety
Matthew Danish
2014 — conf
Using Lightweight Theorem Proving in an Asynchronous Systems Context.
NASA Formal Methods
Matthew Danish, Hongwei Xi
2013 J jnl
Applying language-based static verification in an ARM operating system.
SIGBED Rev.
Matthew Danish, Hongwei Xi, Richard West
2011 J jnl
Quest-V: A Virtualized Multikernel for High-Confidence Systems
CoRR
Ye Li, Matthew Danish, Richard West
2011 A conf
Virtual-CPU Scheduling in the Quest Operating System.
IEEE Real-Time and Embedded Technology and Applications Symposium
Matthew Danish, Ye Li, Richard West
2010 — conf
Operating system development with ATS: work in progress.
PLPV
Matthew Danish, Hongwei Xi
2009 J jnl
Operating system development with ATS: work in progress: (abstract only).
ACM SIGPLAN Notices
Matthew Danish, Hongwei Xi