Apr 2024
Prof. Wang will serve as the PC member of ISSTA 2025, consider submitting your best work!
Apr 2024
Jianan and Prof. Wang attended ICSE 2024 and presented our paper on verification guided synthesis for repairing deep neural networks!
Mar 2024
Prof. Wang will serve as the PC member of ISSRE 2024 and ChinaSoft/FMAC 2024, consider submitting your best work!
Mar 2024
Xiaoxia was invited to give a talk on our survey paper on prompting frameworks for LLM at the AGI Leap Summit! Her work also won the Best Paper Award of the summit, congrats!
Feb 2024
One paper on neural network debugging is accepted by ISSTA 2024, congrats to Jialuo!
Dec 2023
Prof. Wang will serve as the PC member of ISSTA 2024, consider submitting your best work!
Nov 2023
Prof. Wang will serve as the PC member of ICSE 2025, consider submitting your best work!
Oct 2023
Prof. Wang will serve as the PC member of TASE 2024, ANT 2024 and ACNS/SiMLA 2024.
Aug 2023
Huan will visit Prof. Philippa Gardner’s group at Imperial College London to work on concurrent program verification, congrats!
Aug 2023
One paper on neural network repair is accepted by ICSE 2024, congrats to Jianan!
Aug 2023
Prof. Wang will serve as the PC member of ChinaSoft/FMAC 2023.
July 2023
Jialuo will visit Prof. Marta Kwiatkowska’s group at Oxford to work on AI safety, congrats!
May 2023
One paper on reducing the attack surface of Node.js is accepted by CCS 2023, congrats to Wenya!
Jan 2023
One paper on fairness testing of deep recommender systems is accepted by ISSTA 2023, congrats to Huizhong!
Dec 2022
One paper on robustness testing of deep neural networks is accepted by TOSEM, congrats to Jialuo!
Nov 2022
Prof. Wang will serve as a PC member of ATVA 2023, consider submitting your work!
Dec 2021
One paper on copyright protection of deep learning models is accepted by IEEE S&P 2022, congrats to Jialuo!
Dec 2021
One paper on fairness testing of deep learning models is accepted by ICSE 2022, congrats to Haibin!