Reverse engineering digital circuits using functional analysis. - Pramod Subramanyan; Nestan Tsiskaridze; Kanika Pasricha; Dillon Reisman; Adriana Susnea; Sharad Malik (DATE, 2013)

NOVA: A Functional Language for Data Parallelism. - Alexander Collins; Dominik Grewe; Vinod Grover; Sean Lee; Adriana Susnea (ARRAY@PLDI, 2014)