Two new papers have been accepted: Complete, Sound, and Scalable Identification of Minimal Failure-Causing Schema and Automated Debugging of Datalog Programs. Congratulations to Runshuo, Jiashen, and Baoyuan!