Amos Robinson

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 4

Top Topics

Integer Linear Programming

Top Venues

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Ben Lippmeier, Amos Robinson, Andrae Muys
Smart Contracts as Authorized Production Rules. PPDP (2019)
Amos Robinson, Ben Lippmeier
Machine fusion: merging merges, more or less. PPDP (2017)
Ben Lippmeier, Fil Mackay, Amos Robinson
Polarized data parallel data flow. FHPC@ICFP (2016)
Amos Robinson, Ben Lippmeier
Icicle: write once, run once. FHPC@ICFP (2016)
Amos Robinson, Ben Lippmeier, Gabriele Keller
Fusing filters with integer linear programming. FHPC@ICFP (2014)
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson
Data flow fusion with series expressions in Haskell. Haskell (2013)