Selected Publications

@inproceedings{conf/uss/ZhuLXBGLABDDNS024,

title = {TYGR: Type Inference on Stripped Binaries using Graph Neural Networks.},

author = {Chang Zhu and Ziyang Li and Anton Xue and Ati Priya Bajaj and Wil Gibbs and Yibo Liu and Rajeev Alur and Tiffany Bao and Hanjun Dai and Adam Doupé and Mayur Naik and Yan Shoshitaishvili and Ruoyu Wang and Aravind Machiry},

year  = {2024},

date = {2024-01-01},

booktitle = {USENIX Security Symposium},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/uss/AngelIMSW24,

title = {Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs.},

author = {Sebastian Angel and Eleftherios Ioannidis and Elizabeth Margolin and Srinath T. V. Setty and Jess Woods},

year  = {2024},

date = {2024-01-01},

booktitle = {USENIX Security Symposium},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/osdi/YuZZSP024,

title = {Beaver: Practical Partial Snapshots for Distributed Cloud Services.},

author = {Liangcheng Yu and Xiao Zhang and Haoran Zhang and John Sonchack and Dan R. K. Ports and Vincent Liu},

year  = {2024},

date = {2024-01-01},

booktitle = {OSDI},

pages = {233-249},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigcomm/LiuAKZ0CKM24,

title = {Rethinking Machine Learning Collective Communication as a Multi-Commodity Flow Problem.},

author = {Xuting Liu and Behnaz Arzani and Siva Kesava Reddy Kakarla and Liangyu Zhao and Vincent Liu and Miguel Castro and Srikanth Kandula and Luke Marshall},

year  = {2024},

date = {2024-01-01},

booktitle = {SIGCOMM},

pages = {16-37},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/nsdi/AmiriWAALS24,

title = {The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocols Analysis, Implementation, and Experimentation.},

author = {Mohammad Javad Amiri and Chenyuan Wu and Divyakant Agrawal and Amr El Abbadi and Boon Thau Loo and Mohammad Sadoghi},

year  = {2024},

date = {2024-01-01},

booktitle = {NSDI},

pages = {371-400},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/nsdi/WoodersL0MG0S24,

title = {Cloudcast: High-Throughput, Cost-Aware Overlay Multicast in the Cloud.},

author = {Sarah Wooders and Shu Liu and Paras Jain and Xiangxi Mo and Joseph E. Gonzalez and Vincent Liu and Ion Stoica},

year  = {2024},

date = {2024-01-01},

booktitle = {NSDI},

pages = {281-296},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/nsdi/ZhangKPAA024,

title = {MuCache: A General Framework for Caching in Microservice Graphs.},

author = {Haoran Zhang and Konstantinos Kallas and Spyros Pavlatos and Rajeev Alur and Sebastian Angel and Vincent Liu},

year  = {2024},

date = {2024-01-01},

booktitle = {NSDI},

pages = {221-238},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/isca/ZhouLSJL24,

title = {Bosehedral: Compiler Optimization for Bosonic Quantum Computing.},

author = {Junyu Zhou and Yuhao Liu and Yunong Shi and Ali Javadi-Abhari and Gushu Li},

year  = {2024},

date = {2024-01-01},

booktitle = {ISCA},

pages = {261-276},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/asplos/ZhangSPJKKPLD24,

title = {RPG: Robust Profile-Guided Runtime Prefetch Generation.},

author = {Yuxuan Zhang and Nathan Sobotka and Soyoon Park and Saba Jamilan and Tanvir Ahmed Khan and Baris Kasikci and Gilles A. Pokam and Heiner Litz and Joseph Devietti},

year  = {2024},

date = {2024-01-01},

booktitle = {ASPLOS (2)},

pages = {999-1013},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/asplos/LiuCZSL24,

title = {Fermihedral: On the Optimal Compilation for Fermion-to-Qubit Encoding.},

author = {Yuhao Liu and Shize Che and Junyu Zhou and Yunong Shi and Gushu Li},

year  = {2024},

date = {2024-01-01},

booktitle = {ASPLOS (3)},

pages = {382-397},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sp/LovelessPDK23,

title = {PCSPOOF: Compromising the Safety of Time-Triggered Ethernet.},

author = {Andrew D. Loveless and Linh Thi Xuan Phan and Ronald G. Dreslinski and Baris Kasikci},

year  = {2023},

date = {2023-01-01},

booktitle = {SP},

pages = {3193-3208},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sp/MaWAPR23,

title = {Flamingo: Multi-Round Single-Server Secure Aggregation with Applications to Private Federated Learning.},

author = {Yiping Ma and Jess Woods and Sebastian Angel and Antigoni Polychroniadou and Tal Rabin},

year  = {2023},

date = {2023-01-01},

booktitle = {SP},

pages = {477-496},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/ccs/BlumLLKR23,

title = {Analyzing the Real-World Security of the Algorand Blockchain.},

author = {Erica Blum and Derek Leung and Julian Loss and Jonathan Katz and Tal Rabin},

year  = {2023},

date = {2023-01-01},

booktitle = {CCS},

pages = {830-844},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/uss/0001BK23,

title = {ACon: Adaptive Conformal Consensus for Provable Blockchain Oracles.},

author = {Sangdon Park and Osbert Bastani and Taesoo Kim},

year  = {2023},

date = {2023-01-01},

booktitle = {USENIX Security Symposium},

pages = {3313-3330},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/uss/ChiesaLMZ23,

title = {Eos: Efficient Private Delegation of zkSNARK Provers.},

author = {Alessandro Chiesa and Ryan Lehmkuhl and Pratyush Mishra and Yinuo Zhang},

year  = {2023},

date = {2023-01-01},

booktitle = {USENIX Security Symposium},

pages = {6453-6469},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sosp/MargolinNLRH23,

title = {Arboretum: A Planner for Large-Scale Federated Analytics with Differential Privacy.},

author = {Elizabeth Margolin and Karan Newatia and Tao Luo and Edo Roth and Andreas Haeberlen},

year  = {2023},

date = {2023-01-01},

booktitle = {SOSP},

pages = {451-465},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sosp/NgD023,

title = {Paella: Low-latency Model Serving with Software-defined GPU Scheduling.},

author = {Kelvin K. W. Ng and Henri Maxime Demoulin and Vincent Liu},

year  = {2023},

date = {2023-01-01},

booktitle = {SOSP},

pages = {595-610},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/osdi/AngelBCJLSS23,

title = {Nimble: Rollback Protection for Confidential Cloud Services.},

author = {Sebastian Angel and Aditya Basu and Weidong Cui and Trent Jaeger and Stella Lau and Srinath T. V. Setty and Sudheesh Singanamalla},

year  = {2023},

date = {2023-01-01},

booktitle = {OSDI},

pages = {193-208},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/osdi/LiZZL00HCZGS23,

title = {AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving.},

author = {Zhuohan Li and Lianmin Zheng and Yinmin Zhong and Vincent Liu and Ying Sheng and Xin Jin and Yanping Huang and Zhifeng Chen and Hao Zhang and Joseph E. Gonzalez and Ion Stoica},

year  = {2023},

date = {2023-01-01},

booktitle = {OSDI},

pages = {663-679},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigcomm/ChenY0023,

title = {Cowbird: Freeing CPUs to Compute by Offloading the Disaggregation of Memory.},

author = {Xinyi Chen and Liangcheng Yu and Vincent Liu and Qizhen Zhang},

year  = {2023},

date = {2023-01-01},

booktitle = {SIGCOMM},

pages = {1060-1073},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigcomm/GaoC0LWZL23,

title = {DONS: Fast and Affordable Discrete Event Network Simulation with Automatic Parallelization.},

author = {Kaihui Gao and Li Chen and Dan Li and Vincent Liu and Xizheng Wang and Ran Zhang and Lu Lu},

year  = {2023},

date = {2023-01-01},

booktitle = {SIGCOMM},

pages = {167-181},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/nsdi/Zhong0MA23,

title = {Addax: A fast, private, and accountable ad exchange infrastructure.},

author = {Ke Zhong and Yiping Ma and Yifeng Mao and Sebastian Angel},

year  = {2023},

date = {2023-01-01},

booktitle = {NSDI},

pages = {825-848},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/isca/ZhangWWLSSD23,

title = {OneQ: A Compilation Framework for Photonic One-Way Quantum Computation.},

author = {Hezi Zhang and Anbang Wu and Yuke Wang and Gushu Li and Hassan Shapourian and Alireza Shabani and Yufei Ding},

year  = {2023},

date = {2023-01-01},

booktitle = {ISCA},

pages = {12:1-12:14},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigmod/0001CSZZACLL22,

title = {Optimizing Data-intensive Systems in Disaggregated Data Centers with TELEPORT.},

author = {Qizhen Zhang and Xinyi Chen and Sidharth Sankhe and Zhilei Zheng and Ke Zhong and Sebastian Angel and Ang Chen and Vincent Liu and Boon Thau Loo},

year  = {2022},

date = {2022-01-01},

booktitle = {SIGMOD Conference},

pages = {1345-1359},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/ccs/Zhong0A22,

title = {Ibex: Privacy-preserving Ad Conversion Tracking and Bidding.},

author = {Ke Zhong and Yiping Ma and Sebastian Angel},

year  = {2022},

date = {2022-01-01},

booktitle = {CCS},

pages = {3223-3237},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/ccs/BenhamoudaHKMR22,

title = {Threshold Cryptography as a Service (in the Multiserver and YOSO Models).},

author = {Fabrice Benhamouda and Shai Halevi and Hugo Krawczyk and Alex Miao and Tal Rabin},

year  = {2022},

date = {2022-01-01},

booktitle = {CCS},

pages = {323-336},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/uss/0001ZRA22,

title = {Incremental Offline/Online PIR.},

author = {Yiping Ma and Ke Zhong and Tal Rabin and Sebastian Angel},

year  = {2022},

date = {2022-01-01},

booktitle = {USENIX Security Symposium},

pages = {1741-1758},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/uss/AngelBIW22,

title = {Efficient Representation of Numerical Optimization Problems for SNARKs.},

author = {Sebastian Angel and Andrew J. Blumberg and Eleftherios Ioannidis and Jess Woods},

year  = {2022},

date = {2022-01-01},

booktitle = {USENIX Security Symposium},

pages = {4273-4290},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigcomm/LeiYLX22,

title = {PrintQueue: performance diagnosis via queue measurement in the data plane.},

author = {Yiran Lei and Liangcheng Yu and Vincent Liu and Mingwei Xu},

year  = {2022},

date = {2022-01-01},

booktitle = {SIGCOMM},

pages = {516-529},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigcomm/YuSL22,

title = {Cebinae: scalable in-network fairness augmentation.},

author = {Liangcheng Yu and John Sonchack and Vincent Liu},

year  = {2022},

date = {2022-01-01},

booktitle = {SIGCOMM},

pages = {219-232},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/nsdi/YuSL22,

title = {OrbWeaver: Using IDLE Cycles in Programmable Networks for Opportunistic Coordination.},

author = {Liangcheng Yu and John Sonchack and Vincent Liu},

year  = {2022},

date = {2022-01-01},

booktitle = {NSDI},

pages = {1195-1212},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/isca/WuLZGDX22,

title = {A synthesis framework for stitching surface code with superconducting quantum devices.},

author = {Anbang Wu and Gushu Li and Hezi Zhang and Gian Giacomo Guerreschi and Yufei Ding and Yuan Xie},

year  = {2022},

date = {2022-01-01},

booktitle = {ISCA},

pages = {337-350},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/micro/WuZLS0D22,

title = {AutoComm: A Framework for Enabling Efficient Communication in Distributed Quantum Programs.},

author = {Anbang Wu and Hezi Zhang and Gushu Li and Alireza Shabani and Yuan Xie and Yufei Ding},

year  = {2022},

date = {2022-01-01},

booktitle = {MICRO},

pages = {1027-1041},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/micro/ZhangKPKLD22,

title = {OCOLOS: Online COde Layout OptimizationS.},

author = {Yuxuan Zhang and Tanvir Ahmed Khan and Gilles Pokam and Baris Kasikci and Heiner Litz and Joseph Devietti},

year  = {2022},

date = {2022-01-01},

booktitle = {MICRO},

pages = {530-545},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/asplos/ZhangSL22,

title = {Software-defined address mapping: a case on 3D memory.},

author = {Jialiang Zhang and Michael M. Swift and Jing Jane Li},

year  = {2022},

date = {2022-01-01},

booktitle = {ASPLOS},

pages = {70-83},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/asplos/LiWSJDX22,

title = {Paulihedral: a generalized block-wise compiler optimization framework for Quantum simulation kernels.},

author = {Gushu Li and Anbang Wu and Yunong Shi and Ali Javadi-Abhari and Yufei Ding and Yuan Xie},

year  = {2022},

date = {2022-01-01},

booktitle = {ASPLOS},

pages = {554-569},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/asplos/XiaoMBHAGMD22,

title = {PLD: fast FPGA compilation to make reconfigurable acceleration compatible with modern incremental refinement software development.},

author = {Yuanlong Xiao and Eric Micallef and Andrew Butt and Matthew Hofmann and Marc Alston and Matthew Goldsmith and Andrew Merczynski-Hait and André DeHon},

year  = {2022},

date = {2022-01-01},

booktitle = {ASPLOS},

pages = {933-945},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{conf/sigmod/MarcusNMTAK21,

title = {Bao: Making Learned Query Optimization Practical.},

author = {Ryan Marcus and Parimarjan Negi and Hongzi Mao and Nesime Tatbul and Mohammad Alizadeh and Tim Kraska},

year  = {2021},

date = {2021-01-01},

booktitle = {SIGMOD Conference},

pages = {1275-1288},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}