Dependable Systems Group

Members

Faculty

Current Graduate Students

PhD Students
  • Yavuz Koroglu, PhD student

    Topics: Software Testing and Verification

  • Hasan Ferit Eniser, PhD student

    Topics: Deep Neural Network Testing

MS Students
  • Ahmet Gul, MS student
  • Oguz Kerem Tural, MS student
  • Mehmet Melih Arıcı, MS student
BS Students
  • Emirhan Sarac, BS student

Alumni

    PhD
  • Orkun Saglamdemir, PhD completed 2017 (co-supervised with Prof. Gunhan Dundar), employed by Dialog Semiconductor.

    Thesis: EQUIVALENCE CHECKING OF DESIGNS MODELED IN SIMULINK IMPLEMENTED IN LOW LEVEL

  • Serkan Kirbas, PhD completed 2017 (co-supervised with Prof. Tracy Hall), employed by Bloomberg.

    Thesis: ON THE EVOLUTIONARY COUPLING AND ITS MEASUREMENT

  • Etem Deniz, MS completed 2011, PhD completed 2015, employed by TUBITAK

    Thesis: AUTOMATIC SYNTHETIC BENCHMARK GENERATION FOR MULTICORE SYSTEMS

    • MS
  • Hasan Ferit Eniser, MS completed 2017, currently PhD student at Bogazici University.

    Thesis: SERVICE VIRTUALIZATION USING RECORDED INTERACTIONS

  • Yavuz Koroglu, MS completed 2016, currently PhD student at Bogazici University

    Thesis: Heuristics for Concolic Software Testing

  • Mehmet Kose, MS completed 2016, currently PhD student at Bogazici University

    Thesis: MUTATION TESTING OF CONCURRENT PROGRAMS

  • Onder Kalaci, MS completed 2014, employed by Citus Data

    Thesis: DYNAMIC DATA RACE DETECTION IN CONCURRENT PROGRAMS

  • Gokcehan Kara, MS completed 2014, PhD student at Bogazici University

    Thesis: SYSTEM LEVEL SYNTHETIC BENCHMARKS FOR MULTICORE ARCHITECTURES

  • Dogan Ulus, MS completed 2013 (co-supervised with Prof. Faik Baskaya), PhD student at Verimag

    Thesis: ASSERTION BASED VERIFICATION FOR ANALOG AND MIXED-SIGNAL DESIGNS USING SIMULATIONS

  • Marcelo Sousa, MS completed 2012 (co-supervised with Prof. Wishnu Prasetya, University of Utrecht), PhD student at Oxford University

    Thesis: A Framework for Formal Verification of Concurrent Software

  • Yavuz Koroglu, BS graduation project completed 2013, MS completed 2016, PhD student at Bogazici University

    Topic: Hardware Assisted Dynamic Data Race Detection

  • Baris Aksanli, BS graduation project completed 2010, PhD student at UCSD

    Topic: Parallelizing Cycle Based Simulation with GPUs