Matthew Danish

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 17

Top Topics

Theorem Proving

Urban Environments

Top Venues

EdgeSys@EuroSys

Proc. ACM Program. Lang.

BuildSys@SenSys

Publications

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