Adapton: Benchmark Results and Presentations

Benchmark Results

• Sequences: micro benchmarks:

  • Sequence map: Maps a sequence of machine words to a sequence of strings.
  • Sequence fold: Finds the maximum machine word among a sequence of machine words.
  • Sequence filter: Filters a sequence of machine words by a predicate.
  • Sequence reverse: Reverses a sequence of machine words.

• Micro applications:

  • Reverse Polish Calculator: Evaluates characters strings using a simple stack machine semantics.

Public Talks

• Incremental Computation with Adapton -- on May 4, 2017, at PLEMM 2017 -- Facebook.

Source Code

The following projects constitute the current Adapton ecosystem; each is written in Rust:

• Adapton: Engine maintaining program dependence information; exposes a core programming API, used by our collections library (IODyn), and eventually, other applications written in Rust.
• IODyn: Collections library for applications with dynamic input and output.
• Adapton Lab: Systematic testing and evaluation framework for Adapton benchmarks and micro applications.