Hünkar Can Tunç

According to our database, Hünkar Can Tunç authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis.

Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Optimal Reads-From Consistency Checking for C11-Style Memory Models.

Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis

Proc. ACM Program. Lang., 2023

Sound Dynamic Deadlock Prediction in Linear Time.

Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan

Proc. ACM Program. Lang., 2023

2022

A Language-Based Causal Model for Safety.

Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç

Proceedings of the Theoretical Aspects of Software Engineering, 2022

DyNetKAT: An Algebra of Dynamic Networks.

Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç

Proceedings of the Foundations of Software Science and Computation Structures, 2022

A tree clock data structure for causal orderings in concurrent executions.

Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

Explaining safety failures in NetKAT.

Georgiana Caltais, Hünkar Can Tunç

J. Log. Algebraic Methods Program., 2021

2020

Estimation of Parkinson's disease severity using speech features and extreme gradient boosting.

Hünkar Can Tunç, Cemal Okan Sakar, Hulya Apaydin, Gorkem Serbes, Aysegul Günduz, Melih Tutuncu, Fikret Gürgen

Medical Biol. Eng. Comput., 2020

2019

A comparative analysis of speech signal processing algorithms for Parkinson's disease classification and the use of the tunable Q-factor wavelet transform.

Cemal Okan Sakar, Gorkem Serbes, Aysegul Günduz, Hünkar Can Tunç, Hatice Nizam, Betul Erdogdu Sakar, Melih Tutuncu, Tarkan Aydin, M. Erdem Isenkul, Hulya Apaydin

Appl. Soft Comput., 2019

Detection of e-Commerce Anomalies using LSTM-recurrent Neural Networks.

Merih Bozbura, Hünkar Can Tunç, Miray Endican Kusak, Cemal Okan Sakar

Proceedings of the 8th International Conference on Data Science, 2019