Alan Mycroft

According to our database, Alan Mycroft authored at least 115 papers between 1980 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Galois connecting call-by-value and call-by-name.

Dylan McDermott, Alan Mycroft

Log. Methods Comput. Sci., 2024

2023

Toward trustworthy programming for autonomous concurrent systems.

Lavindra de Silva, Alan Mycroft

AI Soc., April, 2023

2022

A Unified Model for Context-Sensitive Program Analyses: : The Blind Men and the Elephant.

Swati Jaiswal, Uday P. Khedker, Alan Mycroft

ACM Comput. Surv., 2022

2021

Tracing and its observer effect on concurrency.

Indigo Orton, Alan Mycroft

Proceedings of the MPLR '21: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2021

ParaDox: Eliminating Voltage Margins via Heterogeneous Fault Tolerance.

Sam Ainsworth, Lionel Zoubritzky, Alan Mycroft, Timothy M. Jones

Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2021

Refactoring traces to identify concurrency improvements.

Indigo Orton, Alan Mycroft

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

Source code patches from dynamic analysis.

Indigo Orton, Alan Mycroft

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2020

Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis.

Pritam M. Gharat, Uday P. Khedker, Alan Mycroft

ACM Trans. Program. Lang. Syst., 2020

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

Oscar Rodriguez-Prieto, Alan Mycroft, Francisco Ortin

IEEE Access, 2020

A graded Monad for deadlock-free concurrency (functional pearl).

Andrej Ivaskovic, Alan Mycroft

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

Data-Flow Analyses as Effects and Graded Monads.

Andrej Ivaskovic, Alan Mycroft, Dominic Orchard

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

The Next 7000 Programming Languages.

Robert Chatley, Alastair F. Donaldson, Alan Mycroft

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order.

Dylan McDermott, Alan Mycroft

Proceedings of the Programming Languages and Systems, 2019

2018

Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers.

Pritam M. Gharat, Uday P. Khedker, Alan Mycroft

CoRR, 2018

Call-by-need effects via coeffects.

Dylan McDermott, Alan Mycroft

Open Comput. Sci., 2018

2017

Polymorphism, subtyping, and type inference in MLsub.

Stephen Dolan, Alan Mycroft

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

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

Pritam M. Gharat, Uday P. Khedker, Alan Mycroft

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Effect Systems Revisited - Control-Flow Algebra and Semantics.

Alan Mycroft, Dominic A. Orchard, Tomas Petricek

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

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

Raoul-Gabriel Urma, Alan Mycroft

Sci. Comput. Program., 2015

REPAIR: Hard-error recovery via re-execution.

Jyothish Soman, Negar Miralaei, Alan Mycroft, Timothy M. Jones

Proceedings of the 2015 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2015

2014

The semantic marriage of monads and effects.

Dominic A. Orchard, Tomas Petricek, Alan Mycroft

CoRR, 2014

It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It.

Raphaël Proust, Alan Mycroft

Proceedings of the Onward! 2014, 2014

Coeffects: a calculus of context-dependent computation.

Tomas Petricek, Dominic A. Orchard, Alan Mycroft

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Programming language evolution workshop report.

Raoul-Gabriel Urma, Dominic A. Orchard, Alan Mycroft

Proceedings of the 1st Workshop on Programming Language Evolution, 2014

Liveness-Based Garbage Collection.

Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

Notions of Aliasing and Ownership.

Alan Mycroft, Janina Voigt

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Aliasing Visions: Ownership and Location.

Alan Mycroft

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation.

Leo White, Alan Mycroft

Proceedings of the Static Analysis - 20th International Symposium, 2013

Rendezvous: a search engine for binary code.

Wei Ming Khoo, Alan Mycroft, Ross J. Anderson

Proceedings of the 10th Working Conference on Mining Software Repositories, 2013

Coeffects: Unified Static Analysis of Context-Dependence.

