Amos Robinson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2013–2024
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ECOOP | Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems. | Amos Robinson, Alex Potanin |
| 2019 | PPDP | Smart Contracts as Authorized Production Rules. | Ben Lippmeier, Amos Robinson, Andrae Muys |
| 2017 | PPDP | Machine fusion: merging merges, more or less. | Amos Robinson, Ben Lippmeier |
| 2016 | ICFP | Polarized data parallel data flow. | Ben Lippmeier, Fil Mackay, Amos Robinson |
| 2016 | ICFP | Icicle: write once, run once. | Amos Robinson, Ben Lippmeier |
| 2014 | ICFP | Fusing filters with integer linear programming. | Amos Robinson, Ben Lippmeier, Gabriele Keller |
| 2013 | HASKELL | Data flow fusion with series expressions in Haskell. | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson |