Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

45 results for Michael Hind

Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs
- - Jong-Deok Choi
  - David Grove
  - et al.
- 1999
- PASTE 1999
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