ISPD 2013 expert designer/user session (eds). - Cliff C. N. Sze; Laleh Behjat; Nikhil Jayakumar; Atul Walimbe; Gregory Ford; Mark Zwolinski; Harish Dangat; Giriraj Kakol (ISPD, 2013)

Formal Verification ATPG Search Engine Emulator (Abstract Only). - Gregory Ford; Aswin Krishna; Jacob A. Abraham; Daniel G. Saab (FPGA, 2015)