My greatest academic contribution as of yet is my master thesis. I embarked on the topic of Stack Traces for Haskell. [PDF] (April 2014)
The implementation came to completion after the master thesis was written (documentation). After some refining of my code on my spare time, I sent a few patches for review. While the patches did not meet the bar, an active GHC Contributor, Ben Gamari, took on the challenge to rewrite and productionize my prototype which eventually got merged. The big picture roadmap is available on GHC’s wiki.
This is a list of published papers that have been accepted to conferences:
- Arash Rouhani, Neil Dantam, Mike Stilman, Software-Synthesis via LL(*) for Context-Free Robot Programs, [PDF] (May 2013). Neil Dantam held a tool demonstration at 4th Workshop on Formal Methods for Robotics and Automation
Some other work I’m proud of:
- Garcia, Juan; Jones, Harrison; Rouhani, Arash, Interception of moving objects with a robotic arm in a simulated environment [PDF] (December 2012)
- Josefsson, Jesper; Larsson, Sofia; Oleander, Linus; Rouhani-Kalleh, Arash; Sahlberg, Pontus; Ängeslevä, Jonas, Water - En ersättning för Fire, baserad på versionshantering [PDF] (May 2012)
- Rouhani, Arash, AlphaBiscuit - Image Recognition of Letter Biscuits [PDF] (May 2011)