Ankur Taly
Ankur Taly
Staff Research Scientist, Google
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Axiomatic attribution for deep networks
M Sundararajan, A Taly, Q Yan
International Conference on Machine Learning, 3319-3328, 2017
15892017
An operational semantics for JavaScript
S Maffeis, JC Mitchell, A Taly
Asian Symposium on Programming Languages and Systems, 307-325, 2008
2062008
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
1462011
Object capabilities and isolation of untrusted web applications
S Maffeis, JC Mitchell, A Taly
2010 IEEE Symposium on Security and Privacy, 125-140, 2010
1432010
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
1332019
Language-based isolation of untrusted Javascript
S Maffeis, A Taly
2009 22nd IEEE Computer Security Foundations Symposium, 77-91, 2009
1312009
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
1212020
Did the model understand the question?
PK Mudrakarta, A Taly, M Sundararajan, K Dhamdhere
arXiv preprint arXiv:1805.05492, 2018
1082018
Static analysis by policy iteration on relational domains
S Gaubert, E Goubault, A Taly, S Zennou
European symposium on programming, 237-252, 2007
982007
Macaroons: Cookies with contextual caveats for decentralized authorization in the cloud
A Birgisson, JG Politz, U Erlingsson, A Taly, M Vrable, M Lentczner
962014
Isolating JavaScript with filters, rewriting, and wrappers
S Maffeis, JC Mitchell, A Taly
European Symposium on Research in Computer Security, 505-522, 2009
942009
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
852019
Automated synthesis of symbolic instruction encodings from I/O samples
P Godefroid, A Taly
ACM SIGPLAN Notices 47 (6), 441-452, 2012
752012
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
642016
Deductive verification of continuous dynamical systems
A Taly, A Tiwari
IARCS Annual Conference on Foundations of Software Technology and …, 2009
532009
Gradients of counterfactuals
M Sundararajan, A Taly, Q Yan
arXiv preprint arXiv:1611.02639, 2016
482016
Switching logic synthesis for reachability
A Taly, A Tiwari
Proceedings of the tenth ACM international conference on Embedded software …, 2010
372010
Run-time enforcement of secure javascript subsets
S Maffeis, JC Mitchell, A Taly
Proc of W2SP 9, 2009
322009
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
292019
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
292011
The system can't perform the operation now. Try again later.
Articles 1–20