PPoPP 2019 (series) / Filip Niksic
Registered user since Wed 20 Dec 2017
Name:Filip Niksic
Country:United States
Affiliation:University of Pennsylvania
Personal website:https://people.mpi-sws.org/~fniksic/
Contributions
| PPoPP 2019 | Checking Linearizability Using Hitting Families | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PPoPP 2019-profile
View general profile
View general profile