alexgerdes.bib
@inproceedings{blomqvist-25,
author = {Matilda Blomqvist and Alex Gerdes},
booktitle = {To appear in Proceeding of: Trends in Functional Programming},
title = {Using GHC-Core to Normalise Student Programs},
year = {2025}
}
@inproceedings{algehed-18,
author = {Maximilian Algehed and S{\'o}lr{\'u}n Halla Einarsdottir and Patrik Jansson and Alex Gerdes},
booktitle = {{To appear in Proceeding of: Trends in Functional Programming}},
date-added = {2018-10-05 23:38:15 +0200},
date-modified = {2018-10-05 23:43:56 +0200},
title = {Type Safe Interpreters for Free},
year = {2018}
}
@inproceedings{gerdes-18,
author = {Gerdes, Alex and Hughes, John and Smallbone, Nicholas and Hanenberg, Stefan and Ivarsson, Sebastian and Wang, Meng},
booktitle = {Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang},
date-added = {2018-10-05 23:36:10 +0200},
date-modified = {2018-10-05 23:36:52 +0200},
location = {St. Louis, MO, USA},
pages = {13--24},
series = {Erlang 2018},
title = {Understanding Formal Specifications Through Good Examples},
year = {2018},
bdsk-url-1 = {http://doi.acm.org/10.1145/3239332.3242763},
bdsk-url-2 = {https://doi.org/10.1145/3239332.3242763}
}
@inproceedings{jeuring-12,
author = {Johan Jeuring and Alex Gerdes and Bastiaan Heeren},
booktitle = {Proceedings EC-TEL 2012: the 7th European Conference on Technology Enhanced Learning},
date-added = {2016-04-04 18:31:08 +0000},
date-modified = {2016-04-04 18:32:11 +0000},
publisher = {Springer},
title = {Ask-Elle: A Haskell tutor -- Demonstration},
year = {2012}
}
@inproceedings{gerdes-12-1,
address = {Saarbr{\"u}cken},
author = {Alex Gerdes and Johan Jeuring and Bastiaan Heeren},
booktitle = {Proceedings of EC-TEL 2012: European Conference on Technology Enhanced Learning},
date-added = {2016-04-04 18:28:54 +0000},
date-modified = {2016-04-04 18:30:29 +0000},
title = {Teachers and students in charge --- Using annotated model solutions in a functional programming tutor},
year = {2012}
}
@article{gerdes-16,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan and Binsbergen, L. Thomas},
date-added = {2016-02-08 07:58:22 +0000},
date-modified = {2018-10-05 23:50:59 +0200},
journal = {International Journal of Artificial Intelligence in Education},
pages = {1--36},
title = {Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback},
year = {2016},
bdsk-url-1 = {http://dx.doi.org/10.1007/s40593-015-0080-x}
}
@inproceedings{gerdes-15,
author = {Gerdes, Alex and Hughes, John and Smallbone, Nick and Wang, Meng},
booktitle = {Proceedings of the 14th ACM SIGPLAN Workshop on Erlang},
date-added = {2015-09-24 21:26:52 +0000},
date-modified = {2015-12-06 22:43:43 +0000},
location = {Vancouver, BC, Canada},
numpages = {8},
pages = {19--26},
publisher = {ACM},
series = {Erlang 2015},
title = {{Linking Unit Tests and Properties}},
year = {2015},
bdsk-url-1 = {http://doi.acm.org/10.1145/2804295.2804298},
bdsk-url-2 = {http://dx.doi.org/10.1145/2804295.2804298}
}
@inproceedings{norell-15,
author = {Norell, Ulf and Gerdes, Alex},
booktitle = {Proceedings of the 14th ACM SIGPLAN Workshop on Erlang},
date-added = {2015-09-24 21:23:37 +0000},
date-modified = {2015-12-06 22:43:17 +0000},
location = {Vancouver, BC, Canada},
numpages = {12},
pages = {1--12},
publisher = {ACM},
series = {Erlang 2015},
title = {{Attribute Grammars in Erlang}},
year = {2015},
bdsk-url-1 = {http://doi.acm.org/10.1145/2804295.2804296},
bdsk-url-2 = {http://dx.doi.org/10.1145/2804295.2804296}
}
@inproceedings{arts-15,
author = {Thomas Arts and Kirill Bogdanov and Alex Gerdes and Johh Hughes},
booktitle = {{To appear in Proceeding of: Testing Academic and Industrial Conference -- Practice and Research Techniques}},
date-added = {2015-03-19 21:12:44 +0000},
date-modified = {2015-03-19 21:16:03 +0000},
title = {{Graphical editing support for QuickCheck models}},
year = {2015}
}
@incollection{skoglund-14,
author = {Skoglund, Martin and Svensson, Hans and Eriksson, Henrik and Arts, Thomas and Johansson, Rolf and Gerdes, Alex},
booktitle = {Computer Safety, Reliability, and Security},
date-added = {2014-10-31 10:15:11 +0000},
date-modified = {2014-10-31 10:15:11 +0000},
editor = {Bondavalli, Andrea and Ceccarelli, Andrea and Ortmeier, Frank},
pages = {19-26},
publisher = {Springer International Publishing},
series = {Lecture Notes in Computer Science},
title = {Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models},
volume = {8696},
year = {2014},
bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-10557-4_4}
}
@inproceedings{jeuring-14,
author = {Johan Jeuring and Thomas van Binsbergen and Alex Gerdes and Bastiaan Heeren},
booktitle = {Computer Science Education Research Conference (CSERC)},
date-added = {2014-10-31 10:11:25 +0000},
date-modified = {2014-10-31 10:13:20 +0000},
title = {Model solutions and properties for diagnosing student programs in Ask-Elle},
year = {2014}
}
@article{hutton-14,
author = {Graham Hutton},
date-added = {2014-10-31 10:06:52 +0000},
date-modified = {2018-10-06 00:07:28 +0200},
journal = {Journal of Functional Programming},
number = {(the abstract of my PhD thesis is included)},
pages = {474--522},
title = {PhD Abstracts},
volume = {24},
year = {2014},
bdsk-url-1 = {http://journals.cambridge.org/article_S0956796814000215},
bdsk-url-2 = {http://dx.doi.org/10.1017/S0956796814000215}
}
@inproceedings{johansson-13,
address = {Toulouse, France},
author = {Johansson, Rolf and Eriksson, Hans and Svensson, Hans and {\"O}stberg, Kenneth and Arts, Thomas and Gerdes, Alex and Skoglund, Martin},
booktitle = {{SAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness \& Safety) of the 32nd International Conference on Computer Safety, Reliability and Security}},
date-added = {2014-10-31 10:04:23 +0000},
date-modified = {2014-10-31 10:05:16 +0000},
editor = {{Matthieu Roy}},
title = {{Don't Judge Software by Its (Code) Coverage}},
year = {2013},
bdsk-url-1 = {https://hal.archives-ouvertes.fr/hal-00848458}
}
@inproceedings{arts-13,
author = {Thomas Arts and Alex Gerdes and Magnus Kronqvist},
booktitle = {Proceedings of the 2013 Federated Conference on Computer Science and Information Systems},
date-added = {2014-10-31 10:03:05 +0000},
date-modified = {2014-10-31 10:03:31 +0000},
editor = {M. Ganzha, L. Maciaszek, M. Paprzycki},
pages = {pages 1335--1342.},
publisher = {IEEE},
title = {Requirements on automatically generated random test cases},
year = {2013}
}
@phdthesis{gerdes-phd,
author = {Alex Gerdes},
school = {{Open Universiteit Nederland}},
title = {{AskElle: a Haskell tutor}},
year = {2012}
}
@inproceedings{gerdes-12-2,
author = {Alex Gerdes and Johan Jeuring and Bastiaan Heeren},
booktitle = {In Proceedings of ITiCSE 2012: 17th ACM Annual Conference on Innovation and Technology in Computer Science Education},
date-modified = {2016-04-04 18:30:50 +0000},
title = {{An Interactive Functional Programming Tutor}},
year = {2012}
}
@inproceedings{gerdes-11,
author = {Alex Gerdes and Bastiaan Heeren and Johan Jeuring},
booktitle = {In Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming},
title = {{Properties of Exercise Strategies}},
year = {2010}
}
@inproceedings{jeuring-11,
author = {Johan Jeuring and Alex Gerdes and Bastiaan Heeren},
booktitle = {In Proceedings of CEFP 2011: Central European School on Functional Programming},
date-added = {2011-09-29 10:37:51 +0200},
date-modified = {2015-03-25 20:34:32 +0000},
title = {{A Programming Tutor for Haskell}},
year = {2011}
}
@article{heeren-10,
author = {Bastiaan Heeren and Johan Jeuring and Alex Gerdes},
date-added = {2010-03-23 23:09:45 +0000},
date-modified = {2010-03-23 23:11:58 +0000},
journal = {Mathematics in Computer Science},
title = {{Specifying Rewrite Strategies for Interactive Exercises}},
year = {2010}
}
@inproceedings{gerdes-10,
author = {Alex Gerdes and Johan Jeuring and Bastiaan Heeren},
booktitle = {Proceedings of the 41st ACM technical symposium on Computer Science Education},
date-added = {2010-02-23 15:17:18 +0100},
date-modified = {2010-03-23 23:23:19 +0000},
pages = {441-445},
title = {{Using Strategies for Assessment of Programming Exercises}},
year = {2010}
}
@inproceedings{gerdes-09,
author = {Alex Gerdes and Bastiaan Heeren and Johan Jeuring},
booktitle = {Proceedings of the First International Conference on Computer Supported Education},
date-added = {2009-03-31 14:58:09 +0200},
date-modified = {2009-09-06 22:31:34 +0200},
editor = {Jos\'e Cordeiro and Boris Shishkov and Alexander Verbraeck and Markus Helfert},
month = {March},
pages = {65-72},
publisher = {INSTICC Press},
title = {{Constructing Strategies for Programming}},
year = {2009}
}
@inproceedings{gerdes-08,
author = {Alex Gerdes and Bastiaan Heeren and Johan Jeuring and Sylvia Stuurman},
booktitle = {The Proceedings of the 7th European Conference on e-Learning},
date-added = {2008-07-19 22:52:05 +0200},
date-modified = {2008-11-13 21:12:49 +0100},
editor = {Dan Remenyi},
pages = {402-410},
publisher = {Academic Publishing Limited},
read = {Yes},
title = {{Feedback Services for Exercise Assistants}},
urlpdf = {http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-018.pdf},
year = 2008
}
@inproceedings{heeren-08,
author = {Bastiaan Heeren and Johan Jeuring and Arthur van Leeuwen and Alex Gerdes},
booktitle = {AISC/Calculemus/MKM 2008},
date-modified = {2008-07-19 22:57:00 +0200},
editor = {Serge Autexier and John Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk},
pages = {430 -- 445},
publisher = {Springer-{V}erlag},
series = {LNAI 5144},
title = {{Specifying Strategies for Exercises}},
year = 2008
}
@inproceedings{rodriguez-08,
author = {Alexey {Rodriguez Yakushev} and Johan Jeuring and Patrik Jansson and Alex Gerdes and Oleg Kiselyov and Bruno {C. d. S. Oliviera}},
booktitle = {Proceedings of the ACM SIGPLAN Haskell Symposium},
date-modified = {2008-11-13 21:22:16 +0100},
title = {{Comparing Libraries for Generic Programming in Haskell}},
urlpdf = {http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-010.pdf},
year = 2008
}
@mastersthesis{gerdes-07,
author = {Alex Gerdes},
date-modified = {2008-07-19 23:00:28 +0200},
school = {Open Universiteit Nederland},
title = {{Comparing Generic Programming Libraries}},
year = 2007
}