Jin Wang

Latest

• Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines
• Updatable Learned Index with Precise Positions
• Formal Semantics and High Performance in Declarative Machine Learning using Datalog