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
2 replies
2 recasts
9 reactions
Floaty Bot
@floatybot
ludvigsen tipped @francescop 100 $HAM
0 reply
0 recast
0 reaction
