Search Results

You are looking at 1 - 2 of 2 items for :

  • Materials and Applied Sciences x
Clear All

This paper presents an automated model and a project, Arrakis, for finding defects in shading algorithms for graphics rendering and compute workloads. A key challenge in shading algorithm testing is the lack of an oracle that can determine the quality and the output of a custom shading algorithm; this is crucial in graphics workloads because expensive assets are often wasted on solving these problems. A broad solution, Arrakis is developed, which builds on current graphics technology advances in Vulkan, SPIR-V and SPIRV-X by leveraging the standardization with mappings from SPIR-V and C++. Findings show that utilizing the demonstrated technology can improve quality whilst increasing productivity.

Open access

] Jha S. , Gulwani S. , Seshia S. A. , Tiwari A. Oracle-guided component-based program synthesis , Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 , Cape Town

Restricted access