Michiel Overeem

Name: Michiel Overeem
Email: movereem at cs dot uu dot nl

Planning

2005-2006

• Software Technology Colloquium (Attend 30 talks) show/hide details
  • 2005-09-08 Koen Muilwijk - Extending XSLT
  • 2005-09-15 Rene de Groot - Design and Implementation of Embedded DSL
  • 2005-09-22 Martin Bravenboer - Generalized Type-Based Disambiguation of Meta ...
  • 2005-10-06 Atze Dijkstra - Ruler: programming type rules
  • 2005-10-13 Robert Verrips - A Survey of Legacy Migration
  • 2005-10-20 Eelco Dolstra - Secure Sharing Between Untrusted Users in a ...
  • 2005-11-14 Oege de Moor - Language Features for Program Monitoring
  • 2005-11-17 Lee Provoost - The evolution of the Java memory model
  • 2005-12-01 Ivaylo Gochkov - AnWeb: a system for automatic support to ...
  • 2006-01-12 Klaas van Schelven - Ajax: Rich internet applications
  • 2006-01-18 Prof. Dr. Andreas Zeller - Mining Metrics to Predict Component ...
  • 2006-01-19 Koen Muilwijk - Automated Analysis of Unit Tests to Improve ...
  • 2006-01-26 Niels Reyngoud - Aspect Oriented Programming and Design Patterns
  • 2006-02-09 Gerrit van den Geest - Typed Quote/Antiquote
  • 2006-02-16 Armijn Hemel - NixOS: A Status Report
  • 2006-03-02 Jurriaan Hage - Introduction to program analysis
  • 2006-03-09 Arie Middelkoop - Functional Metapost Tool Demo
  • 2006-03-16 Johan Jeuring - Typed Contracts for Functional Programming
  • 2006-04-12 Niels van der Velden - ICP: Interactive C Parallelization
  • 2006-04-13 Richard Nieuwenhuis - Simplifying EJB development with EJB 3.0
  • 2006-04-27 Merijn de Jonge (Philips NatLab) - The State of Art of Software ...
  • 2006-05-04 Richard Nieuwenhuis - The Software Product Management Workbench: ...
  • 2006-06-08 Elmar Keij - Introduction to Java 2 Micro Edition (J2ME)
  • 2006-06-15 Huib van den Brink - The current and future optimizations ...
  • 2006-06-29 Brad Alexander - From Natural Semantics to Stratego
  • 2006-10-05 Bastiaan, Stefan, Johan, Alexey - The ICFP Programming Contest
  • 2006-10-19 Sander Mak - The Pizza Compiler: extending Java in a functional way
  • 2006-11-09 Eric Bouwers - PHP-Sat - Analyzing PHP
  • 2006-11-23 Doaitse Swierstra - Rewriting Haskell Strings
  • 2006-12-14 Thomas van Noort - Building GUIs in Haskell
  • 2007-01-11 Huib van den Brink - A framework to distil SQL queries ...
  • 2007-01-18 Joost Verhoog - Strictifying Attribute Evaluation
  • 2007-01-25 Alexey Rodriguez Yakushev - Avoiding the laziness tax
  • 2007-02-08 Arie Middelkoop - Evolution of a Haskell Programmer
  • 2007-02-22 Gerrit van den Geest - Constraints for Type Class ...
  • 2007-03-08 Mark Snyder - Software Transactional Memory
  • 36 out of 30 done so far
• Software Technology Colloquium (Give a talk) show/hide details
  • 2006-12-21 Beyond functional programming in Haskell: an introduction to OCaml

    At the Universiteit Utrecht, the programming language Haskell is used to teach students the concepts of functional programming. The beautiful concepts of strong typing, laziness, and higher-order functions are taught. There is, however, more to functional programming than Haskell.
    
    In this talk the functional programming language OCaml will be introduced. Just like Haskell, OCaml is strongly typed and has higher-order functions. Expressions are by default evaluated in a strict way, although expressions can be evaluated lazily by means of annotations. OCaml offers the programmer a very powerful module system, which enables the programmer to parameterize modules. This leads to a new level of modularization of your applications. On top of the functional features, OCaml supports the object-oriented paradigm. This gives you the opportunity to combine higher-order functions and objects, which is a powerful combination.
    
    This presentation provides a gentle introduction to OCaml for the Haskell programmer, and discusses the most exciting OCaml features: strictness, objects, and modules. Let's see whether Haskell should remain your functional language of choice!

Period 1

• Software Specification
• Multimedia Retrieval

Period 2

• Implementation of Programming Languages
• Software Architecture

Period 3

• Advanced Functional Programming
• Program Transformation

Period 4

• Generic Programming
• Automatic Program Analysis

2006-2007

Period 1

• Feedback Oriented Static Analysis
• Distributed Object Systems

Thesis Project

Topic/Area

Archive management systems

Project

Project title: Dynamic archive management
Advisor: Bastiaan Heeren and Lennart Herlaar
Start date: period 2, 2006/2007
End date: period 4, 2006/2007

Proposal abstract

Archive management systems suffer from tight coupling at two points. First is the tight coupling between database schema and the application. Second is the tight coupling between database schema and user interfaces.

These couplings causes a compile time link between database schema and application. Every schema change will result in a new version of the application. These couplings also prevent customers from having a custom database schema. They will need a custom-made version of the application, if a custom modification of the schema is desired.

This thesis will investigate the removal of these couplings by constructing a framework. This framework will allow the modification of the database schema. Along with this possibility, a flexible user interface will be provided. This will allow customers to create a specific database schema, along with a user interface tailored to their needs.

More information can be found in my repository. A log can be viewed here.