Chris Eidhof

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

• Software Technology Colloquium (one meeting each week during year 1 and 2)

Period 1

• Software Engineering
• Type Systems

Period 2

• Implementation of Programming Languages
• Software Architecture

Period 3

• Advanced Functional Programming
• Programmeren & Correctheid

Period 4

• Generic Programming
• ST Colloquium

2008-2009

Period 1

• Dependent Types Seminar
• Thesis Proposal

Period 2

• Seminar Advanced compiler construction
• Thesis Proposal

Period 3

• Automatic Program Analysis
• Research

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