Brendan Massey

According to our database, Brendan Massey authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Practical Declarative Smart Contracts Optimization.

Lan Lu, Tao Luo, Jingyi Li, Hongxun Ding, Brendan Massey, Haoxian Chen, Boon Thau Loo

Proceedings of Workshops at the 50th International Conference on Very Large Data Bases, 2024

Verifying Declarative Smart Contracts.

Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2022

Safety Verification of Declarative Smart Contracts.

Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo

CoRR, 2022