This is your work, valued

Yu Feng

Expert
@fredfeng

CS162. Programming languages

41

CS292C. Rocq Prover

29

Trinity. Python

25

CS190I. Program Synthesis

15

CS190-blockchain. Solidity

9

CS160. OCaml

9

CS595N.

4

Scuba. Bottom-up summary based pointer analysis for Java

3

Themis-taint. Taint analyzer for Themis' front end

3

solar. Python

2

Morpheus-public. C++

1

LoopSummary. Python

1

CS391L. Machine Learning

1

fredfeng.github.io. HTML

1

explorer. Resolving virtual calls in a scalable and precise way

1

slides. Slides of my talks

1

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

1