( en | de | ru )

 

Disambiguation of "Ozkan, Burcu Kulahcioglu"

Author of the publication

copydeleteadd this publication to your clipboard
Randomized testing of distributed systems with probabilistic guarantees.

, , , , and . Proc. ACM Program. Lang., 2 (OOPSLA): 160:1-160:28 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Burcu Dogramaci

Burcu Impraim

Tahir Özkan

Özkan Demirbas

Neriman Özkan

 

Other publications of authors with the same name

Verification Tools for Transactional Programs., , , , , , , , and . Transactional Memory, volume 8913 of Lecture Notes in Computer Science, Springer, (2015)Verifying Weakly Consistent Transactional Programs Using Symbolic Execution.. NETYS, volume 12129 of Lecture Notes in Computer Science, page 261-278. Springer, (2020)Testing consensus implementations using communication closure., , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 210:1-210:29 (2020)Towards verifying eventually consistent applications., , and . PaPEC@EuroSys, page 11:1-11:4. ACM, (2014)Trace aware random testing for distributed systems., , and . Proc. ACM Program. Lang., 3 (OOPSLA): 180:1-180:29 (2019)Consistency-Aware Scheduling for Weakly Consistent Programs., , , , and . ACM SIGSOFT Softw. Eng. Notes, 42 (4): 1-5 (2017)Characterization and verification of correctness criteria for event-driven asynchronous programs (Olaya-dayalı asenkron programlar için doğruluk kriteri tanımlanması ve doğrulanması). Koç University, Turkey, (2016)iDeA: an immersive debugger for actors., , and . Erlang Workshop, page 1-12. ACM, (2018)Exploiting synchronization in the analysis of shared-memory asynchronous programs., , and . SPIN, page 20-29. ACM, (2014)Randomized Testing of Byzantine Fault Tolerant Algorithms., , , , and . Proc. ACM Program. Lang., 7 (OOPSLA1): 757-788 (April 2023)