Browsing Mathematics (Faculty of) by Supervisor "Sun, Chengnian"
Now showing items 1-4 of 4
-
Assessing the Reliability of Deep Learning Applications
(University of Waterloo, 2023-08-01)Deep Learning (DL) applications are widely deployed in diverse areas, such as image classification, natural language processing, and auto-driving systems. Although these applications achieve outstanding performance in terms ... -
An Empirical Study on Bash Language Usage in Github
(University of Waterloo, 2021-05-27)The Bourne-again shell (Bash) is a prevalent scripting language for orchestrating shell commands and managing resources in Unix-like environments. At the time of writing, it is one of the mainstream shell dialects that ... -
Enabling Language-Specific Transformations in Language-Agnostic Program Reduction
(University of Waterloo, 2023-08-30)When a program P triggers a bug in a language implementation, program reduction can reduce P by removing program elements that are irrelevant to the bug, to facilitate debugging. Program reduction has been widely used in ... -
On the Caching Schemes to Speed Up Program Reduction
(University of Waterloo, 2023-01-05)Program reduction is a highly practical, widely demanded technique to help debug language tools, such as compilers, interpreters and debuggers. Given a program P which exhibits a property ψ, conceptually, program reduction ...