Ankur Taly

发表

Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud

Arnar Birgisson, Joe Gibbs Politz, Úlfar Erlingsson, 2014, NDSS.

An Operational Semantics for JavaScript

Ankur Taly, John C. Mitchell, Sergio Maffeis, 2008, APLAS.

The Explanation Game: Explaining Machine Learning Models with Cooperative Game Theory pdf

Ankur Taly, Luke Merrick, Ankur Taly, 2019, ArXiv.

Synthesizing Switching Logic Using Constraint Solving

Sumit Gulwani, Ashish Tiwari, Ankur Taly, 2009, VMCAI.

Finding Invariants in Deep Neural Networks pdf

Ankur Taly, Corina S. Pasareanu, Hayes Converse, 2019, ArXiv.

Isolating JavaScript with Filters, Rewriting, and Wrappers

Ankur Taly, John C. Mitchell, Sergio Maffeis, 2009, ESORICS.

Synthesizing switching logic using constraint solving

Sumit Gulwani, Ashish Tiwari, Ankur Taly, 2010, International Journal on Software Tools for Technology Transfer.

Counterfactual Fairness in Text Classification through Robustness

Ankur Taly, Ed H. Chi, Ed Huai-hsin Chi, 2018, AIES.

Distributed Authorization with Distributed Grammars

Martín Abadi, Ankur Taly, Himabindu Pucha, 2015, Programming Languages with Applications to Biology and Security.

New Results - Analyse statique de programmes et itération sur les politiques/Static analysis of computer programs and policy iteration

Ankur Taly, Eric Goubault, Stéphane Gaubert, 2006 .

Approximate Symbolic Reachability of Networks of Transition Systems

Ankur Taly, Varun Kanade, Supratik Chakraborty, 2007 .

Language-Based Isolation of Untrusted JavaScript

Ankur Taly, Sergio Maffeis, Ankur Taly, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.

Explainable AI in Industry: Practical Challenges and Lessons Learned

Ankur Taly, Sahin Cem Geyik, Krishnaram Kenthapadi, 2020, WWW.

Exploring Principled Visualizations for Deep Network Attributions

Ankur Taly, Jinhua Xu, Mukund Sundararajan, 2019, IUI Workshops.

Deductive Verification of Continuous Dynamical Systems

Ashish Tiwari, Ankur Taly, 2009, FSTTCS.

Axiomatic Attribution for Deep Networks pdf

Ankur Taly, Mukund Sundararajan, Qiqi Yan, 2017, ICML.

Abductive Matching in Question Answering pdf

Ankur Taly, Mukund Sundararajan, Kevin S. McCurley, 2017, ArXiv.

Static Analysis by Policy Iteration on Relational Domains

Ankur Taly, Eric Goubault, Sarah Zennou, 2007, ESOP.

Privacy, Discovery, and Authentication for the Internet of Things

Ankur Taly, Dan Boneh, David J. Wu, 2016, ESORICS.

Switching logic synthesis for reachability

Ashish Tiwari, Ankur Taly, 2010, EMSOFT '10.

Explainable machine learning in deployment

Ankur Taly, Joydeep Ghosh, Yunhan Jia, 2019, FAT*.

Gradients of Counterfactuals pdf

Ankur Taly, Mukund Sundararajan, Qiqi Yan, 2016, ArXiv.

Explainable AI in Industry

Ankur Taly, Sahin Cem Geyik, Krishnaram Kenthapadi, 2019, KDD.

Using attribution to decode binding mechanism in neural network models for chemistry

Ankur Taly, Lucy J. Colwell, Michael P. Brenner, 2018, Proceedings of the National Academy of Sciences.

It was the training data pruning too! pdf

Ankur Taly, Mukund Sundararajan, Kedar Dhamdhere, 2018, ArXiv.

Did the Model Understand the Question? pdf

Ankur Taly, Mukund Sundararajan, Kedar Dhamdhere, 2018, ACL.

Object Capabilities and Isolation of Untrusted Web Applications

Ankur Taly, John C. Mitchell, Sergio Maffeis, 2010, 2010 IEEE Symposium on Security and Privacy.

Explainable AI in industry: practical challenges and lessons learned: implications tutorial

Ankur Taly, Sahin Cem Geyik, Krishnaram Kenthapadi, 2020, FAT*.

The Explanation Game: Explaining Machine Learning Models Using Shapley Values

Ankur Taly, Luke Merrick, Ankur Taly, 2020, CD-MAKE.

Automated synthesis of symbolic instruction encodings from I/O samples

Ankur Taly, Patrice Godefroid, Patrice Godefroid, 2012, PLDI.

Automated Analysis of Security-Critical JavaScript APIs

Úlfar Erlingsson, Ankur Taly, John C. Mitchell, 2011, 2011 IEEE Symposium on Security and Privacy.

Distributed Authorization in Vanadium

Ankur Taly, Asim Shankar, 2016, FOSAD.

Assisted reads for diabetic retinopathy using a deep learning algorithm and integrated gradient explanation

Ankur Taly, Jonathan Krause, Arunachalam Narayanaswamy, 2018 .

A Note about: Local Explanation Methods for Deep Neural Networks lack Sensitivity to Parameter Values pdf

Ankur Taly, Mukund Sundararajan, Mukund Sundararajan, 2018, ArXiv.

A Multistakeholder Approach Towards Evaluating AI Transparency Mechanisms pdf

Ankur Taly, Maarten de Rijke, Ana Lucic, 2021, ArXiv.

Local Explanations via Necessity and Sufficiency: Unifying Theory and Practice

Ankur Taly, Luciano Floridi, Limor Gultchin, 2021, UAI.

Private Service Discovery and Mutual Authentication for the Internet of Things

Ankur Taly, Dan Boneh, Asim Shankar, 2016 .

Explainable machine learning in deployment

Ankur Taly, Joydeep Ghosh, Yunhan Jia, 2020, FAT*.