Alan Mycroft

Biography

Alan Mycroft is a Computer Science Academic who worked at the Department of Computer Science and Technology (previously the Computer Laboratory) of the University of Cambridge for 39 years, retiring from "Professor of Computing" to "Emeritus Professor" on 30 September 2023.

After gaining a Mathematics degree at Cambridge and a PhD in Computer Science at Edinburgh, he was a post-doc at Edinburgh, a Forskarsassistent (a research post) at Chalmers University in Sweden, and then moved back to Cambridge.

His research centres on Programming Languages, their semantics, their analysis and their compilation.

He has spent sabbaticals at Ecole Polytechnique in Paris, IMDEA in Madrid, DTU in Lyngby, IITB in Mumbai along with industrial leave at AT&T Research and Intel Research.

He was a founder of the Raspberry Pi Foundation, and a Teaching Fellow at Robinson College, Cambridge

Research

Alan's research centres on Programming Languages, their semantics, their analysis and their compilation.

He continues to be interested in appropriate research collaborations but, since retirement, can no longer supervise Masters or PhD students.

Publications

Publication list below is automatically created by Symplectic. Some readers prefer Google Scholar: https://scholar.google.com/citations?user=0ycSEz8AAAAJ

Journal articles

McDermott, D. and Mycroft, A., 2024. GALOIS CONNECTING CALL-BY-VALUE AND CALL-BY-NAME Logical Methods in Computer Science, v. 20
Doi: 10.46298/lmcs-20(1:13)2024

McDermott, D. and Mycroft, A., 2022. Galois connecting call-by-value and call-by-name. CoRR, v. abs/2202.08246

Jaiswal, S., Khedker, UP. and Mycroft, A., 2021. A Unified Model for Context-Sensitive Program Analyses: The Blind Men and the Elephant ACM COMPUTING SURVEYS, v. 54
Doi: http://doi.org/10.1145/3456563

Urma, RG. and Mycroft, A., 2015. Source-code queries with graph databases - With application to programming language usage and evolution Science of Computer Programming, v. 97
Doi: http://doi.org/10.1016/j.scico.2013.11.010

Orchard, D., Petricek, T. and Mycroft, A., 2014. The semantic marriage of monads and effects

Calvert, P. and Mycroft, A., 2013. Mapping the Join Calculus to Heterogeneous Hardware EPTCS 109, 2013, pp. 7-12,

Mycroft, A. and Voigt, J., 2013. Notions of aliasing and ownership Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 7850
Doi: http://doi.org/10.1007/978-3-642-36946-9_4

Mycroft, A., 2013. Aliasing visions: Ownership and location Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 7850
Doi: http://doi.org/10.1007/978-3-642-36946-9_18

Urma, R-G. and Mycroft, A., 2013. Source-code queries with graph databases-with application to programming language usage and evolution Science of Computer Programming,

King, A., Mycroft, A., Reps, TW. and Simon, A., 2012. Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). Dagstuhl Reports, v. 2
Doi: 10.4230/DagRep.2.1.100

Mycroft, A., 2012. Isolation types and multi-core architectures Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 7421 LNCS
Doi: http://doi.org/10.1007/978-3-642-31762-0_4

Urma, RG. and Mycroft, A., 2012. Programming language evolution via source code query languages SPLASH 2012: PLATEAU 2012 - Proceedings of the 2012 ACM 4th Annual Workshop on Evaluation and Usability of Programming Languages and Tools,
Doi: 10.1145/2414721.2414728

Petricek, T., Mycroft, A. and Syme, D., 2011. Extending monads with pattern matching ACM SIGPLAN Notices, v. 46
Doi: http://doi.org/10.1145/2096148.2034677

Petricek, T., Mycroft, A. and Syme, D., 2011. Extending monads with pattern matching Haskell'11 - Proceedings of the 2011 ACM SIGPLAN Haskell Symposium,
Doi: http://doi.org/10.1145/2034675.2034677

