skip to content

Department of Computer Science and Technology

  • Emeritus Professor
  • Emeritus Fellow of Robinson College

Link to my olde-style web page: www.cl.cam.ac.uk/~am21

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., 2022. Galois Connecting Call-by-Value and Call-by-Name Leibniz International Proceedings in Informatics, LIPIcs, v. 228
    Doi: 10.4230/LIPIcs.FSCD.2022.32
  • 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
  • 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,
  • Calvert, P. and Mycroft, A., 2013. Mapping the Join Calculus to Heterogeneous Hardware EPTCS 109, 2013, pp. 7-12,
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • MYCROFT, A. and OKEEFE, RA., 1984. A POLYMORPHIC TYPE SYSTEM FOR PROLOG ARTIF INTELL, v. 23
  • 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
  • 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 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
  • Rydeheard, DE., Mycroft, A. and Peto, J., 1982. Propaganda wars. Nature, v. 296
    Doi: http://doi.org/10.1038/296700c0
  • 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,
  • 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,
  • 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
  • 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

  • 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
  • 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,
  • 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
  • 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
  • Bøgholm, T., Thomsen, B., Larsen, KG. and Mycroft, A., 2012. Schedulability Analysis Abstractions for Safety Critical Java. ISORC,
    Doi: 10.1109/ISORC.2012.18
  • 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
  • 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,
  • 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,
  • 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
  • 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
  • Gray, KE. and Mycroft, A., 2009. Logical Testing Hoare-style Specification Meets Executable Validation FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, v. 5503
  • 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 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,
  • 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,
  • 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
  • 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,
  • 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
  • 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
  • Rudiak-Gould, B., Mycroft, A. and Jones, SP., 2006. Haskell is not not ML PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, v. 3924
  • Rudiak-Gould, B., Mycroft, A. and Jones, SP., 2006. Haskell is not not ML PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, v. 3924
  • 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,
  • Katsiri, E. and Mycroft, A., 2005. Model checking for sentient computing: An axiomatic approach CEUR Workshop Proceedings, v. 165
  • Ennals, R., Sharp, R. and Mycroft, A., 2005. Task partitioning for multi-core network processors COMPILER CONSTRUCTION, PROCEEDINGS, v. 3443
  • 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,
  • 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,
  • Thompson, S. and Mycroft, A., 2004. Abstract interpretation of combinational asynchronous circuits STATIC ANALYSIS, PROCEEDINGS, v. 3148
  • 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,
  • 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
  • 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
  • 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
  • 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., 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., 2001. Hardware Synthesis Using SAFL and Application to Processor Design. CHARME, v. 2144
  • Sharp, R. and Mycroft, A., 2001. Soft scheduling for hardware STATIC ANALYSIS, PROCEEDINGS, v. 2126
  • Sharp, R. and Mycroft, A., 2001. A Higher-Level Language for Hardware Synthesis. CHARME, v. 2144
  • 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
  • Ernoult, C. and Mycroft, A., 1995. Untyped Strictness Analysis. J. Funct. Program., v. 5
    Doi: 10.1017/S0956796800001222
  • 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
  • Mycroft, A., 1993. Completeness and predicate-based abstract interpretation. PEPM,
  • MYCROFT, A., 1992. INCREMENTAL POLYMORPHIC TYPE CHECKING WITH UPDATE LOGICAL FOUNDATIONS OF COMPUTER SCIENCE - TVER 92, v. 620
  • 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
  • ERNOULT, C. and MYCROFT, A., 1991. UNIFORM IDEALS AND STRICTNESS ANALYSIS AUTOMATA, LANGUAGES, AND PROGRAMMING //, v. 510
  • 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
  • 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 Nielson, F., 1983. Strong Abstract Interpretation Using Power Domains (Extended Abstract). ICALP, v. 154
  • Mycroft, A. and O'Keefe, RA., 1983. A Polymorphic Type System for Prolog. Logic Programming Workshop,
  • Mycroft, A., 1980. The Theory and Practice of Transforming Call-by-need into Call-by-value. Symposium on Programming, v. 83
  • 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
  • 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"
  • 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

  • McDermott, D., Reasoning about effectful programs and evaluation order
  • Contact Details

    Room: 
    FC08
    Email: 

    alan.mycroft@cl.cam.ac.uk