UPMARC Research

Research in UPMARC focuses on four key challenge areas: Application Performance, Efficiency and Predictability, Ease of Programming, and Correctness.

Research Projects

• Application Performance
  • Parallel Algorithms
  • Programming Frameworks

• Efficiency and Predictability
  • Embedded Systems on Multicores
  • Efficient Modeling Technology
  • Resource Sharing: Modeling and Scheduling
  • Power modeling
  • Synchronization modeling

• Ease of Programming
  • Applied Calculi
  • Facilitating Concurrent and Parallel Programming in Mainstream Programming Languages

• Correctness
  • Automated Verification of Highly Concurrent Algorithm
  • Automated Verification of Algorithms under Weak Memory Models
  • Automated Verification of Concurrent Recursive Programs

Publications