PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ozkan, Burcu Kulahcioglu"

Author of the publication

copydeleteadd this publication to your clipboard
Towards verifying eventually consistent applications.

, , and . PaPEC@EuroSys, page 11:1-11:4. ACM, (2014)

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.

Dr. -Ing. Hasan Özkan University of Stuttgart

 

Other publications of authors with the same name

Checking linearizability using hitting families., , and . PPoPP, page 366-377. ACM, (2019)Systematic Asynchrony Bug Exploration for Android Apps., , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 455-461. Springer, (2015)Verification Tools for Transactional Programs., , , , , , , , and . Transactional Memory, volume 8913 of Lecture Notes in Computer Science, Springer, (2015)Randomized testing of distributed systems with probabilistic guarantees., , , , and . Proc. ACM Program. Lang., 2 (OOPSLA): 160:1-160:28 (2018)Consistency-Aware Scheduling for Weakly Consistent Programs., , , , and . ACM SIGSOFT Software Engineering Notes, 42 (4): 1-5 (2017)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)Trace aware random testing for distributed systems., , and . Proc. ACM Program. Lang., 3 (OOPSLA): 180:1-180:29 (2019)Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency., , , , and . ESOP, volume 10201 of Lecture Notes in Computer Science, page 170-200. Springer, (2017)DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems., , , , , and . CHI Extended Abstracts, ACM, (2018)