59 citations · 75 across the 4 of their papers we have counts for
5 papers
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou +4
The growth of the decentralized finance (DeFi) ecosystem built on blockchain technology and smart contracts has led to an increased demand for secure and reliable smart contract de…
PyCG: Practical Call Graph Generation in Python
Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas +2
Call graphs play an important role in different contexts, such as profiling and vulnerability propagation analysis. Generating call graphs in an efficient manner can be a challengi…
Identifying Bugs in Make and JVM-Oriented Builds
Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos +1
Incremental and parallel builds are crucial features of modern build systems. Parallelism enables fast builds by running independent tasks simultaneously, while incrementality save…
Detecting Missing Dependencies and Notifiers in Puppet Programs
Thodoris Sotiropoulos, Dimitris Mitropoulos, Diomidis Spinellis
Puppet is a popular computer system configuration management tool. It provides abstractions that enable administrators to setup their computer systems declaratively. Its use suffer…
Tug-of-War: Observations on Unified Content Handling
Theofilos Petsios, Adrian Tang, Dimitris Mitropoulos +3
Modern applications and Operating Systems vary greatly with respect to how they register and identify different types of content. These discrepancies lead to exploits and inconsist…