Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Thu 22 Aug 2019 11:15 - 12:00 at Elk - Session 2 Chair(s): Lisa Zhang

Defining a central processing unit relationally using miniKanren is proposed as a new approach for realizing assembly code diversification. Software diversity has long been championed as a means of protecting digital ecosystems from widespread failures due to cyberattacks and faults, but is often difficult to achieve in practice. Using relational programming to simulate a processor allows large-scale automatic synthesis of assembly-level code. Early experiments with the technique indicate that such synthesis might lead to better automation of code diversification by breaking the synthesis problem into manageable chunks. An early prototype is presented, with some sample synthesis tasks and discussion of possible future applications.

Thu 22 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00: Session 2miniKanren at Elk
Chair(s): Lisa ZhangUniversity of Toronto
10:30 - 11:15
Relational Interpreters for Search Problems
Petr LozovSain Petersburg State University, SPbGU, Ekaterina VerbitskaiaSaint Petersburg State University, Russia, Dmitri Boulytchev
Link to publication
11:15 - 12:00
Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren
Gilmore R. Lundquist, Utsav Bhatt, Kevin HamlenUniversity of Texas at Dallas, USA
Link to publication