Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Aoying Zho | Lattice

Aoying Zho

Papers on Lattice

1

Total citations

0

Topics

2

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Distributed Systems & Hardware (1)

Frequent co-authors

Ce Lyu (1)Changzheng Wei (1)Yanhao Wang (1)Jie Liang (1)

Papers (1)

Jun 22, 2026

Normal University3w ago·also Tsinghua AI, Ant Group, Digital Technologies

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations

JoinEquiv exposes 29 hidden logical bugs in popular DBMSs, revealing critical flaws in INNER JOIN optimizations that could undermine data integrity.

Ce Lyu, Changzheng Wei, Yanhao Wang +5

Code Generation & Program Synthesis Distributed Systems & Hardware

Hanghang Wu (1)

Minghao Zhao (1)