Samuel Z. Guyer
Tufts University
H-index: 22
North America-United States
Top articles of Samuel Z. Guyer
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Permchecker: a toolchain for debugging memory managers with typestate | Proceedings of the ACM on Programming Languages | Karl Cronburg Samuel Z Guyer | 2021/10/15 |
The magazine archive includes every article published in Communications of the ACM for over the past 50 years. | Communications of the ACM | Gary Lewandowski Dennis J Bouvier Tzu-Yi Chen Robert McCartney Kate Sanders | 2010/7 |
Detecting semantic bugs in autopilot software by classifying anomalous variables | Journal of Aerospace Information Systems | Hu Huang Samuel Z Guyer Jason H Rife | 2020/4 |