Skip to content
Wiki by Zhen Zhang
Eliminating Amortisation
Initializing search
Wiki by Zhen Zhang
Wiki
Collections
Collections
Link list
Security resources
Books
Books
Algorithms to live by
Book list
Drafts
Drafts
Learngraphics
Learngraphics
Index
Lesson1
Lesson1
Index
Lesson2
Lesson2
Index
Lesson3
Lesson3
Index
Lesson4
Lesson4
Index
Eng handbook
Eng handbook
The Eng Team Handbook (eng-handbook)
Drafts
Drafts
Requests & In-Progress Guides
Feedback
Feedback
Perf review templates
Writing multiple reviews
Management
Management
Guide to 1 1s
Manager changes
Role transitions
Industry
Industry
Conf notes
Non tech
Non tech
Business
Coffee
Econ
Energy
Food
How google works
Principles
Questions
李光耀
Practical program analysis
Practical program analysis
Index
Android
Android
Reverse engineering tools
Soot
Soot
Development tips
Flowdroid
Links
Research
Research
How to be a successful student
Bib
Declarative Project Skeleton
End user programming
How to collaborate
How to read paper
Latex
My Personal Paper Reading Guide
Phd advice
Phd
Progsynth
Conferences
Conferences
Ase
Ase
Ase2018
Fse
Fse
2018
2019
Icse
Icse
2017
2018
Notes
Notes
Amazon Six pager
Apposcopy
BERT
Darwinian
FeatureSmith: Automatically Engineering Features for Malware Detection by Mining the Security Literature
Paper Reading A Language Agnostic Model for Semantic Source Code Labeling
Paper Reading Angelic Debugging
Paper Reading Are Deep Neural Networks the Best Choice for Modeling Source Code
Paper Reading Attention is all you need
Paper Reading Graph Embedding based Familial Analysis of Android Malware using Unsupervised Learning
Paper Reading Phishing Attacks on Modern Android
Paper Reading Text Generation from Knowledge Graphs with Graph Transformers
Paper Reading: StubDroid Automatic Inf
Paper Review A Survey of Machine Learning for Big Code and Naturalness
Paper Review AppContext Differentiating Malicious and Benign Mobile App Behaviors Using Context
Paper Review Automatically Generating Precise Oracles from Structured Natural Language Specifications
Paper Review DBToaster A SQL Compiler for High Performance Delta Processing in Main Memory Databases
Paper Review DBToaster Higher order Delta Processing for Dynamic, Frequently Fresh Views∗
Paper Review Detecting Incorrect Build Rules
Paper Review Hierarchical Learning of Cross Language Mappings through Distributed Vector Representations for Code
Paper Review Mining Framework Usage Graphs from App Corpora
Paper Review Predicting Program Properties from “Big Code”
Paper Review SMOKE Scalable Path Sensitive Memory Leak Detection for Millions of Lines of Code
Paper Review Semantics Aware Android Malware Classification Using Weighted Contextual API Dependency Graphs
Paper Review Software Engineering Challenges of Deep Learning
Paper Review Test Input Generation with Java PathFinder
Paper Review The 800 Pound Python in the Machine Learning Room
Save world from EXCEL
Astroid
Calm
Cav
Concurrency
Cozy 1
Cozy 2
Db
Deepcoder
Dimensions in program synthesis
Flowdroid
Google cr
Grammar rl
Gui guidelines
Heap repair
Progsynth
Prophet
Rl guided
Se
Sketch
Stochastic superoptmization
Three pillars of machine programming
Trusting the trust
Writing
Writing
Writing without bullshit
Team
Team
How to Deliver Constructive Feedback in Difficult Situations
Cto ceo
Hiring
Manager resources
Project review
Small team manifesto
Research mentorship
Research mentorship
Process
Tech
Tech
Backend
Bash
Data structures
Distributed
Engineering Management
Gcc
General Github workflow for lightweight team Work
Github
IntelliJ IDEA tips
Jvm
Kaggle
Linux
Live programming
Machine learning
Makefile
Matplotlib
Media processing tools
Networking
OS
Poetry ci
Poetry
Pragmatic StackOverflow Programmer
Program analysis
Runtime
Security db
Software engineering
SRE
Sysadmin
Tech writing
Testing your software
tmux shortcuts & cheatsheet
Tools
WALA
Zsh
Algorithms
Algorithms
Index
Algorithms -- Decompositions of Graph
Algorithms -- Divide & Conquer
Algorithms -- Dynamic Programming
Algorithms -- Greedy algorithms
Algorithms -- Intro
Algorithms -- Linear Programming and reductions
Algorithms -- Numbers
Algorithms -- Paths in graphs
Coding
Coding
Concurrency
Cpp
Java
Cs
Cs
Fundamentals
System design
Mldata
Mldata
DL NLP
Algorithms
Datasets
Definitions
Fundamentals
Nlp
Sklearn
Data tools
Viz
Wrangling
Notes
Notes
Falsehoods
Jupyter notebook
Logging
Python
Books
Books
10PL
10PL
Abstract Interpretation
Type Systems
Type Systems
Type Systems
APUE
APUE
APUE -- Advanced I/O
Interprocess Communication
Network IPC
Advanced IPC
AT TAPL
AT TAPL
Substructural Types
Dependent Types
CoqArt
CoqArt
Coq-Art Extraction
Distributed
Distributed
Distributed - Intro
Global State
Functional Algo
Functional Algo
Concrete data types
Analysis of Functional Algorithms
Impl Functional
Impl Functional
Chapter 5: Efficient Compilation of Pattern-Matching
Chapter 4: Translating Miranda into the enriched lambda calculus
PFDS
PFDS
Eliminating Amortisation
Purely Functional Data Structure -- Intro
PPA
PPA
PPA - Intro
Pearls
Pearls
A surpassing problem
Improving on saddleback search
Python Source
Python Source
Python Source -- PVM
Misc
Misc
About Web
Block Chain
Info dump
MiniIR Design Draft
Non-blocking algorithm
Pointer Analysis
Python Source
Rust by Example Note
Rust Note
TypeState Note
Virtual Machines
Algo-Trading
Emacs Commands
GDB
Reveng
Rust-GC note
X86
Purescript
Purescript
Index
Language
Language
PureScript
PureScript
Make
Sugar
TypeChecker
TypeClassDictionaries
Types
AST
AST
Binders
Declarations
Parser
Parser
Declarations
Sugar
Sugar
BindingGroups
ObjectWildCards
Operators
TypeClasses
TypeChecker
TypeChecker
Entailment
Psci
Psci
PSCi
System
System
Admin
Database
Eliminating Amortisation