Learning semantic program embeddings with graph interval neural network

in Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications 2020 (OOPSLA 20) Distinguished Paper award

Dangdone: Eliminating dangling pointers via intermediate pointers

in Proceedings of the Tenth Asia-Pacific Symposium on Internetware (Internetware)

Automatic detection and validation of race conditions in interrupt-driven embedded software

in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis(ISSTA 17)

Detecting data races in interrupt-driven programs based on static analysis and dynamic simulation

in Proceedings of the 7th Asia-Pacific Symposium on Internetware (Internetware)