Parkas team

Research topics

• Formally defined high-level languages for embedded systems
  • design, semantics and implementation of programming languages
  • synchronous data-flow concurrency
  • address new applications: computationally intensive, large-scale simulation, mix of continuous/discrete time
• Efficient compilation for Modern architectures
  • internal and formally defined representations of optimizing compilers (e.g., polyhedral compilation algorithms)
  • generate provably correct and efficient code from synchronous designs
  • target modern shared-memory parallel processors (e.g., multi/many cores, tiled processors arrays, GPUs)