Tomas Petricek, Dominic A. Orchard, Alan Mycroft

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Dynamic Alias Protection with Aliasing Contracts.

Janina Voigt, Alan Mycroft

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051).

Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon

Dagstuhl Reports, 2012

Mapping the Join Calculus to Heterogeneous Hardware

Peter Calvert, Alan Mycroft

Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

Liveness-Based Pointer Analysis.

Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat

Proceedings of the Static Analysis - 19th International Symposium, 2012

Control Flow Analysis for the Join Calculus.

Peter Calvert, Alan Mycroft

Proceedings of the Static Analysis - 19th International Symposium, 2012

Programming language evolution via source code query languages.

Raoul-Gabriel Urma, Alan Mycroft

Proceedings of the ACM 4th Annual Workshop on Evaluation and Usability of Programming Languages and Tools, 2012

Schedulability Analysis Abstractions for Safety Critical Java.

Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012

A Notation for Comonads.

Dominic A. Orchard, Alan Mycroft

Proceedings of the Implementation and Application of Functional Languages, 2012

2011

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

Eleftheria Katsiri, Alan Mycroft

Simul. Model. Pract. Theory, 2011

Lazy Pointer Analysis

Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat

CoRR, 2011

Efficient and Correct Stencil Computation via Pattern Matching and Static Typing

Dominic A. Orchard, Alan Mycroft

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

Critical-Path-Guided Interactive Parallelisation.

Jonathan Chee Heng Mak, Alan Mycroft

Proceedings of the 2011 International Conference on Parallel Processing Workshops, 2011

Extending monads with pattern matching.

Tomas Petricek, Alan Mycroft, Don Syme

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

Isolation Types and Multi-core Architectures.

Alan Mycroft

Proceedings of the Formal Verification of Object-Oriented Software, 2011

Petri-nets as an Intermediate Representation for Heterogeneous Architectures.

Peter Calvert, Alan Mycroft

Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011

2010

Linking Temporal First Order Logic and Hidden Markov Models with Abstract Events.

Eleftheria Katsiri, Jean Bacon, Alan Mycroft

Int. J. Artif. Intell. Tools, 2010

Strictness Meets Data Flow.

Tom Schrijvers, Alan Mycroft

Proceedings of the Static Analysis - 17th International Symposium, 2010

Formally Efficient Program Instrumentation.

Boris Feigin, Alan Mycroft

Proceedings of the Runtime Verification - First International Conference, 2010

Ypnos: declarative, parallel structured grid programming.

Dominic A. Orchard, Max Bolingbroke, Alan Mycroft

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling.

Jonathan Chee Heng Mak, Karl-Filip Faxén, Sverker Janson, Alan Mycroft

Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

2009

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

Cosmin E. Oancea, Alan Mycroft, Tim Harris

Proceedings of the SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2009

A new approach to parallelising tracing algorithms.

Cosmin E. Oancea, Alan Mycroft, Stephen M. Watt

Proceedings of the 8th International Symposium on Memory Management, 2009

Limits of parallelism using dynamic dependency graphs.

Jonathan Chee Heng Mak, Alan Mycroft

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), 2009

Logical Testing.

Kathryn E. Gray, Alan Mycroft

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Jones optimality and hardware virtualization: a report on work in progress.

Boris Feigin, Alan Mycroft

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

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

Cosmin E. Oancea, Alan Mycroft

Proceedings of the Languages and Compilers for Parallel Computing, 2008

Software thread-level speculation: an optimistic library implementation.

Cosmin E. Oancea, Alan Mycroft

Proceedings of the 1st International Workshop on Multicore Software Engineering, 2008

Language-Based Optimisation of Sensor-Driven Distributed Computing Applications.

Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Kilim: Isolation-Typed Actors for Java.

Sriram Srinivasan, Alan Mycroft

Proceedings of the ECOOP 2008, 2008

2007

