research
∙
11/21/2022
Higher-Order, Data-Parallel Structured Deduction
State-of-the-art Datalog engines include expressive features such as ADT...
share
research
∙
07/27/2021
So You Want to Analyze Scheme Programs With Datalog?
Static analysis approximates the results of a program by examining only ...
research
∙
01/12/2021
Declarative Demand-Driven Reverse Engineering
Binary reverse engineering is a challenging task because it often necess...
research
∙
12/01/2019
An Observational Investigation of Reverse Engineers' Processes
Reverse engineering is a complex process essential to software-security ...
research
∙
07/24/2018