In general, my research interest lies in program analaysis, programming language and software engineering.
Currently I am working on the topic to find loop invariant for a given program with loops in it, which stays at the heart of program verification area.
I am also interested in machine learning and operating system topics.
Jiaying Li, Jun Sun.
Learning Disjunctive Invariants based on Loop Structures (under review)
Jiaying Li, Jun Sun, Bo Gao and ́Etienne Andre ́
Classification-based Parameter Synthesis for Parametric Timed Automata
in ICFEM 2017, Nov. 13-17, Xi'an, China
Jiaying Li, Jun Sun, Li Li, Quang Loc Le and Shang-Wei Lin
Automatic Loop-invariant Generation and Refinement through Selective Sampling
in ASE 2017, Oct. 30 - Nov. 3, Illinois, USA
Truong Khanh Nguyen,Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong
Scaling BDD-based Timed Verification with Simulation Reduction
in ICFEM 2016, Nov. 14-18, Tokyo, Japan
An Invariant Inference Framework using Active Learning and SVMs
In ICECCS 2015, Dec 9-12, Gold Coast, Australia