Saeed Darabi

Myphoto

PhD Candidate (Program Verification)
Formal Methods and Tools

Contact:

Department of Computer Science
University of Twente
Building Zilverling, room 3073
P.O. Box 217, NL-7500 AE Enschede

Phone: +31 53 489 3549
E-mail: s.darabi[at]utwente.nl

Research Interest
  • Hoare logic based automated verification
  • GPGPU program verification
  • Semantics of programming languages
PhD Project
CARP : CORRECT AND EFFICIENT ACCELERATOR PROGRAMMING

I am involved in the CARP Project. The aim of CARP is to design the following techniques and tools for correct and efficient accelerator programming:

  • Novel and attractive methods for constructing system-independent accelerator programs

  • Advanced code generation techniques to produce highly optimised system-specific code from system-independent programs

  • Scalable static techniques for analysing accelerator software both qualitatively and quantitatively

CARP Overview