Zilu Tian
Digital twins of physical notes
- Sim: A Scala compiler plugin that generates low-level communication primitives to parallelize agents
- An epidemic simulation that models Covid-19 based on data in UK
- Identify road segments from raw satellite images (course project, ML)
- Predict Higgs boson using dataset from CERN (course project, ML)
- DailyLearn: A desktop application that displays Chinese proverbs from classic readings
- ZAMSAT: An optimized SAT solver prototype (course project, Formal Verificantion)
- Cloudsuite on ARM: port CloudSuite to aarch64 micro-architecture