Eric Bouwers

Name: Eric Bouwers
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.

Overall Planning

2005-2006

Period 1

• Game Design
• Software Specification

Period 2

• Software Architecture
• Implementation of Programming Languages

Period 3

• Program Transformation
• Advanced Functional Programming

Period 4

• Distributed Object Systems
• Generic Programming

2006-2007

Period 1

• Seminar Feedback Oriented Static Analysis
• Software Technology Colloquium

Period 2

• Thesis proposal

Period 3

• Database-architecturen
• Thesis

Period 4

• Thesis

Software Technology Colloquium

• Own talk: 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 Thesis page

-- EricBouwers - 28 Sep 2007