Orchard, D. and Mycroft, A., 2011. Efficient and Correct Stencil Computation via Pattern Matching and Static Typing EPTCS 66, 2011, pp. 68-92,

Honda, K. and Mycroft, A., 2011. Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software

Calvert, P. and Mycroft, A., 2011. Petri-nets as an intermediate representation for heterogeneous architectures Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 6853 LNCS
Doi: http://doi.org/10.1007/978-3-642-23397-5_22

Mak, J. and Mycroft, A., 2011. Critical-path-guided interactive parallelisation Proceedings of the International Conference on Parallel Processing Workshops,
Doi: http://doi.org/10.1109/ICPPW.2011.26

Khedker, UP., Mycroft, A. and Rawat, PS., 2011. Lazy Pointer Analysis

Katsiri, E., Bacon, J. and Mycroft, A., 2010. Linking Temporal First Order Logic and Hidden Markov Models with Abstract Events. Int. J. Artif. Intell. Tools, v. 19
Doi: 10.1142/S0218213010000443

Mak, J. and Mycroft, A., 2009. Limits of parallelism using Dynamic Dependency Graphs WODA 2009 - Proceedings of the 7th International Workshop on Dynamic Analysis, Held in Conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2009,
Doi: http://doi.org/10.1145/2134243.2134253

Oancea, CE. and Mycroft, A., 2008. Software thread-level speculation an optimistic library implementation Proceedings - International Conference on Software Engineering,

Thompson, S. and Mycroft, A., 2007. Abstract interpretation of combinational asynchronous circuits SCIENCE OF COMPUTER PROGRAMMING, v. 64
Doi: http://doi.org/10.1016/j.scico.2006.03.007

Rudiak-Gould, B., Mycroft, A. and Jones, SP., 2006. Haskell is not not ML Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 3924 LNCS
Doi: http://doi.org/10.1007/11693024_4

Mycroft, A. and Zeller, A., 2006. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 3923 LNCS

Goudarzi, M., Hessabi, S. and Mycroft, A., 2004. Object-aware cache: Higher hit-ratio in object-oriented ASIPs Canadian Conference on Electrical and Computer Engineering, v. 2

Goudarzi, M., Hessabi, S. and Mycroft, A., 2004. Object-oriented embedded system development based on synthesis and reuse of OO-ASIPs J UNIVERS COMPUT SCI, v. 10

Khedker, UP., Dhamdhere, DM. and Mycroft, A., 2003. Bidirectional data flow analysis for type inferencing COMPUT LANG SYST STR, v. 29
Doi: http://doi.org/10.1016/S1477-8424(03)00012-5

Nethercote, N. and Mycroft, A., 2003. Redux: A dynamic dataflow tracer Electronic Notes in Theoretical Computer Science, v. 89
Doi: http://doi.org/10.1016/S1571-0661(04)81047-8

Mycroft, A., 1996. On integration of programming paradigms ACM COMPUT SURV, v. 28

ERNOULT, C. and MYCROFT, A., 1991. UNIFORM IDEALS AND STRICTNESS ANALYSIS LECT NOTES COMPUT SC, v. 510

GOLTZ, U. and MYCROFT, A., 1984. ON THE RELATIONSHIP OF CCS AND PETRI NETS LECT NOTES COMPUT SC, v. 172

MYCROFT, A., 1984. LOGIC PROGRAMS AND MANY-VALUED LOGIC LECT NOTES COMPUT SC, v. 166

MYCROFT, A. and OKEEFE, RA., 1984. A POLYMORPHIC TYPE SYSTEM FOR PROLOG ARTIF INTELL, v. 23

MYCROFT, A., 1984. POLYMORPHIC TYPE SCHEMES AND RECURSIVE DEFINITIONS LECT NOTES COMPUT SC, v. 167

MYCROFT, A. and NIELSON, F., 1983. STRONG ABSTRACT INTERPRETATION USING POWER DOMAINS LECT NOTES COMPUT SC, v. 154

