selected publications conference paper Automated Detection of Spatial Memory Safety Violations for Constrained Devices. 2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC). 2022