Mark Hills
  • Home
  • Teaching and Advising
  • Students
  • Publications
  • Presentations
  • Projects
  • Contact
  • CV
  • Recent & Upcoming Talks
    • Starting a Civic Engagement Capstone: An Experience Report
    • Program Analysis and Verification with Rewriting Logic and Rascal
    • A Comparison of Machine Learning Code Quality in Python Scripts and Jupyter Notebooks
    • Enabling Go Program Analysis in Rascal
    • Supporting Analysis of SQL Queries in PHP AiR
    • Introducing DevOps Techniques in a Software Construction Class
    • Continuous Integration and Delivery in Student Projects
    • Understanding Database Usage in PHP Systems: Current and Future Work
    • Supporting Analysis of SQL Queries in PHP AiR
    • Query Construction Patterns in PHP
    • Navigating the WordPress Plugin Landscape
    • Variable Feature Usage Patterns in PHP
    • Supporting PHP Dynamic Analysis in PHP AiR
    • Domain-Specific Languages for Program Analysis
    • Evolution of Dynamic Feature Usage in PHP
    • Static, Lightweight Includes Resolution for PHP
    • Streamlining Control Flow Graph Construction with DCFlow
    • Capturing Programmer Intent with Extensible Annotation Systems
    • PHP AiR: Analyzing PHP Systems with Rascal
    • An Empirical Study of PHP Feature Usage: A Static Analysis Perspective
    • Enabling PHP Software Engineering Research in Rascal
    • Modular Language Specifications for Program Analysis
    • Meta-Language Support for Type-Safe Access to External Resources
    • Streamlining Policy Creation in Policy Frameworks
    • Scripting a Refactoring with Rascal and Eclipse
    • Rascal: Meta-Programming for Program Analysis
    • RLSRunner and KRunner: Linking Rascal with K for Program Analysis and Execution
    • RLSRunner: Linking Rascal with K for Program Analysis
    • Meta-Programming and MDE with Rascal
    • A Rewriting Logic Semantics Approach to Modular Program Analysis
    • A Rewriting Logic Approach to Static Checking of Units of Measurement in C
    • Towards a Module System for K
    • Memory Representations in Rewriting Logic Semantics Definitions
    • A Rewriting Approach to the Design and Evolution of Object-Oriented Languages
    • KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis
    • On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
  • Teaching
    • Advising, Spring 2025
    • Courses Taught
  • Projects
    • Go Program Analysis and Verification
    • Jupyter Notebooks: Code Quality and Comprehension
    • PHP Program Analysis and Comprehension
    • Software Engineering Education
  • Publications
    • Starting a Civic Engagement Capstone: An Experience Report
    • A Comparison of Machine Learning Code Quality in Python Scripts and Jupyter Notebooks
    • Enabling Go Program Analysis in Rascal
    • Designing Dissemination and Validation of a Framework for Teaching Cloud Fundamentals
    • Composing Model-Based Analysis Tools, Chapter 2: Foundations
    • Composing Model-Based Analysis Tools, Chapter 4: Composition of Languages, Models, and Analyses
    • Planning a Conceptual Framework Approach for Teaching Cloud Fundamentals
    • Introducing DevOps Techniques in a Software Construction Class
    • Cloud Computing Curriculum: Developing Exemplar Modules for General Course Inclusion (Report)
    • Cloud Computing Curriculum: Developing Exemplar Modules for General Course Inclusion (Abstract)
    • Escaping the Clone Zone: Java Runtime-Managed Snapshots Current and Future Work
    • Understanding Database Usage in PHP Systems: Current and Future Work
    • Supporting Analysis of SQL Queries in PHP AiR
    • Enabling PHP Software Engineering Research in Rascal
    • Query Construction Patterns in PHP
    • Navigating the WordPress Plugin Landscape
    • Modular language implementation in Rascal - experience report
    • Variable Feature Usage Patterns in PHP
    • Supporting PHP Dynamic Analysis in PHP AiR
    • Evolution of Dynamic Feature Usage in PHP
    • M3: A General Model for Source Code Analytics in Rascal
    • Static, Lightweight Includes Resolution for PHP
    • Streamlining Control Flow Graph Construction with DCFlow
    • PHP AiR: Analyzing PHP Systems with Rascal
    • An Empirical Study of PHP Feature Usage: A Static Analysis Perspective
    • Enabling PHP Software Engineering Research in Rascal
    • Meta-Language Support for Type-Safe Access to External Resources
    • Scripting a Refactoring with Rascal and Eclipse
    • Program Analysis Scenarios in Rascal
    • A One-Stop-Shop for Software Evolution Tool Construction
    • RLSRunner: Linking Rascal with K for Program Analysis
    • A Case of Visitor versus Interpreter Pattern
    • Rascal: From Algebraic Specification to Meta-Programming (Invited Paper)
    • A Rewriting Logic Semantics Approach to Modular Program Analysis
    • A Modular Rewriting Approach to Language Design, Evolution and Analysis
    • A Rewriting Logic Approach to Static Checking of Units of Measurement in C
    • Towards a Module System for K
    • Memory Representations in Rewriting Logic Semantics Definitions
    • KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis
    • On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
    • A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
    • An Orchestration Language for Parallel Objects
  • Projects
  • Experience
  • Students
    • Students
  • Blog
  • Recent & Upcoming Talks

A One-Stop-Shop for Software Evolution Tool Construction

Jan 2, 2012·
Mark Hills
Mark Hills
Paul Klint
Paul Klint
Tijs van der Storm
Tijs van der Storm
Jurgen Vinju
Jurgen Vinju
· 0 min read
Cite ERCIM Article
Type
Article-Magazine
Publication
ERCIM News 2012 (88)
Last updated on Jan 2, 2012
Mark Hills
Authors
Mark Hills
Associate Professor
Paul Klint
Authors
Paul Klint
Tijs van der Storm
Authors
Tijs van der Storm
Jurgen Vinju
Authors
Jurgen Vinju
← Program Analysis Scenarios in Rascal Feb 1, 2012
RLSRunner: Linking Rascal with K for Program Analysis Jul 1, 2011 →

© 2024 Mark Hills.

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.