PPoPP 2019
Sat 16 - Wed 20 February 2019 Washington, DC, United States
Rupak Majumdar

Registered user since Thu 2 Apr 2015

Name: Rupak Majumdar

Affiliation: MPI-SWS, Germany

Personal website: http://www.mpi-sws.org/~rupak

Contributions

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

PPoPP 2019-profile
View general profile