Matthew Danish

Orcid: 0000-0002-7186-387X

According to our database1, Matthew Danish authored at least 24 papers between 2009 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
2
1
2
1
1
2
1
1
1
1
1
3
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
A citizen science toolkit to collect human perceptions of urban environments using open street view images.
Comput. Environ. Urban Syst., 2025

2024
Incremental units-of-measure verification.
CoRR, 2024

To use or not to use proprietary street view images in (health and place) research? That is the question.
CoRR, 2024

Cerberus: Privacy-Preserving Crowd Counting and Localisation using Face Detection in Edge Devices.
Proceedings of the 7th International Workshop on Edge Systems, Analytics and Networking, 2024

2022
CDBB West Cambridge Digital Twin: Lessons Learned.
CoRR, 2022

DeepDish on a diet: low-latency, energy-efficient object-detection and tracking at the edge.
Proceedings of the EdgeSys@EuroSys 2022: Proceedings of the 5th International Workshop on Edge Systems, Analytics and Networking, Rennes, France, April 5, 2022

2021
SenseRT: A Streaming Architecture for Smart Building Sensors.
CoRR, 2021

Data Management for Building Information Modelling in a Real-Time Adaptive City Platform.
CoRR, 2021

Real-time data visualisation on the adaptive city platform.
Proceedings of the BuildSys '21: The 8th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, Coimbra, Portugal, November 17, 2021

Do we want the New Old Internet?: Towards Seamless and Protocol-Independent IoT Application Interoperability.
Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021

RACER: Real-Time Automated Complex Event Recognition in Smart Environments.
Proceedings of the SIGSPATIAL '21: 29th International Conference on Advances in Geographic Information Systems, 2021

2020
Guiding user annotations for units-of-measure verification.
CoRR, 2020

DeepDish: multi-object tracking with an off-the-shelf Raspberry Pi.
Proceedings of the 3rd International Workshop on Edge Systems, Analytics and Networking, 2020

2019
Learning units-of-measure from scientific code.
Proceedings of the 14th International Workshop on Software Engineering for Science, 2019

2017
Verifying spatial properties of array computations.
Proc. ACM Program. Lang., 2017

2016
A Virtualized Separation Kernel for Mixed-Criticality Systems.
ACM Trans. Comput. Syst., 2016

Units-of-Measure Correctness in Fortran Programs.
Comput. Sci. Eng., 2016

2015
Terrier: an embedded operating system using advanced types for safety
PhD thesis, 2015

2014
Using Lightweight Theorem Proving in an Asynchronous Systems Context.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013
Applying language-based static verification in an ARM operating system.
SIGBED Rev., 2013

2011
Quest-V: A Virtualized Multikernel for High-Confidence Systems
CoRR, 2011

Virtual-CPU Scheduling in the Quest Operating System.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

2010
Operating system development with ATS: work in progress.
Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

2009
Operating system development with ATS: work in progress: (abstract only).
ACM SIGPLAN Notices, 2009


  Loading...