Michael Hind

John T. Richards

CoRR, 2022

Evaluating a Methodology for Increasing AI Transparency: A Case Study.

[BibT_eX]

[DOI]

David Piorkowski

John T. Richards

CoRR, 2022

AI Explainability 360: Impact and Design.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

A Human-Centered Methodology for Creating AI FactSheets.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2021

Disparate Impact Diminishes Consumer Trust Even for Advantaged Users.

[BibT_eX]

[DOI]

Proceedings of the Persuasive Technology - 16th International Conference, 2021

AI Explainability 360 Toolkit.

[BibT_eX]

[DOI]

Proceedings of the CODS-COMAD 2021: 8th ACM IKDD CODS and 26th COMAD, 2021

2020

AI Explainability 360: An Extensible Toolkit for Understanding Data and Machine Learning Models.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2020

A Methodology for Creating AI FactSheets.

[BibT_eX]

[DOI]

CoRR, 2020

Trust and Transparency in Contact Tracing Applications.

[BibT_eX]

[DOI]

Stacy Hobson

CoRR, 2020

Consumer-Driven Explanations for Machine Learning Decisions: An Empirical Study of Robustness.

[BibT_eX]

[DOI]

Dennis Wei

Yunfeng Zhang

CoRR, 2020

AI explainability 360: hands-on tutorial.

[BibT_eX]

[DOI]

Proceedings of the FAT* '20: Conference on Fairness, 2020

Experiences with Improving the Transparency of AI Models and Services.

[BibT_eX]

[DOI]

Stephanie Houde

Jacquelyn Martino

David Piorkowski

John T. Richards

Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

2019

Think Your Artificial Intelligence Software Is Fair? Think Again.

[BibT_eX]

[DOI]

Seema Nagar

IEEE Softw., 2019

AI Fairness 360: An extensible toolkit for detecting and mitigating algorithmic bias.

[BibT_eX]

[DOI]

Seema Nagar

IBM J. Res. Dev., 2019

FactSheets: Increasing trust in AI services through supplier's declarations of conformity.

[BibT_eX]

[DOI]

Ravi Nair

IBM J. Res. Dev., 2019

Explaining explainable AI.

[BibT_eX]

[DOI]

XRDS, 2019

One Explanation Does Not Fit All: A Toolkit and Taxonomy of AI Explainability Techniques.

[BibT_eX]

[DOI]

CoRR, 2019

Teaching AI to Explain its Decisions Using Embeddings and Multi-Task Learning.

[BibT_eX]

[DOI]

Noel C. F. Codella

CoRR, 2019

A Scalable Blockchain Approach for Trusted Computation and Verifiable Simulation in Multi-Party Collaborations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2019

Promoting Distributed Trust in Machine Learning and Computational Simulation.

[BibT_eX]

[DOI]

Biplav Srivastava

Roman Vaculín

Komminist Weldemariam

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2019

Constructing and Compressing Frames in Blockchain-based Verifiable Multi-party Computation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2019

TED: Teaching AI to Explain its Decisions.

[BibT_eX]

[DOI]

Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 2019

2018

Promoting Distributed Trust in Machine Learning and Computational Simulation via a Blockchain Network.

[BibT_eX]

[DOI]

Biplav Srivastava

Roman Vaculín

Komminist Weldemariam

CoRR, 2018

AI Fairness 360: An Extensible Toolkit for Detecting, Understanding, and Mitigating Unwanted Algorithmic Bias.

[BibT_eX]

[DOI]

Seema Nagar

CoRR, 2018

Trusted Multi-Party Computation and Verifiable Simulations: A Scalable Blockchain Approach.

[BibT_eX]

[DOI]

CoRR, 2018

Increasing Trust in AI Services through Supplier's Declarations of Conformity.

[BibT_eX]

[DOI]

Sameep Mehta

Ravi Nair

Alexandra Olteanu

CoRR, 2018

Teaching Meaningful Explanations.

[BibT_eX]

[DOI]

Noel C. F. Codella

CoRR, 2018

Collaborative Human-AI (CHAI): Evidence-Based Interpretable Melanoma Classification in Dermoscopic Images.

[BibT_eX]

[DOI]

Rogério Schmidt Feris

John R. Smith

Proceedings of the Understanding and Interpreting Machine Learning in Medical Image Computing Applications, 2018

2016

The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations.

[BibT_eX]

[DOI]

Sebastian Fischmeister

ACM Trans. Program. Lang. Syst., 2016

