Feedback-driven Fault Injection: Efficiently Reproducing Fault-Induced Failures
Jia Pan, Haoze Wu , Tanakorn Leesatapornwongsa, Suman Nath, Peng Huang
SOSP 2024 | November 2024
November 4, 2024 –
November 6, 2024
Microsoft at SOSP 2024
Central Standard Time (UTC -6)
Location: Austin, Texas
Publications
Publications
Publications by Year
-
If At First You Don’t Succeed, Try, Try, Again…? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems
Bogdan Alexandru Stoica, Utsav Sethi , Yiming Su , Cyrus Zhou, Shan Lu, Jonathan Mace, Madan Musuvathi, Suman Nath
2024 Symposium on Operating Systems Principles | November 2024
SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
Sampath Rajendra, Kaushik Rajan
September 2024
Uncover Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor
September 2024
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
September 2024
Verus: A Practical Foundation for Systems Verification
September 2024
Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor
Yiqi Liu, Yu Xue, Yu Cheng, Lingxiao Ma, Ziming Miao, Jilong Xue, Jian Huang
SOSP 2024 | August 2024
Publications by Research Area
-
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
September 2024
Uncover Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor
September 2024
SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
Sampath Rajendra, Kaushik Rajan
September 2024
Verus: A Practical Foundation for Systems Verification
September 2024
Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor
Yiqi Liu, Yu Xue, Yu Cheng, Lingxiao Ma, Ziming Miao, Jilong Xue, Jian Huang
SOSP 2024 | August 2024
-
If At First You Don’t Succeed, Try, Try, Again…? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems
Bogdan Alexandru Stoica, Utsav Sethi , Yiming Su , Cyrus Zhou, Shan Lu, Jonathan Mace, Madan Musuvathi, Suman Nath
2024 Symposium on Operating Systems Principles | November 2024
Feedback-driven Fault Injection: Efficiently Reproducing Fault-Induced Failures
Jia Pan, Haoze Wu , Tanakorn Leesatapornwongsa, Suman Nath, Peng Huang
SOSP 2024 | November 2024
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
September 2024
Uncover Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor
September 2024
SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
Sampath Rajendra, Kaushik Rajan
September 2024
Verus: A Practical Foundation for Systems Verification
September 2024
Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor
Yiqi Liu, Yu Xue, Yu Cheng, Lingxiao Ma, Ziming Miao, Jilong Xue, Jian Huang
SOSP 2024 | August 2024
Publications by Type
-
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
September 2024
Uncover Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor
September 2024
SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
Sampath Rajendra, Kaushik Rajan
September 2024
Verus: A Practical Foundation for Systems Verification
September 2024
-
If At First You Don’t Succeed, Try, Try, Again…? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems
Bogdan Alexandru Stoica, Utsav Sethi , Yiming Su , Cyrus Zhou, Shan Lu, Jonathan Mace, Madan Musuvathi, Suman Nath
2024 Symposium on Operating Systems Principles | November 2024
Feedback-driven Fault Injection: Efficiently Reproducing Fault-Induced Failures
Jia Pan, Haoze Wu , Tanakorn Leesatapornwongsa, Suman Nath, Peng Huang
SOSP 2024 | November 2024
Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor
Yiqi Liu, Yu Xue, Yu Cheng, Lingxiao Ma, Ziming Miao, Jilong Xue, Jian Huang
SOSP 2024 | August 2024