Search results
| Title | Conference | Speaker(s) | |
|---|---|---|---|
| Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols | OSDI '25 | Tony Nuda Zhang, Keshav Singh, Tej Chajed, Manos Kapritsos, Bryan Parno | |
| Picsou: Enabling Replicated State Machines to Communicate Efficiently | OSDI '25 | Reginald Frank, Micah Murray, Chawinphat Tankuranand, Junseo Yoo, Ethan Xu, Natacha Crooks, Suyash Gupta, Manos Kapritsos | |
| KPerfIR: Towards a Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads | OSDI '25 | Yue Guan, Yuanwei Fang, Keren Zhou, Corbin Robeck, Manman Ren, Zhongkai Yu, Yufei Ding, Adnan Aziz | |
| Mirage: A Multi-Level Superoptimizer for Tensor Programs | OSDI '25 | Mengdi Wu, Xinhao Cheng, Shengyu Liu, Chunan Shi, Jianan Ji, Man Kit Ao, Praveen Velliengiri, Xupeng Miao, Oded Padon, Zhihao Jia | |
| Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks | OSDI '25 | Yuxuan Jiang, Ziming Zhou, Boyu Xu, Beijie Liu, Runhui Xu, Peng Huang | |
| Neutrino: Fine-grained GPU Kernel Profiling via Programmable Probing | OSDI '25 | Songlin Huang, Chenshu Wu | |
| Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering | OSDI '25 | Shreesha G. Bhat, Tony Hong, Xuhao Luo, Jiyu Hu, Aishwarya Ganesan, Ramnatthan Alagappan | |
| Kamino: Efficient VM Allocation at Scale with Latency-Driven Cache-Aware Scheduling | OSDI '25 | David Domingo, Hugo Barbalho, Marco Molinaro, Kuan Liu, Abhisek Pan, David Dion, Thomas Moscibroda, Sudarsun Kannan, Ishai Menache | |
| Extending Applications Safely and Efficiently | OSDI '25 | Yusheng Zheng, Tong Yu, Yiwei Yang, Yanpeng Hu, Xiaozheng Lai, Dan Williams, Andi Quinn | |
| Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage Uncertainty | OSDI '25 | Ao Li, Marion Sudvarg, Zihan Li, Sanjoy Baruah, Chris Gill, Ning Zhang | |
| KRR: Efficient and Scalable Kernel Record Replay | OSDI '25 | Tianren Zhang, Sishuai Gong, Pedro Fonseca | |
| XSched: Preemptive Scheduling for Diverse XPUs | OSDI '25 | Weihang Shen, Mingcong Han, Jialong Liu, Rong Chen, Haibo Chen | |
| EMT: An OS Framework for New Memory Translation Architectures | OSDI '25 | Siyuan Chai, Jiyuan Zhang, Jongyul Kim, Alan Wang, Fan Chung, Jovan Stojkovic, Weiwei Jia, Dimitrios Skarlatos, Josep Torrellas, Tianyin Xu | |
| NanoFlow: Towards Optimal Large Language Model Serving Throughput | OSDI '25 | Kan Zhu, Yufei Gao, Yilong Zhao, Liangyu Zhao, Gefei Zuo, Yile Gu, Dedong Xie, Zihao Ye, Keisuke Kamahori, Chien-Yu Lin, Ziren Wang, Stephanie Wang, Arvind Krishnamurthy, Baris Kasikci | |
| WLB-LLM: Workload-Balanced 4D Parallelism for Large Language Model Training | OSDI '25 | Zheng Wang, Anna Cai, Xinfeng Xie, Zaifeng Pan, Yue Guan, Weiwei Chu, Jie Wang, Shikai Li, Jianyu Huang, Chris Cai, Yuchen Hao, Yufei Ding | |
| Scalio: Scaling up DPU-based JBOF Key-value Store with NVMe-oF Target Offload | OSDI '25 | Xun Sun, Mingxing Zhang, Yingdi Shan, Kang Chen, Jinlei Jiang, Yongwei Wu | |
| Fast and Synchronous Crash Consistency with Metadata Write-Once File System | OSDI '25 | Yanqi Pan, Wen Xia, Yifeng Zhang, Xiangyu Zou, Hao Huang, Zhenhua Li, Chentao Wu | |
| Compass: Encrypted Semantic Search with High Accuracy | OSDI '25 | Jinhao Zhu, Liana Patel, Matei Zaharia, Raluca Ada Popa | |
| Paralegal: Practical Static Analysis for Privacy Bugs | OSDI '25 | Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Nathan Harbison, Mithi Jethwa, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf | |
| Bluetooth Security Testing with BlueToolkit: a Large-Scale Automotive Case Study | WOOT '25 | Vladyslav Zubkov, Tommaso Sacchetti, Daniele Antonioli, Martin Strohmeier | |
| Making Acoustic Side-Channel Attacks on Noisy Keyboards Viable with LLM-Assisted Spectrograms' "Typo" Correction | WOOT '25 | Seyyed Ali Ayati, Jin Hyun Park, Yichen Cai, Marcus Botacin | |
| FUZZVPN: Finding Vulnerabilities in OpenVPN | WOOT '25 | Anqi Chen, Cristina Nita-Rotaru | |
| TRex: Practical Type Reconstruction for Binary Code | USENIX Security '25 | Jay Bosamiya, Maverick Woo, Bryan Parno | |
| SoK: So, You Think You Know All About Secure Randomized Caches? | USENIX Security '25 | Anubhav Bhatla, Hari Rohit Bhavsar, Sayandeep Saha, Biswabandan Panda | |
| A First Look at Governments' Enterprise Security Guidance | USENIX Security '25 | Kimberly Ruth, Raymond Buernor Obu, Ifeoluwa Shode, Gavin Li, Carrie Gates, Grant Ho, Zakir Durumeric |