Safety Verification of Declarative Smart Contracts. - Haoxian Chen 001; Lan Lu; Brendan Massey; Yuepeng Wang 001; Boon Thau Loo (CoRR, 2022)

Verifying Declarative Smart Contracts. - Haoxian Chen 001; Lan Lu; Brendan Massey; Yuepeng Wang 001; Boon Thau Loo (ICSE, 2024)

Practical Declarative Smart Contracts Optimization. - Lan Lu; Tao Luo; Jingyi Li; Hongxun Ding; Brendan Massey; Haoxian Chen 001; Boon Thau Loo (VLDB Workshops, 2024)