Aaron Stump

	2009
29		Aaron Stump: Proof Checking Technology for Satisfiability Modulo Theories. Electr. Notes Theor. Comput. Sci. 228: 121-133 (2009)
	2008
28		Michael Zeller, Aaron Stump, Morgan Deters: Signature Compilation for the Edinburgh Logical Framework. Electr. Notes Theor. Comput. Sci. 196: 129-135 (2008)
27		Aaron Stump: Imperative LF Meta-Programming. Electr. Notes Theor. Comput. Sci. 199: 149-159 (2008)
26		Clark Barrett, Morgan Deters, Albert Oliveras, Aaron Stump: Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007). International Journal on Artificial Intelligence Tools 17(4): 569-606 (2008)
	2007
25		Aaron Stump, Hongwei Xi: Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007 ACM 2007
24		Aaron Stump: Lightweight Verification with Dependent Types. VERIFY 2007
23		Aaron Stump, Hongwei Xi: Preface. Electr. Notes Theor. Comput. Sci. 174(7): 1-2 (2007)
22		Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump: Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006). Formal Methods in System Design 31(3): 221-239 (2007)
	2006
21		Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump: Roadmap for enhanced languages and methods to aid verification. GPCE 2006: 221-236
20		Ian Wehrman, Aaron Stump, Edwin M. Westbrook: Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. RTA 2006: 287-296
19		Ian Wehrman, Aaron Stump: Mining Propositional Simplification Proofs for Small Validating Clauses. Electr. Notes Theor. Comput. Sci. 144(2): 79-91 (2006)
18		Aaron Stump, Bernd Löchner: Knuth-Bendix completion of theories of commuting group endomorphisms. Inf. Process. Lett. 98(5): 195-198 (2006)
	2005
17		Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump: SMT-COMP: Satisfiability Modulo Theories Competition. CAV 2005: 20-23
16		Edwin M. Westbrook, Aaron Stump, Ian Wehrman: A language-based approach to functionally correct imperative programming. ICFP 2005: 268-279
15		Aaron Stump, Li-Yang Tan: The Algebra of Equality Proofs. RTA 2005: 469-483
14		Aaron Stump: Programming with Proofs: Language-Based Approaches to Totally Correct Software. VSTTE 2005: 502-509
13		Aaron Stump, Ryan Besand, James C. Brodman, Jonathan Hseu, Bill Kinnersley: From Rogue to MicroRogue. Electr. Notes Theor. Comput. Sci. 117: 69-87 (2005)
12		Aaron Stump, Carsten Schürmann: Logical Semantics for the Rewriting Calculus. Electr. Notes Theor. Comput. Sci. 125(2): 149-164 (2005)
11		Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump: Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005). J. Autom. Reasoning 35(4): 373-390 (2005)
	2003
10		Aaron Stump: Subset Types and Partial Functions. CADE 2003: 151-165
9		Dinghao Wu, Andrew W. Appel, Aaron Stump: Foundational proof checkers with small witnesses. PPDP 2003: 264-274
8		Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga: A Trustworthy Proof Checker. J. Autom. Reasoning 31(3-4): 231-260 (2003)
	2002
7		Aaron Stump, David L. Dill: Faster Proof Checking in the Edinburgh Logical Framework. CADE 2002: 392-407
6		Clark W. Barrett, David L. Dill, Aaron Stump: Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT. CAV 2002: 236-249
5		Aaron Stump, Clark W. Barrett, David L. Dill: CVC: A Cooperating Validity Checker. CAV 2002: 500-504
4		Clark W. Barrett, David L. Dill, Aaron Stump: A Generalization of Shostak's Method for Combining Decision Procedures. FroCos 2002: 132-146
3		Aaron Stump, Clark W. Barrett, David L. Dill: Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF. Electr. Notes Theor. Comput. Sci. 70(2): (2002)
	2001
2		Aaron Stump, Clark W. Barrett, David L. Dill, Jeremy R. Levitt: A Decision Procedure for an Extensional Theory of Arrays. LICS 2001: 29-37
	2000
1		Clark W. Barrett, David L. Dill, Aaron Stump: A Framework for Cooperating Decision Procedures. CADE 2000: 79-98

Coauthor Index

1	Jean-Raymond Abrial	[21]
2	Andrew W. Appel	[8] [9]
3	Clark W. Barrett (Clark Barrett)	[1] [2] [3] [4] [5] [6] [11] [17] [22] [26]
4	Don S. Batory	[21]
5	Ryan Besand	[13]
6	James C. Brodman	[13]
7	Michael J. Butler	[21]
8	Alessandro Coglio	[21]
9	Morgan Deters	[26] [28]
10	David L. Dill	[1] [2] [3] [4] [5] [6] [7]
11	Kathi Fisler	[21]
12	Eric C. R. Hehner	[21]
13	Jonathan Hseu	[13]
14	Cliff B. Jones	[21]
15	Simon L. Peyton Jones	[21]
16	Bill Kinnersley	[13]
17	Gary T. Leavens	[21]
18	Jeremy R. Levitt	[2]
19	Bernd Löchner	[18]
20	Neophytos G. Michael	[8]
21	Dale Miller	[21]
22	Leonardo Mendonça de Moura	[11] [17] [22]
23	Albert Oliveras	[26]
24	Carsten Schürmann	[12]
25	Murali Sitaraman	[21]
26	Douglas R. Smith	[21]
27	Li-Yang Tan	[15]
28	Roberto Virga	[8]
29	Ian Wehrman	[16] [19] [20]
30	Edwin M. Westbrook	[16] [20]
31	Dinghao Wu	[9]
32	Hongwei Xi	[23] [25]
33	Michael Zeller	[28]

Colors in the list of coauthors