Ankur Taly
Ankur Taly
Staff Research Scientist, Google
Verified email at - Homepage
Cited by
Cited by
Axiomatic attribution for deep networks
M Sundararajan, A Taly, Q Yan
International Conference on Machine Learning, 3319-3328, 2017
An operational semantics for JavaScript
S Maffeis, JC Mitchell, A Taly
Asian Symposium on Programming Languages and Systems, 307-325, 2008
Automated analysis of security-critical javascript apis
A Taly, Ú Erlingsson, JC Mitchell, MS Miller, J Nagra
2011 IEEE Symposium on Security and Privacy, 363-378, 2011
Object capabilities and isolation of untrusted web applications
S Maffeis, JC Mitchell, A Taly
2010 IEEE Symposium on Security and Privacy, 125-140, 2010
Using a deep learning algorithm and integrated gradients explanation to assist grading for diabetic retinopathy
R Sayres, A Taly, E Rahimy, K Blumer, D Coz, N Hammel, J Krause, ...
Ophthalmology 126 (4), 552-564, 2019
Language-based isolation of untrusted Javascript
S Maffeis, A Taly
2009 22nd IEEE Computer Security Foundations Symposium, 77-91, 2009
Explainable machine learning in deployment
U Bhatt, A Xiang, S Sharma, A Weller, A Taly, Y Jia, J Ghosh, R Puri, ...
Proceedings of the 2020 Conference on Fairness, Accountability, and …, 2020
Did the model understand the question?
PK Mudrakarta, A Taly, M Sundararajan, K Dhamdhere
arXiv preprint arXiv:1805.05492, 2018
Static analysis by policy iteration on relational domains
S Gaubert, E Goubault, A Taly, S Zennou
European symposium on programming, 237-252, 2007
Macaroons: Cookies with contextual caveats for decentralized authorization in the cloud
A Birgisson, JG Politz, U Erlingsson, A Taly, M Vrable, M Lentczner
Isolating JavaScript with filters, rewriting, and wrappers
S Maffeis, JC Mitchell, A Taly
European Symposium on Research in Computer Security, 505-522, 2009
Counterfactual fairness in text classification through robustness
S Garg, V Perot, N Limtiaco, A Taly, EH Chi, A Beutel
Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 219-226, 2019
Automated synthesis of symbolic instruction encodings from I/O samples
P Godefroid, A Taly
ACM SIGPLAN Notices 47 (6), 441-452, 2012
Privacy, discovery, and authentication for the internet of things
DJ Wu, A Taly, A Shankar, D Boneh
European Symposium on Research in Computer Security, 301-319, 2016
Deductive verification of continuous dynamical systems
A Taly, A Tiwari
IARCS Annual Conference on Foundations of Software Technology and …, 2009
Gradients of counterfactuals
M Sundararajan, A Taly, Q Yan
arXiv preprint arXiv:1611.02639, 2016
Switching logic synthesis for reachability
A Taly, A Tiwari
Proceedings of the tenth ACM international conference on Embedded software …, 2010
Run-time enforcement of secure javascript subsets
S Maffeis, JC Mitchell, A Taly
Proc of W2SP 9, 2009
Explainable AI in industry
K Gade, SC Geyik, K Kenthapadi, V Mithal, A Taly
Proceedings of the 25th ACM SIGKDD International Conference on Knowledge …, 2019
Synthesizing switching logic using constraint solving
A Taly, S Gulwani, A Tiwari
International journal on software tools for technology transfer 13 (6), 519-535, 2011
The system can't perform the operation now. Try again later.
Articles 1–20