dblp.uni-trier.dewww.uni-trier.de

Aaron Stump Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
29EEAaron Stump: Proof Checking Technology for Satisfiability Modulo Theories. Electr. Notes Theor. Comput. Sci. 228: 121-133 (2009)
2008
28EEMichael Zeller, Aaron Stump, Morgan Deters: Signature Compilation for the Edinburgh Logical Framework. Electr. Notes Theor. Comput. Sci. 196: 129-135 (2008)
27EEAaron Stump: Imperative LF Meta-Programming. Electr. Notes Theor. Comput. Sci. 199: 149-159 (2008)
26EEClark 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
24EEAaron Stump: Lightweight Verification with Dependent Types. VERIFY 2007
23EEAaron Stump, Hongwei Xi: Preface. Electr. Notes Theor. Comput. Sci. 174(7): 1-2 (2007)
22EEClark 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
21EEGary 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
20EEIan Wehrman, Aaron Stump, Edwin M. Westbrook: Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. RTA 2006: 287-296
19EEIan Wehrman, Aaron Stump: Mining Propositional Simplification Proofs for Small Validating Clauses. Electr. Notes Theor. Comput. Sci. 144(2): 79-91 (2006)
18EEAaron Stump, Bernd Löchner: Knuth-Bendix completion of theories of commuting group endomorphisms. Inf. Process. Lett. 98(5): 195-198 (2006)
2005
17EEClark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump: SMT-COMP: Satisfiability Modulo Theories Competition. CAV 2005: 20-23
16EEEdwin M. Westbrook, Aaron Stump, Ian Wehrman: A language-based approach to functionally correct imperative programming. ICFP 2005: 268-279
15EEAaron Stump, Li-Yang Tan: The Algebra of Equality Proofs. RTA 2005: 469-483
14EEAaron Stump: Programming with Proofs: Language-Based Approaches to Totally Correct Software. VSTTE 2005: 502-509
13EEAaron Stump, Ryan Besand, James C. Brodman, Jonathan Hseu, Bill Kinnersley: From Rogue to MicroRogue. Electr. Notes Theor. Comput. Sci. 117: 69-87 (2005)
12EEAaron Stump, Carsten Schürmann: Logical Semantics for the Rewriting Calculus. Electr. Notes Theor. Comput. Sci. 125(2): 149-164 (2005)
11EEClark 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
10EEAaron Stump: Subset Types and Partial Functions. CADE 2003: 151-165
9EEDinghao Wu, Andrew W. Appel, Aaron Stump: Foundational proof checkers with small witnesses. PPDP 2003: 264-274
8EEAndrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga: A Trustworthy Proof Checker. J. Autom. Reasoning 31(3-4): 231-260 (2003)
2002
7EEAaron Stump, David L. Dill: Faster Proof Checking in the Edinburgh Logical Framework. CADE 2002: 392-407
6EEClark W. Barrett, David L. Dill, Aaron Stump: Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT. CAV 2002: 236-249
5EEAaron Stump, Clark W. Barrett, David L. Dill: CVC: A Cooperating Validity Checker. CAV 2002: 500-504
4EEClark W. Barrett, David L. Dill, Aaron Stump: A Generalization of Shostak's Method for Combining Decision Procedures. FroCos 2002: 132-146
3EEAaron 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
1EEClark W. Barrett, David L. Dill, Aaron Stump: A Framework for Cooperating Decision Procedures. CADE 2000: 79-98

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)