Trustworthy AI
- 22 September 2021
- journal article
- review article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 64 (10), 64-71
- https://doi.org/10.1145/3448248
Abstract
The pursuit of responsible AI raises the ante on both the trustworthy computing and formal methods communities.Funding Information
- Sloan Foundation (G-2020-13917)
- National Science Foundation (CNS 1801426)
This publication has 29 references indexed in Scilit:
- LightDP: towards automating differential privacy proofsACM SIGPLAN Notices, 2017
- Computer-Extracted Texture Features to Distinguish Cerebral Radionecrosis from Recurrent Brain Tumors on Multiparametric MRI: A Feasibility StudyAmerican Journal of Neuroradiology, 2016
- Using Crash Hoare logic for certifying the FSCQ file systemPublished by Association for Computing Machinery (ACM) ,2015
- How Amazon web services uses formal methodsCommunications of the ACM, 2015
- Fairness through awarenessPublished by Association for Computing Machinery (ACM) ,2012
- Formal verification at IntelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Verification techniques for cache coherence protocolsACM Computing Surveys, 1997
- Automatic symbolic verification of embedded systemsIEEE Transactions on Software Engineering, 1996
- Specification and verification of concurrent systems in CESARLecture Notes in Computer Science, 1982
- Characterizing correctness properties of parallel programs using fixpointsLecture Notes in Computer Science, 1980