Building Trust and Safety in Artificial Intelligence with Abstract Interpretation

Gagandeep Singh

doi:10.1007/978-3-031-44245-2_3

Building Trust and Safety in Artificial Intelligence with Abstract Interpretation

Gagandeep Singh

Siebel School of Computing and Data Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Deep neural networks (DNNs) are currently the dominant technology in artificial intelligence (AI) and have shown impressive performance in diverse applications including autonomous driving [9], medical diagnosis [2], and text generation [10].

Original language	English (US)
Title of host publication	Static Analysis - 30th International Symposium, SAS 2023, Proceedings
Editors	Manuel V. Hermenegildo, José F. Morales
Publisher	Springer
Pages	28-38
Number of pages	11
ISBN (Print)	9783031442445
DOIs	https://doi.org/10.1007/978-3-031-44245-2_3
State	Published - 2023
Event	30th International Symposium on Static Analysis, SAS 2023 - Cascais, Portugal Duration: Oct 22 2023 → Oct 24 2023

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	14284 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	30th International Symposium on Static Analysis, SAS 2023
Country/Territory	Portugal
City	Cascais
Period	10/22/23 → 10/24/23

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/978-3-031-44245-2_3

Library availability

Discover UIUC Full Text

Cite this

Singh, G. (2023). Building Trust and Safety in Artificial Intelligence with Abstract Interpretation. In M. V. Hermenegildo, & J. F. Morales (Eds.), Static Analysis - 30th International Symposium, SAS 2023, Proceedings (pp. 28-38). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14284 LNCS). Springer. https://doi.org/10.1007/978-3-031-44245-2_3

Building Trust and Safety in Artificial Intelligence with Abstract Interpretation. / Singh, Gagandeep.
Static Analysis - 30th International Symposium, SAS 2023, Proceedings. ed. / Manuel V. Hermenegildo; José F. Morales. Springer, 2023. p. 28-38 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14284 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Singh, G 2023, Building Trust and Safety in Artificial Intelligence with Abstract Interpretation. in MV Hermenegildo & JF Morales (eds), Static Analysis - 30th International Symposium, SAS 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14284 LNCS, Springer, pp. 28-38, 30th International Symposium on Static Analysis, SAS 2023, Cascais, Portugal, 10/22/23. https://doi.org/10.1007/978-3-031-44245-2_3

Singh G. Building Trust and Safety in Artificial Intelligence with Abstract Interpretation. In Hermenegildo MV, Morales JF, editors, Static Analysis - 30th International Symposium, SAS 2023, Proceedings. Springer. 2023. p. 28-38. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-44245-2_3

Singh, Gagandeep. / Building Trust and Safety in Artificial Intelligence with Abstract Interpretation. Static Analysis - 30th International Symposium, SAS 2023, Proceedings. editor / Manuel V. Hermenegildo ; José F. Morales. Springer, 2023. pp. 28-38 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{6542f029048c4916859fe5943132f099,

title = "Building Trust and Safety in Artificial Intelligence with Abstract Interpretation",

abstract = "Deep neural networks (DNNs) are currently the dominant technology in artificial intelligence (AI) and have shown impressive performance in diverse applications including autonomous driving [9], medical diagnosis [2], and text generation [10].",

author = "Gagandeep Singh",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 30th International Symposium on Static Analysis, SAS 2023 ; Conference date: 22-10-2023 Through 24-10-2023",

year = "2023",

doi = "10.1007/978-3-031-44245-2_3",

language = "English (US)",

isbn = "9783031442445",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "28--38",

editor = "Hermenegildo, {Manuel V.} and Morales, {Jos{\'e} F.}",

booktitle = "Static Analysis - 30th International Symposium, SAS 2023, Proceedings",

address = "Germany",

}

TY - GEN

T1 - Building Trust and Safety in Artificial Intelligence with Abstract Interpretation

AU - Singh, Gagandeep

PY - 2023

Y1 - 2023

N2 - Deep neural networks (DNNs) are currently the dominant technology in artificial intelligence (AI) and have shown impressive performance in diverse applications including autonomous driving [9], medical diagnosis [2], and text generation [10].

AB - Deep neural networks (DNNs) are currently the dominant technology in artificial intelligence (AI) and have shown impressive performance in diverse applications including autonomous driving [9], medical diagnosis [2], and text generation [10].

UR - http://www.scopus.com/inward/record.url?scp=85175963785&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85175963785&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-44245-2_3

DO - 10.1007/978-3-031-44245-2_3

M3 - Conference contribution

AN - SCOPUS:85175963785

SN - 9783031442445

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 28

EP - 38

BT - Static Analysis - 30th International Symposium, SAS 2023, Proceedings

A2 - Hermenegildo, Manuel V.

A2 - Morales, José F.

PB - Springer

T2 - 30th International Symposium on Static Analysis, SAS 2023

Y2 - 22 October 2023 through 24 October 2023

ER -