Joseph Libby
  • Doctorate of Computer Science, 2007 - current.
    University of New Brunswick, Canada
  • Master's of Computer Science, 2005 - 2007.
    University of New Brunswick, Canada
  • Bachelor of Computer Science, 2000 - 2005
    University of New Brunswick, Canada


Research Topic: High Level HDLs, and Embedded CPU Design

Thesis Research:
A Methodology for the Efficient Extraction of Concurrency and Pipelined Data Paths from Handel-C
PhD - I am working on the development of a methodology for the efficient extraction of concurrency and pipelined data paths from high level Handel-C hardware descriptions. The aim of this work is to produce a tool set and methodology capable of enabling developers to rapidly produce efficient hardware systems. This tool represents an evolution in the design process of hardware by moving towards allowing software designers to create hardware directly from software, written in C, without traditional hardware description languages.
MCS - My research is focused on implementing an embedded processor based on the ECMA-335 Common Language Infrastructure instruction Set. The CLI is best known as the core of Microsofts .Net platform and it is hoped that this research will yield an embedded processor that is capable of executing .Net executables natively without the need for modifying software compilers. This would allow developers to target an embedded system while using a development environment that is familiar to them.


Thesis Supervisor(s):
Ken Kent