Chris Eidhof

Students
Name: Chris Eidhof
Email: chris+cs@eidhof.nl
Homepage: http://eidhof.nl
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

Period 1

Period 2

Period 3

Period 4

2008-2009

Period 1

  • choice-yes.gif Dependent Types Seminar
  • Thesis Proposal

Period 2

  • choice-yes.gif Seminar Advanced compiler construction
  • Thesis Proposal

Period 3

Period 4

  • Research / Thesis Writing

Colloquium

Visited talks:

  1. Generative Programming by mixing Java and Bytecode
  2. Dynamic Archive Management: a framework for dynamic database schemas
  3. Call-graph analysis of polymorphic constructs in C# sources?
  4. A Generic Usage Analysis with Subeffect Qualifiers
  5. The Structure of the Essential Haskell Compiler: Coping with Compiler Complexity
  6. Improving Automated Feedback - Building a Generic Rule-Feedback Generator
  7. Curry, A Truly Integrated Functional Logic Language
  8. JML: a notation for specifying the detailed design of Java classes and interfaces
  9. Design of a functionality language
  10. Developing Interacting Domain Specific Languages
  11. QuickChecking your Java Classes with T2
  12. Generating syntax diagrams from EBNF with AG
  13. Proving Program Properties Automatically with AgdaLight
  14. The default case in Haskell: Counterparty credit risk calculation at ABN AMRO
  15. The ICFP Contest 2007
  16. Comparing program plagiarism detection tools
  17. Java PathFinder
  18. Intermediate Sequence Removal
  19. Implement your own Dynamic Binary Analysis using the Valgrind Framework
  20. EMMA: a free code coverage tool
  21. Generic Views For Generic Types
  22. The Spring Framework
  23. CLP, A load & performance framework for the Conclusion Test Platform
  24. Relations as a First-Class citizen in Java
  25. The Zipper?
  26. F# - A Functional Programming Language within the .NET Framework?
  27. JastAdd
  28. Rainbowtables and Password protection
  29. Vector LLVA
  30. Abstract interpretation of functional programs using an attribute grammar system
  31. Stc.The Burrows-Wheeler Transform
  32. Stc.Improving Type Error Messages for Generic Java
  33. Stc.Model-Based Testing with Spec Explorer
  34. Stc.Object-Relational Mapping with Hibernate
  35. Language Integrated Query (LINQ) for the .NET Framework
  36. Stc.Multiple inheritance

Thesis Project

Project title: The Pesto Webframework
Advisor: DoaitseSwierstra? and AndresLoeh?
Start date:
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