📝 Publications

📝 Publications

📸 Under Submission

ConSim: Geo-Replication in Untrusted Environments
Eswar Kethireddy, Haoyun Qin, Chenyuan Wu, Mohammad Javad Amiri

See-through: Single-image Layer Decomposition for Anime Characters
SIGGRAPH 2026
Jian Lin, Chengze Li, Haoyun Qin, Kwun Wang Chan, Yanghua Jin, Hanyuan Liu, Stephen Chun Wang Choy, Xueting Liu

🔎 Published

Trajectory-guided Anime Video Synthesis via Effective Motion Learning
Pacific Graphics 2025
Jian Lin, Chengze Li, Haoyun Qin, Hanyuan Liu, Xueting Liu, Xin Ma, Cunjian Chen, Tien-Tsin Wong

On the Automated Verification of BGP Convergence
Haoyun Qin*, Gerald Whitters*, Boon Thau Loo, Carolyn Talcott
※ Vivek Nigam greatly contributed to this work.
Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming (PPDP’25)

Hyperstroke: A Novel High-quality Stroke Representation for Assistive Artistic Drawing
Haoyun Qin, Jian Lin, Hanyuan Liu, Xueting Liu, Chengze Li
SIGGRAPH Asia 2024

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)