BinSlayer: accurate comparison of binary executables. - Martial Bourquin; Andy King; Edward Robbins 001 (PPREW@POPL, 2013)

Theory propagation and rational-trees. - Edward Robbins 001; Jacob M. Howe; Andy King (PPDP, 2013)

Simple and Efficient Algorithms for Octagons. - Aziem Chawdhary; Edward Robbins 001; Andy King (APLAS, 2014)

Theory propagation and reification. - Edward Robbins 001; Jacob M. Howe; Andy King (Sci. Comput. Program., 2015)

From MinX to MinC: semantics-driven decompilation of recursive datatypes. - Edward Robbins 001; Andy King; Tom Schrijvers (POPL, 2016)

Theory learning with symmetry breaking. - Jacob M. Howe; Edward Robbins 001; Andy King (PPDP, 2017)

Solvers for type recovery and decompilation of binaries. - Ed Robbins 001 (2017)

Incrementally closing octagons. - Aziem Chawdhary; Edward Robbins 001; Andy King (Formal Methods Syst. Des., 2019)

Backjumping is Exception Handling. - Ed Robbins 001; Andy King; Jacob M. Howe (Theory Pract. Log. Program., 2021)