Mark Hills
  • Home
  • Teaching and Advising
  • Students
  • Publications
  • Presentations
  • Projects
  • Contact
  • CV
  • Projects
    • Go Program Analysis and Verification
    • Jupyter Notebooks: Code Quality and Comprehension
    • PHP Program Analysis and Comprehension
    • Software Engineering Education
  • Teaching
    • Advising, Fall 2024
    • Courses Taught
  • 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
    • 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
  • Recent & Upcoming Talks
    • 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
  • Experience
  • Students
    • Students
  • Blog
  • Recent & Upcoming Talks
Teaching
Advising, Fall 2024

Advising, Fall 2024

Aug 16, 2024

Information about advising will be posted closer to the middle of the semester.

Last updated on Aug 16, 2024
Courses Taught Aug 16, 2024 →

© 2024 Mark Hills.

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