WebHome
Eric Bouwers

Students
Name: Eric Bouwers
<br>
Email: embouwer AT cs.uu.nl

This page describes the planning and progress of my Master study, feel free to contact me with any questions that you have.

%TOC%

-----++ Overall Planning

-----+++ 2005-2006

Period 1

   * [[http://www.cs.uu.nl/docs/vakken/gds/index.html][Game Design]] 
   * [[Master.Software Specification][Software Specification]]       

Period 2

   * [[Master.Software Architecture][Software Architecture]] 
   * [[Master.Implementation of Programming Languages][Implementation of Programming Languages]]

Period 3

   * [[Master.Program Transformation][Program Transformation]]
   * [[Master.Advanced Functional Programming][Advanced Functional Programming]]

Period 4

   * [[Master.Distributed Object Systems][Distributed Object Systems]]
   * [[Master.Generic Programming][Generic Programming]]


----+++ 2006-2007

Period 1

   * [[Master.FeedbackOrientedStaticAnalysis][Seminar Feedback Oriented Static Analysis]]
   * [[Stc.ComputingScienceColloquium][Software Technology Colloquium]]


Period 2

   * Thesis proposal

Period 3

   * [[Master.DataBaseArchitectures][Database-architecturen]]
   * Thesis

Period 4
  
   * Thesis

-----++ [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]]

   * Own talk: [[Stc.PHP-Sat-AnalyzingPHP][PHP-Sat - Analyzing PHP]]
   * Visited talks: 
      * Design And Implementation Of Embedded Domain-Specific Languages
      * Generalized Type-Based Disambiguation Of Meta Programs With Concrete Object Syntax
      * Ruler Programming Type Rules
      * A Survey of Legacy Migration
      * Secure Sharing Between Untrusted Users in a Transparent Source/Binary Deployment Model
      * Language Features for Program Monitoring
      * Anweb: a system for automatic support to web application verification
      * Delegation in Java 
      * Ajax: Rich internet applications
      * Mining Metrics to Predict Component Failures
      * Automated Analysis of Unit Tests to Improve Understanding of Software Systems
      * Aspect Oriented Programming and Design Patterns
      * Typed Quote/Antiquote
      * !NixOS: A Status Report
      * Introduction to program analysis
      * Functional Metapost Tool Demo
      * Typed Contracts for Functional Programming
      * Feedback in an interactive equation solver
      * Brewing Your Own Verification Engine
      * Simplifying EJB development with EJB 3.0      
      * The State of Art of Software Components at Philips: Research and Practice
      * The Software Product Management Workbench: A Tool Supporting the Daily Activities of the Product Manager
      * Reflex: A versatile kernel for multi-language AOP
      * Homogeneous Multiprocessing for the Masses
      * Component Composition with Scala
      * Introduction to Java 2 Micro Edition (J2ME)
      * The current and future optimizations performed by the Java HotSpot Compiler
      * Generic Views on Data Types
      * From Natural Semantics to Stratego
      * The Edutainment Sensor Platform
      * Introduction to Scala: A multi-paradigm programming language
      * A System and Language for Building System-Specific, Static Analyses
      * The ICFP Programming Contest
      * The Pizza Compiler: extending Java in a functional way
      * Web Cube: 2nd Prototype and the Theory Behind.
      * Heuristics for type error discovery and recovery in Helium
      * Rewriting Haskell Strings
      * Building GUIs in Haskell
      * Beyond functional programming in Haskell: an introduction to OCaml
      * A framework to distil SQL queries out of host languages in order to apply quality metrics
      * Strictifying Attribute Evaluation
      * Avoiding the laziness tax
      * Evolution of a Haskell Programmer
      * Constraints for Type Class Extensions
      * Software Transactional Memory
      * Soft typing and analyses for PHP programs 
      * Genuinely Functional User Interfaces
      * Implementing a Dependently Typed Lambda Calculus
      * Purely Functional System Configuration Management
      * Equality-Based Uniqueness Typing
      * Program plagiarism detection with Marble
      * Supporting Generative programming by Mixing Java and Bytecode
      * Dynamic Archive Management: a framework for dynamic database schemas 
      * A Generic Usage Analysis with Subeffect Qualifiers
      * The structure of the Essential Haskell Compiler, or Coping with Compiler Complexity
      * Improving Automated Feedback - Building a Generic Rule-Feedback Generator

-----++ Thesis Project

     My Thesis will be about generating better feedback in the context of educational programs. 

     More information about (the progress of) the thesis can be found on my [[EricBouwersThesisPage][Thesis page]]

-- Main.EricBouwers - 28 Sep 2007