I am a scientist at Sandia National Labs researching formal methods applied to compilers and embedded system verification.
-
Sandia National Labs
- Berkeley, CA
- https://sampollard.github.io
- @samdpollard
Pinned Loading
-
sandialabs/elaenia
sandialabs/elaenia PublicAutomated Error Analysis of Numerical Software for High-Consequence Systems
-
unofficial-uoregon-dissertation-formats/unofficial-uoregon-grad-school-dissertation-latex-markdown-apa-format
unofficial-uoregon-dissertation-formats/unofficial-uoregon-grad-school-dissertation-latex-markdown-apa-format PublicA dissertation LaTeX stylesheet with Markdown support for the University of Oregon using APA format (This repository is not officially associated with the University of Oregon).
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



