Edward Robbins

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 5

Top Topics

Exception Handling

Symmetry Breaking

Morphological Operators

Recursive Queries

Top Venues

Sci. Comput. Program.

Publications

Edward Robbins, Andy King, Jacob M. Howe
Backjumping is Exception Handling. CoRR (2020)
Aziem Chawdhary, Edward Robbins, Andy King
Incrementally closing octagons. Formal Methods Syst. Des. 54 (2) (2019)
Jacob M. Howe, Edward Robbins, Andy King
Theory learning with symmetry breaking. PPDP (2017)
Edward Robbins, Andy King, Tom Schrijvers
From MinX to MinC: semantics-driven decompilation of recursive datatypes. POPL (2016)
Aziem Chawdhary, Edward Robbins, Andy King
Incrementally Closing Octagons. CoRR (2016)
Edward Robbins, Jacob M. Howe, Andy King
Theory propagation and reification. Sci. Comput. Program. 111 (2015)
Aziem Chawdhary, Edward Robbins, Andy King
Simple and Efficient Algorithms for Octagons. APLAS (2014)
Edward Robbins, Jacob M. Howe, Andy King
Theory propagation and rational-trees. PPDP (2013)
Martial Bourquin, Andy King, Edward Robbins
BinSlayer: accurate comparison of binary executables. PPREW@POPL (2013)