• Home
• People
• Jobs
• Visit
• Thesis Topics
• Publications
• Conference Rankings
• Research
• Bcast
• Teaching
• Contact

SPONSORS

COLLABORATIONS

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Publications of SPCL

P. Schaad, T. Schneider, T. Ben-Nun, A. Nikolaos Ziogas, A. Calotoiu, T. Hoefler:
	FuzzyFlow: Leveraging Dataflow To Find and Squash Program Optimization Bugs (In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC'23), Association for Computing Machinery, ISBN: 979-8-400701-09-2, Nov. 2023) Publisher Reference Abstract The current hardware landscape and application scale is driving performance engineers towards writing bespoke optimizations. Verifying such optimizations, and generating minimal failing cases, is important for robustness in the face of changing program conditions, such as inputs and sizes. However, isolation of minimal test-cases from existing applications and generating new configurations are often difficult due to side effects on the system state, mostly related to dataflow. This paper introduces FuzzyFlow: a fault localization and test case extraction framework designed to testprogram optimizations. We leverage dataflow program representations to capture a fully reproducible system state and area-of-effect for optimizations to enable fast checking for semantic equivalence. To reduce testing time, we design an algorithm for minimizing test inputs, trading off memory for recomputation. We demonstrate FuzzyFlow on example use cases in real-world applications where the approach provides up to 528 times faster optimization testing and debugging compared to traditional approaches. Documents download article: access preprint on arxiv:
	BibTeX
@inproceedings{,   author={Philipp Schaad and Timo Schneider and Tal Ben-Nun and Alexandros Nikolaos Ziogas and Alexandru Calotoiu and Torsten Hoefler},   title={{FuzzyFlow: Leveraging Dataflow To Find and Squash Program Optimization Bugs}},   year={2023},   month={11},   booktitle={Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC'23)},   publisher={Association for Computing Machinery},   isbn={979-8-400701-09-2},   doi={10.1145/3581784.3613214}, }