Feel different on the Java platform: the star programming language. - Frank McCabe; Michael Sperber (PPPJ, 2013)

Deferrability Analysis for JavaScript. - Johannes Kloos; Rupak Majumdar; Frank McCabe (Haifa Verification Conference, 2017)