Login / Signup
Ryan McCleeary
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 3
Top Topics
Application Scenarios
Open Issues
Floating Point Arithmetic
Interval Arithmetic
Top Venues
SC²@SYNASC
ACM Commun. Comput. Algebra
Log. Methods Comput. Sci.
</>
Publications
</>
Harley Eades III
,
Aaron Stump
,
Ryan McCleeary
Dualized Simple Type Theory.
Log. Methods Comput. Sci.
12 (3) (2016)
Martin Brain
,
Daniel Kroening
,
Ryan McCleeary
Algebraic Techniques in Software Verification : Challenges and Opportunities.
SC²@SYNASC
(2016)
Ryan McCleeary
,
Martin Brain
,
Aaron Stump
A lazy approach to adaptive exact real arithmetic using floating-point operations.
ACM Commun. Comput. Algebra
49 (3) (2015)