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 |
|||
Interval |
Lecturer | Title of the presentation |
Abstract |
|---|---|---|---|
| 16:00-16:20 | Pavol Macko, Viliam Slodičák | Some new approaches in functional programming based on categories | |
| 16:20-16:40 | Ábel Sinkovics | Monadic error handling in C++ template metaprograms | |
| 16:40-17:00 | Bernhard Pickenbrock | Development of a multi-core implementation of Eden | |
| 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 | |
| 17:30-17:50 | Alex Cole, Alistair McEwan, and Satnam Signh |
A Systems Engineering Approach To Functional EDSL Development | |
| 17:50-18:10 | Judit Kőszegi | Reasoning about Erlang programs composed of components with known semantic properties | |
| 18:10-18:20 | BREAK | ||
| 18:20-18:40 | Eugen Jiresch | Extending the Interaction Nets Calculus by Generic Rules | |
| 18:40-19:00 | Dániel Horpácsi | Generating programs and test properties for validating impact analysis based test selection | |
Thursday 23.6 |
|||
| 17:00-17:20 | Gábor Páli | Extending Little Languages into Big Systems | |
| 17:20-17:40 | Dorián Batha, Artyom Antyipin, Attila Góbi, and Tamás Kozsik |
Grouping strategies for data parallel evaluation | |
| 17:40-18:00 | Roeland Douma | Nested arrayes in Single Assignment C | |
