Hünkar Can Tunç

Hünkar Can Tunç

PhD Student

Aarhus University

Biography

I’m a PhD candidate at Aarhus University where I’m advised by Andreas Pavlogiannis. I’m interested in developing program analysis techniques for improving the quality of large scale concurrent software systems.

Interests
  • Concurrency
  • Formal Methods
  • Programming Languages
Education

  • PhD in Computer Science, 2021-Present

    Aarhus University

  • Msc in Computer Science, 2020

    University of Konstanz

  • Bsc in Computer Engineering, 2018

    Bahçeşehir University

Publications

Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis (2023). Optimal Reads-From Consistency Checking for C11-Style Memory Models. PLDI 2023.

PDF Cite Code Slides Video DOI

Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan (2023). Sound Dynamic Deadlock Prediction in Linear Time. PLDI 2023.

PDF Cite Code Slides Video DOI

Marcello Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç (2022). A Language-Based Causal Model for Safety. TASE 2022.

PDF Cite DOI

Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç (2022). DyNetKAT: An Algebra of Dynamic Networks. FoSSaCS 2022.

PDF Cite Code DOI

Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan (2022). A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. ASPLOS 2022.

PDF Cite Code Slides Video DOI

See all publications