Samuel Merten
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2018
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ESOP | Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees. | Samuel Merten, Alexander Bagnall, Gordon Stewart |
| 2018 | PADL | Snrkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. | Gordon Stewart, Samuel Merten, Logan Leland |
| 2017 | PODC | Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret. | Alexander Bagnall, Samuel Merten, Gordon Stewart |