Statistics
Publications
1
Citations
35
H-Index
1
Active since
2020
Affiliations
Arnab Das is an author at Pacific Northwest National Laboratory specializing in parallel computing, formal methods, and formal verification.
Publications per year
2020–2020
1
1
Scalable yet Rigorous Floating-Point Error Analysis
Arnab Das, Ian Briggs, Ganesh Gopalakrishnan et al. · 2020 · 35 citations
1–1 of 1