Feedback-driven Fault Injection: Efficiently Reproducing Fault-Induced Failures
Jia Pan, Haoze Wu , Tanakorn Leesatapornwongsa, Suman Nath, Peng Huang
SOSP 2024 | November 2024
2024年11月4日 –
2024年11月6日
Microsoft at SOSP 2024
Central Standard Time (UTC -6)
地点： Austin, Texas
论文与出版物
论文与出版物
按年份分类的论文与出版物
-
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
按研究领域分类的论文与出版物
-
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
按类型分类的论文与出版物
-
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