Content
@
0 reply
0 recast
0 reaction
Francesco Piccoli
@francescop
New day, new paper. We work closely with Zhuo, he came up with an interesting classification for smart contract bugs, distinguishing them between "machine auditable" and "machine unauditable". "Machine" in this case doesn't take LLMs into consideration. https://www.cs.purdue.edu/homes/zhan3299/res/ICSE23.pdf
1 reply
2 recasts
12 reactions
Nadav
@nadav
Sick
0 reply
0 recast
1 reaction
