Jeroen Weijers

Name: Jeroen Weijers
Email: jweijers AT cs.uu.nl
Tutor: dr. S.W.B. Prasetya

Planning

2007-2008

• Software Technology Colloquium (one meeting each week during year 1 and 2)

Period 1

• Software Specification
• Distributed Object Systems

Period 2

• Implementation of Programming Languages
• Cryptografie

Period 3

• Automatic Program Analysis
• Advanced Functional Programming

Period 4

• Program Verification
• Generic Programming

2008-2009

Period 1

• Seminar Type-based program analysis
• Experimentation Project: Adding type classes to Helium

Period 2

• ST colloquium Talk
• Thesis proposal

Software Technology Colloquium

• Visited talks of the Software Technology Colloquium:
  1. A Generic Usage Analysis with Subeffect Qualifiers
  2. The structure of the Essential Haskell Compiler, or Coping with Compiler Complexity
  3. Improving Automated Feedback - Building a Generic Rule-Feedback Generator
  4. Curry, A Truly Integrated Functional Logic Language
  5. JML: a notation for specifying the detailed design of Java classes and interfaces
  6. Design Of A Functionality Language
  7. Developing Interacting Domain Specific Languages
  8. Quick Checking Your Java Classes With T2
  9. Generating Syntax Diagrams From EBNF With AG
  10. The Default Case In Haskell Counterparty Credit Risk Calculation At ABN AMRO
  11. Automatic Instruction Set Generation
  12. The ICFP Contest 2007
  13. Comparing Program Plagiarism Detection Tools
  14. Java Pathfinder
  15. Intermediate Sequence Removal
  16. EMMA: A Free Code Coverage Tool
  17. Implement your own Dynamic Binary Analysis using the Valgrind Framework
  18. Relations As A First-Class Citizen In Java
  19. Proxima In Practice
  20. Combining Forward And Backward Parsers
  21. The Zipper
  22. F# - A Functional Programming Language Within The .NET Framework
  23. JavaScript: Prototype Based Inheritance And Anonymous Functions
  24. Programming In D
  25. Vector LLVA
  26. Abstract Interpretation Of Functional Programs Using An Attribute Grammar System
  27. Dynamic Aspects Of Python
  28. Static Contract Checking For Haskell
  29. Optimizing Attribute Grammars
  30. Model-Based Testing With Spec Explorer
  31. Improving Type Error Messages For Generic Java
  32. Object-Relational Mapping With Hibernate
  33. Trace-based Logic Testing
  34. Language Integrated Query (LINQ) for the .NET Framework
  35. Multiple Inheritance *Due to circumstance moved to a later date
  36. GADTs In EHC
  37. Multiple Inheritance
  38. Declarative Programming Of Interactive Systems With Grapefruit
  39. Protocol And Interface Testing With The Conclusion Test Platform
  40. Map Reduce
  41. The Haskell Application Server
  42. Power Of Pi
  43. Terminating Combinator Parsers In Agda
  44. Compiling Haskell To LLVM
  45. Debugging Haskell Programs By Asking The Oracle
  46. THEMIS: Framework For Automated Testing Of Graphical User Interfaces
  47. Comparing Libraries For Generic Programming In Haskell
  48. A Lightweight Approach To Datatype-Generic Rewriting
  49. Scientific ICT-Research Event Netherlands (Siren)
      • Negotiation Dynamics
      • Semantic network analysis: old ideas and new means to master the information society
      • Knowledge Management of Global Work
      • Mythology and Folklore of Computer Network Protocol Design
  50. The Generic Paradigm
  51. Constructing And Composing Efficient Top-down Parsers At Runtime
  52. An Executable Operational Semantics For Python
  53. Applying Algebraic Specifications And Testing To Java
  54. Extending T2 With Prime Path Coverage Exploration
  55. Polyvariant Escape Analysis
  56. Using Python Generators In Multiplexing Servers
  57. Binding-Time Analysis: Subtyping Versus Subeffecting
  58. Shifting The Stage
  59. Proxima 2 WYSIWYG Generic Editing For The Web
  60. Pugs Bootstrapping Perl 6 With Haskell
  61. Slicing It: Indexed Containers In Haskell
  62. Automated Model-based Analysis Of Web-based User Interface (UI)
  63. Typed Transformations Of Typed Abstract Syntax
  64. A Proxima Editor For Shuffle: Manipulating Fragmented Text Visually
  65. Attribute Grammars Fly First-Class: How To Do Aspect Oriented Programming In Haskell
  66. Computational Semantics With Functional Programming
  67. Functional Self-Adjusting Programming
  68. Algorithmic Type Inferencer Specifications For Declarative Type Systems
  69. Comparing Mason To Other Plagiarism Detectors
  70. Dynamic Typing In C# 4
  71. Automated Discovery Of Algebraic Specifications From Java Classes
  72. Dependently Typed Grammar Transformations
  73. Spreading The Joy

Garbage Collection

On the 8th of January 2009 I held my colloquim talk on garbage collection.

• Abstract
• Slides
• Paper

Thesis Project

Topic/Area

_description of the area of your thesis project, e.g., compilation, program analysis, generic programming, program transformation; what _

Project

Project title: Feedback oriented security analysis
Advisor: Jurriaan Hage

Description

short description (abstract) of the thesis project; should be accompanied with a 10 page paper outlining the state of the art (literature), objectives, research approach

Thesis