Publications

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

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

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

Georgiana Caltais, Hünkar Can Tunç (2021). Explaining Safety Failures in NetKAT. Journal of Logical and Algebraic Methods in Programming.

PDF Cite DOI

Hünkar Can Tunç, Cemal Okan Sakar, Hulya Apaydin, Gorkem Serbes, Aysegul Gunduz, Melih Tutuncu, Fikret Gurgen (2020). Estimation of Parkinson’s Disease Severity Using Speech Features and Extreme Gradient Boosting. Medical & Biological Engineering & Computing.

PDF Cite DOI

Cemal Okan Sakar, Gorkem Serbes, Aysegul Gunduz, Hünkar Can Tunç, Hatice Nizam, Betul Erdogdu Sakar, Melih Tutuncu, Tarkan Aydin, Muhammed Erdem Isenkul, Hulya Apaydin (2019). A comparative analysis of speech signal processing algorithms for Parkinson’s disease classification and the use of the tunable Q-factor wavelet transform. Applied Soft Computing.

PDF Cite Dataset DOI

Merih Bozbura, Hünkar Can Tunç, Miray Endican Kusak, Cemal Okan Sakar (2019). Detection of e-Commerce Anomalies Using LSTM-Recurrent Neural Networks. DATA 2019.

PDF Cite DOI