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
Michiel Overeem
Students
Name: Michiel Overeem <br> Email: movereem at cs dot uu dot nl ----++ Planning -----+++ 2005-2006 <script type="text/javascript"> <!-- Hide JavaScript and <pre> escape TWiki rendering function showSTC(id){ document.getElementById(id).style.display = 'block'; } function hideSTC(id){ document.getElementById(id).style.display = 'none'; } function toggle(id){ if (document.getElementById(id).style.display == 'none') showSTC(id); else hideSTC(id); } // Stop hiding and stop </pre> escaping TWiki rendering --> </script> * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[http://www.cs.uu.nl/wiki/Stc/WebHome][Software Technology Colloquium]] (Attend 30 talks) <a href="#" onclick="toggle('stc');">show/hide details</a> <ul id="stc" style="display:none;"> <li> *2005-09-08* Koen Muilwijk - Extending XSLT <li> *2005-09-15* Rene de Groot - Design and Implementation of Embedded DSL <li> *2005-09-22* Martin Bravenboer - Generalized Type-Based Disambiguation of Meta ... <li> *2005-10-06* Atze Dijkstra - Ruler: programming type rules <li> *2005-10-13* Robert Verrips - A Survey of Legacy Migration <li> *2005-10-20* Eelco Dolstra - Secure Sharing Between Untrusted Users in a ... <li> *2005-11-14* Oege de Moor - Language Features for Program Monitoring <li> *2005-11-17* Lee Provoost - The evolution of the Java memory model <li> *2005-12-01* Ivaylo Gochkov - !AnWeb: a system for automatic support to ... <li> *2006-01-12* Klaas van Schelven - Ajax: Rich internet applications <li> *2006-01-18* Prof. Dr. Andreas Zeller - Mining Metrics to Predict Component ... <li> *2006-01-19* Koen Muilwijk - Automated Analysis of Unit Tests to Improve ... <li> *2006-01-26* Niels Reyngoud - Aspect Oriented Programming and Design Patterns <li> *2006-02-09* Gerrit van den Geest - Typed Quote/Antiquote <li> *2006-02-16* Armijn Hemel - !NixOS: A Status Report <li> *2006-03-02* Jurriaan Hage - Introduction to program analysis <li> *2006-03-09* Arie Middelkoop - Functional Metapost Tool Demo <li> *2006-03-16* Johan Jeuring - Typed Contracts for Functional Programming <li> *2006-04-12* Niels van der Velden - ICP: Interactive C Parallelization <li> *2006-04-13* Richard Nieuwenhuis - Simplifying EJB development with EJB 3.0 <li> *2006-04-27* Merijn de Jonge (Philips !NatLab) - The State of Art of Software ... <li> *2006-05-04* Richard Nieuwenhuis - The Software Product Management Workbench: ... <li> *2006-06-08* Elmar Keij - Introduction to Java 2 Micro Edition (!J2ME) <li> *2006-06-15* Huib van den Brink - The current and future optimizations ... <li> *2006-06-29* Brad Alexander - From Natural Semantics to Stratego <li> *2006-10-05* Bastiaan, Stefan, Johan, Alexey - The ICFP Programming Contest <li> *2006-10-19* Sander Mak - The Pizza Compiler: extending Java in a functional way <li> *2006-11-09* Eric Bouwers - PHP-Sat - Analyzing PHP <li> *2006-11-23* Doaitse Swierstra - Rewriting Haskell Strings <li> *2006-12-14* Thomas van Noort - Building GUIs in Haskell <li> *2007-01-11* Huib van den Brink - A framework to distil SQL queries ... <li> *2007-01-18* Joost Verhoog - Strictifying Attribute Evaluation <li> *2007-01-25* Alexey Rodriguez Yakushev - Avoiding the laziness tax <li> *2007-02-08* Arie Middelkoop - Evolution of a Haskell Programmer <li> *2007-02-22* Gerrit van den Geest - Constraints for Type Class ... <li> *2007-03-08* Mark Snyder - Software Transactional Memory <li> _36 out of 30 done so far_ </ul> * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[http://www.cs.uu.nl/wiki/Stc/WebHome][Software Technology Colloquium]] (Give a talk) <a href="#" onclick="toggle('stctalk');">show/hide details</a> <ul id="stctalk" style="display:none;"> <li> *2006-12-21* <span>Beyond functional programming in Haskell: an introduction to OCaml</span> <p>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. <br/><br/> 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. <br/><br/> 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!</p> </li> </ul> Period 1 * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Master.Software Specification][Software Specification]] * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[http://www.cs.uu.nl/docs/vakken/mr/][Multimedia Retrieval]] 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 [[Master.Program Transformation][Program Transformation]] Period 4 * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Master.Generic Programming][Generic Programming]] * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Master.Automatic Program Analysis][Automatic Program Analysis]] ----+++ 2006-2007 Period 1 * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Fosa.WebHome][Feedback Oriented Static Analysis]] * %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/choice-yes.gif [[Master.Distributed Object Systems][Distributed Object Systems]] -----++ Thesis Project -----+++ Topic/Area Archive management systems -----+++ Project Project title: Dynamic archive management <br> Advisor: [[http://www.cs.uu.nl/staff/bastiaan.html][Bastiaan Heeren]] and [[http://www.cs.uu.nl/staff/lennart.html][Lennart Herlaar]] <br> Start date: period 2, 2006/2007 <br> 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 [[https://svn.cs.uu.nl:12443/repos/movereem/thesis/][repository]]. A log can be viewed [[https://svn.cs.uu.nl:12443/viewvc/movereem/thesis/log/index.html?view=co][here]].