PPoPP 2019
Sat 16 - Wed 20 February 2019 Washington, DC, United States
Burcu Kulahcioglu Ozkan

Registered user since Thu 23 Aug 2018

Name: Burcu Kulahcioglu Ozkan

Country: Germany

Affiliation: MPI-SWS, Germany

Personal website: https://people.mpi-sws.org/~burcu/

Research interests: software testing, verification, concurrency

Contributions

PPoPP 2019 Checking Linearizability Using Hitting Families
Show activities from other conferences

PPoPP 2019-profile
View general profile