The prosperous trend of deploying deep neural network (DNN) models to diverse hardware platforms has boosted the development learning (DL) compilers. DL compilers take high-level DNN model specifications as input and generate optimized executables for architectures like CPUs, GPUs, various accelerators. Compiling into high-efficiency is not easy: compilation procedure often involves converting several different intermediate representations (IR), e.g., graph IR operator IR, performing...

The prosperous trend of deploying complex applications to web browsers has boosted the development WebAssembly (wasm) compilation toolchains. Software written in different high-level programming languages are compiled into wasm executables, which can be executed fast and safely a virtual machine. performance executables depends highly on compiler optimizations. Despite use recent research indicated that real-world slower than anticipated, suggesting deficiencies

Computer graphics are powered by APIs (e.g., OpenGL, Direct3D) and their associated shader compilers, which render high-quality images compiling optimizing user-written high-level programs into GPU machine code. Graphics rendering is extensively used in production scenarios like virtual reality (VR), gaming, autonomous driving, robotics. Despite the development industrial manufacturers such as Intel, Nvidia, AMD, compilers - traditional software may produce ill-rendered outputs. In turn,...

The prosperous trend of deploying deep neural network (DNN) models to diverse hardware platforms has boosted the development learning (DL) compilers. DL compilers take high-level DNN model specifications as input and generate optimized executables for architectures like CPUs, GPUs, accelerators. We introduce MT-DLComp, a metamorphic testing framework specifically designed uncover erroneous compilations. Our approach leverages deliberately-designed relations (MRs) launch semantics-preserving...

The demanding need to perform privacy-preserving computations among multiple data owners has led the prosperous development of secure multi-party computation (MPC) protocols. MPC offers protocols for parties jointly compute a function over their inputs while keeping those private. To date, been widely adopted in various real-world, privacy-sensitive sectors, such as healthcare and finance. Moreover, ease adoption MPC, industrial academic compilers have developed automatically translate...

The prosperous trend of deploying deep neural network (DNN) models to diverse hardware platforms has boosted the development learning (DL) compilers. DL compilers take high-level DNN model specifications as input and generate optimized executables for architectures like CPUs, GPUs, accelerators. We introduce MT-DLComp, a metamorphic testing framework specifically designed uncover erroneous compilations. Our approach leverages deliberately-designed relations (MRs) launch semantics-preserving...

A physical simulation engine (PSE) is a software system that simulates environments and objects. Modern PSEs feature both forward backward simulations, where the phase predicts behavior of simulated system, provides gradients (guidance) for learning-based control tasks, such as robot arm learning to fetch items. This way, modern show promising support methods. To date, have been largely used in various high-profitable, commercial applications, games, movies, virtual reality (VR), robotics....

A physical simulation engine (PSE) is a software system that simulates environments and objects. Modern PSEs feature both forward backward simulations, where the phase predicts behavior of simulated system, provides gradients (guidance) for learning-based control tasks, such as robot arm learning to fetch items. This way, modern show promising support methods. To date, have been largely used in various high-profitable, commercial applications, games, movies, virtual reality (VR), robotics....