In Progress

Hage

Below you topics that I am currently working on, with varying degrees of activity. If you'd like a copy of material mentioned below, I may have some, so e-mail me.

Demand Analysis (with Simon Peyton Jones, Max Bollingbroke, Stefan Holdermans)
Extraction of Services from Code Monoliths (with Slinger Jansen, Amir Saeidi, Ravi Khadka and others)
Binary instrumentation for Shockwave Flash Applications (with Alexander Elyasov and Wishnu Prasetya)
Testing Future Internet Applications (with Alexander Elyasov, Wishnu Prasetya and others)
Strictness Analysis for the UHC (with Atze Dijkstra and Gerben Verburg)
Soft Typing for PHP (with Marcelo de Sousa and Henk Erik van der Hoek)

Recently finished but not published:

Holmes for Haskell - a plagiarism detection tool for Haskell in Haskell. The paper has an extensive empirical evaluation of the tool on first-year programming assignments (with Gerben Verburg and Brian Vermeer)
Balancing Cost and Precision of Approximate Typing for Python (with Levin Fritz)
Static analysis for GPUs (with Stefan Holdermans, Alexey Rodriguez, Calin Juravle and Andreas Resios)
Feedback Oriented Security Analysis (with Jeroen Weijers and Stefan Holdermans)

-- JurriaanHage - 25 Nov 2011