Jifeng Wu's Personal Website

NOTE: This is a Paper Reading for Topics in Programming Languages: Automated Testing, Bug Detection, and Program Analysis. The original paper can be found here. The paper proposes a hybrid approach to

NOTE: This is a Paper Reading for Topics in Programming Languages: Automated Testing, Bug Detection, and Program Analysis. The original paper can be found here. Summary of the PaperThe authors propose

NOTE: This is a Paper Reading for Topics in Programming Languages: Automated Testing, Bug Detection, and Program Analysis. The original paper can be found here. Background InformationDatalog Declarati

NOTE: This is a Paper Reading for Topics in Programming Languages: Automated Testing, Bug Detection, and Program Analysis. The original paper can be found here. To be honest, I found the paper to be a

NOTE: This is a Paper Reading for Topics in Programming Languages: Automated Testing, Bug Detection, and Program Analysis. The original paper can be found here. A program usually accepts a formal lang

2022-10 Spending Statement

NOTE: This is a Paper Reading for Topics in Programming Languages: Automated Testing, Bug Detection, and Program Analysis. The original paper can be found here. To combat worms spread by the Internet

Closures👈 Generators Coroutines All Python functions are closures. Function code. Execution environment of function code (variables it depend on). A nested function can be returned. This is

NOTE: This is a Paper Reading for Advanced Software Engineering. The original paper can be found here. This part of the book addresses the problem of crafting survey questions that respondents are wil

NOTE: This is a Paper Reading for Topics in Programming Languages: Automated Testing, Bug Detection, and Program Analysis. The original paper can be found here. Forward symbolic execution and dynamic