Research output per year
Research output per year
Fingerprint
Dive into the research topics where Hünkar Can Tunç is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
Tunç, H. C., Deshmukh, A. P., Çirisci, B., Enea, C. & Pavlogiannis, A., Apr 2024, ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. New York: Association for Computing Machinery, Vol. 3. p. 223-238 16 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
-
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Tunç, H. C., Abdulla, P. A., Chakraborty, S., Krishna, S., Mathur, U. & Pavlogiannis, A., Jun 2023, In: Proceedings of the ACM on Programming Languages . 7, PLDI, p. 761–785 137.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access -
Sound Dynamic Deadlock Prediction in Linear Time
Tunç, H. C., Mathur, U., Pavlogiannis, A. & Viswanathan, M., Jun 2023, In: Proceedings of the ACM on Programming Languages . 7, p. 1733-1758Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access -
A Language-Based Causal Model for Safety
Bonsangue, M., Caltais, G., Feng, H. & Tunç, H. C., 2022, Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Craciun, F. (eds.). Cham: Springer, p. 290-307 18 p. (Lecture Notes in Computer Science, Vol. 13299).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
-
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Mathur, U., Pavlogiannis, A., Tunc, H. C. & Viswanathan, M., Feb 2022, ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Falsafi, B., Ferdman, M., Lu, S. & Wenisch, T. F. (eds.). Association for Computing Machinery, p. 710-725 16 p. (ASPLOS: Architectural Support for Programming Languages and Operating Systems, Proceedings).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Open Access