author-photo

Martín Abadi

University of California, Santa Cruz
Microsoft
Google

349

Papers

50135

Citations

Citation Trend

Filter By

Papers (349) Sort By

Journal Conference Others

Falkirk Wheel: Rollback Recovery for Dataflow Systems

2021 SoCC | Symposium on Cloud Computing
Show All
- Source
- Cite
- Save
Citations (0)
Smart Choices and the Selection Monad

2021 LICS | Logic in Computer Science
- Martín Abadi
- Gordon Plotkin
Show All
- Source
- Cite
- Save
Citations (1)
A Simple Differentiable Programming Language

2020
- Martín Abadi
- Gordon D. Plotkin
Show All
- Source
- Cite
- Save
Citations (29)
A Simple Differentiable Programming Language

2020
- Martín Abadi
- Gordon D. Plotkin
Show All
- Source
- Cite
- Save
Citations (2)
Smart Choices and the Selection Monad. (arXiv:2007.08926v3 [cs.LO] UPDATED)

2020
- Martín Abadi
- Gordon D. Plotkin
Show All
- Source
- Cite
- Save
Citations (0)
Smart Choices and the Selection Monad.

2020 arXiv: Logic in Computer Science
- Martín Abadi
- Gordon Plotkin
Show All
- Source
- Cite
- Save
Citations (0)
The Differentiable Curry

2019
Show All
- Source
- Cite
- Save
Citations (6)
A Simple Differentiable Programming Language

2019 arXiv: Programming Languages
- Gordon Plotkin
- Martín Abadi
Show All
- Source
- Cite
- Save
Citations (11)
Dynamic control flow in large-scale machine learning

2018 EuroSys | European Conference on Computer Systems
Show All
- Source
- Cite
- Save
Citations (50)
Dynamic control flow in large-scale machine learning

2018 EuroSys | European Conference on Computer Systems
Show All
- Source
- Cite
- Save
Citations (24)