The 32nd CREST Open Workshop

Software Engineering for Systems Developed in Functional Languages

Date: 24 - 25 March 2014

Venue: Engineering Front Executive Suite, Roberts Building, UCL (Directions, or 'C5' on the map here, or Find it on Google maps.)

Overview:

Functional programming has become a mature practical tool for software development. Large complex functional programs require many of the software engineering techniques developed for other languages and paradigms, such as testing, slicing and refactoring. Some of these techniques, originally designed for imperative languages, such as amorphous slicing and refactoring may prove highly amendable to functional styles of programming. This workshop will bring together software engineers and functional programmers to concentrate on aspects of software engineering that can be extended, adapted and augmented for application to functional programs.

Programme: (Downloadable programme in PDF)

+++++++++24 March 2014 – DAY 1+++++++++

10:00 Arrival, Coffee and Pastries

10:30 Welcome and Introductions

Mark Harman, CREST Centre, SSE Group, Department of Computer Science, UCL

11:15 System tests from unit tests

Alan Mycroft, Computer Laboratory, University of Cambridge, UK

11:35 Discussion

11:50 Amorphous Program Slicing (Slides, Videos: 240p, 360p)

David Binkley, Computer Science Department, Loyola University Maryland, USA

12:10 Discussion

12:25 Gen-O-Fix: An embeddable framework for Dynamic Adaptive Genetic Improvement Programming

Jerry Swan, Computing Science and Mathematics, University of Stirling, UK

12:45 Discussion

13:00 Sandwich lunch at the venue

14:00 Static contract verification for Haskell

Dimitrios Vytiniotis, MSRC PPT group, Microsoft Research, Cambridge, UK

14:20 Discussion

14:35 ParaForming: Forming Parallel Functional Programs using Advanced Refactoring Techniques

Kevin Hammond, School of Computer Science, at the University of St. Andrews, UK

14:55 Discussion

15:10 Refreshments

15:40 Precise program slicing via term rewriting (Videos: 240p, 360p)

Raghavan Komondoor, Indian Institute of Science, India

16:00 Discussion

16:15 Higher Order Mutation Testing (Videos: 240p, 360p)

Yue Jia, CREST Centre, SSE Group, Department of Computer Science, UCL, UK

16:35 Discussion

16:50 Jenga: The design of an expressive and scalable build system (Slides, Videos: 240p, 360p)

Nick Chapman, Jane Street, UK

17:10 Discussion

17:25 Wrap-up

18:00 Close

+++++++++25 March 2014 – DAY 2+++++++++

9:30 Arrival, Coffee and Pastries

10:00 The Golden Trinity of Erlang: How Something Simple Has Real Business Value (Slides, Videos: 240p, 360p)

Torben Hoffmann, Erlang Solutions, Denmark

10:20 Discussion

10:35 Conditioned Slicing

Sebastian Danicic, Department of Computing - Goldsmiths College London, UK

10:55 Discussion

11:10 Refreshments

11:40 Breakout groups

12:40 Lunch at the venue

13:40 Plenary and feedback for groups

14:40 Circularities and Modularity in the Wild (Slides, Videos: 240p, 360p)

Don Syme, Microsoft Research, Cambridge, UK

15:00 Discussion

15:15 Refreshments

15:45 Refactoring functional programs: past and future (Slides, Videos: 240p, 360p)

Simon Thompson, School of Computing, University of Kent, UK

16:05 Discussion

16:20 Wrap-up

16:45 Close

Photos:

This workshop is supported by the following sponsors:



Registered Attendees: (Get registered Here)