SKI Combinator Calculus on an FPGA (2012)

#1

Post by alexcweiner » Sat, Nov 21, 2015, 7:27 PM UTC

SKI Combinator Calculus on an FPGA (2012)
assembla.com

Re: SKI Combinator Calculus on an FPGA (2012)

#2

Post by jacquesm » Sun, Nov 22, 2015, 12:59 AM UTC

I love these 'compile to hardware' projects. Pity they didn't manage to get the speedup they hoped for from the parallel approach, curious how the next version benchmarks against this one.

Re: SKI Combinator Calculus on an FPGA (2012)

#3

Post by sitkack » Sun, Nov 22, 2015, 1:04 AM UTC

Emma Burrows did an excellent writeup of her SKI Combinator processor in 2009, http://cstein.kings.cam.ac.uk/~chris/part2/eb379.pdf

See also the Reduceron2 https://www.cs.york.ac.uk/fp/darcs/reduceron2/_darcs/invento... which was designed to run Haskell directly in hardware.

It would be interesting to fuse this work with RISCV, http://riscv.org/

Re: SKI Combinator Calculus on an FPGA (2012)

#4

Post by alexcweiner » Sun, Nov 22, 2015, 1:33 AM UTC

jacquesm wrote: post #2

I love these 'compile to hardware' projects. Pity they didn't manage to get the speedup they hoped for from the parallel approach, curious how the next version benchmarks against this one.

This was my group's senior project. none of us are working on this anymore.

Re: SKI Combinator Calculus on an FPGA (2012)

#5

Post by manyoso » Mon, Nov 23, 2015, 5:03 PM UTC

alexcweiner wrote: post #4

jacquesm wrote: post #2

I love these 'compile to hardware' projects. Pity they didn't manage to get the speedup they hoped for from the parallel approach, curious how the next version benchmarks against this one.

This was my group's senior project. none of us are working on this anymore.

What group was this? University project?