Ankur Taly
Ankur Taly
Staff Research Scientist, Google
Bestätigte E-Mail-Adresse bei google.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Axiomatic attribution for deep networks
M Sundararajan, A Taly, Q Yan
arXiv preprint arXiv:1703.01365, 2017
9902017
An operational semantics for JavaScript
S Maffeis, JC Mitchell, A Taly
Asian Symposium on Programming Languages and Systems, 307-325, 2008
1962008
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
1392011
Object capabilities and isolation of untrusted web applications
S Maffeis, JC Mitchell, A Taly
2010 IEEE Symposium on Security and Privacy, 125-140, 2010
1372010
Language-based isolation of untrusted Javascript
S Maffeis, A Taly
2009 22nd IEEE Computer Security Foundations Symposium, 77-91, 2009
1242009
Static analysis by policy iteration on relational domains
S Gaubert, E Goubault, A Taly, S Zennou
European symposium on programming, 237-252, 2007
952007
Isolating JavaScript with filters, rewriting, and wrappers
S Maffeis, JC Mitchell, A Taly
European Symposium on Research in Computer Security, 505-522, 2009
932009
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
892019
Macaroons: Cookies with contextual caveats for decentralized authorization in the cloud
A Birgisson, JG Politz, U Erlingsson, A Taly, M Vrable, M Lentczner
872014
Did the model understand the question?
PK Mudrakarta, A Taly, M Sundararajan, K Dhamdhere
arXiv preprint arXiv:1805.05492, 2018
762018
Automated synthesis of symbolic instruction encodings from I/O samples
P Godefroid, A Taly
ACM SIGPLAN Notices 47 (6), 441-452, 2012
702012
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
522016
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
482019
Deductive verification of continuous dynamical systems
A Taly, A Tiwari
IARCS Annual Conference on Foundations of Software Technology and …, 2009
462009
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
392020
Gradients of counterfactuals
M Sundararajan, A Taly, Q Yan
arXiv preprint arXiv:1611.02639, 2016
342016
Switching logic synthesis for reachability
A Taly, A Tiwari
Proceedings of the tenth ACM international conference on Embedded software …, 2010
312010
Run-time enforcement of secure javascript subsets
S Maffeis, JC Mitchell, A Taly
Proc of W2SP 9, 2009
302009
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
Synthesizing switching logic using constraint solving
A Taly, S Gulwani, A Tiwari
International Workshop on Verification, Model Checking, and Abstract …, 2009
252009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20