Hünkar Can Tunç
- Optimal Reads-From Consistency Checking for C11-Style Memory Models
2023/03/08 by Hünkar Can Tunç, Tunç, Hünkar Can, Parosh Aziz Abdulla +8 · 6 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Security and Verification in Computing #Software Testing and Debugging Techniques
- Sound Dynamic Deadlock Prediction in Linear Time
2023/03/09 by Hünkar Can Tunç, Tunç, Hünkar Can, Umang Mathur +5 · 3 citations
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering Research #Software System Performance and Reliability
- CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
2024/03/26 by Hünkar Can Tunç, Tunç, Hünkar Can, Ameya Prashant Deshmukh +7 · 1 citation
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Real-Time Systems Scheduling