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

Program Analysis and Verification with Rewriting Logic and Rascal

Feb 22, 2024·
Mark Hills
Mark Hills
· 0 min read
PDF
Last updated on Feb 22, 2024
Mark Hills
Authors
Mark Hills
Associate Professor
← Starting a Civic Engagement Capstone: An Experience Report Nov 1, 2024
A Comparison of Machine Learning Code Quality in Python Scripts and Jupyter Notebooks Nov 3, 2023 →

© 2024 Mark Hills.

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