Alex Gerdes

21 papers A 1B 3C 2Journal 2Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
Using GHC core to Normalise Student Programs.
TFP
Matilda Blomqvist, Alex Gerdes
2018 — conf
Saint: An API-Generic Type-Safe Interpreter.
TFP
Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes
2018 — conf
Understanding formal specifications through good examples.
Erlang Workshop
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang
2017 J jnl
Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback.
Int. J. Artif. Intell. Educ.
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen
2015 — conf
Attribute grammars in Erlang.
Erlang Workshop
Ulf Norell, Alex Gerdes
2015 — conf
Graphical editing support for QuickCheck models.
ICST Workshops
Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes
2015 — conf
Linking unit tests and properties.
Erlang Workshop
Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang
2014 — conf
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models.
SAFECOMP Workshops
Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes
2014 — conf
Model solutions and properties for diagnosing student programs in Ask-Elle.
CSERC
Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren
2013 — conf
Don't Judge Software by Its (Code) Coverage.
CARS@SAFECOMP
Rolf Johansson, Hans Eriksson, Hans Svensson, Kenneth Östberg, Thomas Arts, Alex Gerdes, Martin A. Skoglund
2013 C conf
Requirements on automatically generated random test cases.
FedCSIS
Thomas Arts, Alex Gerdes, Magnus Kronqvist
2012 B conf
An interactive functional programming tutor.
ITiCSE
Alex Gerdes, Johan Jeuring, Bastiaan Heeren
2012 B conf
Ask-Elle: A Haskell Tutor - Demonstration.
EC-TEL
Johan Jeuring, Alex Gerdes, Bastiaan Heeren
2012 B conf
Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor.
EC-TEL
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
2011 — conf
A Programming Tutor for Haskell.
CEFP
Johan Jeuring, Alex Gerdes, Bastiaan Heeren
2010 — conf
Properties of Exercise Strategies
IWS
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
2010 J jnl
Specifying Rewrite Strategies for Interactive Exercises.
Math. Comput. Sci.
Bastiaan Heeren, Johan Jeuring, Alex Gerdes
2010 A conf
Using strategies for assessment of programming exercises.
SIGCSE
Alex Gerdes, Johan Jeuring, Bastiaan Heeren
2009 — conf
Constructing Strategies for Programming.
CSEDU (1)
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
2008 C conf
Comparing libraries for generic programming in haskell.
Haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
2008 — conf
Specifying Strategies for Exercises.
AISC/MKM/Calculemus
Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes