09/2017 One collaborative paper (with FIU and UCF) is nominated for Best Paper Award for ASP-DAC 2018.