Items where Author, Editor or other role is "Robbins, E."

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B | R

Number of items: 8.

B

Bourquin, Martial and King, Andy and Robbins, Edward (2013) BinSlayer: Accurate Comparison of Binary Executables. In: Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop. POPL Principles of Programming Languages . ACM, New York, USA. ISBN 978-1-4503-1857-0. (doi:10.1145/2430553.2430557) (KAR id:37627)

R

Robbins, Ed, King, Andy, Howe, Jacob M. (2020) Backjumping is Exception Handling. Theory and Practice of Logic Programming, . pp. 1-20. ISSN 1471-0684. (doi:10.1017/S1471068420000435) (KAR id:82447)

Robbins, Ed (2017) Solvers for Type Recovery and Decompilation of Binaries. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:61349)

Robbins, Edward, King, Andy, Schrijvers, Tom (2016) From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes. In: Guha, Arjun and Chong, Steve, eds. POPL '16. . pp. 191-203. ACM Press, St. Petersburg, Florida, USA ISBN 978-1-4503-3549-2. (doi:10.1145/2837614.2837633) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:51097)

Robbins, Ed, King, Andy, Schrijvers, Tom (2015) Benchmarks, assembly files, and witnesses. On-line. Located at: On-line. (KAR id:51448)

Robbins, Ed, King, Andy, Schrijvers, Tom (2015) Proof appendix to accompany the paper, "From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes". University of Kent (KAR id:51459)

Robbins, Ed, Howe, Jacob M., King, Andy (2015) Theory Propagation and Reification. Science of Computer Programming, 111 (1). pp. 3-22. ISSN 0167-6423. (doi:10.1016/j.scico.2014.05.013) (KAR id:37600)

Robbins, Ed and Howe, Jacob M. and King, Andy (2013) Theory Propagation and Rational-Trees. In: Schrijvers, Tom, ed. Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. PPDP Principles and Practice of Declarative Programming . ACM, New York, USA, pp. 193-204. ISBN 978-1-4503-2154-9. (doi:10.1145/2505879.2505901) (KAR id:37525)

This list was generated on Thu Apr 25 20:24:36 2024 BST.