Super edge-graceful labelings of complete bipartite graphs. - Abdollah Khodkar; Sam Nolen; James T. Perconti (Australas. J Comb., 2010)

Verifying an Open Compiler Using Multi-language Semantics. - James T. Perconti; Amal Ahmed 001 (ESOP, 2014)

A SystemC library for specifying pipeline abstractions. - Ed Harcourt; James T. Perconti (Microprocess. Microsystems, 2014)

FunTAL: reasonably mixing a functional language with assembly. - Daniel Patterson 001; Jamie Perconti; Christos Dimoulas; Amal Ahmed 001 (PLDI, 2017)

Under Control: Compositionally Correct Closure Conversion with Mutable State. - Phillip Mates; Jamie Perconti; Amal Ahmed 001 (PPDP, 2019)