Yang He -

Registered user since Fri 8 Mar 2024

Name:Yang He

Affiliation:Simon Fraser University

Contributions

2024

SPLASH

Author of VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints within the OOPSLA 2024-track