META: Middleware for Events, Transactions, and Analytics.

[BibT_eX]

[DOI]

IBM J. Res. Dev., 2016

2014

SIGPLAN research highlights annual report.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2014

2013

CACM research highlights annual report.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2013

2008

Addressing the disconnect between the good and the popular.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2008

2007

Fast online pointer analysis.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2007

Dynamic compilation: the benefits of early investing.

[BibT_eX]

[DOI]

Prasad A. Kulkarni

Matthew Arnold

Proceedings of the 3rd International Conference on Virtual Execution Environments, 2007

Using hpm-sampling to drive dynamic compilation.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

A Loop Correlation Technique to Improve Performance Auditing.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), 2007

2006

Online performance auditing: using hot optimizations without getting burned.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Online Phase Detection Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2006), 2006

2005

The Need for a Whole-System View of Performance.

[BibT_eX]

[DOI]

Stud. Inform. Univ., 2005

A Survey of Adaptive Optimization in Virtual Machines.

[BibT_eX]

[DOI]

Proc. IEEE, 2005

The Jikes Research Virtual Machine project: Building an open-source research community.

[BibT_eX]

[DOI]

IBM Syst. J., 2005

High-level real-time programming in Java.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

Virtual Machine Learning: Thinking like a Computer Architect.

[BibT_eX]

[DOI]

Proceedings of the 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 2005

2004

Vertical profiling: understanding the behavior of object-priented applications.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Using Hardware Performance Monitors to Understand the Behavior of Java Applications.

[BibT_eX]

[DOI]

Proceedings of the 3rd Virtual Machine Research and Technology Symposium, 2004

Pointer Analysis in the Presence of Dynamic Class Loading.

[BibT_eX]

[DOI]

Martin Hirzel

Amer Diwan

Proceedings of the ECOOP 2004, 2004

2002

Online feedback-directed optimization of Java.

[BibT_eX]

[DOI]

Matthew Arnold

Barbara G. Ryder

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Understanding the connectivity of heap objects.

[BibT_eX]

[DOI]

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

2001

Evaluating the effectiveness of pointer alias analyses.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2001

Pointer analysis: haven't we solved this problem yet?

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

2000

NPIC - New Paltz interprocedural compiler.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

The Jalapeño virtual machine.

[BibT_eX]

[DOI]

IBM Syst. J., 2000

Traveling Through Dakota: Experiences with an Object-Oriented Program Analysis System.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Adaptive optimization in the Jalapeño JVM (poster session).

[BibT_eX]

[DOI]

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

Adaptive optimization in the Jalapeño JVM.

[BibT_eX]

[DOI]

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

An Empirical Study of Selective Optimization.

[BibT_eX]

[DOI]

Matthew Arnold

Barbara G. Ryder

Proceedings of the Languages and Compilers for Parallel Computing, 2000

Which pointer analysis should I use?

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2000

Optimizing Java Programs in the Presence of Exceptions.

[BibT_eX]

[DOI]

Manish Gupta

Jong-Deok Choi

Proceedings of the ECOOP 2000, 2000

1999

Interprocedural pointer alias analysis.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1999

Efficient and precise modeling of exceptions for the analysis of Java programs.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1999

SIGAda '98: ACM/SIGAda International Conference (Report).

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1999

The Jalapeño Dynamic Optimizing Compiler for Java.

[BibT_eX]

[DOI]

Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, 1999

1998

Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 5th International Symposium, 1998

1996

Using Regional Conferences to Mentor Student Development: A Case Study.

[BibT_eX]

[DOI]

Phil Pfeiffer

ACM SIGPLAN Notices, 1996

1995

Flow-Sensitive Interprocedural Constant Propagation.

[BibT_eX]

[DOI]

Paul R. Carini

Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

1994

An Empirical Study of Precise Interprocedural Array Analysis.

[BibT_eX]

[DOI]

Sci. Program., 1994

Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 1994

1992

Loop Distribution with Multiple Exits.

[BibT_eX]

[DOI]

Bor-Ming Hsieh

Ron Cryton

Proceedings of the Proceedings Supercomputing '92, 1992

1991

Efficienty Loop-Level Parallelism in ADA.

[BibT_eX]

PhD thesis, 1991

Efficient loop-level parallelism in Ada.

[BibT_eX]

[DOI]

Edmond Schonberg

Proceedings of the Conference on TRI-Ada 1991, 1991

1989

Automatic Generation of DAG Parallelism.

[BibT_eX]

[DOI]

Ron Cytron