research
∙
04/06/2023
Smart Contract and DeFi Security: Insights from Tool Evaluations and Practitioner Surveys
The growth of the decentralized finance (DeFi) ecosystem built on blockc...
share
research
∙
02/28/2021
PyCG: Practical Call Graph Generation in Python
Call graphs play an important role in different contexts, such as profil...
research
∙
05/14/2020
Identifying Bugs in Make and JVM-Oriented Builds
Incremental and parallel builds are crucial features of modern build sys...
research
∙
05/27/2019
Detecting Missing Dependencies and Notifiers in Puppet Programs
Puppet is a popular computer system configuration management tool. It pr...
research
∙
08/29/2017