Abstract interpretation of combinational asynchronous circuits.

Sarah Thompson, Alan Mycroft

Sci. Comput. Program., 2007

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

Eleftheria Katsiri, Jean Bacon, Alan Mycroft

Int. J. Pervasive Comput. Commun., 2007

Controlling Control Flow in Web Applications.

Robin Henry Message, Alan Mycroft

Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

Optimal bit-reversal using vector permutations.

Anton Lokhmotov, Alan Mycroft

Proceedings of the SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2007

Programming Language Design and Analysis Motivated by Hardware Evolution.

Alan Mycroft

Proceedings of the Static Analysis, 14th International Symposium, 2007

Choosing Method of the Most Effective Nested Loop Shearing for Parallelism.

Kyoko Iwasawa, Alan Mycroft

Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007

Revisiting SIMD Programming.

Anton Lokhmotov, Benedict R. Gaster, Alan Mycroft, Neil Hickey, David Stuttard

Proceedings of the Languages and Compilers for Parallel Computing, 2007

Delayed Side-Effects Ease Multi-core Programming.

Anton Lokhmotov, Alan Mycroft, Andrew Richards

Proceedings of the Euro-Par 2007, 2007

A Lightweight Model for Software Thread-Level Speculation (TLS).

Cosmin E. Oancea, Alan Mycroft

Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), 2007

2006

Bit-level partial evaluation of synchronous circuits.

Sarah Thompson, Alan Mycroft

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Applying Bayesian Networks to Sensor-Driven Systems.

Eleftheria Katsiri, Alan Mycroft

Proceedings of the Tenth IEEE International Symposium on Wearable Computers (ISWC 2006), 2006

Haskell Is Not Not ML.

Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones

Proceedings of the Programming Languages and Systems, 2006

2005

Model Checking for Sentient Computing: An Axiomatic Approach.

Eleftheria Katsiri, Alan Mycroft

Proceedings of the First International Workshop on Managing Context Information in Mobile and Pervasive Environments May 9, 2005

Task Partitioning for Multi-core Network Processors.

Robert Ennals, Richard Sharp, Alan Mycroft

Proceedings of the Compiler Construction, 14th International Conference, 2005

2004

Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs.

Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft

J. Univers. Comput. Sci., 2004

Exstatic: a generic static checker applied to documentation systems.

S. N. I. Mount, Robert M. Newman, R. J. Low, Alan Mycroft

Proceedings of the 22nd Annual International Conference on Design of Communication: The Engineering of Quality Documentation, 2004

Linear Types for Packet Processing.

Robert Ennals, Richard Sharp, Alan Mycroft

Proceedings of the Programming Languages and Systems, 2004

Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models.

Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft

Proceedings of the 2004 Design, 2004

Using Multiple Memory Access Instructions for Reducing Code Size.

Neil Johnson, Alan Mycroft

Proceedings of the Compiler Construction, 13th International Conference, 2004

2003

Higher-level techniques for hardware description and synthesis.

Alan Mycroft, Richard Sharp

Int. J. Softw. Tools Technol. Transf., 2003

Redux: A Dynamic Dataflow Tracer.

Nicholas Nethercote, Alan Mycroft

Proceedings of the Third Workshop on Run-time Verification, 2003

Bidirectional data flow analysis for type inferencing.

Uday P. Khedker, Dhananjay M. Dhamdhere, Alan Mycroft

Comput. Lang. Syst. Struct., 2003

Spatial Policies for Sentient Mobile Applications.

David J. Scott, Alastair R. Beresford, Alan Mycroft

Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003

Stream Processing Hardware from Functional Language Specifications.

Simon Frankau, Alan Mycroft

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

Object-Oriented ASIP Design and Synthesis.

Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft

Proceedings of the Forum on specification and Design Languages, 2003

Spatial Security Policies for Mobile Agents in a Sentient Computing Environment.

