Aaron Stump
Orcid: 0000-0002-9720-0003
According to our database1,
Aaron Stump
authored at least 85 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proc. ACM Program. Lang., January, 2023
Proceedings of the Trends in Functional Programming - 24th International Symposium, 2023
2021
Math. Struct. Comput. Sci., 2021
Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021
2020
Proc. ACM Program. Lang., 2020
Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020
Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020
2019
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2019
CoRR, 2019
Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019
2018
Ann. Pure Appl. Log., 2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
2017
2016
Proceedings of the Trends in Functional Programming - 17th International Conference, 2016
ACM Books 9, ACM, ISBN: 978-1-970001-27-3, 2016
2015
ACM Commun. Comput. Algebra, 2015
2014
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014
Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014
2013
Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013
2012
Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012
Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012
Equational reasoning about programs with general recursion and call-by-value semantics.
Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012
2011
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011
2010
Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010
Proceedings of the Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, 2010
Proceedings of the Workshop on Future of Software Engineering Research, 2010
Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010
Proceedings of the Hardware and Software: Verification and Testing, 2010
Proceedings of the Workshop on Evaluation Methods for Solvers, 2010
2009
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009
The calculus of nominal inductive constructions: an intensional approach to encoding name-bindings.
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009
2008
Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007).
Int. J. Artif. Intell. Tools, 2008
Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, 2008
2007
Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006).
Formal Methods Syst. Des., 2007
Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007
2006
Inf. Process. Lett., 2006
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006
Proceedings of the Generative Programming and Component Engineering, 2006
2005
Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005).
J. Autom. Reason., 2005
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the 5th International Workshop on Strategies in Automated Deduction, 2004
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004
Proceedings of the Selected Papers from the Workshops on Disproving, 2004
2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003
2002
Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
Proceedings of the Automated Deduction, 2002
2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
2000
Proceedings of the Automated Deduction, 2000