15 citations · 52 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
An Empirical Study of Protocols in Smart Contracts
Timothy Mou, Michael Coblenz, Jonathan Aldrich
Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerab…
cs.PL2021
Gradual Program Analysis for Null Pointers
Sam Estep, Jenna Wise, Jonathan Aldrich +3
Static analysis tools typically address the problem of excessive false positives by requiring programmers to explicitly annotate their code. However, when faced with incomplete ann…