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)

Gabrielle Anderson, Department of Computer Science, UCL, UK
Lennart Augustsson, Standard Chartered Bank, UK
Benjamin Aziz, School of Computing, Portsmouth University, UK
Mohamed Bader-El-Den, School of Computing, Portsmouth University, UK
Earl Barr, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
David Binkley, Computer Science Department, Loyola University Maryland, USA
Nick Chapman, Jane Street, UK
Xavier Clerc, INRIA, France
Sebastian Danicic, Department of Computing - Goldsmiths College London, UK
Neil Davies, Predictable Network Solutions Ltd, UK
Michael Epitropakis, Computing Science and Mathematics, University of Stirling, UK
Olle Fredriksson, School of Computer Science, University of Birmingham, UK
Dennis Furey, UK
Dan R. Ghica, School of Computer Science, University of Birmingham, UK
George Giorgidze, Standard Chartered Bank, UK
Kevin Hammond, School of Computer Science, at the University of St. Andrews, UK
Mark Harman, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
Torben Hoffmann, Erlang Solutions, Denmark
Syed Islam, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
Yue Jia, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
Dongsun Kim, University of Luxembourg, Luxembourg
Jens Krinke, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
Raghavan Komondoor, Indian Institute of Science, India
Michael Laurence, Department of Computer Science, University of Sheffield, UK
Alan Mycroft, Computer Laboratory, University of Cambridge, UK
Justyna Petke, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
Peer Stritzinger, Dipl.Phys Peer Stritzinger GmbH, Germany
Jerry Swan, Computing Science and Mathematics, University of Stirling, UK
Don Syme, Microsoft Research, Cambridge, UK
Simon Thompson, School of Computing, University of Kent, UK
Christian Urban, Department of Informatics, King's College London,UK
Dimitrios Vytiniotis, MSRC PPT group, Microsoft Research, Cambridge, UK
Meng Wang, Chalmers University of Technology, Sweden
John R. Woodward, Computing Science and Mathematics, University of Stirling, UK
Shin Yoo, CREST Centre, SSE Group, Department of Computer Science, UCL, UK

This page was last modified on 20 Apr 2018.