Matthew Danish

According to our database1, Matthew Danish authored at least 12 papers between 2009 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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...