abbaswu Goto Github PK

abbaswu

Config files for my GitHub profile.

abbaswu.github.io

abbaswu.github.io-images

Images used in abbaswu.github.io

community-detection-using-social-relations-and-trajectories

All source code of "Community Detection using Social Relations and Trajectories".

console-menu

A simple Python menu system for building terminal user interfaces.

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.

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.

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.

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.

quac

All source code for "QuAC: Quick Attribute-Centric Type Inference for Python."

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-analysis-using-mypy-ast

Perform static analysis on a Python project using mypy's AST (which involves parsing Python files and performing semantic analysis, including name resolution, on the parsed Python files).

static-import-analysis-for-pure-python-projects

Code that uses the built-in `ast` module to do static import analysis for pure Python projects.

the-impact-of-synthetic-data-on-image-captioning-models

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.

unet-building-blocks-detection

utterances