A Notation for Comonads

A lightweight in-place implementation for software thread-level speculation

scholarly article published 2009

A new approach to parallelising tracing algorithms

A polymorphic type system for prolog

A relational framework for abstract interpretation

Abstract interpretation and optimising transformations for applicative programs ⬇️

doctoral thesis

Abstract interpretation of combinational asynchronous circuits

An Efficient and Scalable Platform for Java Source Code Analysis Using Overlaid Graph Representations

scientific article

Applying Bayesian Networks to Sensor-Driven Systems

Bidirectional data flow analysis for type inferencing

Bit-level partial evaluation of synchronous circuits

Choosing Method of the Most Effective Nested Loop Shearing for Parallelism

Coeffects

Coeffects: Unified Static Analysis of Context-Dependence

Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation

scholarly article by Leo White & Alan Mycroft published 2013 in Lecture Notes in Computer Science

Controlling Control Flow in Web Applications

Critical-Path-Guided Interactive Parallelisation

Dynamic Alias Protection with Aliasing Contracts

Effect Systems Revisited—Control-Flow Algebra and Semantics

scholarly article by Alan Mycroft et al published 25 December 2015 in Lecture Notes in Computer Science

Efficient and Correct Stencil Computation via Pattern Matching and Static Typing

Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling

article

Extending monads with pattern matching

Extending monads with pattern matching

Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs

Formally Efficient Program Instrumentation

Haskell Is Not Not ML

Higher-level techniques for hardware description and synthesis

Incremental polymorphic type checking with update

Isolation Types and Multi-core Architectures

article by Alan Mycroft published 2012 in Lecture Notes in Computer Science

It's Only Illegal If You Get Caught

Jones optimality and hardware virtualization

Kilim: Isolation-Typed Actors for Java

LINKING TEMPORAL FIRST ORDER LOGIC AND HIDDEN MARKOV MODELS WITH ABSTRACT EVENTS

Language-Based Optimisation of Sensor-Driven Distributed Computing Applications

Limits of parallelism using dynamic dependency graphs

Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems

Liveness-Based Garbage Collection

Logic programs and many-valued logic

Logical Testing

article

Logical and operational methods in the analysis of programs and systems

article

Mapping the Join Calculus to Heterogeneous Hardware

Overhead-free polymorphism in network-on-chip implementation of object-oriented models

Petri-nets as an Intermediate Representation for Heterogeneous Architectures

Points for Free: Embedding Pointful Array Programming in Python

scientific article published on 20 June 2024

Polymorphic type schemes and recursive definitions

Polymorphism, subtyping, and type inference in MLsub

Programming language evolution via source code query languages

scholarly article published 2012

Programming language evolution workshop report

scholarly article published 2014

Propaganda wars ⬇️

scientific article published on April 22, 1982

REPAIR: Hard-error recovery via re-execution

Redux

Rendezvous: A search engine for binary code

Revisiting SIMD Programming

SCAFOS: linking sensor data to context‐aware applications using abstract events

Schedulability Analysis Abstractions for Safety Critical Java

Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS)

Source code patches from dynamic analysis

scientific article published on 08 July 2021

Source-code queries with graph databases—with application to programming language usage and evolution

scholarly article by Raoul-Gabriel Urma & Alan Mycroft published January 2015 in Science of Computer Programming

Spatial policies for sentient mobile applications

Stream processing hardware from functional language specifications

Strictness Meets Data Flow

The cache behaviour of large lazy functional programs on stock hardware

The theory and practice of transforming call-by-need into call-by-value

Tracing and its observer effect on concurrency

scientific article published on 25 September 2021

Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)

Uniform PERs and comportment analysis

Uniform ideals and strictness analysis

Untyped strictness analysis

Ypnos