Publications

Mingjie Shen, Akul Pillai, Brian A. Yuan, James C. Davis, Aravind Machiry (2023). An Empirical Study on the Use of Static Analysis Tools in Open Source Embedded Software.

PDF Cite Poster DOI

Mingjie Shen, James C. Davis, Aravind Machiry (2023). Towards Automated Identification of Layering Violations in Embedded Applications (WIP). Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES).

PDF Cite Code Slides Video DOI