| Title: | Automated backward error analysis for numerical code | 
					
						| Article URLs: |  | 
					
						| Alternative Article URLs: |  | 
					
						| Authors: | Zhoulai Fu | 
								
									University of California - Davis, Department of Computer Science
								 | 
					
						| Zhaojun Bai | 
								
									University of California - Davis, Department of Computer Science
								 | 
					
						| Zhendong Su | 
								
									University of California - Davis, Department of Computer Science
								 | 
					
						| Sharing: | Unknown | 
					
						| Verification: | Authors have
							not verified
							information | 
					
						| Artifact Evaluation Badge: | none | 
					
						| Artifact URLs: |  | 
					
						| Artifact Correspondence Email Addresses: |  | 
					
						| NSF Award Numbers: | 1349528 | 
					
						| DBLP Key: | conf/oopsla/FuBS15 | 
					
						| Author Comments: |  |