You are here:
(17 Sep 2012,
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) -- Main.JurriaanHage - 25 Nov 2011
ore topic actions
Topic revision: r4 - 17 Sep 2012,
Supervised MSc Theses
Ph D Students
My other websites
Axiom of Choice
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?