Follow
Aaron Stump
Aaron Stump
John R. and Pamela Egan Chair, Computer Science, Boston College
Verified email at bc.edu - Homepage
Title
Cited by
Cited by
Year
The smt-lib standard: Version 2.0
C Barrett, A Stump, C Tinelli
Proceedings of the 8th international workshop on satisfiability modulo …, 2010
15562010
CVC: A cooperating validity checker
A Stump, CW Barrett, DL Dill
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
2792002
StarExec: A cross-community infrastructure for logic solving
A Stump, G Sutcliffe, C Tinelli
International joint conference on automated reasoning, 367-373, 2014
2442014
A decision procedure for an extensional theory of arrays
A Stump, CW Barrett, DL Dill, J Levitt
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 29-37, 2001
2302001
Checking satisfiability of first-order formulas by incremental translation to SAT
CW Barrett, DL Dill, A Stump
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
2282002
SMT-COMP: Satisfiability modulo theories competition
C Barrett, L De Moura, A Stump
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
1632005
Roadmap for enhanced languages and methods to aid verification
GT Leavens, JR Abrial, D Batory, M Butler, A Coglio, K Fisler, E Hehner, ...
Proceedings of the 5th international conference on Generative programming …, 2006
1062006
6 years of SMT-COMP
C Barrett, M Deters, L De Moura, A Oliveras, A Stump
Journal of Automated Reasoning 50, 243-277, 2013
1022013
SMT proof checking using a logical framework
A Stump, D Oe, A Reynolds, L Hadarean, C Tinelli
Formal Methods in System Design 42, 91-118, 2013
872013
A Generalization of Shostak# x2019; s Method for Combining Decision Procedures
CW Barrett, DL Dill, A Stump
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002 …, 2002
802002
Verified functional programming in Agda
A Stump
Morgan & Claypool, 2016
702016
A trustworthy proof checker
AW Appel, N Michael, A Stump, R Virga
Journal of Automated Reasoning 31, 231-260, 2003
672003
Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
C Barrett, L De Moura, A Stump
Journal of Automated Reasoning 35, 373-390, 2005
632005
versat: A verified modern SAT solver
D Oe, A Stump, C Oliver, K Clancy
Verification, Model Checking, and Abstract Interpretation: 13th …, 2012
582012
Foundational proof checkers with small witnesses
D Wu, AW Appel, A Stump
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
572003
Verified programming in Guru
A Stump, M Deters, A Petcher, T Schiller, T Simpson
Proceedings of the 3rd workshop on Programming languages meets program …, 2009
552009
Slothrop: Knuth-Bendix Completion with a Modern Termination Checker
I Wehrman, A Stump, E Westbrook
Term Rewriting and Applications: 17th International Conference, RTA 2006 …, 2006
552006
The SMT-LIB Initiative and the Rise of SMT: (HVC 2010 Award Talk)
C Barrett, L de Moura, S Ranise, A Stump, C Tinelli
Hardware and Software: Verification and Testing: 6th International Haifa …, 2011
512011
Proof checking technology for satisfiability modulo theories
A Stump
Electronic Notes in Theoretical Computer Science 228, 121-133, 2009
512009
Design and results of the 3rd annual satisfiability modulo theories competition (SMT-COMP 2007)
C Barrett, M Deters, A Oliveras, A Stump
International Journal on Artificial Intelligence Tools 17 (04), 569-606, 2008
492008
The system can't perform the operation now. Try again later.
Articles 1–20