Yu Feng

CS162. Programming languages

CS292C. Rocq Prover

Trinity. Python

CS190I. Program Synthesis

CS190-blockchain. Solidity

CS160. OCaml

CS595N.

Scuba. Bottom-up summary based pointer analysis for Java

Themis-taint. Taint analyzer for Themis' front end

solar. Python

Morpheus-public. C++

LoopSummary. Python

CS391L. Machine Learning

fredfeng.github.io. HTML

explorer. Resolving virtual calls in a scalable and precise way

slides. Slides of my talks

vasco. An inter-procedural data flow analysis framework using value-based context-sensitivity