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

PLDI 2016 Activities

• Committee Member in Artifact Evaluation Committee for PLDI 2016 Artifact Evaluation
• Committee Member in Artifact Evaluation Committee for PLDI 2016
• Show activities from other conferences