Browsing Theses by Subject "compilers"
Now showing items 1-3 of 3
-
Accelerating Mixed-Abstraction SystemC Models on Multi-Core CPUs and GPUs
(University of Waterloo, 2014-04-28)Functional verification is a critical part in the hardware design process cycle, and it contributes for nearly two-thirds of the overall development time. With increasing complexity of hardware designs and shrinking ... -
On the Near-Optimality of List Scheduling Heuristics for Local and Global Instruction Scheduling
(University of Waterloo, 2006)Modern architectures allow multiple instructions to be issued at once and have other complex features. To account for this, compilers perform instruction scheduling after generating the output code. The instruction ... -
Scala with Explicit Nulls
(University of Waterloo, 2019-12-20)The Scala programming language unifies the object-oriented and functional styles of programming. One common source of errors in Scala programs is null references. In this dissertation, I present a modification to the Scala ...