Daniel Schwartz‐Narbonne

Code-level model checking in the software development workflow

Nathan Chong, Byron Cook, Kareem Khazem et al. · 2020 · 31 citations · Full text

Computing, Computer Science, Computer Systems +17

Code‐level model checking in the software development workflow at Amazon Web Services

Nathan Chong, Byron Cook, Jonathan Eidelman et al. · Software Practice and Experience · 2021 · 29 citations · Full text

Computing, Computer Science, Computer Systems +17

Verifying dynamic trait objects in rust

Alexa VanHattum, Daniel Schwartz‐Narbonne, Nathan Chong et al. · 2022 · 25 citations · Full text

Computing, Computer Science, Computer Systems +17

Explaining inconsistent code

Martin Schäf, Daniel Schwartz‐Narbonne, Thomas Wies · 2013 · 21 citations

Computing, Computer Engineering, Computer Science +10

Parallel assertions for debugging parallel programs

Daniel Schwartz‐Narbonne, Feng Liu, Tarun Pondicherry et al. · 2011 · 11 citations

Computing, Computer Engineering, Computer Science +17