David J. Scott, Alastair R. Beresford, Alan Mycroft

Proceedings of the Fundamental Approaches to Software Engineering, 2003

The Case for Abstracting Security Policies.

Anil Madhavapeddy, Alan Mycroft, David J. Scott, Richard Sharp

Proceedings of the International Conference on Security and Management, 2003

Combined Code Motion and Register Allocation Using the Value State Dependence Graph.

Neil Johnson, Alan Mycroft

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

The cache behaviour of large lazy functional programs on stock hardware.

Nicholas Nethercote, Alan Mycroft

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

2001

Comparing Type-Based and Proof-Directed Decompilation.

Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Hardware/Software Co-Design Using Functional Languages.

Alan Mycroft, Richard Sharp

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Soft Scheduling for Hardware.

Richard Sharp, Alan Mycroft

Proceedings of the Static Analysis, 8th International Symposium, 2001

A Higher-Level Language for Hardware Synthesis.

Richard Sharp, Alan Mycroft

Proceedings of the Correct Hardware Design and Verification Methods, 2001

Hardware Synthesis Using SAFL and Application to Processor Design.

Alan Mycroft, Richard Sharp

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

Logic Programming and Functional Nets.

Alan Mycroft

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

A Statically Allocated Parallel Functional Language.

Alan Mycroft, Richard Sharp

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1999

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

Alan Mycroft

Proceedings of the Programming Languages and Systems, 1999

1996

On Integration of Programming Paradigms.

Alan Mycroft

ACM Comput. Surv., 1996

Logical and Operational Methods in the Analysis of Programs and Systems.

Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1995

Untyped Strictness Analysis.

Christine Ernoult, Alan Mycroft

J. Funct. Program., 1995

Uniform PERs and Comportment Analysis

Alan Mycroft, Kirsten Lackner Solberg

Proceedings of the Programming Languages: Implementations, 1995

Complexity as a Basis for Comparing Semantic Models of Concurrency.

Alan Mycroft, Pierpaolo Degano, Corrado Priami

Proceedings of the Algorithms, 1995

1993

Completeness and predicate-based abstract interpretation.

Alan Mycroft

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

1992

Minimal Function Graphs are not Instrumented.

Alan Mycroft, Mads Rosendahl

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Incremental Polymorphic Type Checking with Update.

Alan Mycroft

Proceedings of the Logical Foundations of Computer Science, 1992

1991

Uniform Ideals and Strictness Analysis.

Christine Ernoult, Alan Mycroft

Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

1986

Data Flow Analysis of Applicative Programs Using Minimal Function Graphs.

Neil D. Jones, Alan Mycroft

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1985

A relational framework for abstract interpretation.

Alan Mycroft, Neil D. Jones

Proceedings of the Programs as Data Objects, 1985

1984

A Polymorphic Type System for Prolog.

Alan Mycroft, Richard A. O'Keefe

Artif. Intell., 1984

Logic Programs and Many-Valued Logic.

Alan Mycroft

Proceedings of the STACS 84, 1984

Stepwise Development of Operational and Denotational Semantics for Prolog.

Neil D. Jones, Alan Mycroft

Proceedings of the 1984 International Symposium on Logic Programming, 1984

Polymorphic Type Schemes and Recursive Definitions.

Alan Mycroft

Proceedings of the International Symposium on Programming, 1984

On the Relationship of CCS and Petri Nets.

Ursula Goltz, Alan Mycroft

Proceedings of the Automata, 1984

1983

Strong Abstract Interpretation Using Power Domains (Extended Abstract).

Alan Mycroft, Flemming Nielson

Proceedings of the Automata, 1983

1982

Abstract interpretation and optimising transformations for applicative programs.

Alan Mycroft

PhD thesis, 1982

1980

The Theory and Practice of Transforming Call-by-need into Call-by-value.

Alan Mycroft

Proceedings of the International Symposium on Programming, 1980