Linked Presentation: Detecting Logic Bugs in Database Engines via Equivalent Expression TransformationValidating the eBPF Verifier via State Embedding
