When a complex computation is split up into work for different processors these processors often have to share data and communicate results as the computation progresses. The current state of the art doesn’t consider…
What is the difference between math and programming? This project is an implementation of a dependent type system for an imperative programming language called Hash. Beyond standard programming language features, it…
The next generation of computer processors are going to be “heterogeneous”: this means they will package completely different processors in one system. For example, a CPU from Intel, several GPUs from NVIDIA, a few…
Keywords Compilers, Programming Languages, Code Generation, Systems Programming Staff [Christopher Brown]{cmb21}
As the multi-core CPU architectures are long the standard, writing parallel programs are essentialto extract the maximum performance from the CPU. This project explores the use of dependanttypes in creating a model for…
Examining how strict typing is not always enough, how model checking can be excessive, and how to bridge the gap between the two for the benefit of both. Keywords Software correctness & verification, Formal methods,…
Keywords Programming languages, Types Staff [Edwin Brady]{ecb10}
Keywords Refactoring, Types, Trustworthy Software, Verification Staff [Christopher Brown]{cmb21}