Search results
| Title | Conference | Speaker(s) | |
|---|---|---|---|
| HECO: Fully Homomorphic Encryption Compiler | USENIX Security '23 | Alexander Viand, Patrick Jattke, Miro Haller, Anwar Hithnawi | |
| Cipherfix: Mitigating Ciphertext Side-Channel Attacks in Software | USENIX Security '23 | Jan Wichelmann, Anna Pätschke, Luca Wilke, Thomas Eisenbarth | |
| K9db: Privacy-Compliant Storage For Web Applications By Construction | OSDI '23 | Kinan Dak Albab, Ishan Sharma, Justus Adam, Benjamin Kilimnik, Aaron Jeyaraj, Raj Paul, Artem Agvanian, Leonhard Spiegelberg, Malte Schwarzkopf | |
| Nimble: Rollback Protection for Confidential Cloud Services | OSDI '23 | Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath Setty, Sudheesh Singanamalla | |
| Security and Performance in the Delegated User-level Virtualization | OSDI '23 | Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen | |
| Optimizing Dynamic Neural Networks with Brainstorm | OSDI '23 | Weihao Cui, Zhenhua Han, Lingji Ouyang, Yichuan Wang, Ningxin Zheng, Lingxiao Ma, Yuqing Yang, Fan Yang, Jilong Xue, Lili Qiu, Lidong Zhou, Quan Chen, Haisheng Tan, Minyi Guo | |
| Accountable authentication with privacy protection: The Larch system for universal login | OSDI '23 | Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazières | |
| Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS | OSDI '23 | Vishal Gupta, Kumar Kartikeya Dwivedi, Yugesh Kothari, Yueyang Pan, Diyu Zhou, Sanidhya Kashyap | |
| Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems | OSDI '23 | Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno | |
| Hydro: Surrogate-Based Hyperparameter Tuning Service in Datacenters | OSDI '23 | Qinghao Hu, Zhisheng Ye, Meng Zhang, Qiaoling Chen, Peng Sun, Yonggang Wen, Tianwei Zhang | |
| LVMT: An Efficient Authenticated Storage for Blockchain | OSDI '23 | Chenxing Li, Sidi Mohamed Beillahi, Guang Yang, Ming Wu, Wei Xu, Fan Long | |
| Encrypted Databases Made Secure Yet Maintainable | OSDI '23 | Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen | |
| Spoq: Scaling Machine-Checkable Systems Verification in Coq | OSDI '23 | Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh | |
| AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving | OSDI '23 | Zhuohan Li, Lianmin Zheng, Yinmin Zhong, Vincent Liu, Ying Sheng, Xin Jin, Yanping Huang, Zhifeng Chen, Hao Zhang, Joseph E. Gonzalez, Ion Stoica | |
| RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks | OSDI '23 | Shiwu Lo, Han-Ting Lin, Yao-Hung Hsieh, Chao-Ting Lin, Yu-Hsueh Fang, Ching-Shen Lin, Ching-Chun (Jim) Huang, Kam Yiu Lam, Yuan-Hao Chang | |
| SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory | OSDI '23 | Xuchuan Luo, Pengfei Zuo, Jiacheng Shen, Jiazhen Gu, Xin Wang, Michael R. Lyu, Yangfan Zhou | |
| Honeycomb: Secure and Efficient GPU Executions via Static Validation | OSDI '23 | Haohui Mai, Jiacheng Zhao, Hongren Zheng, Yiyang Zhao, Zibin Liu, Mingyu Gao, Cong Wang, Huimin Cui, Xiaobing Feng, Christos Kozyrakis | |
| Userspace Bypass: Accelerating Syscall-intensive Applications | OSDI '23 | Zhe Zhou, Yanxiang Bi, Junpeng Wan, Yangfan Zhou, Zhou Li | |
| Relational Debugging --- Pinpointing Root Causes of Performance Problems | OSDI '23 | Xiang (Jenny) Ren, Sitao Wang, Zhuqi Jin, David Lion, Adrian Chiu, Tianyin Xu, Ding Yuan | |
| ExoFlow: A Universal Workflow System for Exactly-Once DAGs | OSDI '23 | Siyuan Zhuang, Stephanie Wang, Eric Liang, Yi Cheng, Ion Stoica | |
| VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity | OSDI '23 | Qianxi Zhang, Shuotao Xu, Qi Chen, Guoxin Sui, Jiadong Xie, Zhizhen Cai, Yaoqi Chen, Yinxuan He, Yuqing Yang, Fan Yang, Mao Yang, Lidong Zhou | |
| SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory | OSDI '23 | Chao Wang, Junliang Hu, Tsun-Yu Yang, Yuhong Liang, Ming-Chang Yang | |
| Cocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep Learning | OSDI '23 | Chen Zhang, Lingxiao Ma, Jilong Xue, Yining Shi, Ziming Miao, Fan Yang, Jidong Zhai, Zhi Yang, Mao Yang | |
| Welder: Scheduling Deep Learning Memory Access via Tile-graph | OSDI '23 | Yining Shi, Zhi Yang, Jilong Xue, Lingxiao Ma, Yuqing Xia, Ziming Miao, Yuxiao Guo, Fan Yang, Lidong Zhou | |
| Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their Domain-Specific Accelerators | OSDI '23 | Jie Zhao, Siyuan Feng, Xiaoqiang Dan, Fei Liu, Chengke Wang, Sheng Yuan, Wenyuan Lv, Qikai Xie |