Registered user since Mon 25 Jan 2016
Name: Marko Dimjašević
Affiliation: University of Utah, USA
Personal website: https://dimjasevic.net/marko/
Research interests: Software verification, software testing
Contributions
| PLDI 2016 | Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track Committee Member in Artifact Evaluation Committee | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2016-profile
View general profile
View general profile