E-LIB Suche - Ergebnisse für: Ozkan, Burcu Kulahcioglu

1

GRAIL: Checking Transaction Isolation Violations with Graph..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Dumbrava, Stefania ; Jin, Zhao ; Ozkan, Burcu Kulahcioglu. - p. 320-321 , 2024

Link: https://doi.org/10.1145/..

2

Liveness Checking of the HotStuff Protocol Family:

, In: 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC),

Decouchant, Jeremie ; Ozkan, Burcu Kulahcioglu ; Zhou, Yanzhuo - p. 168-179 , 2023

Link: https://doi.org/10.1109/..

3

Proceedings of the 22nd ACM SIGPLAN International Workshop ..:

Ozkan, Burcu Kulahcioglu ; Fernandez-Reyes, Kiko , 2023

Link: https://dl.acm.org/doi/1..

4

Evolutionary Approach for Concurrency Testing of Ripple Blo..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),

van Meerten, Martijn ; Ozkan, Burcu Kulahcioglu ; Panichella, Annibale - p. 36-47 , 2023

Link: https://doi.org/10.1109/..

5

Probabilistic Concurrency Testing for Weak Memory Programs:

, In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,

Gao, Mingyu ; Chakraborty, Soham ; Ozkan, Burcu Kulahcioglu - p. 603-616 , 2023

Link: https://dl.acm.org/doi/1..

6

Proceedings of the 21st ACM SIGPLAN International Workshop ..:

Aronis, Stavros ; Ozkan, Burcu Kulahcioglu , 2022

Link: https://dl.acm.org/doi/1..

7

Verifying Weakly Consistent Transactional Programs Using Sy..:

, In: Networked Systems; Lecture Notes in Computer Science,

Ozkan, Burcu Kulahcioglu - p. 261-278 , 2021

Link: https://doi.org/10.1007/..

8

Testing consensus implementations using communication closu..:

Drăgoi, Cezara ; Enea, Constantin ; Ozkan, Burcu Kulahcioglu..
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

Link: https://dl.acm.org/doi/1..

9

Testing consensus implementations using communication closu..:

Drăgoi, Cezara ; Enea, Constantin ; Ozkan, Burcu Kulahcioglu..
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

Link: https://doi.org/10.1145/..

10

Checking linearizability using hitting families:

, In: Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming,

Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak ; Niksic, Filip - p. 366-377 , 2019

Link: https://dl.acm.org/doi/1..

11

Trace aware random testing for distributed systems:

Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak ; Oraee, Simin
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

12

Trace aware random testing for distributed systems:

Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak ; Oraee, Simin
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-29 , 2019

Link: https://dl.acm.org/doi/1..

13

Randomized testing of distributed systems with probabilisti..:

Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak ; Niksic, Filip..
Proceedings of the ACM on Programming Languages. 2 (2018) OOPSLA - p. 1-28 , 2018

Link: https://doi.org/10.1145/..

14

DebugAR : Mixed Dimensional Displays for Immersive Debug..:

, In: Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems,

Reipschläger, Patrick ; Ozkan, Burcu Kulahcioglu ; Mathur, Aman Shankar... - p. 1-6 , 2018

Link: https://dl.acm.org/doi/1..

15

iDeA: an immersive debugger for actors:

, In: Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang,

Mathur, Aman Shankar ; Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak - p. 1-12 , 2018

Link: https://dl.acm.org/doi/1..