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