Alan Mycroft - RankMe

127 papers A* 8A 10B 25C 9Misc 2Journal 23Unranked 44

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