Rydeheard, DE., Mycroft, A. and Peto, J., 1982. Propaganda wars. Nature, v. 296
Doi: http://doi.org/10.1038/296700c0

McDermott, D. and Mycroft, A., Call-by-need effects via coeffects Open Computer Science, v. 8
Doi: http://doi.org/10.1515/comp-2018-0009

Rodriguez-Prieto, O., Mycroft, A. and Ortin, F., An efficient and scalable platform for java source code analysis using overlaid graph representations IEEE Access, v. 8
Doi: http://doi.org/10.1109/ACCESS.2020.2987631

Gharat, PM., Khedker, UP. and Mycroft, A., Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers arxiv,

Jaiswal, S., Khedker, UP. and Mycroft, A., A Unified Model for Context-Sensitive Program Analyses ACM COMPUTING SURVEYS, v. 54
Doi: 10.1145/3456563

De Silva, L. and Mycroft, A., Toward Trustworthy Programming for Autonomous Concurrent Systems AI and Society,
Doi: http://doi.org/10.1007/s00146-022-01463-6

Gharat, PM., Khedker, UP. and Mycroft, A., Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis ACM Transactions on Programming Languages and Systems,

Gharat, PM., Khedker, UP. and Mycroft, A., Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers arxiv,

Gharat, PM., Khedker, UP. and Mycroft, A., Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis ACM Transactions on Programming Languages and Systems,

Conference proceedings

Bachurski, J. and Mycroft, A., 2024. Points for Free: Embedding Pointful Array Programming in Python ARRAY 2024: Proceedings of the 10th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming,

Bachurski, J. and Mycroft, A., 2024. Points for Free: Embedding Pointful Array Programming in Python ARRAY 2024 - Proceedings of the 10th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, Co-located with: PLDI 2024,
Doi: http://doi.org/10.1145/3652586.3663312

McDermott, D. and Mycroft, A., 2022. Galois Connecting Call-by-Value and Call-by-Name Leibniz International Proceedings in Informatics, LIPIcs, v. 228
Doi: http://doi.org/10.4230/LIPIcs.FSCD.2022.32

Ainsworth, S., Zoubritzky, L., Mycroft, A. and Jones, TM., 2021. ParaDox: Eliminating Voltage Margins via Heterogeneous Fault Tolerance. 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA),
Doi: 10.1109/HPCA51647.2021.00051

Orton, I. and Mycroft, A., 2021. Source code patches from dynamic analysis FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021,
Doi: 10.1145/3464971.3468416

Orton, I. and Mycroft, A., 2021. Refactoring traces to identify concurrency improvements FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021,
Doi: 10.1145/3464971.3468420

Orton, I. and Mycroft, A., 2021. Tracing and Its Observer Effect on Concurrency Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes,
Doi: 10.1145/3475738.3480940

Ivašković, A. and Mycroft, A., 2020. A graded monad for deadlock-free concurrency (functional pearl) Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell,
Doi: http://doi.org/10.1145/3406088.3409024

Dolan, S. and Mycroft, A., 2017. Polymorphism, Subtyping, and Type Inference in MLsub

Mycroft, A., Orchard, D. and Petricek, T., 2016. Effect systems revisited—control-flow algebra and semantics Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 9560
Doi: 10.1007/978-3-319-27810-0_1

Gharat, PM., Khedker, UP. and Mycroft, A., 2016. Flow- and context-sensitive points-to analysis using generalized points-to graphs Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 9837 LNCS
Doi: http://doi.org/10.1007/978-3-662-53413-7_11

Soman, J., Miralaei, N., Mycroft, A. and Jones, TM., 2015. REPAIR: Hard-error recovery via re-execution Proceedings of the 2015 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFTS 2015,
Doi: 10.1109/DFT.2015.7315139

Asati, R., Sanyal, A., Karkare, A. and Mycroft, A., 2014. Liveness-based garbage collection Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 8409 LNCS
Doi: http://doi.org/10.1007/978-3-642-54807-9_5

