BU | CMPE

Bogazici University

 

Alper Şen

Site menu:

|  |  Research||Opportunities || PublicationsTeachingProfessionalStudentsToolsContact | | 

 

 


Opportunities

Research Opportunities

I am looking for motivated senior undergraduates, MS, and PhD students to work on projects some of which are listed below. Funding is available.

My research is on analysis and design of concurrent and parallel systems. In design area, we are interested in improving performance of various algorithms through parallelization. We also develop parallel workloads used for benchmarking platform development. In analysis area, we are interested in verification of concurrent systems. Verification consumes 60-70% of the overall software or hardware design cycle, hence it is a very costly process. The verification problem is growing with the introduction of multi-threaded, concurrent software and multiple processor systems. Software, hardware, telecommunication, semiconductor companies such as Microsoft, Google, Intel, Freescale, IBM, ST Micro, Siemens are all interested in verification solutions. Our goal is to develop efficient and industrial scale solutions to the verification problem.

RELIABLE EMBEDDED SYSTEMS USING MULTICORE AND MESSAGE PASSING ARCHITECTURES

Annoucenment for SRC Project.

Using Graphic Processing Units for General Purpose Algorithm Parallelization

Multicore programming has been a reality with the emergence of recent hardware from companies such as Intel, AMD, Freescale, NVIDIA. In particular, graphical processing units (GPU) are equipped with hundreds of small cores enabling to execute 10,000 threads concurrently. New languages and standards such as OpenCL, CUDA, OpenMP are emerging as common platforms for multicore programming. The goal of this project is to port algorithms such as simulation/testing algorithms into NVIDIA GPUs and obtain big performance gains.

Verification of Parallel, Multithreaded Systems

In this project, the goal is to develop analysis techniques to increase reliability of concurrent systems. These systems include both hardware and software systems. In particular, we propose to enhance and further develop our predictive verification techniques to find both actual and potential bugs in a program. These bugs include deadlocks and race conditions. Automated tools will be implemented to validate the effectiveness of the approach. System level programming languages such as SystemC will be used.

Related Conferences:

  • Design Automation Conference (DAC)
  • Design Automation and Test in Europe (DATE)
  • Computer Aided Verification (CAV)
  • Formal Methods in Computer Aided Verification (FMCAD)
  • International Parallel and Distributed Processing Symposium (IPDPS)
  • Microprocessor Test and Verification Workshop (MTV)
  • International Conference on Software Engineering (ICSE)
  • Automated Software Engineering (ASE)
  • Runtime Verification (RV)
  • International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)
  • IEEE International High-Level Design Validation and Test Workshop (HLDVT)


    • Email Alper Sen.