Alan Mycroft

	2012
77		Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft: Schedulability Analysis Abstractions for Safety Critical Java. ISORC 2012: 71-78
76		Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon: Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). Dagstuhl Reports 2(1): 100-116 (2012)
	2011
75		Dominic A. Orchard, Alan Mycroft: Efficient and Correct Stencil Computation via Pattern Matching and Static Typing DSL 2011: 68-92
74		Peter Calvert, Alan Mycroft: Petri-nets as an Intermediate Representation for Heterogeneous Architectures. Euro-Par (2) 2011: 226-237
73		Tomas Petricek, Alan Mycroft, Don Syme: Extending monads with pattern matching. Haskell 2011: 1-12
72		Jonathan Mak, Alan Mycroft: Critical-Path-Guided Interactive Parallelisation. ICPP Workshops 2011: 427-436
71		Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat: Lazy Pointer Analysis CoRR abs/1112.5000: (2011)
70		Eleftheria Katsiri, Alan Mycroft: Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems. Simulation Modelling Practice and Theory 19(1): 161-180 (2011)
	2010
69		Kohei Honda, Alan Mycroft: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software PLACES 2010
68		Dominic A. Orchard, Max Bolingbroke, Alan Mycroft: Ypnos: declarative, parallel structured grid programming. DAMP 2010: 15-24
67		Jonathan Mak, Karl-Filip Faxén, Sverker Janson, Alan Mycroft: Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling. Euro-Par (1) 2010: 26-37
66		Boris Feigin, Alan Mycroft: Formally Efficient Program Instrumentation. RV 2010: 245-252
65		Tom Schrijvers, Alan Mycroft: Strictness Meets Data Flow. SAS 2010: 439-454
64		Eleftheria Katsiri, Jean Bacon, Alan Mycroft: Linking Temporal First Order Logic and Hidden Markov Models with Abstract Events. International Journal on Artificial Intelligence Tools 19(6): 857-893 (2010)
	2009
63		Kathryn E. Gray, Alan Mycroft: Logical Testing. FASE 2009: 186-200
62		Cosmin E. Oancea, Alan Mycroft, Stephen M. Watt: A new approach to parallelising tracing algorithms. ISMM 2009: 10-19
61		Cosmin E. Oancea, Alan Mycroft, Tim Harris: A lightweight in-place implementation for software thread-level speculation. SPAA 2009: 223-232
	2008
60		Sriram Srinivasan, Alan Mycroft: Kilim: Isolation-Typed Actors for Java. ECOOP 2008: 104-128
59		Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft: Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. FASE 2008: 407-422
58		Cosmin E. Oancea, Alan Mycroft: Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS). LCPC 2008: 156-171
57		Boris Feigin, Alan Mycroft: Jones optimality and hardware virtualization: a report on work in progress. PEPM 2008: 169-175
56		Robin Message, Alan Mycroft: Controlling Control Flow in Web Applications. Electr. Notes Theor. Comput. Sci. 200(3): 119-131 (2008)
	2007
55		Anton Lokhmotov, Alan Mycroft, Andrew Richards: Delayed Side-Effects Ease Multi-core Programming. Euro-Par 2007: 641-650
54		Anton Lokhmotov, Benedict R. Gaster, Alan Mycroft, Neil Hickey, David Stuttard: Revisiting SIMD Programming. LCPC 2007: 32-46
53		Cosmin E. Oancea, Alan Mycroft: A Lightweight Model for Software Thread-Level Speculation (TLS). PACT 2007: 419
52		Kyoko Iwasawa, Alan Mycroft: Choosing Method of the Most Effective Nested Loop Shearing for Parallelism. PDCAT 2007: 267-276
51		Alan Mycroft: Programming Language Design and Analysis Motivated by Hardware Evolution. SAS 2007: 18-33
50		Anton Lokhmotov, Alan Mycroft: Optimal bit-reversal using vector permutations. SPAA 2007: 198-199
49		Eleftheria Katsiri, Jean Bacon, Alan Mycroft: SCAFOS: linking sensor data to context-aware applications using abstract events. Int. J. Pervasive Computing and Communications 3(4): 347-377 (2007)
48		Sarah 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
46		Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones: Haskell Is Not Not ML. ESOP 2006: 38-53
45		Eleftheria Katsiri, Alan Mycroft: Applying Bayesian Networks to Sensor-Driven Systems. ISWC 2006: 149-150
44		Sarah Thompson, Alan Mycroft: Bit-level partial evaluation of synchronous circuits. PEPM 2006: 29-37
	2005
43		Robert Ennals, Richard Sharp, Alan Mycroft: Task Partitioning for Multi-core Network Processors. CC 2005: 76-90
	2004