Petricek, T., Orchard, D. and Mycroft, A., 2014. Coeffects: A calculus of context-dependent computation ACM SIGPLAN Notices, v. 49
Doi: 10.1145/2628136.2628160

Proust, R. and Mycroft, A., 2014. It's only illegal if you get caught: Breaking invariants and getting away with it Onward! 2014 - Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2014,
Doi: http://doi.org/10.1145/2661136.2661142

Urma, RG., Orchard, D. and Mycroft, A., 2014. Programming Language Evolution workshop report Proceedings of the 1st Workshop on Programming Language Evolution, PLE 2014 - co-located with ECOOP 2014,
Doi: 10.1145/2717124.2717125

2014. Proceedings of the 1st Workshop on Programming Language Evolution, PLE@ECOOP 2014, Uppsala, Sweden, July 28, 2014 PLE@ECOOP,

Orchard, D. and Mycroft, A., 2013. A notation for comonads Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 8241 LNCS
Doi: http://doi.org/10.1007/978-3-642-41582-1_1

Voigt, J. and Mycroft, A., 2013. Dynamic alias protection with aliasing contracts Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 8301 LNCS
Doi: http://doi.org/10.1007/978-3-319-03542-0_10

Petricek, T., Orchard, D. and Mycroft, A., 2013. Coeffects: Unified static analysis of context-dependence Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 7966 LNCS
Doi: http://doi.org/10.1007/978-3-642-39212-2_35

White, L. and Mycroft, A., 2013. Concise analysis using implication algebras for task-local memory optimisation Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 7935 LNCS
Doi: http://doi.org/10.1007/978-3-642-38856-9_23

Khoo, WM., Mycroft, A. and Anderson, RJ., 2013. Rendezvous: a search engine for binary code. MSR,
Doi: 10.1109/MSR.2013.6624046

Bøgholm, T., Thomsen, B., Larsen, KG. and Mycroft, A., 2012. Schedulability Analysis Abstractions for Safety Critical Java. ISORC,

Calvert, P. and Mycroft, A., 2012. Control Flow Analysis for the Join Calculus. SAS, v. 7460

Khedker, UP., Mycroft, A. and Rawat, PS., 2012. Liveness-Based Pointer Analysis. SAS, v. 7460

Katsiri, E. and Mycroft, A., 2011. Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems. Simul. Model. Pract. Theory, v. 19
Doi: 10.1016/j.simpat.2010.06.002

Mycroft, A., 2011. Isolation Types and Multi-core Architectures. FoVeOOS, v. 7421

Feigin, B. and Mycroft, A., 2010. Formally Efficient Program Instrumentation. RV, v. 6418

Schrijvers, T. and Mycroft, A., 2010. Strictness Meets Data Flow. SAS, v. 6337

Mak, JCH., Faxén, K-F., Janson, S. and Mycroft, A., 2010. Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling. Euro-Par (1), v. 6271

Orchard, DA., Bolingbroke, M. and Mycroft, A., 2010. Ypnos: Declarative, Parallel Structured Grid Programming DAMP'10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON DECLARATIVE ASPECTS OF MULTICORE PROGRAMMING,

Oancea, CE., Mycroft, A. and Harris, T., 2009. A Lightweight In-Place Implementation for Software Thread-Level Speculation SPAA'09: PROCEEDINGS OF THE TWENTY-FIRST ANNUAL SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES,

Oancea, CE., Mycroft, A. and Watt, SM., 2009. A New Approach to Parallelising Tracing Algorithms ISMM'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT,

Gray, KE. and Mycroft, A., 2009. Logical Testing Hoare-style Specification Meets Executable Validation FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, v. 5503

Gray, KE. and Mycroft, A., 2009. Logical Testing. FASE, v. 5503

Gray, KE. and Mycroft, A., 2009. Logical Testing Hoare-style Specification Meets Executable Validation FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, v. 5503

Davies, JJ., Beresford, AR. and Mycroft, A., 2008. Language-based optimisation of sensor-driven distributed computing applications FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, v. 4961

