Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Alan Mycroft
2010 – today
- 2013
[c69]Tomas Petricek, Dominic A. Orchard, Alan Mycroft: Coeffects: Unified Static Analysis of Context-Dependence. ICALP (2) 2013: 385-397- [c68]Wei Ming Khoo, Alan Mycroft, Ross Anderson: Rendezvous: a search engine for binary code. MSR 2013: 329-338
- [c67]
- [p2]Alan Mycroft, Janina Voigt: Notions of Aliasing and Ownership. Aliasing in Object-Oriented Programming 2013: 59-83
- [p1]Alan Mycroft: Aliasing Visions: Ownership and Location. Aliasing in Object-Oriented Programming 2013: 503-504
- 2012
- [c66]Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft: Schedulability Analysis Abstractions for Safety Critical Java. ISORC 2012: 71-78
- [c65]Raoul-Gabriel Urma, Alan Mycroft: Programming language evolution via source code query languages. PLATEAU 2012: 35-38
- [c64]
- [c63]Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat: Liveness-Based Pointer Analysis. SAS 2012: 265-282
- [c62]
- [i2]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
- [j12]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)
- [c61]Peter Calvert, Alan Mycroft: Petri-nets as an Intermediate Representation for Heterogeneous Architectures. Euro-Par (2) 2011: 226-237
- [c60]
- [c59]
- [c58]Jonathan Mak, Alan Mycroft: Critical-Path-Guided Interactive Parallelisation. ICPP Workshops 2011: 427-436
- [c57]Dominic A. Orchard, Alan Mycroft: Efficient and Correct Stencil Computation via Pattern Matching and Static Typing. DSL 2011: 68-92
- [i1]Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat: Lazy Pointer Analysis. CoRR abs/1112.5000 (2011)
- 2010
- [j11]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)
- [c56]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
- [c55]Dominic A. Orchard, Max Bolingbroke, Alan Mycroft: Ypnos: declarative, parallel structured grid programming. DAMP 2010: 15-24
- [c54]
- [c53]
- [e3]Kohei Honda, Alan Mycroft (Eds.): Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software. EPTCS 69, 2010
2000 – 2009
- 2009
- [c52]
- [c51]
- [c50]Cosmin E. Oancea, Alan Mycroft, Stephen M. Watt: A new approach to parallelising tracing algorithms. ISMM 2009: 10-19
- [c49]Cosmin E. Oancea, Alan Mycroft, Tim Harris: A lightweight in-place implementation for software thread-level speculation. SPAA 2009: 223-232
- 2008
- [j10]Robin Message, Alan Mycroft: Controlling Control Flow in Web Applications. Electr. Notes Theor. Comput. Sci. 200(3): 119-131 (2008)
- [c48]
- [c47]Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft: Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. FASE 2008: 407-422
- [c46]Cosmin E. Oancea, Alan Mycroft: Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS). LCPC 2008: 156-171
- [c45]Boris Feigin, Alan Mycroft: Jones optimality and hardware virtualization: a report on work in progress. PEPM 2008: 169-175
- 2007
- [j9]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)
- [j8]Sarah Thompson, Alan Mycroft: Abstract interpretation of combinational asynchronous circuits. Sci. Comput. Program. 64(1): 166-183 (2007)
- [c44]Cosmin E. Oancea, Alan Mycroft: A Lightweight Model for Software Thread-Level Speculation (TLS). PACT 2007: 419
- [c43]Anton Lokhmotov, Alan Mycroft, Andrew Richards: Delayed Side-Effects Ease Multi-core Programming. Euro-Par 2007: 641-650
- [c42]Anton Lokhmotov, Benedict R. Gaster, Alan Mycroft, Neil Hickey, David Stuttard: Revisiting SIMD Programming. LCPC 2007: 32-46
- [c41]Kyoko Iwasawa, Alan Mycroft: Choosing Method of the Most Effective Nested Loop Shearing for Parallelism. PDCAT 2007: 267-276
- [c40]Alan Mycroft: Programming Language Design and Analysis Motivated by Hardware Evolution. SAS 2007: 18-33
- [c39]
- 2006
- [c38]
- [c37]Eleftheria Katsiri, Alan Mycroft: Applying Bayesian Networks to Sensor-Driven Systems. ISWC 2006: 149-150
- [c36]Sarah Thompson, Alan Mycroft: Bit-level partial evaluation of synchronous circuits. PEPM 2006: 29-37
- [e2]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. Lecture Notes in Computer Science 3923, Springer 2006, ISBN 3-540-33050-X
- 2005
- [c35]Robert Ennals, Richard Sharp, Alan Mycroft: Task Partitioning for Multi-core Network Processors. CC 2005: 76-90
- 2004
- [j7]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)
- [c34]Neil Johnson, Alan Mycroft: Using Multiple Memory Access Instructions for Reducing Code Size. CC 2004: 265-280
- [c33]Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft: Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models. DATE 2004: 1380-1381
- [c32]
- [c31]Sarah Thompson, Alan Mycroft: Abstract Interpretation of Combinational Asynchronous Circuits. SAS 2004: 181-196
- 2003
- [j6]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)
- [j5]Nicholas Nethercote, Alan Mycroft: Redux: A Dynamic Dataflow Tracer. Electr. Notes Theor. Comput. Sci. 89(2): 149-170 (2003)
- [j4]Alan Mycroft, Richard Sharp: Higher-level techniques for hardware description and synthesis. STTT 4(3): 271-297 (2003)
- [c30]Neil Johnson, Alan Mycroft: Combined Code Motion and Register Allocation Using the Value State Dependence Graph. CC 2003: 1-16
- [c29]Anil Madhavapeddy, Alan Mycroft, David Scott, Richard Sharp: The Case for Abstracting Security Policies. Security and Management 2003: 156-160
- [c28]David Scott, Alastair R. Beresford, Alan Mycroft: Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. FASE 2003: 102-117
- [c27]Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft: Object-Oriented ASIP Design and Synthesis. FDL 2003: 680-692
- [c26]Simon Frankau, Alan Mycroft: Stream Processing Hardware from Functional Language Specifications. HICSS 2003: 278
- [c25]David Scott, Alastair R. Beresford, Alan Mycroft: Spatial Policies for Sentient Mobile Applications. POLICY 2003: 147-157
- 2002
- [c24]Nicholas Nethercote, Alan Mycroft: The cache behaviour of large lazy functional programs on stock hardware. MSP/ISMM 2002: 44-55
- 2001
- [c23]Alan Mycroft, Richard Sharp: Hardware Synthesis Using SAFL and Application to Processor Design. CHARME 2001: 13-39
- [c22]
- [c21]
- [c20]Alan Mycroft, Richard Sharp: Hardware/Software Co-Design Using Functional Languages. TACAS 2001: 236-251
- [c19]Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata: Comparing Type-Based and Proof-Directed Decompilation. WCRE 2001: 362-367
- 2000
- [c18]
- [c17]
1990 – 1999
- 1999
- [c16]Alan Mycroft: Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). ESOP 1999: 208-223
- 1996
- [j3]
- [c15]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
- 1995
- [j2]
- [c14]Alan Mycroft, Pierpaolo Degano, Corrado Priami: Complexity as a Basis for Comparing Semantic Models of Concurrency. ASIAN 1995: 141-155
- [c13]
- [e1]Alan Mycroft (Ed.): Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings. Lecture Notes in Computer Science 983, Springer 1995, ISBN 3-540-60360-3
- 1993
- [c12]
- 1992
- [c11]
- [c10]
- 1991
- [c9]
1980 – 1989
- 1986
- [c8]Neil D. Jones, Alan Mycroft: Data Flow Analysis of Applicative Programs Using Minimal Function Graphs. POPL 1986: 296-306
- 1985
- [c7]Alan Mycroft, Neil D. Jones: A relational framework for abstract interpretation. Programs as Data Objects 1985: 156-171
- 1984
- [j1]Alan Mycroft, Richard A. O'Keefe: A Polymorphic Type System for Prolog. Artif. Intell. 23(3): 295-307 (1984)
- [c6]
- [c5]Alan Mycroft: Polymorphic Type Schemes and Recursive Definitions. Symposium on Programming 1984: 217-228
- [c4]Neil D. Jones, Alan Mycroft: Stepwise Development of Operational and Denotational Semantics for Prolog. SLP 1984: 281-288
- [c3]
- 1983
- [c2]Alan Mycroft, Flemming Nielson: Strong Abstract Interpretation Using Power Domains (Extended Abstract). ICALP 1983: 536-547
- 1980
- [c1]Alan Mycroft: The Theory and Practice of Transforming Call-by-need into Call-by-value. Symposium on Programming 1980: 269-281
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:59 CEST by the dblp team