Not registered as user yet

Name:Matt Fredrikson
Affiliation:Carnegie Mellon University
Personal website:http://mattfredrikson.com

Contributions

VMCAI 2021 Author of Netter: Probabilistic, Stateful Network Models within the VMCAI-track
PLDI 2016 Committee Member in Program Committee