97 citations · 501 across the 35 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2019
Static Analysis for Asynchronous JavaScript Programs
Thodoris Sotiropoulos, Benjamin Livshits
Asynchrony has become an inherent element of JavaScript, as an effort to improve the scalability and performance of modern web applications. To this end, JavaScript provides progra…
cs.PL2018★ 97 cited
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
Elvira Albert, Pablo Gordillo, Benjamin Livshits +2
Analyzing Ethereum bytecode, rather than the source code from which it was generated, is a necessity when: (1) the source code is not available (e.g., the blockchain only stores th…