Part II. APRIL 15. Applications of program analysis (smart contracts)

1. Smart contracts
Authors: Nikolic et al.
Title: Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
Venue: ACSAC 2018
Web link: https://arxiv.org/pdf/1802.06038.pdf

PESENTERS: Dyami AND Michael

2. Bugs in smart contracts
Authors: Smaragdakis et al.
Title: Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
Venue: SBC 2023
Web link: https://yanniss.github.io/sbc2023.pdf

PRESENTERS: Brandon AND Henry

3. Bugs in smart contracts
Author: Chaliasos et al.
Title: Smart Contract and DeFi Security: Insights from Tool Evaluations and Practitioner Surveys
Venue: ICSE 2024 (to appear)
Web link: https://www.doc.ic.ac.uk/~livshits/papers/pdf/icse24.pdf

PRESENTERS: Jonathan AND Danielle