cfaed Seminar Series

Prof. Marco Bekooij, Dr. Joost Hausmans , NXP Semiconductors, University of Twente

Refinement Based Dataflow Analysis for Real-Time Multiprocessor Compilers

03.07.2015 (Friday) , 10:00 - 11:30
TU Dresden, Andreas-Pfitzmann-Building (Computer Science Building), Room 1004 , Nöthnitzer Straße 46 , 01187 Dresden

An optimizing real-time multiprocessor compiler has been developed at the computer architecture for embedded systems group of the University of Twente together with NXP semiconductors. Dataflow analysis techniques are applied in this compiler for throughput analysis and optimization of the concurrent application. These analysis techniques are based on a refinement relation which will be explained in more detail. Practical examples will be used to illustrate the implications of this refinement relation.

Marco Bekooij is principal research scientist at NXP Semiconductors and is part-time full professor at the University of Twente. He holds an MSc from the University of Twente and a Ph.D. from the Eindhoven University of Technology. The current focus of his research is the design of real-time multiprocessor system hardware and the accompanying analysis techniques and programming tools. These techniques are applied at NXP for the design of software defined radios.

Joost Hausmans is currently a postdoctoral researcher in the Computer Architectures for Embedded Systems group at the University of Twente. In 2015 he received his Ph.D. degree (cum laude) at the University of Twente. He furthermore received an M.Sc. degree (cum laude) in Embedded Systems in 2010 and a B.Sc. degree in Computer Science in 2008 both from the Eindhoven University of Technology. His research is currently focused on the design and analysis of real-time applications and the multiprocessor systems on which they are executed.

Go back