Experimentation Projects

Hage
There are projects (under my supervision) that can be done within the context of an Experimentation Project. Some of these
can't be more than 7,5 Ects, in some cases a project of 15,0 is a possibility. 

---+++ Available projects

   * Build a variant of, say, vimdiff, for comparing source files modulo identifier changes and method reorderings (in the context of Java and C#)
   * Perform an empirical study of quality versus cost for soft typing analyes of Python (the implementation of these analyses is ready)
   * [[Master.Intern.ExperimentationProject#EhcBackend][Using EHC's backend as a backend for Helium]]
   * [[Master.Intern.ExperimentationProject#code_generation_for_type_classes][Code generation for type classes in Helium]]
   * [[Master.Intern.ExperimentationProject#TypeDirectives][Making type directives for Helium more mature]]
   * [[Master.Intern.ExperimentationProject#PlagiarismProg][Implementing and testing a generic plagiarism detection tool for computer programs]]
   * [[Master.Intern.ExperimentationProject#RepairSystems][Type error repair systems]]

---+++ Completed projects

   * [[Master.Intern.ExperimentationProject#Extending_PHP_Validator_to_deal][Extending PHP Validator to deal with objects]] -- Marcelo Sousa
   * Reimplementing PHP Validator in Haskell -- Henk Erik van der Hoek
   * Reimplementing Holmes for full Haskell -- Gerben Verburg
   * [[Master.Intern.ExperimentationProject#PlagiarismPapers][Implementing and testing a plagiarism detection tool for written papers]] -- Mathijs Swint
   * [[Master.Intern.ExperimentationProject#TypeClassesHelium][Adding type classes to Helium]] -- Jeroen Weijers

-- Main.JurriaanHage - 4 May 2012