alexgerdes.bib

@inproceedings{10.1145/3803401.3812045,
  author = {Kiesler, Natalie and Alshaigy, Bedour and Elglaly, Yasmine N. and Fronza, Ilenia and Gerdes, Alex and Huff, Earl W. and Jacobs, Sven and Lohr, Dominic and Pettit, Raymond and Scholl, Andreas and Schulz, Sandra and Smith, David H.},
  title = {Using the Potential of GenAI Tools for Accessibility},
  year = {2026},
  isbn = {9798400726330},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3803401.3812045},
  doi = {10.1145/3803401.3812045},
   booktitle = {Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education V. 2},
  pages = {731--732},
  numpages = {2},
  keywords = {generative ai, llms, accessibility, inclusion, diversity, equity, feedback, students, computing education, computer science},
  location = {Spain},
  series = {ITiCSE 2026}
}

@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
}