WebHome
Chris Eidhof

Students
Name: Chris Eidhof
<br>
Email: chris+cs@eidhof.nl
<br>
Homepage: http://eidhof.nl
<br>
Tupil: http://tupil.com

----++ Planning

_indicate which courses or other actitivities you plan to take in which period (for convenience links to ST courses have been added; replace if necessary)_

-----+++ 2007-2008

   * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]] (one meeting each week during year 1 and 2)

-----++++ Period 1

   *  %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Master.Software Engineering][Software Engineering]]
   * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Master.TypeSystems][Type Systems]]

-----++++ Period 2

   *  %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Master.Implementation of Programming Languages][Implementation of Programming Languages]]
   *  %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Master.Software Architecture][Software Architecture]] 
   
-----++++ Period 3

   * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Master.Advanced Functional Programming][Advanced Functional Programming]]
   * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif Programmeren & Correctheid

-----++++ Period 4

   * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Master.Generic Programming][Generic Programming]]
   * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Stc.PowerOfPi][ST Colloquium]]

----+++ 2008-2009

----++++ Period 1

   * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif Dependent Types Seminar
   * Thesis Proposal

----++++ Period 2

   * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif Seminar Advanced compiler construction
   * Thesis Proposal

----++++ Period 3

   * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Master.AutomaticProgramAnalysis][Automatic Program Analysis]]
   * Research

----++++ Period 4

   * Research / Thesis Writing

-----++ Colloquium

Visited talks:

   1. [[Stc.GenerativeProgrammingByMixingJavaAndBytecode][Generative Programming by mixing Java and Bytecode]]
   1. [[Stc.DynamicArchiveManagement:AFrameworkForDynamicDatabaseSchemas][Dynamic Archive Management: a framework for dynamic database schemas]]
   1. [[Stc.Call-graphAnalysisOfPolymorphicConstructsInC#Sources][Call-graph analysis of polymorphic constructs in C# sources]]
   1. [[Stc.AGenericUsageAnalysisWithSubeffectQualifiers][A Generic Usage Analysis with Subeffect Qualifiers]]
   1. [[Stc.TheStructureOfTheEssentialHaskellCompiler,OrCopingWithCompilerComplexity][The Structure of the Essential Haskell Compiler: Coping with Compiler Complexity]]
   1. [[Stc.ImprovingAutomatedFeedback-BuildingAGenericRule-FeedbackGenerator][Improving Automated Feedback - Building a Generic Rule-Feedback Generator]]
   1. [[Stc.Curry,ATrulyIntegratedFunctionalLogicLanguage][Curry, A Truly Integrated Functional Logic Language]]
   1. [[Stc.JML:ANotationForSpecifyingTheDetailedDesignOfJavaClassesAndInterfaces][JML: a notation for specifying the detailed design of Java classes and interfaces]]
   1. [[Stc.DesignOfAFunctionalityLanguage][Design of a functionality language]]
   1. [[Stc.DevelopingInteractingDomainSpecificLanguages][Developing Interacting Domain Specific Languages]]
   1. [[Stc.QuickCheckingYourJavaClassesWithT2][QuickChecking your Java Classes with T2]]
   1. [[Stc.GeneratingSyntaxDiagramsFromEBNFWithAG][Generating syntax diagrams from EBNF with AG]]
   1. [[Stc.ProvingProgramPropertiesAutomaticallyWithAgdaLight][Proving Program Properties Automatically with AgdaLight]]
   1. [[Stc.TheDefaultCaseInHaskell:CounterpartyCreditRiskCalculationAtABNAMRO][The default case in Haskell: Counterparty credit risk calculation at ABN AMRO]]
   1. [[Stc.TheICFPContest2007][The ICFP Contest 2007]]
   1. [[Stc.ComparingProgramPlagiarismDetectionTools][Comparing program plagiarism detection tools]]
   1. [[Stc.JavaPathfinder][Java PathFinder]]
   1. [[Stc.IntermediateSequenceRemoval][Intermediate Sequence Removal]]
   1. [[Stc.Valgrind][Implement your own Dynamic Binary Analysis using the Valgrind Framework]]
   1. [[Stc.EMMA:AFreeCodeCoverageTool][EMMA: a free code coverage tool]]
   1. [[Stc.GenericViewsForGenericTypes][Generic Views For Generic Types]]
   1. [[Stc.TheSpringFramework][The Spring Framework]]
   1. [[Stc.CLP, A load & performance framework for the Conclusion Test Platform][CLP, A load & performance framework for the Conclusion Test Platform]]
   1. [[Stc.RelationsAsAFirst-ClassCitizenInJava][Relations as a First-Class citizen in Java]]
   1. [[TheZipper][The Zipper]]
   1. [[FSharp-AFunctionalProgrammingLanguageWithinTheDotNETFramework][F# - A Functional Programming Language within the .NET Framework]]
   1. [[Stc.JastAdd][JastAdd]]
   1. [[Stc.RainbowtablesAndPasswordProtection][Rainbowtables and Password protection]]
   1. [[Stc.VectorLLVA][Vector LLVA]]
   1. [[Stc.AbstractInterpretationOfFunctionalProgramsUsingAnAttributeGrammarSystem][Abstract interpretation of functional programs using an attribute grammar system]]
   1. [[Stc.The Burrows-Wheeler Transform]]
   1. [[Stc.Improving Type Error Messages for Generic Java]]
   1. [[Stc.Model-Based Testing with Spec Explorer]]
   1. [[Stc.Object-Relational Mapping with Hibernate]]
   1. [[Stc.Language Integrated Query (LINQ) for the DotNET Framework][Language Integrated Query (LINQ) for the .NET Framework]]
   1. [[Stc.Multiple inheritance]]

-----+++ Thesis Project

Project title: The Pesto Webframework <br>
Advisor: DoaitseSwierstra and AndresLoeh <br>
Start date: <br>
End date: 1 May, 2010

-----++++ Description

I am researching abstractions for web programming in Haskell. In particular, I am trying to build libraries where the users can only write correct programs by using the type system.
-----+++ Thesis