Alan Mycroft

ORCID

Publication Activity (10 Years)

Years Active: 1980-2024
Publications (10 Years): 20

Top Venues

CoRR

FTfJP@ECOOP

FSCD

Semantics, Logics, and Calculi

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Dylan McDermott, Alan Mycroft
Galois connecting call-by-value and call-by-name. Log. Methods Comput. Sci. 20 (1) (2024)
Jakub Bachurski, Alan Mycroft
Points for Free: Embedding Pointful Array Programming in Python. ARRAY@PLDI (2024)
Lavindra de Silva, Alan Mycroft
Toward trustworthy programming for autonomous concurrent systems. AI Soc. 38 (2) (2023)
Dylan McDermott, Alan Mycroft
Galois Connecting Call-by-Value and Call-by-Name. FSCD (2022)
Dylan McDermott, Alan Mycroft
Galois connecting call-by-value and call-by-name. CoRR (2022)
Indigo Orton, Alan Mycroft
Source code patches from dynamic analysis. FTfJP@ECOOP (2021)
Sam Ainsworth, Lionel Zoubritzky, Alan Mycroft, Timothy M. Jones
ParaDox: Eliminating Voltage Margins via Heterogeneous Fault Tolerance. HPCA (2021)
Indigo Orton, Alan Mycroft
Refactoring traces to identify concurrency improvements. FTfJP@ECOOP (2021)
Swati Jaiswal, Uday P. Khedker, Alan Mycroft
A Unified Model for Context-Sensitive Program Analyses: : The Blind Men and the Elephant. ACM Comput. Surv. 54 (6) (2021)
Indigo Orton, Alan Mycroft
Tracing and its observer effect on concurrency. MPLR (2021)
Oscar Rodriguez-Prieto, Alan Mycroft, Francisco Ortin
An Efficient and Scalable Platform for Java Source Code Analysis Using Overlaid Graph Representations. IEEE Access 8 (2020)
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis. ACM Trans. Program. Lang. Syst. 42 (2) (2020)
Andrej Ivaskovic, Alan Mycroft, Dominic Orchard
Data-Flow Analyses as Effects and Graded Monads. FSCD (2020)
Andrej Ivaskovic, Alan Mycroft
A graded Monad for deadlock-free concurrency (functional pearl). Haskell@ICFP (2020)
Dylan McDermott, Alan Mycroft
Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order. ESOP (2019)
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers. CoRR (2018)
Dylan McDermott, Alan Mycroft
Call-by-need effects via coeffects. Open Comput. Sci. 8 (1) (2018)
Stephen Dolan, Alan Mycroft
Polymorphism, subtyping, and type inference in MLsub. POPL (2017)
Alan Mycroft, Dominic A. Orchard, Tomas Petricek
Effect Systems Revisited - Control-Flow Algebra and Semantics. Semantics, Logics, and Calculi (2016)
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs. SAS (2016)
Raoul-Gabriel Urma, Alan Mycroft
Source-code queries with graph databases - with application to programming language usage and evolution. Sci. Comput. Program. 97 (2015)
Jyothish Soman, Negar Miralaei, Alan Mycroft, Timothy M. Jones
REPAIR: Hard-error recovery via re-execution. DFTS (2015)
Dominic A. Orchard, Tomas Petricek, Alan Mycroft
The semantic marriage of monads and effects. CoRR (2014)
Tomas Petricek, Dominic A. Orchard, Alan Mycroft
Coeffects: a calculus of context-dependent computation. ICFP (2014)
Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft
Liveness-Based Garbage Collection. CC (2014)
Raphaël Proust, Alan Mycroft
It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It. Onward! (2014)
Raoul-Gabriel Urma, Dominic A. Orchard, Alan Mycroft
Programming language evolution workshop report. PLE@ECOOP (2014)
Wei Ming Khoo, Alan Mycroft, Ross J. Anderson
Rendezvous: a search engine for binary code. MSR (2013)
Leo White, Alan Mycroft
Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation. SAS (2013)
Tomas Petricek, Dominic A. Orchard, Alan Mycroft
Coeffects: Unified Static Analysis of Context-Dependence. ICALP (2) (2013)
Janina Voigt, Alan Mycroft
Dynamic Alias Protection with Aliasing Contracts. APLAS (2013)
Peter Calvert, Alan Mycroft
Mapping the Join Calculus to Heterogeneous Hardware PLACES (2012)
Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). Dagstuhl Reports 2 (1) (2012)
Dominic A. Orchard, Alan Mycroft
A Notation for Comonads. IFL (2012)
Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft
Schedulability Analysis Abstractions for Safety Critical Java. ISORC (2012)
Raoul-Gabriel Urma, Alan Mycroft
Programming language evolution via source code query languages. PLATEAU (2012)
Peter Calvert, Alan Mycroft
Control Flow Analysis for the Join Calculus. SAS (2012)
Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat
Liveness-Based Pointer Analysis. SAS (2012)
Peter Calvert, Alan Mycroft
Petri-nets as an Intermediate Representation for Heterogeneous Architectures. Euro-Par (2) (2011)
Jonathan Chee Heng Mak, Alan Mycroft
Critical-Path-Guided Interactive Parallelisation. ICPP Workshops (2011)
Alan Mycroft
Isolation Types and Multi-core Architectures. FoVeOOS (2011)
Dominic A. Orchard, Alan Mycroft
Efficient and Correct Stencil Computation via Pattern Matching and Static Typing DSL (2011)
Eleftheria Katsiri, Alan Mycroft
Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems. Simul. Model. Pract. Theory 19 (1) (2011)
Tomas Petricek, Alan Mycroft, Don Syme
Extending monads with pattern matching. Haskell (2011)
Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat
Lazy Pointer Analysis CoRR (2011)
Eleftheria Katsiri, Jean Bacon, Alan Mycroft
Linking Temporal First Order Logic and Hidden Markov Models with Abstract Events. Int. J. Artif. Intell. Tools 19 (6) (2010)
Boris Feigin, Alan Mycroft
Formally Efficient Program Instrumentation. RV (2010)
Dominic A. Orchard, Max Bolingbroke, Alan Mycroft
Ypnos: declarative, parallel structured grid programming. DAMP (2010)
Jonathan Chee Heng Mak, Karl-Filip Faxén, Sverker Janson, Alan Mycroft
Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling. Euro-Par (1) (2010)
Tom Schrijvers, Alan Mycroft
Strictness Meets Data Flow. SAS (2010)
Cosmin E. Oancea, Alan Mycroft, Tim Harris
A lightweight in-place implementation for software thread-level speculation. SPAA (2009)
Jonathan Chee Heng Mak, Alan Mycroft
Limits of parallelism using dynamic dependency graphs. WODA (2009)
Kathryn E. Gray, Alan Mycroft
Logical Testing. FASE (2009)
Cosmin E. Oancea, Alan Mycroft, Stephen M. Watt
A new approach to parallelising tracing algorithms. ISMM (2009)
Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. FASE (2008)
Sriram Srinivasan, Alan Mycroft
Kilim: Isolation-Typed Actors for Java. ECOOP (2008)
Cosmin E. Oancea, Alan Mycroft
Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS). LCPC (2008)
Cosmin E. Oancea, Alan Mycroft
Software thread-level speculation: an optimistic library implementation. IWMSE@ICSE (2008)
Robin Henry Message, Alan Mycroft
Controlling Control Flow in Web Applications. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
Boris Feigin, Alan Mycroft
Jones optimality and hardware virtualization: a report on work in progress. PEPM (2008)
Eleftheria Katsiri, Jean Bacon, Alan Mycroft
SCAFOS: linking sensor data to context-aware applications using abstract events. Int. J. Pervasive Comput. Commun. 3 (4) (2007)
Alan Mycroft
Programming Language Design and Analysis Motivated by Hardware Evolution. SAS (2007)
Cosmin E. Oancea, Alan Mycroft
A Lightweight Model for Software Thread-Level Speculation (TLS). PACT (2007)
Kyoko Iwasawa, Alan Mycroft
Choosing Method of the Most Effective Nested Loop Shearing for Parallelism. PDCAT (2007)
Anton Lokhmotov, Alan Mycroft, Andrew Richards
Delayed Side-Effects Ease Multi-core Programming. Euro-Par (2007)
Anton Lokhmotov, Benedict R. Gaster, Alan Mycroft, Neil Hickey, David Stuttard
Revisiting SIMD Programming. LCPC (2007)
Sarah Thompson, Alan Mycroft
Abstract interpretation of combinational asynchronous circuits. Sci. Comput. Program. 64 (1) (2007)
Anton Lokhmotov, Alan Mycroft
Optimal bit-reversal using vector permutations. SPAA (2007)
Eleftheria Katsiri, Alan Mycroft
Applying Bayesian Networks to Sensor-Driven Systems. ISWC (2006)
Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones
Haskell Is Not Not ML. ESOP (2006)
Sarah Thompson, Alan Mycroft
Bit-level partial evaluation of synchronous circuits. PEPM (2006)
Eleftheria Katsiri, Alan Mycroft
Model Checking for Sentient Computing: An Axiomatic Approach. MCMP@MDM (2005)
Robert Ennals, Richard Sharp, Alan Mycroft
Task Partitioning for Multi-core Network Processors. CC (2005)
Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft
Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models. DATE (2004)
S. N. I. Mount, Robert M. Newman, R. J. Low, Alan Mycroft
Exstatic: a generic static checker applied to documentation systems. SIGDOC (2004)
Neil Johnson, Alan Mycroft
Using Multiple Memory Access Instructions for Reducing Code Size. CC (2004)
Robert Ennals, Richard Sharp, Alan Mycroft
Linear Types for Packet Processing. ESOP (2004)
Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft
Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs. J. Univers. Comput. Sci. 10 (9) (2004)
Sarah Thompson, Alan Mycroft
Abstract Interpretation of Combinational Asynchronous Circuits. SAS (2004)
Simon Frankau, Alan Mycroft
Stream Processing Hardware from Functional Language Specifications. HICSS (2003)
Nicholas Nethercote, Alan Mycroft
Redux: A Dynamic Dataflow Tracer. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)
Uday P. Khedker, Dhananjay M. Dhamdhere, Alan Mycroft
Bidirectional data flow analysis for type inferencing. Comput. Lang. Syst. Struct. 29 (1-2) (2003)
David J. Scott, Alastair R. Beresford, Alan Mycroft
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. FASE (2003)
David J. Scott, Alastair R. Beresford, Alan Mycroft
Spatial Policies for Sentient Mobile Applications. POLICY (2003)
Alan Mycroft, Richard Sharp
Higher-level techniques for hardware description and synthesis. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft
Object-Oriented ASIP Design and Synthesis. FDL (2003)
Anil Madhavapeddy, Alan Mycroft, David J. Scott, Richard Sharp
The Case for Abstracting Security Policies. Security and Management (2003)
Neil Johnson, Alan Mycroft
Combined Code Motion and Register Allocation Using the Value State Dependence Graph. CC (2003)
Nicholas Nethercote, Alan Mycroft
The cache behaviour of large lazy functional programs on stock hardware. MSP/ISMM (2002)
Alan Mycroft, Richard Sharp
Hardware/Software Co-Design Using Functional Languages. TACAS (2001)
Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata
Comparing Type-Based and Proof-Directed Decompilation. WCRE (2001)
Alan Mycroft, Richard Sharp
Hardware Synthesis Using SAFL and Application to Processor Design. CHARME (2001)
Richard Sharp, Alan Mycroft
A Higher-Level Language for Hardware Synthesis. CHARME (2001)
Richard Sharp, Alan Mycroft
Soft Scheduling for Hardware. SAS (2001)
Alan Mycroft
Logic Programming and Functional Nets. WFLP (2000)
Alan Mycroft, Richard Sharp
A Statically Allocated Parallel Functional Language. ICALP (2000)
Alan Mycroft
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). ESOP (1999)
Alan Mycroft
On Integration of Programming Paradigms. ACM Comput. Surv. 28 (2) (1996)
Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS (1996)
Alan Mycroft, Pierpaolo Degano, Corrado Priami
Complexity as a Basis for Comparing Semantic Models of Concurrency. ASIAN (1995)

Alan Mycroft.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alan Mycroft