Search results

    TitleConferenceSpeaker(s)
    Converos: Practical Model Checking for Verifying Rust OS Kernel ConcurrencyUSENIX ATC '25Ruize Tang, Minghua Wang, Xudong Sun, Lin Huang, Yu Huang, Xiaoxing Ma
    Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C DecompilersUSENIX ATC '25Zao Yang, Stefan Nagy
    HEC: Equivalence Verification Checking for Code Transformation via Equality SaturationUSENIX ATC '25Jiaqi Yin, Zhan Song, Nicolas Bohm Agostini, Antonino Tumeo, Cunxi Yu
    DRack: A CXL-Disaggregated Rack Architecture to Boost Inter-Rack CommunicationUSENIX ATC '25Xu Zhang, Ke Liu, Yuan Hui, Xiaolong Zheng, Yisong Chang, Yizhou Shan, Guanghui Zhang, Ke Zhang, Yungang Bao, Mingyu Chen, Chenxi Wang
    MemoryTrap: Booby Trapping Memory to Counter Memory Disclosure Attacks with Hardware SupportUSENIX ATC '25Chenke Luo, Jiang Ming, Dongpeng Xu, Guojun Peng, Jianming Fu
    DDLumos: Understanding and Detecting Atomic DDL Bugs in DBMSsUSENIX ATC '25Zhiyong Wu, Jie Liang, Jingzhou Fu, Wenqian Deng, Yu Jiang
    DShuffle: DPU-Optimized Shuffle Framework for Large-scale Data ProcessingUSENIX ATC '25Chen Ding, Sicen Li, Kai Lu, Ting Yao, Daohui Wang, Huatao Wu, Jiguang Wan, Zhihu Tan, Changsheng Xie
    Accelerating Model Training on Ascend Chips: An Industrial System for Profiling, Analysis and OptimizationUSENIX ATC '25Yuhang Zhou, Zibo Wang, Zhibin Wang, Ruyi Zhang, Chen Tian, Xiaoliang Wang, Wanchun Dou, Guihai Chen, Bingqiang Wang, Yonghong Tian, Yan Zhang, Hui Wang, Fuchun Wei, Boquan Sun, Jingyi Zhang, Bin She, Teng Su, Yifan Yao, Chunsheng Li, Ziyang Zhang, Yaoyuan Wang, Bin Zhou, Guyue Liu
    CAFault: Enhance Fault Injection Technique in Practical Distributed Systems via Abundant Fault-Dependent Configurations.USENIX ATC '25Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Zhen Yan, Yu Jiang
    Inferring Likely Counting-related Atomicity Program Properties for Persistent MemoryUSENIX ATC '25Yunmo Zhang, Junqiao Qiu, Hong Xu, Chun Jason Xue
    Optimizing Input Minimization in Kernel FuzzingUSENIX ATC '25Hui Guo, Hao Sun, Shan Huang, Ting Su, Geguang Pu, Shaohua Li
    Towards High-Performance Transactional Stateful Serverless Workflows with Affinity-Aware LeasingUSENIX ATC '25Jianjun Zhao, Haikun Liu, Shuhao Zhang, Haodi Lu, Yancan Mao, Zhuohui Duan, Xiaofei Liao, Hai Jin
    Swift: Fast Performance Tuning with GAN-Generated ConfigurationsUSENIX ATC '25Chao Chen, Shixin Huang, Xuehai Qian, Zhibin Yu
    PMR: Fast Application Response via Parallel Memory Reclaim on Mobile DevicesUSENIX ATC '25Wentong Li, Li-Pin Chang, Yu Mao, Liang Shi
    Identifying and Analyzing Pitfalls in GNN SystemsUSENIX ATC '25Yidong Gong, Arnab Kanti Tarafder, Saima Afrin, Pradeep Kumar
    Bluetooth Low Energy Security Testing with Combinatorial MethodsUSENIX ATC '25Dominik-Philip Schreiber, Manuel Leithner, Jovan Zivanovic, Dimitris E. Simos
    AssyLLM: Efficient Federated Fine-tuning of LLMs via Assembling Pre-trained BlocksUSENIX ATC '25Shichen Zhan, Li Li, Chengzhong Xu
    Learning-Enhanced High-Throughput Pattern Matching Based on Programmable Data PlaneUSENIX ATC '25Guanglin Duan, Yucheng Huang, Zhengxin Zhang, Qing Li, Dan Zhao, Zili Meng, Dirk Kutscher, Ruoyu Li, Yong Jiang, Mingwei Xu
    To PRI or Not To PRI, That's the questionOSDI '25Yun Wang, Liang Chen, Jie Ji, Xianting Tian, Ben Luo, Zhixiang Wei, Zhibai Huang, Kailiang Xu, Kaihuan Peng, Kaijie Guo, Ning Luo, Guangjian Wang, Shengdong Dai, Yibin Shen, Jiesheng Wu, Zhengwei Qi
    Mako: Speculative Distributed Transactions with Geo-ReplicationOSDI '25Weihai Shen, Yang Cui, Siddhartha Sen, Sebastian Angel, Shuai Mu
    Skybridge: Bounded Staleness for Distributed CachesOSDI '25Robert Lyerly, Scott Pruett, Kevin Doherty, Greg Rogers, Nathan Bronson, John Hugg
    Principles and Methodologies for Serial Performance OptimizationOSDI '25Sujin Park, Mingyu Guan, Xiang Cheng, Taesoo Kim
    Söze: One Network Telemetry Is All You Need for Per-flow Weighted Bandwidth Allocation at ScaleOSDI '25Weitao Wang, T. S. Eugene Ng
    Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless SystemsOSDI '25Xiaohu Chai, Tianyu Zhou, Keyang Hu, Jianfeng Tan, Tiwei Bie, Anqi Shen, Dawei Shen, Qi Xing, Shun Song, Tongkai Yang, Le Gao, Feng Yu, Zhengyu He, Dong Du, Yubin Xia, Kang Chen, Yu Chen
    ZEN: Empowering Distributed Training with Sparsity-driven Data SynchronizationOSDI '25Zhuang Wang, Zhaozhuo Xu, Jingyi Xi, Yuke Wang, Anshumali Shrivastava, T. S. Eugene Ng

    Pages

    Printable Calendar | Google Calendar