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

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

Python in a Functional Style: Closures, Generators, and CoroutinesJifeng Wu 2022-10-28 Closures👈 Generators Coroutines All Python functions are closures. Function code. Execution environm

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

NOTE: This is a Paper Reading for Advanced Software Engineering. The original paper can be found here. BackgroundReproduction is key to finding and fixing software problems and verifying proposed solu

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. BackgroundAutomatically deriving test c

HostingWe host our personal website on GitHub Pages, a static site hosting service. Considerations: No need to buy/rent and set up infrastructure, such as Elastic Computing instances, Domain Nam