Finding Cross-Rule Optimization Bugs in Datalog Engines
Talk, OOPSLA 2024, Pasadena, California, United States
Talks and presentations
Step-wise Execution of Data-Centric Systems
Talk, SPLASH 2024 Doctoral Symposium, Pasadena, California, United States
Automatically Testing Datalog Engines to Find Optimization Bugs
Talk, NUS PLSE Seminar, Singapore
Infrared: A Meta Bug Detector
Talk, NUS PLSE Seminar, Singapore
Firmware Fuzzing: The State of the Art
Talk, Internetware’2020, Online
物联网固件安全缺陷检测研究进展
Talk, NASAC‘2019, Hangzhou, Zhejiang, China