52 citations · 73 across the 4 of their papers we have counts for
4 papers
Smart Choices and the Selection Monad
Martin Abadi, Gordon Plotkin
Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices sho…
A Simple Differentiable Programming Language
Martin Abadi, Gordon D. Plotkin
Automatic differentiation plays a prominent role in scientific computing and in modern machine learning, often in the context of powerful programming systems. The relation of the v…
The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
Martín Abadi, Bruno Blanchet, Cédric Fournet
We study the interaction of the programming construct "new", which generates statically scoped names, with communication via messages on channels. This interaction is crucial in se…
Falkirk Wheel: Rollback Recovery for Dataflow Systems
Michael Isard, Martín Abadi
We present a new model for rollback recovery in distributed dataflow systems. We explain existing rollback schemes by assigning a logical time to each event such as a message deliv…