Isolating compiler bugs by generating effective witness programs with Large Language Models

بواسطة TU, Haoxin, ZHOU, Zhide, JIANG, He, IMAM NUR BANI YUSUF, LI, Yuxian, JIANG, Lingxiao
منشور في 2024

PRI: PCH-based privacy-preserving with reusability and interoperability for enhancing blockchain scalability

بواسطة LI, Yuxian, WENG, Jian, WU, Wei, LI, Ming, LI, Yingjiu, TU, Haoxin, WU, Yongdong, DENG, Robert H.
منشور في 2023