Researcher:
Kuru, İsmail

Profile Picture
ORCID

Job Title

PhD Student

First Name

İsmail

Last Name

Kuru

Name

Name Variants

Kuru, İsmail

Email Address

Birth Date

Filters

2013 - 20152

Advanced Search

Filter by

Settings

Researcher Of Publications: search.filters.isAuthorOfPublication.31505364-7831-44f0-a053-7fec02850e56

Search Results

Now showing 1 - 2 of 2
  • Placeholder
    PublicationMetadata only
    Verification tools for transactional programs
    (Springer, 2015) Cristal, Adrian; Cohen, Ernie; Unsal, Osman; Elmas, Tayfun; N/A; Department of Computer Engineering; N/A; N/A; Özkan, Burcu Külahcıoğlu; Taşıran, Serdar; Mutluergil, Süha Orhun; Kuru, İsmail; PhD Student; Faculty Member; PhD Student; PhD Student; Department of Computer Engineering; Graduate School of Sciences and Engineering; College of Engineering; Graduate School of Sciences and Engineering; Graduate School of Sciences and Engineering; N/A; N/A; N/A; N/A
    While transactional memory has been investigated intensively, its use as a programming primitive by application and system builders is only recently becoming widespread, especially with the availability of hardware support in mainstream commercial CPUs. One key benefit of using transactional memory while writing applications is the simplicity of not having to reason at a low level about synchronization. For this to be possible, verification tools that are aware of atomic blocks and their semantics are needed. While such tools are clearly needed for the adoption of transactional memory in real systems, research in this area is quite preliminary. In this chapter, we provide highlights of our previous work on verification tools for transactional programs.
  • Placeholder
    PublicationMetadata only
    PaRV: parallelizing runtime detection and prevention of concurrency errors
    (Springer, 2013) Cristal, Adrian; Kestor, Gokcen; Unsal, Osman; N/A; N/A; Kuru, İsmail; Matar, Hassan Salehe; PhD Student; PhD Student; Graduate School of Sciences and Engineering; Graduate School of Sciences and Engineering; N/A; N/A
    We present the PaRV tool for runtime detection of and recovery from data races in multi-threaded C and C++ programs. PaRV uses transactional memory technology for parallelizing runtime verification and for buffering write accesses during race checking. Application threads are slowed down only due to instrumentation, but not due to the computation performed by runtime verification algorithms since the latter are run concurrently on different threads. Buffering writes allows us to recover from races and to safeguard against later ones.