Summary
Kernel Engineer working on (e)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 (e)BPF verifier through formal tools.
Experience
Kernel Engineer Mar 2020 – Now
SUSE, Remote
- Maintain and debug the (e)BPF subsystem in SLES & openSUSE's kernel
- Package maintainer of bcc and libbpf for SLES & openSUSE
- Upstream Linux kernel contributor
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) — LPC 2024
- What Is an ABI, and Why Should You Care? — OSS Europe 2024
- Value tracking in BPF verifier — LSF/MM/BPF Summit 2024
- From an OSS Fuzz report to LKML Submission — 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.
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