Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Caterina Urban"'
Publikováno v:
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, 2020, 4 (OOPSLA), pp.1-30. ⟨10.1145/3428253⟩
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (OOPSLA), pp.1-30. ⟨10.1145/3428253⟩
Proceedings of the ACM on Programming Languages, 2020, 4 (OOPSLA), pp.1-30. ⟨10.1145/3428253⟩
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (OOPSLA), pp.1-30. ⟨10.1145/3428253⟩
International audience; Recently, there is growing concern that machine-learned software, which currently assists or even automates decision making, reproduces, and in the worst case reinforces, bias present in the training data. The development of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::68136c549bcb93ba72c857f9e62c38cd
https://inria.hal.science/hal-02404036/file/fairness.pdf
https://inria.hal.science/hal-02404036/file/fairness.pdf
Publikováno v:
CIKM 2021-30th ACM International Conference on Information and Knowledge Management
CIKM 2021-30th ACM International Conference on Information and Knowledge Management, Nov 2021, Queensland / Virtual, Australia. pp.1508-1517, ⟨10.1145/3459637.3482342⟩
CIKM
CIKM 2021-30th ACM International Conference on Information and Knowledge Management, Nov 2021, Queensland / Virtual, Australia. pp.1508-1517, ⟨10.1145/3459637.3482342⟩
CIKM
International audience; We study the problem of formally verifying individual fairness of decision tree ensembles, as well as training tree models which maximize both accuracy and individual fairness. In our approach, fairness verification and fairne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a8286e7b455978ee3805008f8ece603
http://hdl.handle.net/11577/3416537
http://hdl.handle.net/11577/3416537
Autor:
Gagandeep Singh, Caterina Urban
This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.The 18 full papers included in this book were carefully reviewed and selected from 43 sub
Autor:
Caterina Urban
Publikováno v:
Static Analysis ISBN: 9783030323035
SAS
SAS 2019-26th Static Analysis Symposium
SAS 2019-26th Static Analysis Symposium, Oct 2019, Porto, Portugal. pp.17-23, ⟨10.1007/978-3-030-32304-2_2⟩
SAS
SAS 2019-26th Static Analysis Symposium
SAS 2019-26th Static Analysis Symposium, Oct 2019, Porto, Portugal. pp.17-23, ⟨10.1007/978-3-030-32304-2_2⟩
International audience; Data science software is playing an increasingly important role in every aspect of our daily lives and is even slowly creeping into mission critical scenarios, despite being often opaque and unpredictable. In this paper, we wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dcb248a01924cb329bebee48a8721202
https://doi.org/10.1007/978-3-030-32304-2_2
https://doi.org/10.1007/978-3-030-32304-2_2
Publikováno v:
Static Analysis ISBN: 9783319997247
SAS
SAS
CTL is a temporal logic commonly used to express program properties. Most of the existing approaches for proving CTL properties only support certain classes of programs, limit their scope to a subset of CTL, or do not directly support certain existen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea2338e235a240fae93c5c99216dc4ad
https://doi.org/10.1007/978-3-319-99725-4_24
https://doi.org/10.1007/978-3-319-99725-4_24
Autor:
Peter Müller, Caterina Urban
Publikováno v:
Lecture Notes in Computer Science, 10801
Proceedings of the 27th European Symposium on Programming (ESOP 2018): Programming Languages and Systems
Programming Languages and Systems ISBN: 9783319898834
ESOP
Proceedings of the 27th European Symposium on Programming (ESOP 2018): Programming Languages and Systems
Programming Languages and Systems ISBN: 9783319898834
ESOP
Data science software plays an increasingly important role in critical decision making in fields ranging from economy and finance to biology and medicine. As a result, errors in data science applications can have severe consequences, especially when
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2ae512203bc840491d43966a7db318b2
Publikováno v:
Computer Aided Verification ISBN: 9783319961415
CAV (2)
CAV (2)
We present Typpete, a sound type inferencer that automatically infers Python 3 type annotations. Typpete encodes type constraints as a MaxSMT problem and uses optional constraints and specific quantifier instantiation patterns to make the constraint
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9a371e36fbacc6a7ffa009e7329c316
https://doi.org/10.1007/978-3-319-96142-2_2
https://doi.org/10.1007/978-3-319-96142-2_2
Publikováno v:
Computer Aided Verification ISBN: 9783319961415
CAV (2)
CAV (2)
Information about the memory locations accessed by a program is, for instance, required for program parallelisation and program verification. Existing inference techniques for this information provide only partial solutions for the important class of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef36e450f33b9d25ccb47c028f3ae3f8
https://doi.org/10.1007/978-3-319-96142-2_7
https://doi.org/10.1007/978-3-319-96142-2_7
Autor:
Nathanaël Courant, Caterina Urban
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662545768
TACAS (1)
TACAS (1)
FuncTion is a static analyzer designed for proving conditional termination of C programs by means of abstract interpretation. Its underlying abstract domain is based on piecewise-defined functions, which provide an upper bound on the number of progra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28b6747ddcfd9995548ee0f56f299e79
https://doi.org/10.1007/978-3-662-54577-5_8
https://doi.org/10.1007/978-3-662-54577-5_8