Maarten Faddegon, Ph.D. candidate at University of Kent, UK.

Maarten Faddegon

C.V. publications software contact

I am a Ph.D. candidate at the University of Kent, UK. I started here in 2013. Previously I worked at Associated Compiler Experts in Amsterdam. I was born in Soest, the Netherlands. I speak Dutch, English and Danish.

My main interest is in the area of program analysis and transformation. I research and develop compilers, tracers, debuggers, profilers and virtual machines.

The topic of my current research is making tracing and algorithmic debugging for lazy functional languages such as Haskell practical and easy to use for real-world programs. My goal is to help programmers to understand their code and locate bugs in a systematic manner.

Previously I worked on analysis and transformation of reducible and irreducible loops, interprocedural optimization of recursive functions and out-of-SSA translation.

I have experience developing in LLVM, the CoSy compiler framework, the Glasgow Haskell Compiler, and Haskell debugging aids Hat, Hood and Hoed. I am most at home with the programming languages Haskell, Erlang and C, but I have experience with other languages and am keen to pick up more.

At the University of Kent I teach logic, logic programming, functional programming, concurrent programming and using Unix, at Master's and undergraduate level.

Curriculum Vitæ

View Maarten Faddegon's LinkedIn profile Read full C.V.
September 2013 - Present
Ph.D. candidate & teaching assistant, University of Kent
May 2011 - September 2013
Software engineer, ACE Associated Compiler Experts
October 2005 - March 2012
Ice skating instructor
September 2010 - May 2011
Intern software engineer, ACE Associated Compiler Experts
September 2009 - September 2011
Master of Science, Computer Engineering, University of Technology Delft
September 2004 - September 2008
Bachelor of Information and Communication Technology, Hogeschool Utrecht

Publications

  1. Lightweight Computation Tree Tracing for Lazy Functional Languages, Maarten Faddegon and Olaf Chitil, to appear in the proceedings of the ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI) 2016
  2. Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack, Maarten Faddegon and Olaf Chitil, proceedings of the ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI) 2015
  3. Type Generic Observing, Maarten Faddegon and Olaf Chitil, post-proceedings of Trends in Functional Programming (TFP) 2014
  4. SSA Back-Translation: Faster Results with Edge Splitting and Post Optimization, Maarten Faddegon, Master's Thesis in Computer Engineering, TU Delft, 2011
I also present my work at research conferences, user meetings or when visiting another university:

Software

Maarten Faddegon on Github You can also get the source code for some of my projects.