FuzzyFlow: Leveraging Dataflow for Program Optimization Testing and Debugging
Scalable Parallel Computing Lab, SPCL @ ETH Zurich via YouTube
AI Engineer - Learn how to integrate AI into software applications
Build the Finance Skills That Lead to Promotions — Not Just Certificates
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Watch a conference talk from Supercomputing '23 that introduces FuzzyFlow, a fault localization and test case extraction framework for program optimization testing. Explore how dataflow program representations can capture reproducible system states and optimization effects, enabling faster semantic equivalence checking. Discover techniques for minimizing test inputs and achieving up to 528 times faster optimization testing compared to traditional approaches. Learn about key concepts including differential fuzzing, program cutouts, parametric dataflow analysis, input configuration reduction, and coverage-guided fuzzing. Follow along as speaker Philipp Schaad from ETH Zurich's Scalable Parallel Computing Lab demonstrates real-world applications and explains how FuzzyFlow helps performance engineers verify and debug complex program optimizations.
Syllabus
Introduction
Formalizing Optimizations
Automated Optimization Testing
Speeding Up Differential Fuzzing
Program Cutouts
Side Effect Analysis Using Parametric Dataflow
Reducing Input Configurations
Constraining Inputs
Coverage Guided Fuzzing
FuzzyFlow
Evaluation
Conclusion
Taught by
Scalable Parallel Computing Lab, SPCL @ ETH Zurich