42		Neil Johnson, Alan Mycroft: Using Multiple Memory Access Instructions for Reducing Code Size. CC 2004: 265-280
41		Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft: Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models. DATE 2004: 1380-1381
40		Robert Ennals, Richard Sharp, Alan Mycroft: Linear Types for Packet Processing. ESOP 2004: 204-218
39		Sarah Thompson, Alan Mycroft: Abstract Interpretation of Combinational Asynchronous Circuits. SAS 2004: 181-196
38		Maziar 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
37		Neil Johnson, Alan Mycroft: Combined Code Motion and Register Allocation Using the Value State Dependence Graph. CC 2003: 1-16
36		David Scott, Alastair R. Beresford, Alan Mycroft: Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. FASE 2003: 102-117
35		Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft: Object-Oriented ASIP Design and Synthesis. FDL 2003: 680-692
34		Simon Frankau, Alan Mycroft: Stream Processing Hardware from Functional Language Specifications. HICSS 2003: 278
33		David 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
31		Uday P. Khedker, Dhananjay M. Dhamdhere, Alan Mycroft: Bidirectional data flow analysis for type inferencing. Computer Languages, Systems & Structures 29(1-2): 15-44 (2003)
30		Nicholas Nethercote, Alan Mycroft: Redux: A Dynamic Dataflow Tracer. Electr. Notes Theor. Comput. Sci. 89(2): 149-170 (2003)
29		Alan Mycroft, Richard Sharp: Higher-level techniques for hardware description and synthesis. STTT 4(3): 271-297 (2003)
	2002
28		Nicholas Nethercote, Alan Mycroft: The cache behaviour of large lazy functional programs on stock hardware. MSP/ISMM 2002: 44-55
	2001
27		Alan Mycroft, Richard Sharp: Hardware Synthesis Using SAFL and Application to Processor Design. CHARME 2001: 13-39
26		Richard Sharp, Alan Mycroft: A Higher-Level Language for Hardware Synthesis. CHARME 2001: 228-243
25		Richard Sharp, Alan Mycroft: Soft Scheduling for Hardware. SAS 2001: 57-72
24		Alan Mycroft, Richard Sharp: Hardware/Software Co-Design Using Functional Languages. TACAS 2001: 236-251
23		Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata: Comparing Type-Based and Proof-Directed Decompilation. WCRE 2001: 362-367
	2000
22		Alan 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
20		Alan Mycroft: Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). ESOP 1999: 208-223
	1996
19		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: 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
15		Alan 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
10		Christine 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
7		Ursula 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
5		Alan 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
2		Alan 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

1	Jean Bacon	[49] [64]
2	Alastair R. Beresford	[33] [36] [59]
3	Thomas Bøgholm	[77]
4	Max Bolingbroke (Maximilian C. Bolingbroke)	[68]
5	Peter Calvert	[74]
6	Patrick Cousot	[19]
7	Mads Dam	[19]
8	Jonathan J. Davies	[59]
9	Pierpaolo Degano	[16] [19]
10	Dhananjay M. Dhamdhere	[31]
11	Robert Ennals	[40] [43]
12	Christine Ernoult	[10] [14]
13	Karl-Filip Faxén	[67]
14	Boris Feigin	[57] [66]
15	Simon Frankau	[34]
16	Kirsten Lackner Solberg Gasser (Kirsten Lackner Solberg)	[15]
17	Benedict R. Gaster	[54]
18	Ursula Goltz	[7]
19	Maziar Goudarzi	[35] [38] [41]
20	Kathryn E. Gray	[63]
21	Tim Harris	[61]
22	Shaahin Hessabi	[35] [38] [41]
23	Neil Hickey	[54]
24	Kohei Honda	[69]
25	Kyoko Iwasawa	[52]
26	Sverker Janson	[67]
27	Neil Johnson	[37] [42]
28	Neil D. Jones	[6] [8] [9]
29	Simon L. Peyton Jones	[46]
30	Pierre Jouvelot	[19]
31	Eleftheria Katsiri	[45] [49] [64] [70]
32	Shin-ya Katsumata	[23]
33	Uday P. Khedker	[31] [71]
34	Andy King	[76]
35	Kim Guldstrand Larsen (Kim G. Larsen)	[77]
36	Anton Lokhmotov	[50] [54] [55]
37	Anil Madhavapeddy	[32]
38	Jonathan Mak	[67] [72]
39	Robin Message	[56]
40	Nicholas Nethercote	[28] [30]
41	Flemming Nielson	[2] [19]
42	Richard A. O'Keefe	[3]
43	Cosmin E. Oancea	[53] [58] [61] [62]
44	Atsushi Ohori	[23]
45	Dominic A. Orchard	[68] [75]
46	Tomas Petricek	[73]
47	Corrado Priami	[16]
48	Prashant Singh Rawat	[71]
49	Thomas W. Reps	[76]
50	Andrew Richards	[55]
51	Mads Rosendahl	[11]
52	Ben Rudiak-Gould	[46]
53	Tom Schrijvers	[65]
54	David Scott	[32] [33] [36]
55	Richard Sharp	[22] [24] [25] [26] [27] [29] [32] [40] [43]
56	Axel Simon	[76]
57	Sriram Srinivasan	[60]
58	David Stuttard	[54]
59	Don Syme	[73]
60	Sarah Thompson	[39] [44] [48]
61	Bent Thomsen	[19] [77]
62	Stephen M. Watt	[62]
63	Andreas Zeller	[47]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page