USENIX | The Advanced Computing Systems Association

Ladder: Enabling Efficient {Low-Precision} Deep Learning Computing through Hardware-aware Tensor Transformation

Wang L, Ma L, Cao S, Zhang Q, Xue J, Shi Y, Zheng N, Miao Z, Yang F, Cao T et al.. 2024. Ladder: Enabling Efficient {Low-Precision} Deep Learning Computing through Hardware-aware Tensor Transformation. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :307--323.

Caravan: Practical Online Learning of {In-Network} {ML} Models with Labeling Agents

Zhang Q, Imran A, Bardhi E, Swamy T, Zhang N, Shahbaz M, Olukotun K. 2024. Caravan: Practical Online Learning of {In-Network} {ML} Models with Labeling Agents. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :325--345.

{nnScaler}: {Constraint-Guided} Parallelization Plan Generation for Deep Learning Training

Lin Z, Miao Y, Zhang Q, Yang F, Zhu Y, Li C, Maleki S, Cao X, Shang N, Yang Y et al.. 2024. {nnScaler}: {Constraint-Guided} Parallelization Plan Generation for Deep Learning Training. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :347--363.

{ChameleonAPI}: Automatic and Efficient Customization of Neural Networks for {ML} Applications

Liu Y, Wan C, Du K, Hoffmann H, Jiang J, Lu S, Maire M. 2024. {ChameleonAPI}: Automatic and Efficient Customization of Neural Networks for {ML} Applications. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :365--386.

{SquirrelFS}: using the Rust compiler to check file-system crash consistency

LeBlanc H, Taylor N, Bornholt J, Chidambaram V. 2024. {SquirrelFS}: using the Rust compiler to check file-system crash consistency. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :387--404.

High-throughput and Flexible Host Networking for Accelerated Computing

Skiadopoulos A, Xie Z, Zhao M, Cai Q, Agarwal S, Adelmann J, Ahern D, Contavalli C, Goldflam M, Mayatskikh V et al.. 2024. High-throughput and Flexible Host Networking for Accelerated Computing. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :405--423.

{IntOS}: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing

Wu Y, Min B, Ismail M, Xiong W, Jung C, Lee D. 2024. {IntOS}: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :425--443.

Data-flow Availability: Achieving Timing Assurance in Autonomous Systems

Li A, Zhang N. 2024. Data-flow Availability: Achieving Timing Assurance in Autonomous Systems. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :445--463.

Microkernel Goes General: Performance and Compatibility in the {HongMeng} Production Microkernel

Chen H, Miao X, Jia N, Wang N, Li Y, Liu N, Liu Y, Wang F, Huang Q, Li K et al.. 2024. Microkernel Goes General: Performance and Compatibility in the {HongMeng} Production Microkernel. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :465--485.

When will my {ML} Job finish? Toward providing Completion Time Estimates through {Predictability-Centric} Scheduling

Bin Faisal A, Martin N, Bashir HMohsin, Lamelas S, Dogar FR. 2024. When will my {ML} Job finish? Toward providing Completion Time Estimates through {Predictability-Centric} Scheduling 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :487--505.

Pages