Amos Robinson

According to our database, Amos Robinson authored at least 9 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact).

Amos Robinson, Alex Potanin

Dagstuhl Artifacts Ser., 2024

Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems.

Amos Robinson, Alex Potanin

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2019

The stuff that streams are made of: Streaming models for concurrent execution of multiple queries.

Amos Robinson

PhD thesis, 2019

Smart Contracts as Authorized Production Rules.

Ben Lippmeier, Amos Robinson, Andrae Muys

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2017

Machine fusion: merging merges, more or less.

Amos Robinson, Ben Lippmeier

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2016

Icicle: write once, run once.

Amos Robinson, Ben Lippmeier

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

Polarized data parallel data flow.

Ben Lippmeier, Fil Mackay, Amos Robinson

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

2014

Fusing filters with integer linear programming.

Amos Robinson, Ben Lippmeier, Gabriele Keller

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

2013

Data flow fusion with series expressions in Haskell.

Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013