Hünkar Can Tunç

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 10

Top Topics

Concurrent Execution

Top Venues

Proc. ACM Program. Lang.

Publications

Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. ASPLOS (3) (2024)
Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. CoRR (2024)
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
Sound Dynamic Deadlock Prediction in Linear Time. CoRR (2023)
Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
Sound Dynamic Deadlock Prediction in Linear Time. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Parosh Aziz Abdulla, Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç
Optimal Reads-From Consistency Checking for C11-Style Memory Models. CoRR (2023)
Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç
A Language-Based Causal Model for Safety. TASE (2022)
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
A tree clock data structure for causal orderings in concurrent executions. ASPLOS (2022)
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. CoRR (2022)
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç
DyNetKAT: An Algebra of Dynamic Networks. FoSSaCS (2022)