Full name: Mark Hills
Formal name: Dr. M.A. Hills
Function: Researcher

Email: M.A.Hills@cwi.nl
Telephone +31(0)20 592 4222
Room:  L224
Research groups:
(SEN1) Software Analysis and Transformation

Research

Formal semantics of programming languages, language design, program analysis and verification, program transformation, software engineering, program optimization.

Career

2009 - 2013

Scientific staff member A SEN1 - Software Analysis and Transformation

Selected Academic Activities

2012	Member of program committee Stockholm, Sweden - IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems - [FMOODS]
2011 - 2012	Chair program committee Cheile Gradistei, Romania - International Workshop on the K Framework and its Applications - [K]

Recent Publications

M.A. Hills, P. Klint, J.J. Vinju. Rascal PHP Analysis Framework. 2012.

M.A. Hills, P. Klint, T. van der Storm, J.J. Vinju. A One-Stop Shop for Software Evolution Tool Construction. ERCIM News, 11–12, 2012.

M.A. Hills. Streamlining Policy Creation in Policy Frameworks. WADT 2012 Preliminary Proceedings, 61–63, 2012.

M.A. Hills, P. Klint, J.J. Vinju. Meta-Language Support for Type-Safe Access to External Resources. Pre-Proceedings of the 5th International Conference on Software Language Engineering, 370–389, 2012.

M.A. Hills, P. Klint, J.J. Vinju. Scripting a Refactoring with Rascal and Eclipse. Proceedings of the 5th Workshop on Refactoring Tools 2012, ACM International Conference Proceeding Series, Rapperswil, Switzerland, 40–49, 2012.

All publications (link to repository)