A am a second year PhD student in CDT in Pervasive Parallelism. This Centre for Doctoral Training (CDT) is a combined MSc+PhD program that allows students to dive into a 4 year research project of interest.
My research project focuses on enabling fast multi-core hardware simulation.
Research Work
-
Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems
Nov 2020 - IEEE TCAD
How to emulate LL/SC instructions on hosts that only support Compare-And-Swap (e.g. x86) -
High-Level Synthesis of Functional Patterns with Lift
June 2019 - PLDI - ARRAY 2019
Publishing result of work done in BSc Thesis below. Additional optimisations are introduced. -
Mitigating JIT Compilation Latency in Virtual Execution Environments
Apr 2019 - Virtual Execution Environments 2019
Publishing results of work done in MSc Thesis below. -
Compilation Scheduling Policy for JIT-Based Systems
Aug 2018 - MSc Thesis
Just-in-Time compilation is the key technology for fast cross-architecture simulation. The best results are observed when the compilation itself is offloaded to a background thread. This thesis concerns policies used to order compilation units in a compilation queue. This schedule has a major impact on the final performance of the whole system. -
High-Level Synthesis of Functional Patterns for Reconfigurable Logic
May 2017 - BSc Thesis
Reconfigurable Logic (FPGA) has great performance and energy advantages compared to traditional CPUs. However, it is extremely hard to program. Lift framework alleviates this problem by exposing a high-level functional programming language. This project creates a back-end to the Lift compiler targeting FPGA. Simple matrix multiplication expression can be compiled to data-flow hardware design.
Miscellaneous
- CV
- Our team, HYPED, secured a place in the finals of 2019 Hyperloop Pod Competition.
Contact
- m.kristien@sms.ed.ac.uk
- 1.43 Informatics Forum, The University of Edinburgh
10 Crichton Street, Edinburgh, EH8 9AB