CYCLE
CYCLE
News
People
Events
Publications
Contact
Zuoyan Zhang
Latest
A Decoupled Analytical Model for Tile Size Selection in Affine Programs
Scalable Detection of Floating-point Errors via Adaptive Parallel Subdomain Search
Arfa: an Agile Regime-based Floating-point Optimization Approach for Rounding Errors
Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation
Cite
×