Date of Award
Open Access Dissertation
Doctor of Philosophy in Computer Engineering (PhD)
Administrative Home Department
Department of Electrical and Computer Engineering
Committee Member 1
Committee Member 2
Committee Member 3
This dissertation discusses a novel, previously unexplored execution model called Demand-Driven Execution (DDE), which executes programs starting from the outputs of the program, progressing towards the inputs of the program. This approach is significantly different from prior demand-driven reduction machines as it can execute a program written in an imperative language using the demand-driven paradigm while extracting both instruction and data level parallelism. The execution model relies on an executable Single Assignment Form which serves both as the internal representation of the compiler as well as the Instruction Set Architecture (ISA) of the machine. This work develops the instruction set architecture, the programming language pragmatics, and the microarchitecture for the demand-driven execution paradigm.
Javeri, Omkar, "DEMAND-DRIVEN EXECUTION USING FUTURE GATED SINGLE ASSIGNMENT FORM", Open Access Dissertation, Michigan Technological University, 2020.
Available for download on Monday, April 12, 2021