Browsing Theses by Subject "LLVM"

Now showing items 1-3 of 3

Automated Compilation Framework for Scratchpad-based Real-Time Systems

Soliman, Muhammad Refaat Sedky (University of Waterloo, 2019-07-31)

ScratchPad Memory (SPM) is highly adopted in real-time systems as it exhibits a predictable behaviour. SPM is software-managed by explicitly inserting instructions to move code and data transfers between the SPM and the ...
Scalable Context-Sensitive Pointer Analysis for LLVM

Kuderski, Jakub (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 ...
Specification Based Bug Detection for Embedded Software

Chaudhary, Sandeep Kumar (University of Waterloo, 2014-11-05)

Traditional compilers do not automatically analyze processor specifications, thousands of pages of which are available for modern processors. The specifications describe constraints and requirements for processors, and ...