Summary
Kernel Engineer working on BPF in the Linux Kernel, focusing on the internals of verifier. Has experience in Infrastructure (on-premise and cloud), and both backend and frontend of Web Applications.
Interested in improving the verifier through formal tools.
Experience
Kernel Engineer Mar 2020 – Now
SUSE, Remote
Software Engineer (Part-time) Jun 2019 – Jan 2020
QSearch (Dolyman Inc.), Taipei, TW
- Large-scale (peak 25k pages/h) Web-Scraping using Python on GCP.
- Monitoring and Alerting of Crawler System with Stackdriver.
- Data Pipeline built with Cloud Functions, Solr, BigQuery, and AutoML.
Infrastructure Engineer Jun 2017 – May 2019
Nation Taiwan University COOL LMS, Taipei, TW
- Builds the school's new online course platform.
- Operates 7 Servers (with Ansible), 5 NAS, 4 Switches, and 1 Firewall.
- Created Video Transcoding Pipeline that runs on Kubernetes.
- Supervises 4 undergraduate students in server room operation.
Intern Jun 2015 – Aug 2015
Comcast Cable (now Xfinity), Chelmsford, MA, US
Research Assistant Sep 2014 – May 2015
New York Institute of Technology, Remote
Talks
- Making Sense of Tristate Numbers (tnum) (TBD) — LPC 2024
- What Is an ABI, and Why Should You Care? (TBD) — OSS Europe 2024
- Value tracking in BPF verifier — LSF/MM/BPF Summit 2024
- From an OSS Fuzz report to LKML Submission (TBD) — OSS Japan 2023
- Backporting BPF: Techniques and Challenges — SUSE Labs Conf 2023
- More than you want to know about BPF verifier — SUSE Labs Conf 2022
- Peeking into the eBPF verifier — eBPF Summit 2022
- Finding the Perfect Shift Schedule — PyCon APAC 2022
- Peeking into the BPF verifier — COSCUP 2022
Works
Model Checking (a very small part) of BPF Verifer
- Explaining how tristate numbers work in layman's terms, and reproducing proof for Linux kernel's tristate number addition with Z3 theorem prover.
- Constraint solver for Family Medicine Physicians' work scheduling. Done in Java/OptaPlanner on the backend, and Typescript/React on the frontend.
Education
M.S. in Information, Network, and Computer Security, Dec 2015
New York Institute of Technology, Old Westbury, NY, US, GPA: 3.90
- Distributed System, Database Systems, Cryptography
Bachelor of Science in Chemistry, June 2013
National Taiwan University, Taipei, TW, GPA: 3.37