Archives and Documentation Center
Digital Archives

Browsing Bilgisayar Mühendisliği by Author "Şen, Alper."

Browsing Bilgisayar Mühendisliği by Author "Şen, Alper."

Sort by: Order: Results:

  • A static analyzer and bug prediction engine for smart contracts 
    Gül, Ahmet. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2021., 2021.)
    As blockchain solutions are becoming increasingly common, identifying potential bugs in smart contracts written in Solidity language is vital for these solutions to work accurately. To precisely detect these bugs, developers ...
  • Automatic synthetic benchmark generation for multicore systems 
    Deniz, Etem. (Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2015., 2015.)
    We present a novel automated multicore benchmark synthesis framework for multicore systems including CPUs and GPUs with characterization and generation components to speed up architectural simulation of modern architectures. ...
  • Dynamic data race detection in concurrent programs 
    Kalacı, Önder. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2014., 2014.)
    Recent advances in hardware drive software to be more concurrent than ever. Concurrency in software is achieved by multithreading, which creates veri cation challenges. These challenges include problems such as deadlocks, ...
  • Heuristics for concolic sofware testing 
    Köroğlu, Yavuz. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2016., 2016.)
    Software testing is an essential part of the software development process. Concolic testing is an automated unit test generation technique which is a result of decades of study on making the automated testing scalable. ...
  • Improving robustness of deep learning systems with fast and customizable adversarial data generation 
    Arıcı, Mehmet Melih. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2021., 2021.)
    Deep Learning (DL) is the force behind the success of solving many complicated tasks in recent years. With the use of DL systems in safety-critical applications, it has become of great importance to make these systems ...
  • Mutation testing of concurrent programs 
    Köse, Mehmet. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2016., 2016.)
    As software testing becomes a more established discipline, the need for quality assurance of software test suites arises. It has been decades since mutation testing was rst introduced into the literature for this purpose. ...
  • On the evolutionary coupling and its measurement 
    Kırbaş, Serkan. (Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2017., 2017.)
    Evolutionary Coupling (EC) is the implicit relationship between the artifacts or parts of the software system that are frequently changed together during evolution of a system. Understanding the EC in software systems is ...
  • Robustness and resilience of deep neural networks 
    Buldu, Abdullah Murat. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2022., 2022)
    Deep Neural Networks (DNN) are used extensively to solve challenging problems in computer vision, natural language processing, and speech recognition. However, recent studies such as adversarial attacks show that high ...
  • Service virtualization using recorded interactions 
    Enişer, Hasan Ferit. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2017., 2017.)
    Today’s enterprise software systems are much more complicated than the past. Increasing number of dependent applications and heterogeneous technologies makes testing of such systems challenging due to multiple reasons ...
  • System level synthetic benchmarks for multicore architectures 
    Kara, Gökçehan. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2014., 2014.)
    System-level benchmarks enable performance evaluation early in the design cycle of multi-core architectures. However, benchmark development is costly. Synthetic benchmarks have similar performance behavior as the originals ...
  • Using machine learning to improve automated test generation 
    Köroğlu, Yavuz. (Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2022., 2022)
    Underestimating the value of software testing had catastrophic results in recent history. Automated Test Generation (ATG) is an approach that aims to minimize the manual effort required for testing. This thesis aims to ...
  • Verification of a multicore programming library 
    Deniz, Etem. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2011., 2011.)
    As the demand for high performance software is constantly increasing, the need to develop multicore software is increasing, too. This results in degraded reliability of software and increased veri cation e ort since multicore ...

Search Digital Archive


Browse

My Account