# Aaron Stump

According to our database

Collaborative distances:

^{1}, Aaron Stump authored at least 76 papers between 2000 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

CoRR, 2021

2020

Proc. ACM Program. Lang., 2020

Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020

CoRR, 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

Proc. ACM Program. Lang., 2018

CoRR, 2018

CoRR, 2018

CoRR, 2018

CoRR, 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

J. Funct. Program., 2017

2016

J. Funct. Program., 2016

Log. Methods Comput. Sci., 2016

Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

2015

J. Autom. Reason., 2015

A lazy approach to adaptive exact real arithmetic using floating-point operations.

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

J. Autom. Reason., 2013

Formal Methods Syst. Des., 2013

Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013

2012

Log. Methods Comput. Sci., 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

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

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

ACM SIGPLAN Notices, 2009

High. Order Symb. Comput., 2009

Electron. Notes Theor. Comput. Sci., 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

Electron. Notes Theor. Comput. Sci., 2008

Electron. Notes Theor. Comput. Sci., 2008

2007

Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006).

Formal Methods Syst. Des., 2007

Electron. Notes Theor. Comput. Sci., 2007

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2006

Inf. Process. Lett., 2006

Electron. Notes Theor. Comput. Sci., 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

Electron. Notes Theor. Comput. Sci., 2005

Electron. Notes Theor. Comput. Sci., 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 Fifth International Workshop on Rewriting Logic and Its Applications, 2004

2003

J. Autom. Reason., 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

Electron. Notes Theor. Comput. Sci., 2002

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT.

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