Klaus Gleissenthall -

Registered user since Mon 25 Jan 2016

Name:Klaus Gleissenthall

Affiliation:University of California, San Diego

Personal website: http://goto.ucsd.edu/~gleissen

Contributions

2021

VMCAI

Artifact Evaluation Co-Chair in Organizing Committee within the VMCAI-track

2020

PriSC

Committee Member in Program Committee within the Principles of Secure Compilation 2020-track

2018

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2016

PLDI

Author of Cardinalities and Universal Quantifiers for Verifying Parameterized Systems within the Research Papers-track