ATVA 2023 and PRDC 2023
Consider submitting your work to ATVA 2023: https://atva-conference.org/2023/ PRDC 2023:
New course on AI security added
I have recently developed a 10 week course on AI
ASE’21 Distingished PC Member Award
I’ve been awarded with ASE’21 Distinguished PC Member Award.
Received Lee Kuan Yew Fellowship
As titled. From 2021 to 2023. This is my second
SIGSOFT Research Highlights
Our paper “White-box fairness testing through adversarial sampling” published at
Multiple ASE Papers Accepted: on Concurrency, SAT solving and Abstracting Neural Networks
Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang,
Awards from ICSE 2020
ACM Sigsoft distinguished paper award for “White-box Fairness Testing through
Learning Markov Chain? How many samples are sufficient?
Hugo Bazille, Blaise Genest, Cyrille Jegourel and Jun Sun: “Global
Multiple works on Solidity Smart Contracts published
Jiao Jiao, Shuanglong Kan, Shangwei Lin, David Sanan, Yang Liu
Papers Accepted by ICSE 2020
Duy Tai Nguyen, Long H. Pham, Jun Sun, Yun Lin