Lokhmotov, A., Gaster, BR., Mycroft, A., Hickey, N. and Stuttard, D., 2008. Revisiting SIMD programming LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, v. 5234

Oancea, CE. and Mycroft, A., 2008. Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS) LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, v. 5335

Srinivasan, S. and Mycroft, A., 2008. Kilim: Isolation-Typed Actors for Java. ECOOP, v. 5142

Lokhmotov, A., Gaster, BR., Mycroft, A., Hickey, N. and Stuttard, D., 2008. Revisiting SIMD programming LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, v. 5234

Feigin, B. and Mycroft, A., 2008. Jones Optimality and Hardware Virtualization A Report on Work in Progress PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION,

Oancea, CE. and Mycroft, A., 2008. Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS) LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, v. 5335

Srinivasan, S. and Mycroft, A., 2008. Kilim: Isolation-typed actors for Java (a million actors, safe zero-copy communication) ECOOP 2008 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, v. 5142

Mycroft, A., 2007. Programming language design and analysis motivated by hardware evolution (Invited presentation) STATIC ANALYSIS, PROCEEDINGS, v. 4634

Lwasawa, K. and Mycroft, A., 2007. Choosing method of the most effective nested loop shearing for parallelism EIGHTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS,

Mycroft, A., 2007. Programming Language Design and Analysis Motivated by Hardware Evolution. SAS, v. 4634

Katsiri, E., Bacon, J. and Mycroft, A., 2007. SCAFOS: linking sensor data to context-aware applications using abstract events. Int. J. Pervasive Comput. Commun., v. 3
Doi: 10.1108/17427370710863112

Lokhmotov, A. and Mycroft, A., 2007. Optimal bit-reversal using vector permutations. SPAA,

Message, RH. and Mycroft, A., 2007. Controlling Control Flow in Web Applications. WWV,

Lokhmotov, A., Mycroft, A. and Richards, A., 2007. Delayed side-effects ease multi-core programming Euro-Par 2007 Parallel Processing, Proceedings, v. 4641

Oancea, CE. and Mycroft, A., 2007. A Lightweight Model for Software Thread-Level Speculation (TLS). PACT,
Doi: 10.1109/PACT.2007.6

Lokhmotov, A. and Mycroft, A., 2007. Brief Announcement: Optimal Bit-Reversal Using Vector Permutations SPAA'07: PROCEEDINGS OF THE NINETEENTH ANNUAL SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES,

Lokhmotov, A., Mycroft, A. and Richards, A., 2007. Delayed side-effects ease multi-core programming Euro-Par 2007 Parallel Processing, Proceedings, v. 4641

Thompson, S. and Mycroft, A., 2006. Bit-level partial evaluation of synchronous circuits. PEPM,

2006. 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 CC, v. 3923

Katsiri, E. and Mycroft, A., 2006. Applying Bayesian networks to sensor-driven systems Tenth IEEE International Symposium on Wearable Computers, Proceedings,

Rudiak-Gould, B., Mycroft, A. and Jones, SP., 2006. Haskell is not not ML PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, v. 3924

Ennals, R., Sharp, R. and Mycroft, A., 2005. Task partitioning for multi-core network processors COMPILER CONSTRUCTION, PROCEEDINGS, v. 3443

Katsiri, E. and Mycroft, A., 2005. Model checking for sentient computing: An axiomatic approach CEUR Workshop Proceedings, v. 165

Thompson, S. and Mycroft, A., 2004. Abstract interpretation of combinational asynchronous circuits STATIC ANALYSIS, PROCEEDINGS, v. 3148

Ennals, R., Sharp, R. and Mycroft, A., 2004. Linear types for packet processing PROGRAMMING LANGUAGES AND SYSTEMS, v. 2986

Johnson, N. and Mycroft, A., 2004. Using multiple memory access instructions for reducing code size COMPILER CONSTRUCTION, PROCEEDINGS, v. 2985

