Jifeng Wu's repositories
community-detection-using-social-relations-and-trajectories
All source code of "Community Detection using Social Relations and Trajectories".
loop2recursion
All source code of "Loop2Recursion: Compiler-Assisted Wear Leveling for Non-Volatile Memory", including the Loop2Recursion LLVM Pass, the Intel Pin-based profiling tools, as well as data preprocessing scripts.
python-in-a-functional-style-closures-generators-and-coroutines
Source code and compiled PDF of the presentation for "Python in a Functional Style: Closures, Generators, and Coroutines" presented at the SPL Workshop 2023W1.
type-inference-for-python
All source code for CPSC 539B class project "Type Inference for Python", including code for extracting typing information from typeshed, structural subtyping calculation, and a Jupyter notebook.
abbaswu
Config files for my GitHub profile.
abbaswu.github.io-images
Images used in abbaswu.github.io
data-processing-scripts-for-simple-and-effective-type-inference-for-python
All data processing scripts for "Simple and Effective Type Inference for Python"
extract-type-annotations
Extract type annotations from a Python project to a JSON file.
get-attributes-in-type
Code that gets the set of attributes in a Python `type` object (i.e., a Python class).
gitignore
A collection of useful .gitignore templates
Giving-Talks-on-Research-Whats-and-Hows
PDF and sourc code for "Giving Talks on Research: Whats and Hows," presented at Systopia Reading Group on October 27, 2023.
implementation-of-syntax-guided-program-synthesis-and-verification-techniques
Implementation of Syntax Guided Program Synthesis and Verification Techniques.
nat-tunnel
NAT Tunnel: to effortlessly serve from behind NAT
ncmdump.rs
netease cloud music copyright protection file dump by rust
python-coroutine-based-cache-simulator
We simulate a CPU cache using Python coroutines for short, clean, and extensible code.
QuACK
All source code for "QuACK: Attribute-centric Type Inference for Python", in the form of a Docker image.
rapidly-prototyping-presentations-using-markdown-with-marp
Source code and compiled PDF of the presentation for "Rapidly Prototyping Presentations Using Markdown with Marp" presented at the SPL Workshop 2023W2.
sized-types-presentation
Source code and compiled PDF of the presentation for "Sized Types" made for CPSC 539B Type Systems
social-media-icons
A compilation of social media icons in SVG format.
static-import-analysis-for-pure-python-projects
Code that uses the built-in `ast` module to do static import analysis for pure Python projects.