Login / Signup
Clark Wood
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 2
Top Topics
Security Management
Belief Propagation
Wireless Sensor
Highly Reliable
Top Venues
PLDI
SecDev
</>
Publications
</>
Andres Erbsen
,
Samuel Gruetter
,
Joonwon Choi
,
Clark Wood
,
Adam Chlipala
Integration verification across software and hardware for a simple embedded system.
PLDI
(2021)
Lok K. Yan
,
Benjamin Price
,
Michael Zhivich
,
Brian Caswell
,
Christopher Eagle
,
Michael Frantzen
,
Holt Sorenson
,
Michael Thompson
,
Timothy Vidas
,
Jason Wright
,
Vernon Rivet
,
Samuel Colt VanWinkle
,
Clark Wood
BP: DECREE: A Platform for Repeatable and Reproducible Security Experiments.
SecDev
(2018)