Ryan McCleeary

According to our database, Ryan McCleeary authored at least 3 papers between 2015 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Dualized Simple Type Theory.

Harley Eades III, Aaron Stump, Ryan McCleeary

Log. Methods Comput. Sci., 2016

Algebraic Techniques in Software Verification : Challenges and Opportunities.

Martin Brain, Daniel Kroening, Ryan McCleeary

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

2015

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

Ryan McCleeary, Martin Brain, Aaron Stump

ACM Commun. Comput. Algebra, 2015