👋 About Me
Hi! I am Haoyun Qin (秦浩允), a second year undergrad student at University of Pennsylvania majoring in Computer Science (expected graduation in 3 years, 2025). I am fortunate to be advised by Prof. Boon Thau Loo and working at NetDB@UPenn. My research interests lie in the intersection of machine learning and systems, both ML Systems and ML for Systems. I also have experience in distributed systems, formal methods, and computer vision.
🔥 News
- [Sep. 2024] Hyperstroke accepted to SIGGRAPH Asia 2024 🎉
- [Jul. 2024] BFTBrain accepted to NSDI 2025 🎉
- [May. 2024] BFTGym accepted to VLDB 2024 🎉
- [Feb. 2024] Fast Virtual Gate Extraction accepted to DAC 2024 🎉
- [Dec. 2023] FAB accepted to VLDB 2024 🎉
📝 Publications
🔎 Peer-reviewed Conference / Journal Papers
Hyperstroke: A Novel High-quality Stroke Representation for Assistive Artistic Drawing
Haoyun Qin, Jian Lin, Hanyuan Liu, Xueting Liu, Chengze Li
BFTBrain: Adaptive BFT Consensus with Reinforcement Learning
Chenyuan Wu, Haoyun Qin, Mohammad Javad Amiri, Boon Thau Loo, Dahlia Malkhi, Ryan Marcus
22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI’25)
BFTGym: An Interactive Playground for BFT Protocols
Haoyun Qin, Chenyuan Wu, Mohammad Javad Amiri, Ryan Marcus, Boon Thau Loo
50th International Conference on Very Large Databases (VLDB’24)
Towards Truly Adaptive Byzantine Fault-Tolerant Consensus
Chenyuan Wu, Haoyun Qin, Mohammad Javad Amiri, Boon Thau Loo, Dahlia Malkhi, Ryan Marcus
ACM SIGOPS Operating Systems Review, Volume 58, Issue 1
Fast Virtual Gate Extraction For Silicon Quantum Dot Devices
Shize Che, Seongwoo Oh, Haoyun Qin, Yuhao Liu, Anthony Sigillito and Gushu Li
Design Automation Conference (DAC’24)
Towards Full Stack Adaptivity in Permissioned Blockchains
Chenyuan Wu, Mohammad Javad Amiri, Haoyun Qin, Bhavana Mehta, Ryan Marcus, Boon Thau Loo
50th International Conference on Very Large Databases (VLDB’24)
📸 Preprints / Under Submission
To be updated.
🎓 Experiences
- [May. 2024 - Present] At InfiniAI Lab @ CMU, works with Prof. Beidi Chen on Efficient Machine Learning Systems
- [Dec. 2023 - Apr. 2024] At PennNetworks, works on Heterogeneous LLM Serving Project, working with Prof. Vincent Liu and Prof. Boon Thau Loo
- [Jan. 2024 - Present] At NetDB@UPenn, works on Formal Verification Methods for BGP Network using SMT Solvers and Rewrite Logic, continuing work from summer 2023
- [Aug. 2023 - Present] As collaborator and project leader, works on Motion Manga Generation and Assistive Drawing, working with Prof. Chengze Li @ HK SFU, and Prof. Hanyuan Liu @ HK CityU
- [May. 2023 - Aug. 2023] Visiting scholar and research assistant at ShanghaiTech University, worked with Prof. Haoxian Chen, Dr. Carolyn Talcott and Prof. Vivek Nigam, on BGP Verification
- [Nov. 2022 - Jan. 2024] At NetDB@UPenn, works on Adaptive Byzantine Fault Tolerant Protocols with Reinforcement Learning, worked with Chenyuan Wu, Prof. Boon Thau Loo, Prof. Mohammad Javad Amiri, Prof. Ryan Marcus and Prof. Dahlia Malkhi.
🚀 Projects
Full list of my projects and opensource contributions can be found on my Github.
[Jan. 2024] BFTGym: An Interactive Playground for BFT Protocols
An interactive platform that allows people to (1) evaluate, compare, and gather insights into the performance of various BFT protocols under a wide range of conditions, and (2) prototype new BFT protocols rapidly.
[Dec. 2023] Dungeon Assistant
A Scalable WiFi RSSI based Indoor Localization + LiDAR-based 3D Indoor Reconstruction solution with great operational benefit.
[Apr. 2023] CNN-based CJK Font Recoginizer
First-ever CJK (Chinese, Japanese, Korean) font recognizer and style extractor. Support more than 5000 TrueType / OpenType fonts through 200GB distributedly synthesized dataset of various layout and styling.
[Aug. 2022] Ayase - A Search-based Accessibility Navigation Tool
A cool accessibility tool that can help people navigate on-screen elements using keyboard by text search. Supports applications built from various technologies including Electron, Web, Qt, WPF, UWP, etc.
📚 Teaching
- CIS 380: Operating System, Spring 2024, TA
- CIT 595: System Programming, Spring 2024, TA
- CIS 380: Operating System, Fall 2023, TA
- CIS 502: Analysis of Algorithms (Graduate version), Fall 2023, TA
- CIT 595: System Programming, Fall 2023, TA
- CIS 320: Introduction to Algorithms, Spring 2023, TA
- CIS 548: Operating System (Graduate version), Spring 2023, TA