Matthew Danish

According to our database, Matthew Danish authored at least 24 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

CoRR, 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

Cerberus: Privacy-Preserving Crowd Counting and Localisation using Face Detection in Edge Devices.

Justas Brazauskas, Chris Jensen, Matthew Danish, Ian Lewis, Richard Mortier

Proceedings of the 7th International Workshop on Edge Systems, Analytics and Networking, 2024

2022

CDBB West Cambridge Digital Twin: Lessons Learned.

Justas Brazauskas, Matthew Danish, Vadim Safronov, Rohit Verma, Richard Mortier, Ian Lewis

CoRR, 2022

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

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.

Rohit Verma, Justas Brazauskas, Vadim Safronov, Matthew Danish, Jorge Merino, Xiang Xie, Ian Lewis, Richard Mortier

CoRR, 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

Real-time data visualisation on the adaptive city platform.

Justas Brazauskas, Rohit Verma, Vadim Safronov, Matthew Danish, Ian Lewis, Richard Mortier

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.

Vadim Safronov, Justas Brazauskas, Matthew Danish, Rohit Verma, Ian Lewis, Richard Mortier

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.

Rohit Verma, Justas Brazauskas, Vadim Safronov, Matthew Danish, Ian Lewis, Richard Mortier

Proceedings of the SIGSPATIAL '21: 29th International Conference on Advances in Geographic Information Systems, 2021

2020

Guiding user annotations for units-of-measure verification.

Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice

CoRR, 2020

DeepDish: multi-object tracking with an off-the-shelf Raspberry Pi.

Matthew Danish, Justas Brazauskas, Rob Bricheno, Ian Lewis, Richard Mortier

Proceedings of the 3rd International Workshop on Edge Systems, Analytics and Networking, 2020

2019

Learning units-of-measure from scientific code.

Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew C. Rice, Dominic Orchard

Proceedings of the 14th International Workshop on Software Engineering for Science, 2019

2017

Verifying spatial properties of array computations.

Dominic A. Orchard, Mistral Contrastin, Matthew Danish, Andrew C. Rice

Proc. ACM Program. Lang., 2017

2016

A Virtualized Separation Kernel for Mixed-Criticality Systems.

Richard West, Ye Li, Eric S. Missimer, Matthew Danish

ACM Trans. Comput. Syst., 2016

Units-of-Measure Correctness in Fortran Programs.

Mistral Contrastin, Andrew C. Rice, Matthew Danish, Dominic A. Orchard

Comput. Sci. Eng., 2016

2015

Terrier: an embedded operating system using advanced types for safety

Matthew Danish

PhD thesis, 2015

2014

Using Lightweight Theorem Proving in an Asynchronous Systems Context.

Matthew Danish, Hongwei Xi

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.

Matthew Danish, Hongwei Xi, Richard West

SIGBED Rev., 2013

2011

Quest-V: A Virtualized Multikernel for High-Confidence Systems

Ye Li, Matthew Danish, Richard West

CoRR, 2011

Virtual-CPU Scheduling in the Quest Operating System.

Matthew Danish, Ye Li, Richard West

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

2010

Operating system development with ATS: work in progress.

Matthew Danish, Hongwei Xi

Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

2009

Operating system development with ATS: work in progress: (abstract only).

Matthew Danish, Hongwei Xi

ACM SIGPLAN Notices, 2009