• [ 2024-03-14 ] [blog] user friendly vulnerability
• [ 2024-02-15 ] [blog] patch pattern
• [ 2024-01-18 ] [blog] apr's overfitting problem
• [ 2023-12-07 ] [blog] se for co Work
• [ 2023-11-23 ] [blog] copilot and code repair
• [ 2023-11-09 ] [blog] defect classification
• [ 2023-10-15 ] [research] reminiscence
• [ 2023-09-18 ] [blog] plastic Progressive overload
• [ 2023-09-01 ] [research] knowing is admitting not knowing
• [ 2023-08-19 ] [research] tech that does actually help
• [ 2023-07-21 ] [research] concolic testing
• [ 2023-06-23 ] [research] ast diff problem
• [ 2023-06-15 ] [blog] coding as a game
• [ 2023-05-25 ] [paper] future research direction of apr
• [ 2023-05-25 ] [paper] automatic software verification
• [ 2023-03-30 ] [blog] software immune system
• [ 2023-03-16 ] [review] the fuel for research
• [ 2023-03-08 ] [program analysis] soundness and completeness
• [ 2023-03-02 ] [blog] important questions
• [ 2023-01-19 ] [se] bug!