Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs
- Jong-Deok Choi
- David Grove
- et al.
- 1999
- PASTE 1999
Publications
Date
Featured collections
Popular topics
45 results for Michael Hind
Loop distribution with multiple exits
- Bor-Ming Hsieh
- Michael Hind
- et al.
- 1992
- ACM/IEEE SC 1992
Efficient loop-level parallelism in Ada
- Michael Hind
- Edmond Schonberg
- 1991
- TRI-Ada 1991
Interprocedural pointer alias analysis
- Michael Hind
- Michael Burke
- et al.
- 1999
- ACM TOPLAS
Flow-Sensitive Interprocedural Constant Propagation
- Paul R. Carini
- Michael Hind
- 1995
- ACM SIGPLAN Notices
An Empirical Study of Precise Interprocedural Array Analysis
- Michael Hind
- Michael Burkeb
- et al.
- 1994
- Scientific Programming
Automatic Generation of DAG Parallelism
- Ron Cytron
- M. Hind
- et al.
- 1989
- ACM SIGPLAN Notices
Ai explainability 360: An extensible toolkit for understanding data and machine learning models
- Vijay Arya
- Rachel Bellamy
- et al.
- 2020
- JMLR
FactSheets: Increasing trust in AI services through supplier's declarations of conformity
- Matthew Arnold
- David Piorkowski
- et al.
- 2019
- IBM J. Res. Dev
AI Fairness 360: An extensible toolkit for detecting and mitigating algorithmic bias
- Rachel Bellamy
- Aleksandra Mojsilovic
- et al.
- 2019
- IBM J. Res. Dev