Disclaimer: All content has been generated automatically by a program running on the titles of publications extracted from people's webpages. Click here for details. ©2007 Advaith Siddharthan
 
Alan Mycroft
 

Research

(Analysis last run in January 2008)

2005--2007: 'network processors'; 'task partitioning'; 'hardware evolution'; 'safety violations'; 'language design'; 'automatic correction'; 'nested loop vectorisation'; 'delayed side-effects'; 'axiomatic approach';

2000--2004: 'sentient computing'; 'mobile agents'; 'abstract interpretation'; 'packet processing'; 'combinational asynchronous circuits'; 'stream processing hardware'; 'functional language specifications'; 'reducing code sise'; 'sentient mobile applications'; 'hardware synthesis'; 'network processors'; 'sentient computing environments'; 'multiple memory access instructions'; 'task partitioning'; 'linear types'; 'network-on-chip implementation'; 'overhead-free polymorphism'; 'window logic simulation'; 'object-oriented models'; 'spatial security policies'; 'type inferencing'; 'declarative specifications'; 'hardware description'; 'abstracting security policies'; 'scalable abstract reasoning'; 'object-oriented ASIP design'; 'statically-allocated languages'; 'knowledge representation'; 'large lazy functional programs on stock hardware'; 'hardware/software co-design'; 'proof-directed decompilation'; 'combined code motion'; 'higher-level language'; 'efficient circuits'; 'higher-level techniques'; 'allocated prolog ---_nn1 hardware'; 'flash project'; 'cache behaviour'; 'value state dependence graph'; 'bidirectional data flow analysis'; 'resource-aware synthesis'; 'flash compiler'; 'dynamic dataflow tracer';

1995--1999: 'safety violations'; 'logic programming'; 'comparing semantic models of concurrency'; 'functional nets'; 'operational methods'; 'type-based decompilation'; 'comportment analysis'; 'uniform pers';

1990--1994: 'abstract interpretation'; 'functional language specifications'; 'polymorphic types'; 'uniform ideals'; 'minimum function graphs'; 'strictness analysis'; 'optimising compilation ---_nn1 lazy functional languages'; 'optimising compilation ---_nn1 classical imperative languages';

1985--1989: 'abstract interpretation'; 'relational framework';

Related People