Data flow fusion with series expressions in Haskell. - Ben Lippmeier; Manuel M. T. Chakravarty; Gabriele Keller; Amos Robinson (Haskell, 2013)

Fusing filters with integer linear programming. - Amos Robinson; Ben Lippmeier; Gabriele Keller (FHPC@ICFP, 2014)

Polarized data parallel data flow. - Ben Lippmeier; Fil Mackay; Amos Robinson (FHPC@ICFP, 2016)

Icicle: write once, run once. - Amos Robinson; Ben Lippmeier (FHPC@ICFP, 2016)

Machine fusion: merging merges, more or less. - Amos Robinson; Ben Lippmeier (PPDP, 2017)

Smart Contracts as Authorized Production Rules. - Ben Lippmeier; Amos Robinson; Andrae Muys (PPDP, 2019)

The stuff that streams are made of: Streaming models for concurrent execution of multiple queries. - Amos Robinson (2019)

Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems. - Amos Robinson; Alex Potanin (ECOOP, 2024)

Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact). - Amos Robinson; Alex Potanin (Dagstuhl Artifacts Ser., 2024)

Semantically Separating Nominal Wyvern for Usability and Decidability. - Yu Xiang Zhu; Amos Robinson; Sophia Roshal; Timothy Mou; Julian Mackay; Jonathan Aldrich; Alex Potanin (CoRR, 2025)