dblp.uni-trier.dewww.uni-trier.de

Alan Mycroft Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
62EEKathryn E. Gray, Alan Mycroft: Logical Testing. FASE 2009: 186-200
61EECosmin E. Oancea, Alan Mycroft, Stephen M. Watt: A new approach to parallelising tracing algorithms. ISMM 2009: 10-19
60EECosmin E. Oancea, Alan Mycroft, Tim Harris: A lightweight in-place implementation for software thread-level speculation. SPAA 2009: 223-232
2008
59EESriram Srinivasan, Alan Mycroft: Kilim: Isolation-Typed Actors for Java. ECOOP 2008: 104-128
58EEJonathan J. Davies, Alastair R. Beresford, Alan Mycroft: Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. FASE 2008: 407-422
57EECosmin E. Oancea, Alan Mycroft: Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS). LCPC 2008: 156-171
56EEBoris Feigin, Alan Mycroft: Jones optimality and hardware virtualization: a report on work in progress. PEPM 2008: 169-175
55EERobin Message, Alan Mycroft: Controlling Control Flow in Web Applications. Electr. Notes Theor. Comput. Sci. 200(3): 119-131 (2008)
2007
54EEAnton Lokhmotov, Alan Mycroft, Andrew Richards: Delayed Side-Effects Ease Multi-core Programming. Euro-Par 2007: 641-650
53EEAnton Lokhmotov, Benedict R. Gaster, Alan Mycroft, Neil Hickey, David Stuttard: Revisiting SIMD Programming. LCPC 2007: 32-46
52EECosmin E. Oancea, Alan Mycroft: A Lightweight Model for Software Thread-Level Speculation (TLS). PACT 2007: 419
51EEKyoko Iwasawa, Alan Mycroft: Choosing Method of the Most Effective Nested Loop Shearing for Parallelism. PDCAT 2007: 267-276
50EEAlan Mycroft: Programming Language Design and Analysis Motivated by Hardware Evolution. SAS 2007: 18-33
49EEAnton Lokhmotov, Alan Mycroft: Optimal bit-reversal using vector permutations. SPAA 2007: 198-199
48EESarah Thompson, Alan Mycroft: Abstract interpretation of combinational asynchronous circuits. Sci. Comput. Program. 64(1): 166-183 (2007)
2006
47 Alan Mycroft, Andreas Zeller: 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 Springer 2006
46EEBen Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones: Haskell Is Not Not ML. ESOP 2006: 38-53
45EEEleftheria Katsiri, Alan Mycroft: Applying Bayesian Networks to Sensor-Driven Systems. ISWC 2006: 149-150
44EESarah Thompson, Alan Mycroft: Bit-level partial evaluation of synchronous circuits. PEPM 2006: 29-37
2005
43EERobert Ennals, Richard Sharp, Alan Mycroft: Task Partitioning for Multi-core Network Processors. CC 2005: 76-90
2004
42EENeil Johnson, Alan Mycroft: Using Multiple Memory Access Instructions for Reducing Code Size. CC 2004: 265-280
41EEMaziar Goudarzi, Shaahin Hessabi, Alan Mycroft: Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models. DATE 2004: 1380-1381
40EERobert Ennals, Richard Sharp, Alan Mycroft: Linear Types for Packet Processing. ESOP 2004: 204-218
39EESarah Thompson, Alan Mycroft: Abstract Interpretation of Combinational Asynchronous Circuits. SAS 2004: 181-196
38EEMaziar Goudarzi, Shaahin Hessabi, Alan Mycroft: Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs. J. UCS 10(9): 1123-1155 (2004)
2003
37EENeil Johnson, Alan Mycroft: Combined Code Motion and Register Allocation Using the Value State Dependence Graph. CC 2003: 1-16
36EEDavid Scott, Alastair R. Beresford, Alan Mycroft: Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. FASE 2003: 102-117
35EEMaziar Goudarzi, Shaahin Hessabi, Alan Mycroft: Object-Oriented ASIP Design and Synthesis. FDL 2003: 680-692
34EESimon Frankau, Alan Mycroft: Stream Processing Hardware from Functional Language Specifications. HICSS 2003: 278
33EEDavid Scott, Alastair R. Beresford, Alan Mycroft: Spatial Policies for Sentient Mobile Applications. POLICY 2003: 147-157
32 Anil Madhavapeddy, Alan Mycroft, David Scott, Richard Sharp: The Case for Abstracting Security Policies. Security and Management 2003: 156-160
31EEUday P. Khedker, Dhananjay M. Dhamdhere, Alan Mycroft: Bidirectional data flow analysis for type inferencing. Computer Languages, Systems & Structures 29(1-2): 15-44 (2003)
30EENicholas Nethercote, Alan Mycroft: Redux: A Dynamic Dataflow Tracer. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
29EEAlan Mycroft, Richard Sharp: Higher-level techniques for hardware description and synthesis. STTT 4(3): 271-297 (2003)
2002
28EENicholas Nethercote, Alan Mycroft: The cache behaviour of large lazy functional programs on stock hardware. MSP/ISMM 2002: 44-55
2001
27EEAlan Mycroft, Richard Sharp: Hardware Synthesis Using SAFL and Application to Processor Design. CHARME 2001: 13-39
26EERichard Sharp, Alan Mycroft: A Higher-Level Language for Hardware Synthesis. CHARME 2001: 228-243
25EERichard Sharp, Alan Mycroft: Soft Scheduling for Hardware. SAS 2001: 57-72
24EEAlan Mycroft, Richard Sharp: Hardware/Software Co-Design Using Functional Languages. TACAS 2001: 236-251
23EEAlan Mycroft, Atsushi Ohori, Shin-ya Katsumata: Comparing Type-Based and Proof-Directed Decompilation. WCRE 2001: 362-367
2000
22EEAlan Mycroft, Richard Sharp: A Statically Allocated Parallel Functional Language. ICALP 2000: 37-48
21 Alan Mycroft: Logic Programming and Functional Nets. WFLP 2000: 1-7
1999
20EEAlan Mycroft: Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). ESOP 1999: 208-223
1996
19EEFlemming 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: 1-21
18 Alan Mycroft: On Integration of Programming Paradigms. ACM Comput. Surv. 28(2): 309-311 (1996)
1995
17 Alan Mycroft: Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings Springer 1995
16 Alan Mycroft, Pierpaolo Degano, Corrado Priami: Complexity as a Basis for Comparing Semantic Models of Concurrency. ASIAN 1995: 141-155
15EEAlan Mycroft, Kirsten Lackner Solberg: Uniform PERs and Comportment Analysis PLILP 1995: 169-187
14 Christine Ernoult, Alan Mycroft: Untyped Strictness Analysis. J. Funct. Program. 5(1): 37-49 (1995)
1993
13 Alan Mycroft: Completeness and predicate-based abstract interpretation. PEPM 1993: 179-185
1992
12 Alan Mycroft: Incremental Polymorphic Type Checking with Update. LFCS 1992: 347-357
11 Alan Mycroft, Mads Rosendahl: Minimal Function Graphs are not Instrumented. WSA 1992: 60-67
1991
10EEChristine Ernoult, Alan Mycroft: Uniform Ideals and Strictness Analysis. ICALP 1991: 47-59
1986
9 Neil D. Jones, Alan Mycroft: Data Flow Analysis of Applicative Programs Using Minimal Function Graphs. POPL 1986: 296-306
1985
8 Alan Mycroft, Neil D. Jones: A relational framework for abstract interpretation. Programs as Data Objects 1985: 156-171
1984
7EEUrsula Goltz, Alan Mycroft: On the Relationship of CCS and Petri Nets. ICALP 1984: 196-208
6 Neil D. Jones, Alan Mycroft: Stepwise Development of Operational and Denotational Semantics for Prolog. SLP 1984: 281-288
5EEAlan Mycroft: Logic Programs and Many-Valued Logic. STACS 1984: 274-286
4 Alan Mycroft: Polymorphic Type Schemes and Recursive Definitions. Symposium on Programming 1984: 217-228
3 Alan Mycroft, Richard A. O'Keefe: A Polymorphic Type System for Prolog. Artif. Intell. 23(3): 295-307 (1984)
1983
2EEAlan Mycroft, Flemming Nielson: Strong Abstract Interpretation Using Power Domains (Extended Abstract). ICALP 1983: 536-547
1980
1 Alan Mycroft: The Theory and Practice of Transforming Call-by-need into Call-by-value. Symposium on Programming 1980: 269-281

