Montgomery Carter

I am a BS/MS student in the School of Computing at the University of Utah working on the SMACK software verifier.

Montgomery Carter
Montgomery Carter,
BS/MS Student

School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112



Peer-Reviewed Publications

ICSE 2016 screenshot

Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi
SMACK Software Verification Toolchain
Proceedings of the 38th IEEE/ACM International Conference on Software Engineering (ICSE) Companion, 2016

TACAS 2015 screenshot

Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
SMACK+Corral: A Modular Verifier (Competition Contribution)
Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015