Research Projects
Please e-mail me at "Joseph dot Morris at computing dot dcu dot
ie" if you 're interested
Design by
model refinement
Mathematical techniques for designing code by making successively more detailed models of the system, and including machine support.
Formal
paradigms for concurrent programming
Designing CSP-like message passing models of concurrency for reasoning mathematically about the behaviour of multiprocess systems (with Trinity College Dublin).
Verification
tools for process algebras
Tools to support theory in preceding project.
An EBON to
JML
compiler
Incorporating the EBON high-level specification language into the JML tool suite for Java programs (with UCD).
Software
transactional memory
The design, efficient implementation, and semantics of varied approaches to software transaction memory, and their practical deployment in industrial-strength systems.
Parallelisation
of legacy code
How best to parallelise legacy code to make maximum use of new multicore architectures, paying particular attention to efficiency and scalability.
Designing
systems for multicore architectures
Design methodologies for new code targetted at multicore architectures, including the combination of new and existing techniques.
New parallel
algorithms for multicore architectures
Redesigning parallel algorithms for multicore architectures, paying particular attention to scalability and caching
Validation of
automotive software