FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers

by TU, Haoxin, JIANG, Lingxiao, DING, Xuhua, JIANG, He
Published 2022

Beyond a joke: Dead Code Elimination can delete live code

by TU, Haoxin, JIANG, Lingxiao, GAO, Debin, JIANG, He
Published 2024

Concretely mapped symbolic memory locations for memory error detection

by TU, Haoxin, JIANG, Lingxiao, HONG, Jiaqi, DING, Xuhua, JIANG, He
Published 2024

RemGen: remanufacturing a random program generator for compiler testing

by TU, Haoxin, JIANG, He, LI, Xiaochen, ZHOU, Zhide, JIANG, Lingxiao, JIANG, Lingxiao
Published 2022

Detecting C++ compiler front-end bugs via grammar mutation and differential testing

by TU, Haoxin, JIANG, He, ZHOU, Zhide, TANG, Yixuan, REN, Zhilei, QIAO, Lei, JIANG, Lingxiao
Published 2023

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

by TU, Haoxin, ZHOU, Zhide, JIANG, He, IMAM NUR BANI YUSUF, LI, Yuxian, JIANG, Lingxiao
Published 2024

KRover: A symbolic execution engine for dynamic kernel analysis

by PITIGALA ARACHCHILLAGE, Pansilu Madhura Bhashana Pitigalaarachchi, DING, Xuhua, QIU, Haiqing, TU, Haoxin, HONG, Jiaqi, JIANG, Lingxiao
Published 2023

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

by LI, Yuxian, WENG, Jian, WU, Wei, LI, Ming, LI, Yingjiu, TU, Haoxin, WU, Yongdong, DENG, Robert H.
Published 2023