Clark Wood

According to our database, Clark Wood authored at least 2 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Integration verification across software and hardware for a simple embedded system.

Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2018

BP: DECREE: A Platform for Repeatable and Reproducible Security Experiments.

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

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018