Browsing Engineering (Faculty of) by Supervisor "Arie, Gurfinkel"
Now showing items 1-2 of 2
-
Neural-guidance for symbolic reasoning
(University of Waterloo, 2020-10-19)Symbolic reasoning begot Artificial Intelligence (AI). With the recent advances in Deep Learning, many traditional AI areas such as Computer Vision and Natural Language Processing have moved to probabilistic-based approaches. ... -
Scalable Context-Sensitive Pointer Analysis for LLVM
(University of Waterloo, 2019-08-13)Pointer analysis is indispensable for effectively verifying heap-manipulating programs. Even though it has been studied extensively, there are no publicly available pointer analyses for low-level languages that are ...