9 citations · 23 across the 6 of their papers we have counts for
1 paper · 1 filter
Bhargava Shastry
Smart contract compilers are critical to ensuring the correctness of public blockchains whose defining characteristics are open-source and immutable code. We created SolSmith, a se…