2016

Alex Gerdes, Bastiaan Heeren, Johan Jeuring, and L. Thomas Binsbergen. Ask-elle: an adaptable programming tutor for haskell giving automated feedback. International Journal of Artificial Intelligence in Education, pages 1–36, 2016.

2015

Ulf Norell and Alex Gerdes. Attribute grammars in Erlang. Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang, September 2015, Vancouver, BC, Canada

Alex Gerdes, Nick Smallbone, John Hughes, and Meng Wang. Linking unit-tests and properties. Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang, September 2015, Vancouver, BC, Canada

Thomas Arts, Kirill Bogdanov, Alex Gerdes, and John Hughes. Graphical editing support for QuickCheck models. Testing: Academic & Industrial Conference – Practice and Research Techniques,  April 2015

2014

M. Skoglund, H. Svensson, H. Eriksson, T. Arts, R. Johansson, and A. Gerdes. Checking verification compliance of technical safety requirements on the autosar platform using annotated semi-formal executable models. In A. Bondavalli, A. Ceccarelli, and F. Ortmeier, editors, Computer Safety, Reliability, and Security, volume 8696 of Lecture Notes in Computer Science, pages 19–26. Springer International Publishing, 2014.

Johan Jeuring, Thomas van Binsbergen, Alex Gerdes, and Bastiaan Heeren. Model solutions and properties for diagnosing student programs in Ask-Elle, accepted by Computer Science Education Research Conference (CSERC) 2014, November 2014.

PhD abstract published in: Graham Hutton (2014). PhD Abstracts. Journal of Functional Programming, 24, pp 474-522

2013

Thomas Arts, Alex Gerdes, and Magnus Kronqvist. Requirements on automatically generated test cases. In Proceedings of ATSE 2013: 4th International Workshop Automating Test Case Design, Selection and Evaluation, September 2013.

Rolf Johansson, Henrik Eriksson, Hans Svensson, Kenneth Östberg, Thomas Arts, Alex Gerdes and Martin Skoglund. Don’t Judge Software by Its (Code) Coverage. In SAFECOMP 2013 – Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse : France (2013).

2012

Gerdes, A. Ask-Elle: a Haskell Tutor. PhD thesis. Open Universiteit Nederland, Heerlen, 2012.

Alex Gerdes, Johan Jeuring, and Bastiaan Heeren. Teachers and students in charge — Using annotated model solutions in a functional programming tutor.  In Proceedings of EC-TEL 2012: European Conference on Technology Enhanced Learning, Saarbrücken, September 2012.

Johan Jeuring, Alex Gerdes, and Bastiaan Heeren. Ask-Elle: A Haskell tutor – Demonstration -. In Proceedings EC-TEL 2012: the 7th European Conference on Technology Enhanced Learning, Springer, 2012. Also available as Technical report Utrecht University UU-CS-2012-010.

Alex Gerdes, Johan Jeuring, and Bastiaan Heeren. An Interactive Functional Programming Tutor. In Proceedings of ITiCSE 2012: 17th Annual Conference on Innovation and Technology in Computer Science Education, Haifa, July 2012.

2011

Johan Jeuring, Alex Gerdes, and Bastiaan Heeren. A programming tutor for Haskell. In Proceedings of CEFP 2011: Central European School on Functional Programming, Budapest, June 2011.

Alex Gerdes, Bastiaan Heeren, and Johan Jeuring. Properties of Exercise Strategies. In Hélène Kirchner and César Muñoz, editors, Proceedings of IWS 2010: 1st International Workshop on Strategies in Rewriting, Proving, and Programming, Electronic Proceedings in Theoretical Computer Science, 2011. An extended version will appear as Technical report Utrecht University UU-CS-2010-028, 2011.

2010

Alex Gerdes, Johan Jeuring and Bastiaan Heeren. Using Strategies for Assessment of Programming Exercises. In Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, pages 441 – 445, ACM, 2010. Also available as Technical report Utrecht University UU-CS-2009-031, 2009.

Bastiaan Heeren, Johan Jeuring, and Alex Gerdes. Specifying rewrite strategies for interactive exercises. In Mathematics in Computer Science 3(3), 349-370, 2010. An earlier version appeared as Technical report Utrecht University UU-CS-2009-003, 2009.

2009

Alex Gerdes, Johan Jeuring and Bastiaan Heeren. Research poster: Strategies for Exercise Assistants. In Scientific ICT-Research Event Netherlands (SIREN) 2009, Twente University.

Alex Gerdes, Bastiaan Heeren and Johan Jeuring. Constructing Strategies for Programming. In José Cordeiro, Boris Shishkov, Alexander Verbraeck and Markus Helfert, editors, Proceedings of the First International Conference on Computer Supported Education (CSEDU), pages 65-72. INSTICC Press, 2009. Also available as Technical report Utrecht University UU-CS-2008-049, 2008.

Bastiaan Heeren, Johan Jeuring, and Alex Gerdes. Strategies for exercises. Technical report Utrecht University UU-CS-2009-003, 2009. This report is superseded by the Mathematics in Computer Science paper.

2008

Alex Gerdes, Bastiaan Heeren, Johan Jeuring, and Sylvia Stuurman. Feedback Services for Exercise Assistants. In D. Remenyi, editor, The Proceedings of the 7th European Conference on e-Learning, pages 402-410. Academic Publishing, 2008. Also available as a Technical Report of the Utrecht University Technical report Utrecht University UU-CS-2008-018

Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. D. S. Oliveira. Comparing Libraries for Generic Programming in Haskell. In the proceedings of the ACM SIGPLAN Haskell Symposium 2008, Victoria, BC, Canada, September 25, 2008. Also available as Technical Report of Utrecht University  Technical report Utrecht University UU-CS-2008-010

Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, and Alex Gerdes. Specifying strategies for exercises. In Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, editors, AISC/Calculemus/MKM 2008, LNAI 5144, pages 430-445, Springer-Verlag 2008. An extended version is available as Technical report Utrecht University UU-CS-2008-001

2007

Alex Gerdes. Comparing Generic Programming Libraries. Master’s thesis, Open University/Utrecht University, 2007

BibTeX: alexgerdes.bib

 

 

How to reach me

dr. ir. Alex Gerdes

Chalmers
Rännvägen 6
412 96 Göteborg, Sweden
Room: 6479 (EDIT building)
(λ n . n@chalmers.se) alexg

GPG public key

Quote

"You do not really understand something unless you can explain it to your grandmother." (A. Einstein)