Virtual-CPU scheduling in the Quest operating system M Danish, Y Li, R West 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2011 | 94 | 2011 |
A virtualized separation kernel for mixed-criticality systems R West, Y Li, E Missimer, M Danish ACM Transactions on Computer Systems (TOCS) 34 (3), 1-41, 2016 | 57 | 2016 |
Quest-V: A virtualized multikernel for high-confidence systems Y Li, M Danish, R West arXiv preprint arXiv:1112.5136, 2011 | 26 | 2011 |
Units-of-measure correctness in Fortran programs M Contrastin, A Rice, M Danish, DA Orchard Computing in Science & Engineering 18 (1), 102-107, 2015 | 13 | 2015 |
DeepDish: multi-object tracking with an off-the-shelf Raspberry Pi M Danish, J Brazauskas, R Bricheno, I Lewis, R Mortier Proceedings of the Third ACM International Workshop on Edge Systems …, 2020 | 9 | 2020 |
Data management for building information modelling in a real-time adaptive city platform J Brazauskas, R Verma, V Safronov, M Danish, J Merino, X Xie, I Lewis, ... arXiv preprint arXiv:2103.04924, 2021 | 8 | 2021 |
Supporting software sustainability with lightweight specifications M Contrastin, M Danish, AC Rice, DA Orchard CEUR Workshop Proceedings 1686, 2016 | 5 | 2016 |
Using lightweight theorem proving in an asynchronous systems context M Danish, H Xi NASA Formal Methods Symposium, 158-172, 2014 | 4 | 2014 |
DeepDish on a diet: low-latency, energy-efficient object-detection and tracking at the edge M Danish, R Verma, J Brazauskas, I Lewis, R Mortier Proceedings of the 5th International Workshop on Edge Systems, Analytics and …, 2022 | 3 | 2022 |
Learning units-of-measure from scientific code M Danish, M Allamanis, M Brockschmidt, A Rice, D Orchard 2019 IEEE/ACM 14th International Workshop on Software Engineering for …, 2019 | 3 | 2019 |
Verifying spatial properties of array computations D Orchard, M Contrastin, M Danish, A Rice Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-30, 2017 | 3 | 2017 |
Lightning talk: Supporting software sustainability with lightweight specifications M Contrastin, M Danish, D Orchard, A Rice CEUR Workshop Proceedings, 2016 | 3 | 2016 |
Do we want the New Old Internet? Towards Seamless and Protocol-Independent IoT Application Interoperability V Safronov, J Brazauskas, M Danish, R Verma, I Lewis, R Mortier Proceedings of the 20th ACM Workshop on Hot Topics in Networks, 185-191, 2021 | 2 | 2021 |
RACER: Real-Time Automated Complex Event Recognition in Smart Environments R Verma, J Brazauskas, V Safronov, M Danish, I Lewis, R Mortier Proceedings of the 29th International Conference on Advances in Geographic …, 2021 | 2 | 2021 |
SenseRT: A Streaming Architecture for Smart Building Sensors R Verma, J Brazauskas, V Safronov, M Danish, J Merino, X Xie, I Lewis, ... arXiv preprint arXiv:2103.09169, 2021 | 2 | 2021 |
Proofs for ‘Verifying Spatial Properties of Array Computations’ D Orchard, M Contrastin, M Danish, A Rice University of Cambridge, Computer Laboratory, 2017 | 2 | 2017 |
Applying language-based static verification in an ARM operating system M Danish, H Xi, R West ACM SIGBED Review 10 (2), 16-16, 2013 | 2 | 2013 |
Operating system development with ATS: work in progress M Danish, H Xi Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets …, 2010 | 2 | 2010 |
Operating System Development with ATS M Danish, H Xi Proceedings of the International Workshop on Programming Languages Meets …, 2010 | 2 | 2010 |
Quest-V: A virtualized multikernel for high-confidence embedded systems Y Li, R West, E Missimer, M Danish | 2 | |