![Chris Martens](https://conf.researchr.org/getProfileImage/chrismartens/962dad73-d5f2-486d-a080-7722ef25ed3f/small.jpg?1711459661000)
Registered user since Fri 23 Oct 2015
Name:Chris Martens
Affiliation:Carnegie Mellon University
Personal website: http://www.cs.cmu.edu/~cmartens/
Contributions
2017
POPL 2017-profile
View general profile
View general profile
Registered user since Fri 23 Oct 2015
Contributions