August 31, 2021
Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities
Ahmed Bhayat , Lucas Cordeiro , Giles Reger , et al.
April 28, 2021
Multi-core synthesis and maximum satisfiability applied to optimal sizing of solar ph...
Alessandro Trindade , Edilson Galv√£o , Lucas Cordeiro , et al.