Browsing Theses by Subject "compiler"
Now showing items 1-6 of 6
-
Adding Reference Immutability to Scala
(University of Waterloo, 2023-07-10)Scala is a multi-paradigm programming language combining the power of functional and object-oriented programming. While Scala has many features promoting immutability, it lacks a built-in mechanism for controlling and ... -
Automated Compilation Framework for Scratchpad-based Real-Time Systems
(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 ... -
Automatic Loop Nest Parallelization for the Predictable Execution Model
(University of Waterloo, 2023-04-27)Currently, embedded real-time systems still widely use single-core processors. A major challenge in the adoption of multicore processors is the presence of shared hardware resources such as main memory. Contention between ... -
Automating Programming Assignment Marking with AST Analysis
(University of Waterloo, 2019-01-14)This thesis presents a novel approach to automatically mark programming assignments. We hypothesize that correct student solution ASTs will be more similar to reference solution ASTs than incorrect student solutions and ... -
Specification Based Bug Detection for Embedded Software
(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 ... -
Static Transformation of Power Consumption for Program Tracing and Software Attestation
(University of Waterloo, 2017-01-12)This thesis presents methods to statically modify programs at compile-time to improve the effectiveness of power consumption based program analyses. Two related applications are considered, and algorithms are introduced ...