| 2021 | CLOUD | Falkirk Wheel: Rollback Recovery for Dataflow Systems. | Ionel Gog, Michael Isard, Martn Abadi |
| 2021 | LICS | Smart Choices and the Selection Monad. | Martn Abadi, Gordon D. Plotkin |
| 2018 | EuroSys | Dynamic control flow in large-scale machine learning. | Yuan Yu, Martn 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 |
| 2017 | ICLR | Learning a Natural Language Interface with Neural Programmer. | Arvind Neelakantan, Quoc V. Le, Martn Abadi, Andrew McCallum, Dario Amodei |
| 2017 | ICLR | Semi-supervised Knowledge Transfer for Deep Learning from Private Training Data. | Nicolas Papernot, Martn Abadi, lfar Erlingsson, Ian J. Goodfellow, Kunal Talwar |
| 2017 | PLDI | A computational model for TensorFlow: an introduction. | Martn Abadi, Michael Isard, Derek Gordon Murray |
| 2016 | CCS | Deep Learning with Differential Privacy. | Martn Abadi, Andy Chu, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Kunal Talwar, Li Zhang |
| 2016 | ICFP | TensorFlow: learning functions at scale. | Martn Abadi |
| 2016 | OSDI | TensorFlow: A System for Large-Scale Machine Learning. | Martn 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 |
| 2015 | CSL | The Prophecy of Timely Rollback (Invited Talk). | Martn Abadi |
| 2015 | FASE | The Prophecy of Undo. | Martn Abadi |
| 2015 | FORTE | Timely Dataflow: A Model. | Martn Abadi, Michael Isard |
| 2015 | FOSSACS | Foundations of Differential Dataflow. | Martn Abadi, Frank McSherry, Gordon D. Plotkin |
| 2014 | ECOOP | Understanding TypeScript. | Gavin M. Bierman, Martn Abadi, Mads Torgersen |
| 2014 | NDSS | Web PKI: Closing the Gap between Guidelines and Practices. | Antoine Delignat-Lavaud, Martn Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie |
| 2013 | CCS | SocialWatch: detection of online service abuse via large-scale social graphs. | Junxian Huang, Yinglian Xie, Fang Yu, Qifa Ke, Martn Abadi, Eliot Gillum, Zhuoqing Morley Mao |
| 2013 | CCS | Early security classification of skype users via machine learning. | Anna Leontjeva, Moiss Goldszmidt, Yinglian Xie, Fang Yu, Martn Abadi |
| 2013 | CRYPTO | Message-Locked Encryption for Lock-Dependent Messages. | Martn Abadi, Dan Boneh, Ilya Mironov, Ananth Raghunathan, Gil Segev |
| 2013 | FORTE | Formal Analysis of a Distributed Algorithm for Tracking Progress. | Martn Abadi, Frank McSherry, Derek Gordon Murray, Thomas L. Rodeheffer |
| 2013 | HotOS | Global Authentication in an Untrustworthy World. | Martn Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie |
| 2013 | SOSP | Naiad: a timely dataflow system. | Derek Gordon Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martn Abadi |
| 2012 | APLAS | A Functional View of Imperative Information Flow. | Thomas H. Austin, Cormac Flanagan, Martn Abadi |
| 2012 | CCS | Innocent by association: early recognition of legitimate users. | Yinglian Xie, Fang Yu, Qifa Ke, Martn Abadi, Eliot Gillum, Krish Vitaldevaria, Jason Walter, Junxian Huang, Zhuoqing Morley Mao |
| 2012 | FM | Software Security: A Formal Perspective - (Notes for a Talk). | Martn Abadi |
| 2012 | NDSS | Host Fingerprinting and Tracking on the Web: Privacy and Security Implications. | Ting-Fang Yen, Yinglian Xie, Fang Yu, Roger Peng Yu, Martn Abadi |
| 2011 | OOPSLA | AC: composable asynchronous IO for native languages. | Tim Harris, Martn Abadi, Rebecca Isaacs, Ross McIlroy |
| 2011 | PLDI | Differential privacy with information flow control. | Arnar Birgisson, Frank McSherry, Martn Abadi |
| 2011 | WWW | Heat-seeking honeypots: design and experience. | John P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martn Abadi |
| 2010 | HOTNETS | How to tell an airport from a home: techniques and applications. | Andreas Pitsillidis, Yinglian Xie, Fang Yu, Martn Abadi, Geoffrey M. Voelker, Stefan Savage |
| 2010 | LICS | The Fine Print of Security. | Martn Abadi |
| 2009 | CAV | Models and Proofs of Protocol Security: A Progress Report. | Martn Abadi, Bruno Blanchet, Hubert Comon-Lundh |
| 2009 | CC | Implementation and Use of Transactional Memory with Dynamic Separation. | Martn Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard |
| 2009 | CONCUR | Perspectives on Transactional Memory. | Martn Abadi, Tim Harris |
| 2009 | ICDE | Unified Declarative Platform for Secure Netwoked Information Systems. | Wenchao Zhou, Yun Mao, Boon Thau Loo, Martn Abadi |
| 2009 | POPL | A model of cooperative threads. | Martn Abadi, Gordon D. Plotkin |
| 2009 | PPoPP | Transactional memory with strong atomicity using off-the-shelf memory protection hardware. | Martn Abadi, Tim Harris, Mojtaba Mehrara |
| 2009 | SIGCOMM | De-anonymizing the internet using unreliable IDs. | Yinglian Xie, Fang Yu, Martn Abadi |
| 2008 | CCS | The good, the bad, and the provable. | Martn Abadi |
| 2008 | CONCUR | A Model of Dynamic Separation for Transactional Memory. | Martn Abadi, Tim Harris, Katherine F. Moore |
| 2008 | ESORICS | Code-Carrying Authorization. | Sergio Maffeis, Martn Abadi, Cdric Fournet, Andrew D. Gordon |
| 2008 | FOSSACS | A Modal Deconstruction of Access Control Logics. | Deepak Garg, Martn Abadi |
| 2008 | POPL | Semantics of transactional memory and automatic mutual exclusion. | Martn Abadi, Andrew Birrell, Tim Harris, Michael Isard |
| 2007 | ATVA | Policies and Proofs for Code Auditing. | Nathan Whitehead, Jordan Johnson, Martn Abadi |
| 2007 | EuroSys | Authorizing applications in singularity. | Ted Wobber, Aydan R. Yumerefendi, Martn Abadi, Andrew Birrell, Daniel R. Simon |
| 2007 | NSDI | Towards a Declarative Language and System for Secure Networking. | Martn Abadi, Boon Thau Loo |
| 2006 | APLAS | Computational Secrecy by Typing for the Pi Calculus. | Martn Abadi, Ricardo Corin, Cdric Fournet |
| 2006 | ASPLOS | Architectural support for software-based protection. | Mihai Budiu, lfar Erlingsson, Martn Abadi |
| 2006 | FORTE | Formal Analysis of Dynamic, Distributed File-System Access Controls. | Avik Chaudhuri, Martn Abadi |
| 2006 | FOSSACS | Guessing Attacks and the Computational Soundness of Static Equivalence. | Martn Abadi, Mathieu Baudet, Bogdan Warinschi |
| 2006 | ICFP | Access control in a core calculus of dependency. | Martn Abadi |
| 2006 | OSDI | XFI: Software Guards for System Address Spaces. | lfar Erlingsson, Martn Abadi, Michael Vrable, Mihai Budiu, George C. Necula |
| 2005 | CCS | Control-flow integrity. | Martn Abadi, Mihai Budiu, lfar Erlingsson, Jay Ligatti |
| 2005 | CCS | Formal security analysis of basic network-attached storage. | Avik Chaudhuri, Martn Abadi |
| 2005 | HotOS | Access Control in a World of Software Diversity. | Martn Abadi, Andrew Birrell, Ted Wobber |
| 2005 | ICALP | Password-Based Encryption Analyzed. | Martn Abadi, Bogdan Warinschi |
| 2005 | ICFEM | A Theory of Secure Control Flow. | Martn Abadi, Mihai Budiu, lfar Erlingsson, Jay Ligatti |
| 2005 | LICS | Automated Verification of Selected Equivalences for Security Protocols. | Bruno Blanchet, Martn Abadi, Cdric Fournet |
| 2005 | PODS | Security analysis of cryptographically controlled access to XML documents. | Martn Abadi, Bogdan Warinschi |
| 2004 | ESOP | Just Fast Keying in the Pi Calculus. | Martn Abadi, Bruno Blanchet, Cdric Fournet |
| 2004 | FORTE | A Logical Account of NGSCB. | Martn Abadi, Ted Wobber |
| 2004 | FOSSACS | Choice in Dynamic Linking. | Martn Abadi, Georges Gonthier, Benjamin Werner |
| 2004 | ICALP | Deciding Knowledge in Security Protocols Under Equational Theories. | Martn Abadi, Vronique Cortier |
| 2004 | LPAR | BCiC: A System for Code Authentication and Verification. | Nathan Whitehead, Martn Abadi |
| 2004 | SEC | Trusted Computing, Trusted Third Parties, and Verified Communications. | Martn Abadi |
| 2003 | ECOOP | Built-in Object Security. | Martn Abadi |
| 2003 | LICS | Logic in Access Control. | Martn Abadi |
| 2003 | NDSS | Moderately Hard, Memory-Bound Functions. | Martn Abadi, Michael Burrows, Ted Wobber |
| 2003 | NDSS | Access Control Based on Execution History. | Martn Abadi, Cdric Fournet |
| 2003 | SAS | Computer-Assisted Verification of a Protocol for Certified Email. | Martn Abadi, Bruno Blanchet |
| 2002 | POPL | Analyzing security protocols with secrecy types and logic programs. | Martn Abadi, Bruno Blanchet |
| 2002 | WWW | Certified email with a light on-line trusted third party: design and implementation. | Martn Abadi, Neal Glew |
| 2001 | FOSSACS | Secrecy Types for Asymmetric Communication. | Martn Abadi, Bruno Blanchet |
| 2001 | PODC | Leslie Lamport's properties and actions. | Martn Abadi |
| 2001 | POPL | Mobile values, new names, and secure communication. | Martn Abadi, Cdric Fournet |
| 2000 | CRYPTO | Taming the Adversary. | Martn Abadi |
| 2000 | POPL | Authentication Primitives and Their Compilation. | Martn Abadi, Cdric Fournet, Georges Gonthier |
| 1999 | CONCUR | Object Types against Races. | Cormac Flanagan, Martn Abadi |
| 1999 | ESOP | Types for Safe Locking. | Cormac Flanagan, Martn Abadi |
| 1999 | FOSSACS | Security Protocols and Specifications. | Martn Abadi |
| 1999 | POPL | A Core Calculus of Dependency. | Martn Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke |
| 1999 | SP | Secure Communications Processing for Distributed Languages. | Martn Abadi, Cdric Fournet, Georges Gonthier |
| 1998 | ESOP | A Bisimulation Method for Cryptographic Protocols. | Martn Abadi, Andrew D. Gordon |
| 1998 | ICALP | Protection in Programming-Language Translations. | Martn Abadi |
| 1998 | LICS | Secure Implementation of Channel Abstractions. | Martn Abadi, Cdric Fournet, Georges Gonthier |
| 1998 | POPL | A Type System for Java Bytecode Subroutines. | Raymie Stata, Martn Abadi |
| 1997 | CCS | A Calculus for Cryptographic Protocols: The Spi Calculus. | Martn Abadi, Andrew D. Gordon |
| 1997 | CONCUR | Reasoning about Cryptographic Protocols in the Spi Calculus. | Martn Abadi, Andrew D. Gordon |
| 1996 | ICFP | Analysis and Caching of Dependencies. | Martn Abadi, Butler W. Lampson, Jean-Jacques Lvy |
| 1996 | LICS | Syntactic Considerations on Recursive Types. | Martn Abadi, Marcelo P. Fiore |
| 1996 | POPL | An Interpretation of Objects and Object Types. | Martn Abadi, Luca Cardelli, Ramesh Viswanathan |
| 1996 | SP | Secure Network Objects. | Leendert van Doorn, Martn Abadi, Michael Burrows, Edward Wobber |
| 1995 | ECOOP | On Subtyping and Matching. | Martn Abadi, Luca Cardelli |
| 1995 | MFCS | An Abstract Account of Composition. | Martn Abadi, Stephan Merz |
| 1995 | WWW | The Millicent Protocol for Inexpensive Electronic Commerce. | Steven C. Glassman, Mark S. Manasse, Martn Abadi, Paul Gauthier, Patrick Sobalvarro |
| 1994 | ECOOP | Methods as Assertions. | John Lamping, Martn Abadi |
| 1994 | ESOP | A Theory of Primitive Objects - Scond-Order Systems. | Martn Abadi, Luca Cardelli |
| 1994 | LICS | A Semantics of Object Types | Martn Abadi, Luca Cardelli |
| 1994 | LICS | Subtyping and Parametricity | Gordon D. Plotkin, Martn Abadi, Luca Cardelli |
| 1994 | PODC | Open Systems in TLA. | Martn Abadi, Leslie Lamport |
| 1994 | SP | Prudent engineering practice for cryptographic protocols. | Martn Abadi, Roger M. Needham |
| 1993 | POPL | Formal Parametric Polymorphism. | Martn Abadi, Luca Cardelli, Pierre-Louis Curien |
| 1993 | SOSP | Authentication in the Taos Operating System. | Edward Wobber, Martn Abadi, Michael Burrows, Butler W. Lampson |
| 1992 | LICS | Linear Logic Without Boxes | Georges Gonthier, Martn Abadi, Jean-Jacques Lvy |
| 1992 | POPL | The Geometry of Optimal Lambda Reduction. | Georges Gonthier, Martn Abadi, Jean-Jacques Lvy |
| 1991 | CRYPTO | A Calculus for Access Control in Distributed Systems. | Martn Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin |
| 1991 | PODC | A Semantics for a Logic of Authentication (Extended Abstract). | Martn Abadi, Mark R. Tuttle |
| 1991 | POPL | A Logical View of Composition and Refinement. | Martn Abadi, Gordon D. Plotkin |
| 1991 | SOSP | Authentication in Distributed Systems: Theory and Practice. | Butler W. Lampson, Martn Abadi, Michael Burrows, Edward Wobber |
| 1990 | CONCUR | An Axiomatization of Lamport's Temporal Logic of Actions. | Martn Abadi |
| 1990 | LICS | A Per Model of Polymorphism and Recursive Types | Martn Abadi, Gordon D. Plotkin |
| 1990 | POPL | Explicit Substitutions. | Martn Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lvy |
| 1989 | FOCS | Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract) | Martn Abadi, Joseph Y. Halpern |
| 1989 | ICALP | Realizable and Unrealizable Specifications of Reactive Systems. | Martn Abadi, Leslie Lamport, Pierre Wolper |
| 1989 | LICS | Faithful Ideal Models for Recursive Polymorphic Types | Martn Abadi, Benjamin C. Pierce, Gordon D. Plotkin |
| 1989 | POPL | Dynamic Typing in a Statically-Typed Language. | Martn Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin |
| 1989 | SOSP | A Logic of Authentication. | Michael Burrows, Martn Abadi, Roger M. Needham |
| 1988 | CRYPTO | On Generating Solved Instances of Computational Problems. | Martn Abadi, Eric Allender, Andrei Z. Broder, Joan Feigenbaum, Lane A. Hemachandra |
| 1988 | LICS | The Existence of Refinement Mappings | Martn Abadi, Leslie Lamport |
| 1988 | STACS | A Simple Protocol for Secure Circuit Evaluation. | Martn Abadi, Joan Feigenbaum |
| 1988 | TARK | Authentication: A Practical Study in Belief and Action. | Michael Burrows, Martn Abadi, Roger M. Needham |
| 1987 | LICS | The Power of Temporal Proofs | Martn Abadi |
| 1987 | STOC | On Hiding Information from an Oracle (Extended Abstract) | Martn Abadi, Joan Feigenbaum, Joe Kilian |
| 1986 | CADE | Modal Theorem Proving. | Martn Abadi, Zohar Manna |
| 1986 | LICS | A Timely Resolution | Martn Abadi, Zohar Manna |