List of works - Martín Abadi

A Theory of Primitive Objects: Untyped and First-Order Systems

A calculus for access control in distributed systems

scientific article (publication date: September 1993)

A theory of primitive objects

A type system for Java bytecode subroutines

Adversarial Patch ⬇️

scientific article published on 27 December 2017

An imperative object calculus

Certified email with a light on-line trusted third party

scholarly article published 2002

Composing specifications

Computer-assisted verification of a protocol for certified email

Control-flow integrity

Control-flow integrity principles, implementations, and applications

article published in 2009

Deep Learning with Differential Privacy ⬇️

scholarly article by Martín Abadi et al published 24 October 2016 in Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security

Dynamic typing in a statically typed language

Just fast keying in the pi calculus

TensorFlow: A system for large-scale machine learning

paper from 12th USENIX Symposium on Operating Systems Design and Implementation

TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems ⬇️

scientific article (publication date: 16 March 2016)

The geometry of optimal lambda reduction

scientific article (publication date: 1992)

List of works by Martín Abadi