This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.
Over the past few years, my collaborators and I have been exploring the design of high-performance logic programming engines for a wide variety of tasks, including program analysis (points-to analysis, abstract interpretation), graph analytics (transitive closure, PageRank), and security (binary code similarity, disassembly, and decompilation). We (myself, my collaborators, and our students) have…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.