Haoyun Qin 秦浩允

Hi! I am Haoyun, 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

[Feb. 2024] Fast Virtual Gate Extraction accepted to DAC 2024
[Dec. 2023] FAB accepted to VLDB 2024

Publications

Peer-reviewed Conference / Journal Papers

Scalable 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) [Paper]

Preprints / Under Submission

BFTGym: An Interactive Playground for BFT Protocols
Haoyun Qin, Chenyuan Wu, Mohammad Javad Amiri, Ryan Marcus, Boon Thau Loo

BFTBrain: Adaptive BFT Consensus with Reinforcement Learning
Chenyuan Wu, Haoyun Qin, Mohammad Javad Amiri, Boon Thau Loo, Dahlia Malkhi, Ryan Marcus

Experiences

[Dec. 2023 - Present] 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 Creative Sketch Generation, working with Prof. Chengze Li @ SFU, HK, and Prof. Hanyuan Liu @ CityU, HK
[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.

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

Haoyun Qin