Coauthor Index

1Alastair R. Beresford [33] [36] [58]
2Patrick Cousot [19]
3Mads Dam [19]
4Jonathan J. Davies [58]
5Pierpaolo Degano [16] [19]
6Dhananjay M. Dhamdhere [31]
7Robert Ennals [40] [43]
8Christine Ernoult [10] [14]
9Boris Feigin [56]
10Simon Frankau [34]
11Kirsten Lackner Solberg Gasser (Kirsten Lackner Solberg) [15]
12Benedict R. Gaster [53]
13Ursula Goltz [7]
14Maziar Goudarzi [35] [38] [41]
15Kathryn E. Gray [62]
16Tim Harris [60]
17Shaahin Hessabi [35] [38] [41]
18Neil Hickey [53]
19Kyoko Iwasawa [51]
20Neil Johnson [37] [42]
21Neil D. Jones [6] [8] [9]
22Simon L. Peyton Jones [46]
23Pierre Jouvelot [19]
24Eleftheria Katsiri [45]
25Shin-ya Katsumata [23]
26Uday P. Khedker [31]
27Anton Lokhmotov [49] [53] [54]
28Anil Madhavapeddy [32]
29Robin Message [55]
30Nicholas Nethercote [28] [30]
31Flemming Nielson [2] [19]
32Richard A. O'Keefe [3]
33Cosmin E. Oancea [52] [57] [60] [61]
34Atsushi Ohori [23]
35Corrado Priami [16]
36Andrew Richards [54]
37Mads Rosendahl [11]
38Ben Rudiak-Gould [46]
39David Scott [32] [33] [36]
40Richard Sharp [22] [24] [25] [26] [27] [29] [32] [40] [43]
41Sriram Srinivasan [59]
42David Stuttard [53]
43Sarah Thompson [39] [44] [48]
44Bent Thomsen [19]
45Stephen M. Watt [61]
46Andreas Zeller [47]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)