Carlo Zaniolo

Latest

• Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines
• Formal Semantics and High Performance in Declarative Machine Learning using Datalog