Hünkar Can Tunç

16 papers A* 1B 1C 1Misc 1Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2024 — conf
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis.
ASPLOS (3)
Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis
2024 J jnl
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis.
CoRR
Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis
2023 J jnl
Optimal Reads-From Consistency Checking for C11-Style Memory Models.
CoRR
Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç
2023 J jnl
Optimal Reads-From Consistency Checking for C11-Style Memory Models.
Proc. ACM Program. Lang.
Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
2023 J jnl
Sound Dynamic Deadlock Prediction in Linear Time.
CoRR
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
2023 J jnl
Sound Dynamic Deadlock Prediction in Linear Time.
Proc. ACM Program. Lang.
Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
2022 Misc conf
A Language-Based Causal Model for Safety.
TASE
Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç
2022 J jnl
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions.
CoRR
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
2022 A* conf
A tree clock data structure for causal orderings in concurrent executions.
ASPLOS
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
2022 B conf
DyNetKAT: An Algebra of Dynamic Networks.
FoSSaCS
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç
2021 J jnl
DyNetKAT: An Algebra of Dynamic Networks.
CoRR
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç
2021 J jnl
Explaining Safety Failures in NetKAT.
CoRR
Georgiana Caltais, Hünkar Can Tunç
2021 J jnl
Explaining safety failures in NetKAT.
J. Log. Algebraic Methods Program.
Georgiana Caltais, Hünkar Can Tunç
2020 J jnl
Estimation of Parkinson's disease severity using speech features and extreme gradient boosting.
Medical Biol. Eng. Comput.
Hünkar Can Tunç, Cemal Okan Sakar, Hulya Apaydin, Gorkem Serbes, Aysegul Günduz, Melih Tutuncu, Fikret Gürgen
2019 J jnl
A comparative analysis of speech signal processing algorithms for Parkinson's disease classification and the use of the tunable Q-factor wavelet transform.
Appl. Soft Comput.
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
2019 C conf
Detection of e-Commerce Anomalies using LSTM-recurrent Neural Networks.
DATA
Merih Bozbura, Hünkar Can Tunç, Miray Endican Kusak, Cemal Okan Sakar