Thomas Van Noort

Name: Thomas van Noort
Email: trnoort at cs.uu.nl
Mentor: Jurriaan Hage

Planning

2005-2006

Period 1

• Multimedia Retrieval
• Software Specification

Period 2

• Implementation of Programming Languages
• Software Architecture

Period 3

• Advanced Functional Programming
• Program Transformation

Period 4

• Automatic Program Analysis
• Generic Programming

2006-2007

Period 1

• Distributed Object Systems
• Seminar Feedback Oriented Static Analysis

Period 2

• Master Thesis Proposal
• Software Technology Colloquium

Software Technology Colloquim

• Building GUIs in Haskell (slides/paper)
• Visited talks:
  1. Extending XSLT
  2. Design And Implementation Of Embedded Domain-Specific Languages
  3. Web Functions
  4. Generalized Type-Based Disambiguation Of Meta Programs With Concrete Object Syntax
  5. Ruler Programming Type Rules
  6. A Survey Of Legacy Migration
  7. Secure Sharing Between Untrusted Users In A Transparent Source/Binary Deployment Model
  8. Language Features For Program Monitoring
  9. The Evolution Of The Java Memory Model
  10. Delegation In Java
  11. Ajax: Rich Internet Applications
  12. Mining Metrics To Predict Component Failures
  13. Automated Analysis Of Unit Tests To Improve Understanding Of Software Systems
  14. Aspect Oriented Programming And Design Patterns
  15. NixOS: A Status Report
  16. Introduction To Program Analysis
  17. Functional Metapost Tool Demo
  18. Typed Contracts For Functional Programming
  19. Feedback In An Interactive Equation Solver
  20. Simplifying EJB Development With EJB 3.0
  21. The Software Product Management Workbench: A Tool Supporting The Daily Activities Of The Product Manager
  22. Reflex: A Versatile Kernel For Multi-language AOP
  23. Homogeneous Multiprocessing For The Masses
  24. Component Composition With Scala
  25. Introduction to Java Platform, Micro Edition (Java ME)JavaME? )?topicparent=Students.ThomasVanNoort" rel="nofollow" title="Create this topic">?
  26. The Current And Future Optimizations Performed By The Java HotSpot Compiler
  27. From Natural Semantics To Stratego
  28. The Edutainment Sensor Platform
  29. The ICFP Programming Contest
  30. The Pizza Compiler: Extending Java In A Functional Way
  31. Heuristics For Type Error Discovery And Recovery In Helium
  32. PHP-Sat - Analyzing PHP
  33. Rewriting Haskell Strings
  34. Beyond Functional Programming In Haskell: An Introduction To OCaml
  35. A Framework To Distil SQL Queries Out Of Host Languages In Order To Apply Quality Metrics
  36. Strictifying Attribute Evaluation
  37. Dynamic Archive Management: A Framework For Dynamic Database Schemas
  38. Improving Automated Feedback - Building A Generic Rule-Feedback Generator
  39. Developing Interacting Domain Specific Languages
  40. Implement Your Own Dynamic Binary Analysis Using The Valgrind Framework

Thesis Project

My thesis is about Generic Views for Generic Types (slides/thesis). More information can be found on the Intra Wiki.