Dr Chris Brown

Postdoctoral Research Fellow

School of Computer Science
University of St Andrews
North Haugh, St Andrews
KY16 9SX

cmb21 (at) st-andrews (dot) ac (dot) uk

Research Interests

My main research interest is in the field of functional programming, in particular the functional language Haskell. In particular, I am interested in transformation techniques (in the style of Burstall and Darlington), refactoring and analysing Haskell programs. I am currently a research fellow on ParaPhrase. A 3-year FP7 funded EU project that started on 1st October 2011. Total cost 3.54 million euros.
In addition to this, I am also working on implementing parallel Haskell Eden Skeletons, as part of the SCIEnce project, with Professor Kevin Hammond.

Specific projects that I am working on include:

Parallel Patterns for Adaptive Heterogeneous Multicore Systems: ParaPhrase.
Refactoring Haskell Programs: HaRe.
Parallel Skeletons for Symbolic Computation: SCIEnce.
SymGrid-Par: SymGrid-Par.
CASH: the Computer Algebra SHell.

I made a number of screencasts for SymGrid-Par, which can be accessed here.
Linear Solver.
Orbit.
SymGrid-Par.

Publications

Most of my research record is on PURE, more details of unpublished papers, technical reports and miscellaneous items can be found below.

Journal Papers

Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation. S. Linton, K. Hammond, A. Konovolov, C. Brown, P. W. Trinder, H-W. Loidl, P. Horn and D. Roozemond. Journal of Symbolic Computation, special issue, 2011. Stephen Watt, editor.

Conference Papers

The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems. Kevin Hammond, Marco Aldinucci, Christopher Brown, Francesco Cesarini, Marco Danelutto, Horacio Gonzalez-Velez, Peter Kilpatrick, Rainer Keller, Thomas N ̈atschlager and Gilad Shainer Gilad Shainer. In LNCS post-proceedings of FMCO 2011. To Appear. Turin, Italy, October 2011.
Paraphrasing: Generating Parallel Programs using Refactoring. Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schoener and Tino Bredding. In LNCS post-proceedings of FMCO 2011. To Appear. Turin, Italy, October 2011.
A Language-Independent Parallel Refactoring Framework Christopher Brown, Kevin Hammond, Marco Danelutto and Peter Kilpatrick. In the Fifth ACM Workshop on Refactoring Tools. To Appear. Rapperswil, Switzerland. June. 2012.
Paraforming: Forming Haskell Programs using Novel Refactoring Techniques. Christopher Brown, Hans-Wolfgang Loidl and Kevin Hammond. In Ricardo Pena, editor, Twelth Symposium on Trends in Functional Programming, Madrid May 2011.
Improving your Cash flow: the Computer Algebra SHell. Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold and Kevin Hammond. In Juriaan Hage, editor, 22nd Symposium on Implementation and Application of Function Languages. September 2010.
An Expression Processor: A Case Study in Refactoring Haskell Programs. Christopher Brown, Huiqing Li, and Simon Thompson. In Rex Page, editor, Eleventh Symposium on Trends in Functional Programming, page 15pp, May 2010.
Clone Detection and Elimination for Haskell. Christopher Brown and Simon Thompson. In John Gallagher and Janis Voigtlander, editors, PEPM'10: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pages 111-120. ACM Press, January 2010.

Technical Reports/Unpublished/Ideas in Progress

Ever Decreasing Circles: a Skeleton for Parallel Orbit Calculations in Eden. Christopher Brown and Kevin Hammond. In Rex Page, editor, Eleventh Symposium on Trends in Functional Programming, Draft Proceedings, page 15pp, May 2010.
Refactorings that Split and Merge Programs. Christopher Brown and Simon Thompson. In Olaf Chitil, editor, Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007. Freiburg, Germany. September 2007.

Miscellaneous

Tool Support for Refactoring Haskell Programs. Christopher Brown. PhD thesis, School of Computing, University of Kent, Canterbury, Kent, UK, September 2008.

Talks

Here is a list of some recent talks that I have given:

Generating Parallel Programs using Refactoring. Slides. At the NAIS Workshop on Skeletons, Heterogeneous Systems and Domain Specific Optimization. April 20th, 2012. University of Edinburgh, School of Informatics.