research
∙
05/07/2023
Synthesizing Conjunctive Queries for Code Search
This paper presents Squid, a new conjunctive query synthesis algorithm f...
share
research
∙
01/26/2023
Verifying Data Constraint Equivalence in FinTech Systems
Data constraints are widely used in FinTech systems for monitoring data ...
research
∙
08/10/2022
TokenPatronus: A Decentralized NFT Anti-theft Mechanism
The emergence of metaverse brings tremendous evolution to Non-Fungible T...
research
∙
12/14/2019