| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon |
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051).  |
Dagstuhl Reports  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft |
Schedulability Analysis Abstractions for Safety Critical Java. |
ISORC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic A. Orchard, Alan Mycroft |
Efficient and Correct Stencil Computation via Pattern Matching and Static Typing |
DSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat |
Lazy Pointer Analysis |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Eleftheria Katsiri, Alan Mycroft |
Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems. |
Simulation Modelling Practice and Theory |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Calvert, Alan Mycroft |
Petri-nets as an Intermediate Representation for Heterogeneous Architectures. |
Euro-Par |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Petricek, Alan Mycroft, Don Syme |
Extending monads with pattern matching. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Mak, Alan Mycroft |
Critical-Path-Guided Interactive Parallelisation. |
ICPP Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleftheria Katsiri, Jean Bacon, Alan Mycroft |
Linking Temporal First Order Logic and Hidden Markov Models with Abstract Events. |
International Journal on Artificial Intelligence Tools |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Alan Mycroft (eds.) |
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Feigin, Alan Mycroft |
Formally Efficient Program Instrumentation. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Mak, Karl-Filip Faxén, Sverker Janson, Alan Mycroft |
Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling. |
Euro-Par |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic A. Orchard, Max Bolingbroke, Alan Mycroft |
Ypnos: declarative, parallel structured grid programming. |
DAMP |
2010 |
DBLP DOI BibTeX RDF |
comonads, edsl, structured grids, ypnos, parallelism, stencils |
| 1 | Tom Schrijvers, Alan Mycroft |
Strictness Meets Data Flow. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmin E. Oancea, Alan Mycroft, Stephen M. Watt |
A new approach to parallelising tracing algorithms. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
memory-centric tracing algorithm, parallel |
| 1 | Kathryn E. Gray, Alan Mycroft |
Logical Testing. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmin E. Oancea, Alan Mycroft, Tim Harris |
A lightweight in-place implementation for software thread-level speculation. |
SPAA |
2009 |
DBLP DOI BibTeX RDF |
roll-back, thread-level speculation (tls) |
| 1 | Robin Message, Alan Mycroft |
Controlling Control Flow in Web Applications. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Feigin, Alan Mycroft |
Jones optimality and hardware virtualization: a report on work in progress. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
Jones optimality, virtual machines, virtualization, full abstraction |
| 1 | Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft |
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram Srinivasan, Alan Mycroft |
Kilim: Isolation-Typed Actors for Java. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmin E. Oancea, Alan Mycroft |
Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS). |
LCPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Thompson, Alan Mycroft |
Abstract interpretation of combinational asynchronous circuits. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleftheria Katsiri, Jean Bacon, Alan Mycroft |
SCAFOS: linking sensor data to context-aware applications using abstract events. |
Int. J. Pervasive Computing and Communications |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Lokhmotov, Alan Mycroft, Andrew Richards |
Delayed Side-Effects Ease Multi-core Programming. |
Euro-Par |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmin E. Oancea, Alan Mycroft |
A Lightweight Model for Software Thread-Level Speculation (TLS). |
PACT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Lokhmotov, Alan Mycroft |
Optimal bit-reversal using vector permutations. |
SPAA |
2007 |
DBLP DOI BibTeX RDF |
FFT, SIMD, vector, permutation, bit-reversal |
| 1 | Kyoko Iwasawa, Alan Mycroft |
Choosing Method of the Most Effective Nested Loop Shearing for Parallelism. |
PDCAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft |
Programming Language Design and Analysis Motivated by Hardware Evolution. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Lokhmotov, Benedict R. Gaster, Alan Mycroft, Neil Hickey, David Stuttard |
Revisiting SIMD Programming. |
LCPC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Thompson, Alan Mycroft |
Bit-level partial evaluation of synchronous circuits. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
partial evaluation, loop unrolling, synchronous circuits |
| 1 | Eleftheria Katsiri, Alan Mycroft |
Applying Bayesian Networks to Sensor-Driven Systems. |
ISWC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft, Andreas Zeller (eds.) |
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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones |
Haskell Is Not Not ML. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Ennals, Richard Sharp, Alan Mycroft |
Task Partitioning for Multi-core Network Processors. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft |
Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs. |
J. UCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Neil Johnson, Alan Mycroft |
Using Multiple Memory Access Instructions for Reducing Code Size. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft |
Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Thompson, Alan Mycroft |
Abstract Interpretation of Combinational Asynchronous Circuits. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Ennals, Richard Sharp, Alan Mycroft |
Linear Types for Packet Processing. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Nethercote, Alan Mycroft |
Redux: A Dynamic Dataflow Tracer. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft, Richard Sharp |
Higher-level techniques for hardware description and synthesis. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Static allocation, Behavioural hardware description, High-level synthesis, Functional languages, Hardware/software co-design |
| 1 | Uday P. Khedker, Dhananjay M. Dhamdhere, Alan Mycroft |
Bidirectional data flow analysis for type inferencing. |
Computer Languages, Systems & Structures |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Scott, Alastair R. Beresford, Alan Mycroft |
Spatial Policies for Sentient Mobile Applications. |
POLICY |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Scott, Alastair R. Beresford, Alan Mycroft |
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Frankau, Alan Mycroft |
Stream Processing Hardware from Functional Language Specifications. (PDF / PS) |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft |
Object-Oriented ASIP Design and Synthesis. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Anil Madhavapeddy, Alan Mycroft, David Scott, Richard Sharp |
The Case for Abstracting Security Policies. |
Security and Management |
2003 |
DBLP BibTeX RDF |
|
| 1 | Neil Johnson, Alan Mycroft |
Combined Code Motion and Register Allocation Using the Value State Dependence Graph. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Nethercote, Alan Mycroft |
The cache behaviour of large lazy functional programs on stock hardware. |
MSP/ISMM |
2002 |
DBLP DOI BibTeX RDF |
Glasgow Haskell Compiler, cache measurement, Haskell, Haskell, cache simulation, hardware counters, branch misprediction |
| 1 | Alan Mycroft, Richard Sharp |
Hardware/Software Co-Design Using Functional Languages. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Sharp, Alan Mycroft |
A Higher-Level Language for Hardware Synthesis. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft, Richard Sharp |
Hardware Synthesis Using SAFL and Application to Processor Design. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata |
Comparing Type-Based and Proof-Directed Decompilation. (PDF / PS) |
WCRE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Sharp, Alan Mycroft |
Soft Scheduling for Hardware. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft, Richard Sharp |
A Statically Allocated Parallel Functional Language. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft |
Logic Programming and Functional Nets. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alan Mycroft |
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft |
On Integration of Programming Paradigms. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen |
Logical and Operational Methods in the Analysis of Programs and Systems. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Ernoult, Alan Mycroft |
Untyped Strictness Analysis. |
J. Funct. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft, Pierpaolo Degano, Corrado Priami |
Complexity as a Basis for Comparing Semantic Models of Concurrency. |
ASIAN |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft, Kirsten Lackner Solberg |
Uniform PERs and Comportment Analysis |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft (eds.) |
Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings |
|
1995 |
DBLP BibTeX RDF |
|
| 1 | Alan Mycroft |
Completeness and predicate-based abstract interpretation. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft |
Incremental Polymorphic Type Checking with Update. |
LFCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft, Mads Rosendahl |
Minimal Function Graphs are not Instrumented. |
WSA |
1992 |
DBLP BibTeX RDF |
|
| 1 | Christine Ernoult, Alan Mycroft |
Uniform Ideals and Strictness Analysis. |
ICALP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil D. Jones, Alan Mycroft |
Data Flow Analysis of Applicative Programs Using Minimal Function Graphs. |
POPL |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft, Neil D. Jones |
A relational framework for abstract interpretation. |
Programs as Data Objects |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft, Richard A. O'Keefe |
A Polymorphic Type System for Prolog. |
Artif. Intell. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Goltz, Alan Mycroft |
On the Relationship of CCS and Petri Nets. |
ICALP |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft |
Logic Programs and Many-Valued Logic. |
STACS |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil D. Jones, Alan Mycroft |
Stepwise Development of Operational and Denotational Semantics for Prolog. |
SLP |
1984 |
DBLP BibTeX RDF |
|
| 1 | Alan Mycroft |
Polymorphic Type Schemes and Recursive Definitions. |
Symposium on Programming |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft, Flemming Nielson |
Strong Abstract Interpretation Using Power Domains (Extended Abstract). |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft |
The Theory and Practice of Transforming Call-by-need into Call-by-value. |
Symposium on Programming |
1980 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")