Alan Mycroft

Q: What Schools Are Affiliated With Alan Mycroft

Alan Mycroft is affiliated with the following schools: University of Edinburgh, University of Cambridge

Alan Mycroft's AcademicInfluence.com Rankings

Alan Mycroft

Computer Science

#1116

World Rank

#1156

Historical Rank

Database

#4021

World Rank

#4180

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Alan Mycroft Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Alan Mycroft is a professor at the Computer Laboratory, University of Cambridge and a Fellow of Robinson College, Cambridge, where he is also director of studies for computer science. Education Mycroft read mathematics at Cambridge then moved to Edinburgh where he completed his Doctor of Philosophy degree with a thesis on Abstract interpretation and optimising transformations for applicative programs supervised by Rod Burstall and Robin Milner.

(See a Problem?)

Alan Mycroft's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Polymorphic Type System for Prolog (1984) (355)
Abstract interpretation and optimising transformations for applicative programs (1982) (276)
Polymorphic Type Schemes and Recursive Definitions (1984) (243)
Kilim: Isolation-Typed Actors for Java (2008) (235)
The Theory and Practice of Transforming Call-by-need into Call-by-value (1980) (210)
Data flow analysis of applicative programs using minimal function graphs (1986) (143)
Stepwise Development of Operational and Denotational Semantics for Prolog (1984) (128)
Rendezvous: A search engine for binary code (2013) (116)
A lightweight in-place implementation for software thread-level speculation (2009) (80)
On the Relationship of CCS and Petri Nets (1984) (79)
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction) (1999) (76)
A relational framework for abstract interpretation (1985) (73)
Coeffects: a calculus of context-dependent computation (2014) (71)
Redux: A Dynamic Dataflow Tracer (2003) (66)
Linear Types for Packet Processing (2004) (58)
Task Partitioning for Multi-core Network Processors (2005) (51)
Coeffects: Unified Static Analysis of Context-Dependence (2013) (43)
Source-code queries with graph databases - with application to programming language usage and evolution (2015) (41)
Strong Abstract Interpretation Using Power Domains (Extended Abstract) (1983) (40)
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment (2003) (37)
Software thread-level speculation: an optimistic library implementation (2008) (37)
Logic Programs and Many-Valued Logic (1984) (36)
Completeness and predicate-based abstract interpretation (1993) (36)
Ypnos: declarative, parallel structured grid programming (2010) (36)
Combined Code Motion and Register Allocation Using the Value State Dependence Graph (2003) (35)
Polymorphism, subtyping, and type inference in MLsub (2017) (32)
Hardware/Software Co-Design Using Functional Languages (2001) (31)
A Higher-Level Language for Hardware Synthesis (2001) (29)
The cache behaviour of large lazy functional programs on stock hardware (2003) (26)
Liveness-Based Pointer Analysis (2012) (25)
Limits of parallelism using dynamic dependency graphs (2009) (25)
Hardware Synthesis Using SAFL and Application to Processor Design (2001) (23)
Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling (2010) (22)
Java 8 in Action: Lambdas, Streams, and Functional-Style Programming (2014) (22)
Effect Systems Revisited - Control-Flow Algebra and Semantics (2015) (22)
A new approach to parallelising tracing algorithms (2009) (21)
A Statically Allocated Parallel Functional Language (2000) (20)
Programming Language Design and Analysis Motivated by Hardware Evolution (2007) (20)
Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS) (2008) (19)
Programming language evolution via source code query languages (2012) (19)
Overhead-free polymorphism in network-on-chip implementation of object-oriented models (2004) (19)
Stream processing hardware from functional language specifications (2003) (18)
Bidirectional data flow analysis for type inferencing (2003) (18)
Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs (2004) (17)
The semantic marriage of monads and effects (2014) (17)
Object-Oriented ASIP Design and Synthesis (2003) (16)
Delayed Side-Effects Ease Multi-core Programming (2007) (16)
The FLaSH Compiler : Efficient Circuits from Functional Specifications (2000) (15)
Uniform Ideals and Strictness Analysis (1991) (15)
Controlling Control Flow in Web Applications (2008) (14)
Higher-level techniques for hardware description and synthesis (2003) (14)
Extending monads with pattern matching (2012) (14)
Abstract interpretation of combinational asynchronous circuits (2004) (14)
Spatial policies for sentient mobile applications (2003) (13)
Knowledge-Representation and Scalable Abstract Reasoning for Sentient Computing using First-Order Logic (13)
An Efficient and Scalable Platform for Java Source Code Analysis Using Overlaid Graph Representations (2020) (13)
Comparing type-based and proof-directed decompilation (2001) (13)
SCAFOS: linking sensor data to context-aware applications using abstract events (2008) (12)
Liveness-Based Garbage Collection (2014) (11)
Kilim: Isolation-Typed Actors for Java (A Million Actors, Safe Zero-Copy Communication) (2008) (10)
Automatic Correction to Safety Violations in Programs (2006) (10)
Schedulability Analysis Abstractions for Safety Critical Java (2012) (10)
The Next 7000 Programming Languages (2019) (10)
Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order (2019) (9)
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051) (2012) (9)
Logical and Operational Methods in the Analysis of Programs and Systems (1996) (8)
Automatic In-Flight Repair of FPGA Cosmic Ray Damage (2005) (8)
Jones optimality and hardware virtualization: a report on work in progress (2008) (8)
Minimal Function Graphs are not Instrumented (1992) (8)
Revisiting SIMD Programming (2007) (8)
Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs (2016) (8)
Efficient and Correct Stencil Computation via Pattern Matching and Static Typing (2011) (8)
The Case for Abstracting Security Policies (2003) (7)
Choosing Method of the Most Effective Nested Loop Shearing for Parallelism (2007) (7)
A Notation for Comonads (2012) (7)
Optimal bit-reversal using vector permutations (2007) (7)
Soft Scheduling for Hardware (2001) (7)
Haskell Is Not Not ML (2006) (7)
Model Checking for Sentient Computing: An Axiomatic Approach (2005) (6)
Notions of Aliasing and Ownership (2013) (6)
A study on abstract interpretation and “validating microcode algebraically” (1986) (6)
Using Multiple Memory Access Instructions for Reducing Code Size (2004) (6)
Bit-level partial evaluation of synchronous circuits (2006) (6)
Uniform PERs and Comportment Analysis (1995) (6)
Control Flow Analysis for the Join Calculus (2012) (5)
Sliding Window Logic Simulation (2004) (5)
On integration of programming paradigms (1996) (5)
Proceedings of the Second International Symposium on Static Analysis (1995) (5)
Programming language evolution workshop report (2014) (5)
Categorical Programming for Data Types with Restricted Parametricity (2012) (5)
Object-Oriented Type Systems (1995) (4)
Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers (2018) (4)
Hoare-style Speciﬁcation Meets Executable Validation (2009) (4)
Logical Testing (2009) (4)
Incremental Polymorphic Type Checking with Update (1992) (4)
A Lightweight Model for Software Thread-Level Speculation (TLS) (2007) (4)
Foundations of Functional Programming (4)
Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings (1995) (3)
Coeffects (2014) (3)
Isolation Types and Multi-core Architectures (2011) (3)
Strictness Meets Data Flow (2010) (3)
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications (2008) (3)
A first-order logic model for context-awareness in distributed sensor-driven systems (2006) (3)
Untyped strictness analysis (1995) (3)
Data-Flow Analyses as Effects and Graded Monads (2020) (3)
Complexity as a Basis for Comparing Semantic Models of Concurrency (1995) (2)
Refactoring traces to identify concurrency improvements (2021) (2)
REPAIR: Hard-error recovery via re-execution (2015) (2)
Aliasing contracts: a dynamic approach to alias protection (2013) (2)
Petri-nets as an Intermediate Representation for Heterogeneous Architectures (2011) (2)
A graded monad for deadlock-free concurrency (functional pearl) (2020) (2)
Linear types for packet processing (extended version) (2004) (2)
Call-by-need effects via coeffects (2018) (2)
Applying Bayesian Networks to Sensor-Driven Systems (2006) (2)
Statically-allocated languages for hardware stream processing ( extended abstract ) (2002) (2)
Mapping the Join Calculus to Heterogeneous Hardware (2013) (2)
Modern Java in Action by (2018) (2)
Linking Temporal First Order Logic and Hidden Markov Models with Abstract Events (2010) (2)
Critical-Path-Guided Interactive Parallelisation (2011) (2)
Strict and Relaxed Sieving for Multi-Core Programming (2008) (1)
Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems (2011) (1)
Brief Announcement: Optimal Bit-Reversal Using Vector Permutations (2007) (1)
A Unified Model for Context-Sensitive Program Analyses: (2021) (1)
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software: Preface (2011) (1)
Generalized Points-to Graphs (2020) (1)
Dynamic Testing and Automatic Repair of Reconfigurable Wiring Harnesses (2006) (1)
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010 (2011) (1)
Modern Java in Action: Lambdas, streams, functional and reactive programming (2018) (1)
Compiler Construction : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings (2006) (1)
Lazy Pointer Analysis (2011) (1)
Reconfigurable Manifolds (1)
Galois connecting call-by-value and call-by-name (2022) (1)
Dynamic Alias Protection with Aliasing Contracts (2013) (1)
Source code patches from dynamic analysis (2021) (1)
Optimising Compilation (1992) (1)
Towards a Theory of Packages (2015) (1)
Report on Dagstuhl seminar 9535 on abstract interpretation, Wadern, Germany, August 28-September 1 1995 (1995) (1)
Improved power efficency in microprocessors (2001) (1)
Object-aware cache: higher hit-ratio in object-oriented ASIPs (2004) (1)
ParaDox: Eliminating Voltage Margins via Heterogeneous Fault Tolerance (2021) (0)
System tests from unit tests (2010) (0)
PLACES'10: The 3rd Workshop on Programmng Language Approaches to concurrency and Communication-Centric Software (2013) (0)
Abstract Interpretation (Dagstuhl Seminar 9535) (2021) (0)
Modern Java in action : Lambdas. streams, reactive and functional programming (2019) (0)
Aliasing Visions: Ownership and Location (2013) (0)
Nested loop vectorisation (2007) (0)
Logic Programming and Functional Nets (2000) (0)
Pattern and Approximate-Pattern Matching for Program Compaction (0)
Toward trustworthy programming for autonomous concurrent systems (2022) (0)
A Proof of Soundness for k-LCFA (2012) (0)
STATICALLY ANALYSING THE DYNAMIC BEHAVIOUR OF ASYNCHRONOUS CIRCUITS BY ABSTRACT INTERPRETATION (2003) (0)
Formally Efficient Program Instrumentation (2010) (0)
THE THEORYAND PRACTICE OF TRANSFORMING CALL-B¥-NEEDINT0 CALL-BY-VALUE (2005) (0)
Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation (2013) (0)
Classifying Language Features and Libraries (2012) (0)
Optimising Compilation Part I: Classical Imperative Languages (1992) (0)
Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS ... (Lecture Notes in Computer Science) (2006) (0)
Honours and Distinctions (1958) (0)
Research data supporting: "REPAIR: Hard-Error Recovery via Re-Execution" (2015) (0)
Reconfigurable Manifolds Final Report (0)
Tracing and its observer effect on concurrency (2021) (0)
It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It (2014) (0)
Computer Science Tripos Part II Optimising Compilers (0)
Proceedings of the 15th international conference on Compiler Construction (2006) (0)
The semantic marriage of monads and effects Extended abstract (2014) (0)

This paper list is powered by the following services:

Other Resources About Alan Mycroft

What Schools Are Affiliated With Alan Mycroft?

Alan Mycroft is affiliated with the following schools: