Jifeng Wu
  • Home
  • Categories
  • Archives
  • About
Jifeng Wu's Personal Website

Paper Reading: Lightweight Verification of Array Indexing

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
2022-11-16
Research Inspiration

Paper Reading: Modular Checking for Buffer Overflows in the Large

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
2022-11-13
Research Inspiration

Paper Reading: Precise Interprocedural Dataflow Analysis via Graph Reachability

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
2022-11-07
Research Inspiration

Paper Reading: Mining Input Grammars from Dynamic Taints

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-11-02
Research Inspiration

Paper Reading: Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software

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
2022-10-29
Research Inspiration

Python in a Functional Style: Closures, Generators, and Coroutines

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
2022-10-28
Theory, Data Structures, Algorithms, Programming Languages, Design Patterns
#Essays

Paper Reading: The Fundamentals of Writing Questions

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
2022-10-26
Research Inspiration

Paper Reading: All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask)

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
2022-10-25
Research Inspiration

Paper Reading: ReCrash: Making Software Failures Reproducible by Preserving Object States

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
2022-10-25
Research Inspiration

Paper Reading: Evolutionary Generation of Whole Test Suites

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
2022-10-24
Research Inspiration
1…8910111213

Search

Hexo Fluid