CEFP2011 logo


June 14-24, 2011

Eötvös Loránd University, Budapest, Hungary

PhD Workshop programme and abstracts

There will be 20 minutes for each presentation (including 15 minutes for the presentation and 5 minutes for the questions).

Saturday 18.6



Title of the presentation


16:00-16:20 Pavol Macko, Viliam Slodičák Some new approaches in functional programming based on categories PDF
16:20-16:40 Ábel Sinkovics Monadic error handling in C++ template metaprograms PDF
16:40-17:00 Bernhard Pickenbrock Development of a multi-core implementation of Eden PDF
17:00-17:10 BREAK
17:10-17:30 Dániel Leskó A new code coverage metric and an automated test data generation method for computation heavy programs PDF
17:30-17:50 Alex Cole, Alistair McEwan,
and Satnam Signh
A Systems Engineering Approach To Functional EDSL Development PDF
17:50-18:10 Judit Kőszegi Reasoning about Erlang programs composed of components with known semantic properties PDF
18:10-18:20 BREAK
18:20-18:40 Eugen Jiresch Extending the Interaction Nets Calculus by Generic Rules PDF
18:40-19:00 Dániel Horpácsi Generating programs and test properties for validating impact analysis based test selection PDF

Thursday 23.6

17:00-17:20 Gábor Páli Extending Little Languages into Big Systems PDF
17:20-17:40 Dorián Batha, Artyom Antyipin,
Attila Góbi, and Tamás Kozsik
Grouping strategies for data parallel evaluation PDF
17:40-18:00 Roeland Douma Nested arrayes in Single Assignment C PDF