Simon Helsen, Ph.D., M.Sc.
Professional
Starting November 2008, I will be working for IBM Rational in the Toronto lab as an advisory software developer.
From October 2005 until October 2008, I worked for SAP AG in Walldorf, Germany, first as senior developer, later as development architect for the Modeling Infrastructure
(MOIN) of NetWeaver's
design time tools. Next to general architecture, design, and
development tasks, I was responsible for MOIN's
query language (aka MQL), helped with the implementation of the OMG's
Object-Constraint Language (OCL), and worked on the architecture of two
MOIN facilities, one for the Eclipse IDE and one for NetWeaver's JEE
server. For a short period of time, I also researched different
model-to-model
and code generation technologies for MOIN.
From October 2004 until September 2005, I was a software architect in the research and development team at Interactive Objects Software GmbH
(IO Software), Germany, where I was involved in the development of
the Model-Driven Architecture (MDA) tool ArcStyler.
At IO Software, I primarily researched and prototyped a new model-to-model
generation language.
My professional interests are largely focused on scalable meta-data
repository technology, query languages, model transformation
languages, code generation, and more generally software development tools. I am particularly interested in
techniques and patterns which support long-term maintainability
and extensibility of software, with the help of domain-specific abstractions and languages.
In the past, I have also been involved in the Object
Management Group, a major
international industry consortium, concerned with the standardization
of software engineering technologies such as UML and Corba. In particular, I contributed to the QVT standard as well as to earlier versions of the MOF2Text standard.
Other community activities
My resume (May 2008)
Academic
Until August 2004, I was mostly involved in academic research:
- From March 2003 until August 2004, I was post-doctoral fellow at
the department of Electrical and
Computer Engineering at the
University of Waterloo, Canada. I worked with Krzysztof Czarnecki
on a whole range of topics related to Model-Driven Development and
Software Product-Line Engineering.
- From April 1999 until November 2002, I was employed by the Deutsche
Forschungsgemeinschaft (DFG) at the University of Freiburg,
Germany. I used to work in the programming
languages group with Peter
Thiemann on various research topics
in the realm of functional programming, program analysis, program
transformations, and programming language semantics. During this time,
I also obtained my Ph.D. degree on the program specialization for
Standard ML.
- From September 1997 until March 1999, I was also employed by the
DFG
in the
programming language and compiler group at the University of Tuebingen, Germany
Publications
- Simon Helsen, "Bisimilarity for the Region Calculus", (pdf: pre-print), published
in Volume 17, Issue 4, pages 349 - 396 of Higher-Order
and Symbolic Computation - HOSC, © 2004 by Kluwer.
- Simon Helsen and Peter Thiemann, "Polymorphic
Specialization for ML", (pdf: pre-print),
published in Volume 26, Issue 4, pages 652 - 701 of Transactions on Programming
Languages and Systems - TOPLAS, © July 2004 by ACM Press.
- Cristiano Calcagno, Simon Helsen and Peter Thiemann, "Syntactic Type Soundness Results for the Region Calculus", (pdf:
pre-print), published in Volume 173, Issue 2, pages 199-221 of Information
and Computation - I&C, © March 2002 by Elsevier.
-
Conference and Workshop Proceeding articles
- Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker, "Staged
Configuration using Feature Models", (pdf:
pre-print), in
Proceedings of the 3rd
International Software Product-Line Conference, Boston, September
2004. Published in Volume
3154, pages 266 - 283 of the Lecture
Notes in Computer Science, © 2004 by Springer-Verlag
- Krzysztof Czarnecki and Simon Helsen, "Classification of
Model Transformation Approaches", (pdf), in
Proceedings of
the 2nd
OOPSLA Workshop on Generative Techniques in the Context of the Model
Driven Architecture, Anaheim, October 2003.
- Simon Helsen and Peter Thiemann, "Syntactic Type Soundness
for the Region Calculus", (pdf: pre-print),
in Proceedings of the 4th International Workshop on Higher-Order
Operational Techniques in Semantics, Montreal, September 2000.
Published in Volume
41(3), pages 1 - 19 of the Electronic
Notes in Theoretical Computer Science, © September 2000 by Elsevier
- Simon Helsen and Peter Thiemann, "Fragmental
Specialization", (pdf:
pre-print),
in Proceedings of the 1st International Workshop on Semantics,
Applications and Implementation of Program Generation, Montreal,
September 2000. Published in Volume
1924, pages 51 - 71 of the Lecture
Notes in Computer Science, © September 2000 by Springer-Verlag
- Simon Helsen and Peter Thiemann, "Two Flavors of offline
Partial Evaluation", (pdf: pre-print),
in Proceedings of the 4th Asian Computing Science Conference, Manila,
December 1998. Published in Volume
1538, pages 188 - 205 of the Lecture
Notes in Computer Science, © December 1998 by Springer-Verlag
-
Theses
- Ph.D. Thesis, "Region-based Program Specialization",
electronically published via FreiDok.
Universität Freiburg, Germany, October 2002. (note: many results
of
this thesis, including corrections, have been published in the
Information and Computation, TOPLAS and HOSC journal papers listed
above.)
- M.Sc. Thesis, "A Compiler from Standard ML to Java" (in Dutch). Katholieke
Universiteit
Leuven, Belgium, July 1997
- Undergraduate Project, A System for the Translation of
Temporal Semantics of Dutch Prepositions and Adverbs into a Temporal
Logic, (Prolog source code).
The
University of Manchester, England, May 1996
Teaching
During the summer term of 2004, I taught a
graduate course in the Electrical and
Computer Engineering department at the University of Waterloo, Canada. The course
surveyed a whole range of
topics in Meta-Programming Languages, Systems, Applications.
I also tutored and did substitute lecturing for the following courses
at the universities of Tuebingen and Freiburg in Germany.
Page
last updated: 19th of August 2008
