WebHome
Center
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
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