Finding Optimization Bugs in Datalog Engines


Date
Feb 20, 2023 2:00 PM — 3:00 PM
Event
Weekly Talk
Location
NUS SoC
Chi Zhang
Chi Zhang
Visiting Ph.D. Student

Chi is visiting the lab for one year.