The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Aaron Stump: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Clark W. Barrett, David L. Dill, Aaron Stump
    A Framework for Cooperating Decision Procedures. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:79-98 [Conf]
  2. Aaron Stump
    Subset Types and Partial Functions. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:151-165 [Conf]
  3. Aaron Stump, David L. Dill
    Faster Proof Checking in the Edinburgh Logical Framework. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:392-407 [Conf]
  4. Clark W. Barrett, David L. Dill, Aaron Stump
    Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:236-249 [Conf]
  5. Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump
    SMT-COMP: Satisfiability Modulo Theories Competition. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:20-23 [Conf]
  6. Aaron Stump, Clark W. Barrett, David L. Dill
    CVC: A Cooperating Validity Checker. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:500-504 [Conf]
  7. Clark W. Barrett, David L. Dill, Aaron Stump
    A Generalization of Shostak's Method for Combining Decision Procedures. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:132-146 [Conf]
  8. Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael 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. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:221-236 [Conf]
  9. Edwin M. Westbrook, Aaron Stump, Ian Wehrman
    A language-based approach to functionally correct imperative programming. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:268-279 [Conf]
  10. Aaron Stump, Clark W. Barrett, David L. Dill, Jeremy R. Levitt
    A Decision Procedure for an Extensional Theory of Arrays. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:29-37 [Conf]
  11. Dinghao Wu, Andrew W. Appel, Aaron Stump
    Foundational proof checkers with small witnesses. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:264-274 [Conf]
  12. Aaron Stump, Li-Yang Tan
    The Algebra of Equality Proofs. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:469-483 [Conf]
  13. Ian Wehrman, Aaron Stump, Edwin M. Westbrook
    Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. [Citation Graph (0, 0)][DBLP]
    RTA, 2006, pp:287-296 [Conf]
  14. Aaron Stump, Ryan Besand, James C. Brodman, Jonathan Hseu, Bill Kinnersley
    From Rogue to MicroRogue. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:69-87 [Journal]
  15. Aaron Stump, Clark W. Barrett, David L. Dill
    Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  16. Aaron Stump, Carsten Schürmann
    Logical Semantics for the Rewriting Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:125, n:2, pp:149-164 [Journal]
  17. Ian Wehrman, Aaron Stump
    Mining Propositional Simplification Proofs for Small Validating Clauses. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:79-91 [Journal]
  18. Aaron Stump, Bernd Löchner
    Knuth-Bendix completion of theories of commuting group endomorphisms. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:98, n:5, pp:195-198 [Journal]
  19. Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga
    A Trustworthy Proof Checker. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:31, n:3-4, pp:231-260 [Journal]
  20. Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump
    Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005). [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:4, pp:373-390 [Journal]
  21. Aaron Stump, Hongwei Xi
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:7, pp:1-2 [Journal]

  22. Lightweight Verification with Dependent Types. [Citation Graph (, )][DBLP]


  23. Verified programming in Guru. [Citation Graph (, )][DBLP]


  24. Resource typing in Guru. [Citation Graph (, )][DBLP]


  25. Programming with Proofs: Language-Based Approaches to Totally Correct Software. [Citation Graph (, )][DBLP]


  26. Imperative LF Meta-Programming. [Citation Graph (, )][DBLP]


  27. Signature Compilation for the Edinburgh Logical Framework. [Citation Graph (, )][DBLP]


  28. Proof Checking Technology for Satisfiability Modulo Theories. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002