Linzhang Wang

Publications

Chi Zhang, Linzhang Wang, Manuel Rigger (2023). Finding Cross-rule Optimization Bugs in Datalog Engines. In OOPSLA 2024.

PDF Cite