314 citations · 336 across the 11 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
SolType: Refinement Types for Arithmetic Overflow in Solidity
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri +2
As smart contracts gain adoption in financial transactions, it becomes increasingly important to ensure that they are free of bugs and security vulnerabilities. Of particular relev…
cs.DB2021★ 314 cited
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth
Georg Gottlob, Matthias Lanzinger, Cem Okulmus +1
Modern trends in data collection are bringing current mainstream techniques for database query processing to their limits. Consequently, various novel approaches for efficient quer…