Mount, SNI., Newman, RM., Low, RJ. and Mycroft, A., 2004. Exstatic: a generic static checker applied to documentation systems. SIGDOC,

Goudarzi, M., Hessabi, S. and Mycroft, A., 2004. Overhead-free polymorphism in network-on-chip implementation of object-oriented models DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS,

Mycroft, A. and Sharp, R., 2003. Higher-level techniques for hardware description and synthesis. Int. J. Softw. Tools Technol. Transf., v. 4
Doi: 10.1007/s10009-002-0086-1

Scott, DJ., Beresford, AR. and Mycroft, A., 2003. Spatial Policies for Sentient Mobile Applications. POLICY,
Doi: 10.1109/POLICY.2003.1206968

Johnson, N. and Mycroft, A., 2003. Combined code motion and register allocation using the value state dependence graph COMPLIER CONSTRUCTION, PROCEEDINGS, v. 2622

Madhavapeddy, A., Mycroft, A., Scott, D. and Sharp, R., 2003. The case for abstracting security policies SAM'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT, VOLS 1 AND 2,

Goudarzi, M., Hessabi, S. and Mycroft, A., 2003. Object-Oriented ASIP Design and Synthesis. FDL,

Johnson, N. and Mycroft, A., 2003. Combined code motion and register allocation using the value state dependence graph COMPLIER CONSTRUCTION, PROCEEDINGS, v. 2622

Scott, D., Beresford, A. and Mycroft, A., 2003. Spatial policies for sentient mobile applications IEEE 4TH INTERNATIONAL WORKSHOP ON POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS,

Frankau, S. and Mycroft, A., 2003. Stream Processing Hardware from Functional Language Specifications. HICSS,
Doi: 10.1109/HICSS.2003.1174809

Scott, D., Beresford, A. and Mycroft, A., 2003. Spatial security policies for mobile agents in a sentient computing environment FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, v. 2621

Nethercote, N. and Mycroft, A., 2003. Redux: A Dynamic Dataflow Tracer. RV@CAV, v. 89

Nethercote, N. and Mycroft, A., 2003. The cache behaviour of large lazy functional programs on stock hardware ACM SIGPLAN NOTICES, v. 38

Nethercote, N. and Mycroft, A., 2002. The cache behaviour of large lazy functional programs on stock hardware Proceedings of the 2002 Workshop on Memory System Performance, MSP 2002,
Doi: 10.1145/773146.773044

Sharp, R. and Mycroft, A., 2001. Soft scheduling for hardware STATIC ANALYSIS, PROCEEDINGS, v. 2126

Mycroft, A. and Sharp, R., 2001. Hardware Synthesis Using SAFL and Application to Processor Design. CHARME, v. 2144

Sharp, R. and Mycroft, A., 2001. A Higher-Level Language for Hardware Synthesis. CHARME, v. 2144

Mycroft, A. and Sharp, R., 2001. Hardware/Software Co-Design Using Functional Languages. TACAS, v. 2031

Mycroft, A., Ohori, A. and Katsumata, SY., 2001. Comparing type-based and Proof-Directed Decompilation EIGHTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS,

Mycroft, A. and Sharp, R., 2000. A statically allocated parallel functional language AUTOMATA LANGUAGES AND PROGRAMMING, v. 1853

Mycroft, A., 2000. Logic Programming and Functional Nets. WFLP,

Mycroft, A., 1999. Type-based decompilation (or program reconstruction via type reconstruction) PROGRAMMING LANGUAGES AND SYSTEMS, v. 1576

Nielson, F., Cousot, P., Dam, M., Degano, P., Jouvelot, P., Mycroft, A. and Thomsen, B., 1996. Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS, v. 1192

Mycroft, A. and Solberg, KL., 1995. Uniform PERs and comportment analysis PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, v. 982

Mycroft, A., Degano, P. and Priami, C., 1995. Complexity as a Basis for Comparing Semantic Models of Concurrency. ASIAN, v. 1023

