T-less : A novel touchless human-machine interface based on infrared proximity sensing. - Dongseok Ryu; Dugan Um; Philip Tanofsky; Do Hyong Koh; Young Sam Ryu; Sungchul Kang (IROS, 2010)

Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE. - Xiaoyin Wang; Lingming Zhang 001; Philip Tanofsky (ISSTA, 2015)