Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Smart Contract Repair   Smart contracts are automated or self-enforcing contracts that can be used to
exchange assets without having to place trust in third parties. Many commercial
transactions use smart contracts due to their potential benefits in terms of
secure peer-to-peer transactions independent of external parties. Experience
shows that many commonly used smart contracts are vulnerable to serious
malicious attacks which may enable attackers to steal valuable assets of
involving parties. There is therefore a need to apply analysis and automated
repair techniques to detect and repair bugs in smart contracts before being
deployed. In this work, we present the first general-purpose automated smart
contract repair approach that is also gas-aware. Our repair method is
search-based and searches among mutations of the buggy contract. Our method
also considers the gas usage of the candidate patches by leveraging our novel
notion of gas dominance relationship. We have made our smart contract repair
tool SCRepair available open-source, for investigation by the wider community.

10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
16
The categories of this paper are: stat
3
The categories of this paper are: physics
2
The categories of this paper are: math