Martín Abadi

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 35

Top Venues

CoRR

POST

NDSS

MAPL@PLDI

Publications

Martín Abadi, Gordon D. Plotkin
Smart Choices and the Selection Monad. Log. Methods Comput. Sci. 19 (2) (2023)
Martín Abadi, Gordon D. Plotkin
Smart Choices and the Selection Monad. LICS (2021)
Ionel Gog, Michael Isard, Martín Abadi
Falkirk Wheel: Rollback Recovery for Dataflow Systems. SoCC (2021)
Martín Abadi, Gordon D. Plotkin
Smart Choices and the Selection Monad. CoRR (2020)
Martín Abadi, Gordon D. Plotkin
A simple differentiable programming language. Proc. ACM Program. Lang. 4 (POPL) (2020)
Martín Abadi, Gordon D. Plotkin
A Simple Differentiable Programming Language. CoRR (2019)
Yuan Yu, Martín Abadi, Paul Barham, Eugene Brevdo, Mike Burrows, Andy Davis, Jeff Dean, Sanjay Ghemawat, Tim Harley, Peter Hawkins, Michael Isard, Manjunath Kudlur, Rajat Monga, Derek Gordon Murray, Xiaoqiang Zheng
Dynamic Control Flow in Large-Scale Machine Learning. CoRR (2018)
Yuan Yu, Martín Abadi, Paul Barham, Eugene Brevdo, Mike Burrows, Andy Davis, Jeff Dean, Sanjay Ghemawat, Tim Harley, Peter Hawkins, Michael Isard, Manjunath Kudlur, Rajat Monga, Derek Gordon Murray, Xiaoqiang Zheng
Dynamic control flow in large-scale machine learning. EuroSys (2018)
Martín Abadi, Bruno Blanchet, Cédric Fournet
The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication. J. ACM 65 (1) (2018)
Martín Abadi, Úlfar Erlingsson, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Nicolas Papernot, Kunal Talwar, Li Zhang
On the Protection of Private Information in Machine Learning Systems: Two Recent Approches. CSF (2017)
Martín Abadi, Michael Isard, Derek Gordon Murray
A computational model for TensorFlow: an introduction. MAPL@PLDI (2017)
Arvind Neelakantan, Quoc V. Le, Martín Abadi, Andrew McCallum, Dario Amodei
Learning a Natural Language Interface with Neural Programmer. ICLR (Poster) (2017)
Nicolas Papernot, Martín Abadi, Úlfar Erlingsson, Ian J. Goodfellow, Kunal Talwar
Semi-supervised Knowledge Transfer for Deep Learning from Private Training Data. ICLR (2017)
Tom B. Brown, Dandelion Mané, Aurko Roy, Martín Abadi, Justin Gilmer
Adversarial Patch. CoRR (2017)
Martín Abadi, Úlfar Erlingsson, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Nicolas Papernot, Kunal Talwar, Li Zhang
On the Protection of Private Information in Machine Learning Systems: Two Recent Approaches. CoRR (2017)
Arvind Neelakantan, Quoc V. Le, Martín Abadi, Andrew McCallum, Dario Amodei
Learning a Natural Language Interface with Neural Programmer. CoRR (2016)
Martín Abadi, Ashish Agarwal, Paul Barham, Eugene Brevdo, Zhifeng Chen, Craig Citro, Gregory S. Corrado, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Ian J. Goodfellow, Andrew Harp, Geoffrey Irving, Michael Isard, Yangqing Jia, Rafal Józefowicz, Lukasz Kaiser, Manjunath Kudlur, Josh Levenberg, Dan Mané, Rajat Monga, Sherry Moore, Derek Gordon Murray, Chris Olah, Mike Schuster, Jonathon Shlens, Benoit Steiner, Ilya Sutskever, Kunal Talwar, Paul A. Tucker, Vincent Vanhoucke, Vijay Vasudevan, Fernanda B. Viégas, Oriol Vinyals, Pete Warden, Martin Wattenberg, Martin Wicke, Yuan Yu, Xiaoqiang Zheng
TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems. CoRR (2016)
Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, Xiaoqiang Zheng
TensorFlow: A System for Large-Scale Machine Learning. OSDI (2016)
Martín Abadi, Andy Chu, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Kunal Talwar, Li Zhang
Deep Learning with Differential Privacy. CoRR (2016)
Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, Xiaoqiang Zhang
TensorFlow: A system for large-scale machine learning. CoRR (2016)
Martín Abadi, David G. Andersen
Learning to Protect Communications with Adversarial Neural Cryptography. CoRR (2016)
Martín Abadi, Bruno Blanchet, Cédric Fournet
The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication. CoRR (2016)
Derek Gordon Murray, Frank McSherry, Michael Isard, Rebecca Isaacs, Paul Barham, Martín Abadi
Incremental, iterative data processing with timely dataflow. Commun. ACM 59 (10) (2016)
Nicolas Papernot, Martín Abadi, Úlfar Erlingsson, Ian J. Goodfellow, Kunal Talwar
Semi-supervised Knowledge Transfer for Deep Learning from Private Training Data. CoRR (2016)
Martín Abadi
TensorFlow: learning functions at scale. ICFP (2016)
Martín Abadi, Andy Chu, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Kunal Talwar, Li Zhang
Deep Learning with Differential Privacy. CCS (2016)
Martín Abadi, Michael Isard
Timely Rollback: Specification and Verification. NFM (2015)
Martín Abadi, Mike Burrows, Himabindu Pucha, Adam Sadovsky, Asim Shankar, Ankur Taly
Distributed Authorization with Distributed Grammars. Programming Languages with Applications to Biology and Security (2015)
Martín Abadi, Michael Isard
Timely Dataflow: A Model. FORTE (2015)
Martín Abadi, Dan Boneh, Ilya Mironov, Ananth Raghunathan, Gil Segev
Message-Locked Encryption for Lock-Dependent Messages. IACR Cryptol. ePrint Arch. 2015 (2015)
Martín Abadi
The Prophecy of Timely Rollback (Invited Talk). CSL (2015)
Martín Abadi, Frank McSherry, Gordon D. Plotkin
Foundations of Differential Dataflow. FoSSaCS (2015)
Martín Abadi
The Prophecy of Undo. FASE (2015)
Martín Abadi, Michael Isard
On the Flow of Data, Information, and Time. POST (2015)
Michael Isard, Martín Abadi
Falkirk Wheel: Rollback Recovery for Dataflow Systems. CoRR (2015)
Martín Abadi, Jérémy Planul, Gordon D. Plotkin
Layout Randomization and Nondeterminism. Horizons of the Mind (2014)
Gavin M. Bierman, Martín Abadi, Mads Torgersen
Understanding TypeScript. ECOOP (2014)
Antoine Delignat-Lavaud, Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie
Web PKI: Closing the Gap between Guidelines and Practices. NDSS (2014)
Martín Abadi, Jérémy Planul
On Layout Randomization for Arrays and Functions. POST (2013)
Anna Leontjeva, Moisés Goldszmidt, Yinglian Xie, Fang Yu, Martín Abadi
Early security classification of skype users via machine learning. AISec (2013)
Martín Abadi, Frank McSherry, Derek Gordon Murray, Thomas L. Rodeheffer
Formal Analysis of a Distributed Algorithm for Tracking Progress. FMOODS/FORTE (2013)
Martín Abadi, Dan Boneh, Ilya Mironov, Ananth Raghunathan, Gil Segev
Message-Locked Encryption for Lock-Dependent Messages. CRYPTO (1) (2013)
Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie
Global Authentication in an Untrustworthy World. HotOS (2013)
Derek Gordon Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martín Abadi
Naiad: a timely dataflow system. SOSP (2013)
Martín Abadi, Jérémy Planul, Gordon D. Plotkin
Layout Randomization and Nondeterminism. MFPS (2013)
Junxian Huang, Yinglian Xie, Fang Yu, Qifa Ke, Martín Abadi, Eliot Gillum, Zhuoqing Morley Mao
SocialWatch: detection of online service abuse via large-scale social graphs. AsiaCCS (2013)
Yinglian Xie, Fang Yu, Qifa Ke, Martín Abadi, Eliot Gillum, Krish Vitaldevaria, Jason Walter, Junxian Huang, Zhuoqing Morley Mao
Innocent by association: early recognition of legitimate users. CCS (2012)
Ting-Fang Yen, Yinglian Xie, Fang Yu, Roger Peng Yu, Martín Abadi
Host Fingerprinting and Tracking on the Web: Privacy and Security Implications. NDSS (2012)
Thomas H. Austin, Cormac Flanagan, Martín Abadi
A Functional View of Imperative Information Flow. APLAS (2012)
Martín Abadi
Software Security: A Formal Perspective - (Notes for a Talk). FM (2012)
Martín Abadi, Gordon D. Plotkin
On Protection by Layout Randomization. ACM Trans. Inf. Syst. Secur. 15 (2) (2012)
Arnar Birgisson, Frank McSherry, Martín Abadi
Differential privacy with information flow control. PLAS (2011)
John P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martín Abadi
deSEO: Combating Search-Result Poisoning. USENIX Security Symposium (2011)
John P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martín Abadi
Heat-seeking honeypots: design and experience. WWW (2011)
Tim Harris, Martín Abadi, Rebecca Isaacs, Ross McIlroy
AC: composable asynchronous IO for native languages. OOPSLA (2011)
Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard
Semantics of transactional memory and automatic mutual exclusion. ACM Trans. Program. Lang. Syst. 33 (1) (2011)
Mathieu Baudet, Bogdan Warinschi, Martín Abadi
Guessing attacks and the computational soundness of static equivalence. J. Comput. Secur. 18 (5) (2010)
Martín Abadi
The Fine Print of Security. LICS (2010)
Martín Abadi, Gordon D. Plotkin
A Model of Cooperative Threads Log. Methods Comput. Sci. 6 (4) (2010)
Martín Abadi, Gordon D. Plotkin
On Protection by Layout Randomization. CSF (2010)
John P. John, Fang Yu, Yinglian Xie, Martín Abadi, Arvind Krishnamurthy
Searching the Searchers with SearchAudit. USENIX Security Symposium (2010)
Martín Abadi, Tim Harris, Katherine F. Moore
A model of dynamic separation for transactional memory. Inf. Comput. 208 (10) (2010)
Andreas Pitsillidis, Yinglian Xie, Fang Yu, Martín Abadi, Geoffrey M. Voelker, Stefan Savage
How to tell an airport from a home: techniques and applications. HotNets (2010)
Martín Abadi, Tim Harris, Mojtaba Mehrara
Transactional memory with strong atomicity using off-the-shelf memory protection hardware. PPOPP (2009)
Martín Abadi, Bruno Blanchet, Hubert Comon-Lundh
Models and Proofs of Protocol Security: A Progress Report. CAV (2009)
Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard
Implementation and Use of Transactional Memory with Dynamic Separation. CC (2009)
Martín Abadi, Gordon D. Plotkin
A model of cooperative threads. POPL (2009)
Wenchao Zhou, Yun Mao, Boon Thau Loo, Martín Abadi
Unified Declarative Platform for Secure Netwoked Information Systems. ICDE (2009)
Yinglian Xie, Fang Yu, Martín Abadi
De-anonymizing the internet using unreliable IDs. SIGCOMM (2009)
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
Control-flow integrity principles, implementations, and applications. ACM Trans. Inf. Syst. Secur. 13 (1) (2009)
Martín Abadi, Tim Harris
Perspectives on Transactional Memory. CONCUR (2009)
Martín Abadi
Logic in Access Control (Tutorial Notes). FOSAD (2009)
Martín Abadi, Tim Harris, Katherine F. Moore
A Model of Dynamic Separation for Transactional Memory. CONCUR (2008)
Deepak Garg, Martín Abadi
A Modal Deconstruction of Access Control Logics. FoSSaCS (2008)
Martín Abadi
The good, the bad, and the provable. CCS (2008)
Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon
Code-Carrying Authorization. ESORICS (2008)
Martín Abadi
Variations in Access Control Logic. DEON (2008)
Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard
Semantics of transactional memory and automatic mutual exclusion. POPL (2008)
Martín Abadi
Automatic Mutual Exclusion and Atomicity Checks. Concurrency, Graphs and Models (2008)
Bruno Blanchet, Martín Abadi, Cédric Fournet
Automated verification of selected equivalences for security protocols. J. Log. Algebraic Methods Program. 75 (1) (2008)
Martín Abadi, Bogdan Warinschi
Security analysis of cryptographically controlled access to XML documents. J. ACM 55 (2) (2008)
Martín Abadi
Security Protocols: Principles and Calculi. FOSAD (2007)
Ted Wobber, Aydan R. Yumerefendi, Martín Abadi, Andrew Birrell, Daniel R. Simon
Authorizing applications in singularity. EuroSys (2007)
Nathan Whitehead, Jordan Johnson, Martín Abadi
Policies and Proofs for Code Auditing. ATVA (2007)
Martín Abadi, Jens Palsberg
Editorial. ACM Trans. Program. Lang. Syst. 29 (3) (2007)
Martín Abadi, Bruno Blanchet, Cédric Fournet
Just fast keying in the pi calculus. ACM Trans. Inf. Syst. Secur. 10 (3) (2007)
Martín Abadi, Phillip Rogaway
Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). J. Cryptol. 20 (3) (2007)
Martín Abadi, Boon Thau Loo
Towards a Declarative Language and System for Secure Networking. NetDB (2007)
Martín Abadi
Access Control in a Core Calculus of Dependency. Electron. Notes Theor. Comput. Sci. 172 (2007)
Martín Abadi, Ricardo Corin, Cédric Fournet
Computational Secrecy by Typing for the Pi Calculus. APLAS (2006)
Martín Abadi
Access control in a core calculus of dependency. ICFP (2006)
Martín Abadi, Mathieu Baudet, Bogdan Warinschi
Guessing Attacks and the Computational Soundness of Static Equivalence. FoSSaCS (2006)
Mihai Budiu, Úlfar Erlingsson, Martín Abadi
Architectural support for software-based protection. ASID (2006)
Avik Chaudhuri, Martín Abadi
Formal Analysis of Dynamic, Distributed File-System Access Controls. FORTE (2006)
Martín Abadi, Cormac Flanagan, Stephen N. Freund
Types for safe locking: Static race detection for Java. ACM Trans. Program. Lang. Syst. 28 (2) (2006)
Avik Chaudhuri, Martín Abadi
Secrecy by Typing and File-Access Control. CSFW (2006)
Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula
XFI: Software Guards for System Address Spaces. OSDI (2006)
Martín Abadi, Véronique Cortier
Deciding knowledge in security protocols under equational theories. Theor. Comput. Sci. 367 (1-2) (2006)
Martín Abadi, Bruno Blanchet
Computer-assisted verification of a protocol for certified email. Sci. Comput. Program. 58 (1-2) (2005)
Martín Abadi, Bogdan Warinschi
Password-Based Encryption Analyzed. ICALP (2005)

Martín Abadi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martín Abadi