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