1995. Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings

Ernoult, C. and Mycroft, A., 1995. Untyped Strictness Analysis. J. Funct. Program., v. 5
Doi: 10.1017/S0956796800001222

Mycroft, A., 1993. Completeness and predicate-based abstract interpretation. PEPM,

Mycroft, A. and Rosendahl, M., 1992. Minimal Function Graphs are not Instrumented. WSA, v. 81-82

MYCROFT, A., 1992. INCREMENTAL POLYMORPHIC TYPE CHECKING WITH UPDATE LECT NOTES COMPUT SC, v. 620

MYCROFT, A., 1992. INCREMENTAL POLYMORPHIC TYPE CHECKING WITH UPDATE LOGICAL FOUNDATIONS OF COMPUTER SCIENCE - TVER 92, v. 620

ERNOULT, C. and MYCROFT, A., 1991. UNIFORM IDEALS AND STRICTNESS ANALYSIS AUTOMATA, LANGUAGES, AND PROGRAMMING //, v. 510

Jones, ND. and Mycroft, A., 1986. Data Flow Analysis of Applicative Programs Using Minimal Function Graphs. POPL,

MYCROFT, A. and JONES, ND., 1986. A RELATIONAL FRAMEWORK FOR ABSTRACT INTERPRETATION LECT NOTES COMPUT SC, v. 217

Jones, ND. and Mycroft, A., 1984. Stepwise Development of Operational and Denotational Semantics for Prolog. SLP,

Goltz, U. and Mycroft, A., 1984. On the Relationship of CCS and Petri Nets. ICALP, v. 172

Mycroft, A. and O'Keefe, RA., 1983. A Polymorphic Type System for Prolog. Logic Programming Workshop,

Mycroft, A. and Nielson, F., 1983. Strong Abstract Interpretation Using Power Domains (Extended Abstract). ICALP, v. 154

Mycroft, A., 1980. The Theory and Practice of Transforming Call-by-need into Call-by-value. Symposium on Programming, v. 83

McDermott, D. and Mycroft, A., Extended call-by-push-value: reasoning about effectful programs and evaluation order

Ivaskovic, A., Mycroft, A. and Orchard, D., Data-flow analyses as effects and graded monads
Doi: http://doi.org/10.4230/LIPIcs.FSCD.2020.18

Books

Urma, R-G., Fusco, M. and Mycroft, A., 2019. Modern Java in Action Lambdas. Streams, Reactive and Functional Programming

Urma, R-G., Fusco, M. and Mycroft, A., 2014. Java 8 in Action Lambdas, Streams, and functional-style programming

Mycroft, A., 1995. Foreword

Book chapters

Chatley, R., Donaldson, A. and Mycroft, A., 2019. The next 7000 programming languages
Doi: 10.1007/978-3-319-91908-9_15

Datasets

Ainsworth, S., Zoubritzky, L., Mycroft, A. and Jones, TM., Research data supporting "ParaDox: Eliminating Voltage Margins via Heterogeneous Fault Tolerance"

Soman, J., Miralaei, N., Mycroft, A. and Jones, T., Research data supporting: "REPAIR: Hard-Error Recovery via Re-Execution"

Theses / dissertations

Isaacs, J., Furthering Datalog in the pursuit of program analysis

Ivaskovic, A., Programming and static analysis with graded monads

McDermott, D., Reasoning about effectful programs and evaluation order

Orton, I., Dynamic Analysis for Concurrency Optmisation

Biography

Research

Themes

Publications

Journal articles

Conference proceedings

Books

Book chapters

Datasets

Theses / dissertations

Contact Details

About the department

Social media

Study at Cambridge

About the University

Research at Cambridge

Alan Mycroft

Biography

Research

Themes

Publications

Journal articles

Conference proceedings

Books

Book chapters

Datasets

Theses / dissertations

Contact Details

Related Links

About the department

Social media

Study at Cambridge

About the University

Research at Cambridge