You are here:
(02 Sep 2010,
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
ore topic actions
Topic revision: r17 - 02 Sep 2010,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?