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, Co-located with: PLDI 2024,
Doi: 10.1145/3652586.3663312
Bachurski, J. and Mycroft, A., 2024. Points for Free: Embedding Pointful Array Programming in Python. ARRAY@PLDI,
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
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 MPLR 2021 - Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes,
Doi: 10.1145/3475738.3480940
Ivašković, A., Mycroft, A. and Orchard, D., 2020. Data-flow analyses as effects and graded monads Leibniz International Proceedings in Informatics, LIPIcs, v. 167
Doi: 10.4230/LIPIcs.FSCD.2020.15
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: 10.1145/3406088.3409024
McDermott, D. and Mycroft, A., 2019. Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 11423 LNCS
Doi: 10.1007/978-3-030-17184-1_9
Dolan, S. and Mycroft, A., 2017. Polymorphism, subtyping, and type inference in MLsub ACM SIGPLAN Notices, v. 52
Doi: 10.1145/3009837.3009882
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: 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: 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: 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: 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: 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: 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: 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,
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,
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
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. 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
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
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,
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
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,
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,
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. 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., 2000. Logic Programming and Functional Nets. WFLP,
Mycroft, A. and Sharp, R., 2000. A statically allocated parallel functional language AUTOMATA LANGUAGES AND PROGRAMMING, v. 1853
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
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
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
Goltz, U. and Mycroft, A., 1984. On the Relationship of CCS and Petri Nets. ICALP, v. 172
Jones, ND. and Mycroft, A., 1984. Stepwise Development of Operational and Denotational Semantics for Prolog. SLP,
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
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
de Silva, L. and Mycroft, A., 2023. Toward trustworthy programming for autonomous concurrent systems AI and Society, v. 38
Doi: 10.1007/s00146-022-01463-6
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: 10.1145/3456563
Rodriguez-Prieto, O., Mycroft, A. and Ortin, F., 2020 (Accepted for publication). An efficient and scalable platform for java source code analysis using overlaid graph representations IEEE Access, v. 8
Doi: 10.1109/ACCESS.2020.2987631
Gharat, PM., Khedker, UP. and Mycroft, A., 2020. Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis ACM Transactions on Programming Languages and Systems, v. 42
Doi: 10.1145/3382092
Gharat, PM., Khedker, UP. and Mycroft, A., 2018 (Accepted for publication). Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers arxiv,
McDermott, D. and Mycroft, A., 2018. Call-by-need effects via coeffects Open Computer Science, v. 8
Doi: 10.1515/comp-2018-0009
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: 10.1016/j.scico.2013.11.010
Orchard, D., Petricek, T. and Mycroft, A., 2014. The semantic marriage of monads and effects
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: 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,
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: 10.1007/978-3-642-36946-9_4
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: 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: 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: 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: 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: 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: 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: 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: 10.1007/11693024_4
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-aware cache: Higher hit-ratio in object-oriented ASIPs Canadian Conference on Electrical and Computer Engineering, v. 2
Khedker, UP., Dhamdhere, DM. and Mycroft, A., 2003. Bidirectional data flow analysis for type inferencing COMPUT LANG SYST STR, v. 29
Doi: 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: 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
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 OKEEFE, RA., 1984. A POLYMORPHIC TYPE SYSTEM FOR PROLOG ARTIF INTELL, v. 23
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: 10.1038/296700c0
Theses / dissertations
Isaacs, J., 2023 (No publication date). Furthering Datalog in the pursuit of program analysis
Doi: 10.17863/CAM.100114
Ivaskovic, A., 2023 (No publication date). Programming and static analysis with graded monads
Doi: 10.17863/CAM.93937
Orton, I., 2022 (No publication date). Dynamic Analysis for Concurrency Optmisation
Doi: 10.17863/CAM.87927
McDermott, D., 2020 (No publication date). Reasoning about effectful programs and evaluation order
Doi: 10.17863/CAM.52720
Datasets
Ainsworth, S., Zoubritzky, L., Mycroft, A. and Jones, TM., 2021. Research data supporting "ParaDox: Eliminating Voltage Margins via Heterogeneous Fault Tolerance"
Doi: 10.17863/CAM.61808
Soman, J., Miralaei, N., Mycroft, A. and Jones, T., 2015 (No publication date). Research data supporting: "REPAIR: Hard-Error Recovery via Re-Execution"
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
