Solidity Parsing Using SmaCC: Challenges and Irregularities
Demystifying Incentives in the Consensus Computer