Publications | Chao Peng

Sefa Akca, Ajitha Rajan, Chao Peng (2019). SolAnalyser: A Framework for Analysing and Testing Smart Contracts. In proceedings of APSEC 2019 (To appear in December 2019).

Chao Peng, Sefa Akca, Ajitha Rajan (2019). SIF: A Framework for Solidity Contract Instrumentation and Analysis. In proceedings of APSEC 2019 (To appear in December 2019).

Chao Peng (2019). On the Correctness of GPU Programs. In proceedings of ISSTA 2019.

Chao Peng, Ajitha Rajan (2019). CLTestCheck: Measuring Test Effectiveness for GPU Kernels. In proceedings of FASE 2019 (held as part of ETAPS 2019).