Edward Robbins

According to our database, Edward Robbins authored at least 9 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Backjumping is Exception Handling.

Ed Robbins, Andy King, Jacob M. Howe

Theory Pract. Log. Program., 2021

2019

Incrementally closing octagons.

Aziem Chawdhary, Edward Robbins, Andy King

Formal Methods Syst. Des., 2019

2017

Solvers for type recovery and decompilation of binaries.

Ed Robbins

PhD thesis, 2017

Theory learning with symmetry breaking.

Jacob M. Howe, Edward Robbins, Andy King

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2016

From MinX to MinC: semantics-driven decompilation of recursive datatypes.

Edward Robbins, Andy King, Tom Schrijvers

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Theory propagation and reification.

Edward Robbins, Jacob M. Howe, Andy King

Sci. Comput. Program., 2015

2014

Simple and Efficient Algorithms for Octagons.

Aziem Chawdhary, Edward Robbins, Andy King

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

Theory propagation and rational-trees.

Edward Robbins, Jacob M. Howe, Andy King

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

BinSlayer: accurate comparison of binary executables.

Martial Bourquin, Andy King, Edward Robbins

Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2013, 2013