The SCEAS System
Navigation Menu

Search the dblp DataBase


Alan Mycroft: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alan Mycroft, Richard A. O'Keefe
    A Polymorphic Type System for Prolog. [Citation Graph (9, 0)][DBLP]
    Artif. Intell., 1984, v:23, n:3, pp:295-307 [Journal]
  2. Alan Mycroft, Pierpaolo Degano, Corrado Priami
    Complexity as a Basis for Comparing Semantic Models of Concurrency. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1995, pp:141-155 [Conf]
  3. Neil Johnson, Alan Mycroft
    Combined Code Motion and Register Allocation Using the Value State Dependence Graph. [Citation Graph (0, 0)][DBLP]
    CC, 2003, pp:1-16 [Conf]
  4. Neil Johnson, Alan Mycroft
    Using Multiple Memory Access Instructions for Reducing Code Size. [Citation Graph (0, 0)][DBLP]
    CC, 2004, pp:265-280 [Conf]
  5. Robert Ennals, Richard Sharp, Alan Mycroft
    Task Partitioning for Multi-core Network Processors. [Citation Graph (0, 0)][DBLP]
    CC, 2005, pp:76-90 [Conf]
  6. Alan Mycroft, Richard Sharp
    Hardware Synthesis Using SAFL and Application to Processor Design. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:13-39 [Conf]
  7. Richard Sharp, Alan Mycroft
    A Higher-Level Language for Hardware Synthesis. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:228-243 [Conf]
  8. Anil Madhavapeddy, Alan Mycroft, David Scott, Richard Sharp
    The Case for Abstracting Security Policies. [Citation Graph (0, 0)][DBLP]
    Security and Management, 2003, pp:156-160 [Conf]
  9. Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft
    Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models. [Citation Graph (0, 0)][DBLP]
    DATE, 2004, pp:1380-1381 [Conf]
  10. Robert Ennals, Richard Sharp, Alan Mycroft
    Linear Types for Packet Processing. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:204-218 [Conf]
  11. Alan Mycroft
    Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:208-223 [Conf]
  12. Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones
    Haskell Is Not Not ML. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:38-53 [Conf]
  13. David Scott, Alastair R. Beresford, Alan Mycroft
    Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:102-117 [Conf]
  14. Simon Frankau, Alan Mycroft
    Stream Processing Hardware from Functional Language Specifications. [Citation Graph (0, 0)][DBLP]
    HICSS, 2003, pp:278- [Conf]
  15. Christine Ernoult, Alan Mycroft
    Uniform Ideals and Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:47-59 [Conf]
  16. Ursula Goltz, Alan Mycroft
    On the Relationship of CCS and Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICALP, 1984, pp:196-208 [Conf]
  17. Alan Mycroft, Flemming Nielson
    Strong Abstract Interpretation Using Power Domains (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:536-547 [Conf]
  18. Alan Mycroft, Richard Sharp
    A Statically Allocated Parallel Functional Language. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:37-48 [Conf]
  19. Nicholas Nethercote, Alan Mycroft
    The cache behaviour of large lazy functional programs on stock hardware. [Citation Graph (0, 0)][DBLP]
    MSP/ISMM, 2002, pp:44-55 [Conf]
  20. Alan Mycroft
    Incremental Polymorphic Type Checking with Update. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:347-357 [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:1-21 [Conf]
  22. Alan Mycroft, Neil D. Jones
    A relational framework for abstract interpretation. [Citation Graph (0, 0)][DBLP]
    Programs as Data Objects, 1985, pp:156-171 [Conf]
  23. Sarah Thompson, Alan Mycroft
    Bit-level partial evaluation of synchronous circuits. [Citation Graph (0, 0)][DBLP]
    PEPM, 2006, pp:29-37 [Conf]
  24. Alan Mycroft
    Completeness and predicate-based abstract interpretation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:179-185 [Conf]
  25. Alan Mycroft, Kirsten Lackner Solberg
    Uniform PERs and Comportment Analysis [Citation Graph (0, 0)][DBLP]
    PLILP, 1995, pp:169-187 [Conf]
  26. David Scott, Alastair R. Beresford, Alan Mycroft
    Spatial Policies for Sentient Mobile Applications. [Citation Graph (0, 0)][DBLP]
    POLICY, 2003, pp:147-157 [Conf]
  27. Neil D. Jones, Alan Mycroft
    Data Flow Analysis of Applicative Programs Using Minimal Function Graphs. [Citation Graph (0, 0)][DBLP]
    POPL, 1986, pp:296-306 [Conf]
  28. Alan Mycroft
    The Theory and Practice of Transforming Call-by-need into Call-by-value. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1980, pp:269-281 [Conf]
  29. Alan Mycroft
    Polymorphic Type Schemes and Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:217-228 [Conf]
  30. Alan Mycroft, Mads Rosendahl
    Minimal Function Graphs are not Instrumented. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:60-67 [Conf]
  31. Richard Sharp, Alan Mycroft
    Soft Scheduling for Hardware. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:57-72 [Conf]
  32. Sarah Thompson, Alan Mycroft
    Abstract Interpretation of Combinational Asynchronous Circuits. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:181-196 [Conf]
  33. Neil D. Jones, Alan Mycroft
    Stepwise Development of Operational and Denotational Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:281-288 [Conf]
  34. Alan Mycroft
    Logic Programs and Many-Valued Logic. [Citation Graph (0, 0)][DBLP]
    STACS, 1984, pp:274-286 [Conf]
  35. Alan Mycroft, Richard Sharp
    Hardware/Software Co-Design Using Functional Languages. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:236-251 [Conf]
  36. Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata
    Comparing Type-Based and Proof-Directed Decompilation. [Citation Graph (0, 0)][DBLP]
    WCRE, 2001, pp:362-367 [Conf]
  37. Alan Mycroft
    Logic Programming and Functional Nets. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:1-7 [Conf]
  38. Uday P. Khedker, Dhananjay M. Dhamdhere, Alan Mycroft
    Bidirectional data flow analysis for type inferencing. [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2003, v:29, n:1-2, pp:15-44 [Journal]
  39. Alan Mycroft
    On Integration of Programming Paradigms. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:309-311 [Journal]
  40. Nicholas Nethercote, Alan Mycroft
    Redux: A Dynamic Dataflow Tracer. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  41. Christine Ernoult, Alan Mycroft
    Untyped Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1995, v:5, n:1, pp:37-49 [Journal]
  42. Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft
    Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2004, v:10, n:9, pp:1123-1155 [Journal]
  43. Sarah Thompson, Alan Mycroft
    Abstract interpretation of combinational asynchronous circuits. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:64, n:1, pp:166-183 [Journal]
  44. Alan Mycroft, Richard Sharp
    Higher-level techniques for hardware description and synthesis. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:3, pp:271-297 [Journal]
  45. Anton Lokhmotov, Alan Mycroft, Andrew Richards
    Delayed Side-Effects Ease Multi-core Programming. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2007, pp:641-650 [Conf]
  46. Eleftheria Katsiri, Alan Mycroft
    Applying Bayesian Networks to Sensor-Driven Systems. [Citation Graph (0, 0)][DBLP]
    ISWC, 2006, pp:149-150 [Conf]
  47. Alan Mycroft
    Programming Language Design and Analysis Motivated by Hardware Evolution. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:18-33 [Conf]
  48. Anton Lokhmotov, Alan Mycroft
    Optimal bit-reversal using vector permutations. [Citation Graph (0, 0)][DBLP]
    SPAA, 2007, pp:198-199 [Conf]

  49. A Lightweight Model for Software Thread-Level Speculation (TLS). [Citation Graph (, )][DBLP]

  50. Kilim: Isolation-Typed Actors for Java. [Citation Graph (, )][DBLP]

  51. Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling. [Citation Graph (, )][DBLP]

  52. Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. [Citation Graph (, )][DBLP]

  53. Logical Testing. [Citation Graph (, )][DBLP]

  54. A new approach to parallelising tracing algorithms. [Citation Graph (, )][DBLP]

  55. Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS). [Citation Graph (, )][DBLP]

  56. Revisiting SIMD Programming. [Citation Graph (, )][DBLP]

  57. Choosing Method of the Most Effective Nested Loop Shearing for Parallelism. [Citation Graph (, )][DBLP]

  58. Jones optimality and hardware virtualization: a report on work in progress. [Citation Graph (, )][DBLP]

  59. Ypnos: declarative, parallel structured grid programming. [Citation Graph (, )][DBLP]

  60. Strictness Meets Data Flow. [Citation Graph (, )][DBLP]

  61. A lightweight in-place implementation for software thread-level speculation. [Citation Graph (, )][DBLP]

  62. Object-Oriented ASIP Design and Synthesis. [Citation Graph (, )][DBLP]

  63. Controlling Control Flow in Web Applications. [Citation Graph (, )][DBLP]

Search in 0.075secs, Finished in 0.078secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002