Full name: Mark Hills
Formal name: Dr. M.A. Hills
Function: Researcher
Email: Mark.Hills@cwi.nl
Room: L224
Research groups: Software Analysis and Transformation
Formal name: Dr. M.A. Hills
Function: Researcher
Email: Mark.Hills@cwi.nl
Room: L224
Research groups: Software Analysis and Transformation
Research
Formal semantics of programming languages, language design, program analysis and verification, program transformation, software engineering, program optimization.
Career
| 2013 | Scientific staff member SWAT - Software analysis and transformation |
| 2009 - 2013 | Scientific staff member 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. |
