Open Access. Powered by Scholars. Published by Universities.®
Programming Languages and Compilers Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
Articles 1 - 3 of 3
Full-Text Articles in Programming Languages and Compilers
Compiling Quantum Programs, Li-Heng Henry Chang
Compiling Quantum Programs, Li-Heng Henry Chang
Senior Projects Spring 2023
This thesis introduces the quantum compilation problem and develops a prototypical compiler. The problem of quantum compiling is, in essence, converting high-level human expressions of quantum programs into low-level hardware executable code. Compilers that target different hardware platforms enable portable code that can be used to benchmark hardware performance, reduce programming work and speed up development. Because quantum systems are subjected to phenomena such as noise, no-cloning and decoherence, the challenge of quantum compiling is tied to the optimization of program runtimes and the lengths of compiled sequences. For near-term intermediate scale quantum (NISQ) computers with limited hardware resources and …
The Algebra Of Type Unification, Verity James Scheel
The Algebra Of Type Unification, Verity James Scheel
Senior Projects Spring 2022
Type unification takes type inference a step further by allowing non-local flow of information. By exposing the algebraic structure of type unification, we obtain even more flexibility as well as clarity in the implementation. In particular, the main contribution is an explicit description of the arithmetic of universe levels and consistency of constraints of universe levels, with hints at how row types and general unification/subsumption can fit into the same framework of constraints. The compositional nature of the algebras involved ensure correctness and reduce arbitrariness: properties such as associativity mean that implementation details of type inference do not leak in …
Methane Sensing In The Field, Kyle Robert Zigner
Methane Sensing In The Field, Kyle Robert Zigner
Senior Projects Spring 2019
Is renewable energy as beneficial to our environment as we think? The demand for renewable energy has drastically increased over the last century due to the overuse of most fossil fuels, but the possible side effects of these new forms of energy must be carefully considered. One particular case of interest is that of methane emission from reservoirs formed behind hydropower dams. Due to the anaerobic bacteria decomposition of plant matter under water, methane is emitted from these types of wetland areas. This research thesis aims to investigate the feasibility of remote-controlled methane sensing which would provide concentration data at …