Research Perspectives - Tools for Visualisation of Portfolios
EPSRC logo

EPSRC Database


Source RCUK EPSRC Data

Programming Languages and Compilers - EPSRC Reserach Area

http://www.researchperspectives.org/gow.ra/research_area_ProgrammingLanguagesandCompilers.png

Similar Research Areas

Recent EPSRC Grants for Programming Languages and Compilers

Title Principal Investigator Organization Start Date End Date Value
Game Semantics for Java Programs Murawski, A (Dr) University of Warwick 31/03/2013 30/03/2015 £209,084
Multi-scale simulation of intense laser plasma interactions Bell, AR (Professor) University of Oxford 30/11/2009 29/01/2013 £313,280
Conversation-Based Governance for Distributed Systems by Multiparty Session Types Yoshida, N (Professor) Imperial College London 30/06/2013 29/06/2017 £1,500,660
High-integrity Java Applications using Circus Cavalcanti, ALC (Dr) University of York 22/06/2010 30/09/2015 £1,029,474
Metacognitive Instruction, Confidence and Prediction Accuracy in Software Engineering (MICaPASE) MAIR, C (Professor) University of the Arts London 20/11/2011 19/05/2013 £49,796
From Data Types to Session Types---A Basis for Concurrency and Distribution Wadler, P (Professor) University of Edinburgh 20/05/2013 19/05/2018 £3,956,088
CloudSafetyNet: End-to-End Application Security in the Cloud Pietzuch, PR (Dr) Imperial College London 17/06/2013 16/06/2016 £524,118
A Theory of Least Change for Bidirectional Transformations Stevens, P (Dr) University of Edinburgh 15/03/2013 14/03/2016 £395,170
Multi-layered abstractions for PDEs Giles, M (Professor) University of Oxford 11/10/2010 10/04/2014 £237,881
GEMSCLAIM: GreenEr Mobile Systems by Cross LAyer Integrated energy Management Nikolopoulos, D (Professor) Queen's University of Belfast 10/01/2013 09/01/2016 £349,507
Sandpit: The Programmable Rhizosphere Haseloff, JP (Dr) University of Cambridge 09/12/2009 08/06/2013 £972,909
COED: Computing on Encrypted Data Smart, N (Professor) University of Bristol 03/10/2011 02/10/2015 £946,576
COOLER: COmpOsing LanguagE Runtimes Tratt, L (Dr) King's College London 03/06/2013 02/02/2017 £618,883
A Predictive Modelling based Approach to Portable Parallel Compilation for Heterogeneous Multi-cores O'Boyle, M (Professor) University of Edinburgh 01/12/2010 31/05/2014 £494,120
Reasoning with Relaxed Memory Models Sewell, PM (Professor) University of Cambridge 01/12/2008 30/11/2012 £813,748
PLanCompS: Programming Language Components and Specifications Mosses, P (Professor) Swansea University 01/11/2011 31/10/2015 £695,781
Sustainable domain-specific software generation tools for extremely parallel particle-based simulations BORDAS, SPA (Professor) Cardiff University 01/11/2010 31/10/2013 £25,586
Multi-layered abstractions for PDEs Kelly, P (Professor) Imperial College London 01/11/2010 30/04/2014 £491,853
Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems Vanderbauwhede, W (Dr) University of Glasgow 01/10/2013 30/09/2018 £1,539,602
Adaptive Just-In-Time Parallelisation (AJITPar) Trinder, P (Professor) University of Glasgow 01/10/2013 30/09/2016 £442,468
Target-specific code generation and scalable interfaces for high-performance computing Wells, GN (Dr) University of Cambridge 01/10/2011 30/09/2013 £207,760
Trusted Autonomous Systems Lomuscio, AR (Professor) Imperial College London 01/10/2010 30/09/2015 £1,066,423
Sustainable domain-specific software generation tools for extremely parallel particle-based simulations Hirst, JD (Professor) University of Nottingham 01/10/2010 31/03/2014 £77,748
Sustainable domain-specific software generation tools for extremely parallel particle-based simulations Skylaris, C (Dr) University of Southampton 01/10/2010 30/09/2014 £166,426
Sustainable domain-specific software generation tools for extremely parallel particle-based simulations Kelly, P (Professor) Imperial College London 01/10/2010 30/06/2014 £439,206
Sustainable domain-specific software generation tools for extremely parallel particle-based simulations Lock, S (Dr) University of Plymouth 01/10/2010 31/03/2014 £14,350
Theory And Applications of Induction Recursion Setzer, A (Dr) Swansea University 01/10/2009 31/03/2013 £104,925
Reusability and Dependent Types Gibbons, J (Professor) University of Oxford 01/10/2009 31/10/2013 £124,273
Reusability and Dependent Types Ghani, N (Professor) University of Strathclyde 01/10/2009 30/09/2013 £148,280
UK R-matrix Atomic and Molecular Physics HPC Code Development Project (UK-RAMP) Taylor, K (Professor) Queen's University of Belfast 01/10/2009 30/09/2014 £416,088
UK R-matrix Atomic and Molecular Physics HPC Code Development Project (UK-RAMP) Plummer, M (Dr) STFC - Laboratories 01/10/2009 30/09/2014 £130,200
UK R-matrix Atomic and Molecular Physics HPC Code Development Project (UK-RAMP) Tennyson, J (Professor) University College London 01/10/2009 30/09/2014 £300,012
UK R-matrix Atomic and Molecular Physics HPC Code Development Project (UK-RAMP) Gorfinkiel, J (Dr) Open University 01/10/2009 30/09/2014 £245,264
Verification of resource-bounded multi-agent systems (VRBMAS) Alechina, N (Dr) University of Nottingham 01/09/2013 31/08/2016 £280,864
Verification of resource-bounded multi-agent systems Raimondi, F (Dr) Middlesex University 01/09/2013 31/08/2016 £31,421
Partial order semantics for concurrent program verification Alglave, J (Dr) University College London 01/09/2013 28/02/2015 £98,000
AnyScale Applications Singer, J (Dr) University of Glasgow 01/09/2013 31/08/2017 £1,166,422
PLanCompS: Programming Language Components and Specifications Johnstone, A (Professor) Royal Holloway, Univ of London 01/09/2011 31/08/2015 £491,077
PLanCompS: Programming Language Components and Specifications Buchanan, GR (Dr) City University London 01/09/2011 31/08/2015 £27,167
Theory And Applications of Induction Recursion Altenkirch, T (Dr) University of Nottingham 01/09/2009 28/02/2013 £106,670
Coalgebraic Logic Programming for Type Inference Power, AJ (Dr) University of Bath 01/08/2013 31/07/2016 £37,115
COALGEBRAIC LOGIC PROGRAMMING FOR TYPE INFERENCE: Parallelism and Corecursion for New Generation of Programming Languages Komendantskaya, E (Dr) University of Dundee 01/08/2013 31/07/2016 £280,590
Relaxed Memory Model Design for Theory and Practice Owens, SA (Dr) University of Kent 01/08/2013 31/07/2015 £98,538
Foundations of Secure Web Programming Maffeis, S (Dr) Imperial College London 01/08/2010 31/07/2015 £591,978
Future-proof massively-parallel execution of multi-block applications Emerson, DR (Professor) STFC - Laboratories 01/07/2013 30/06/2016 £102,640
Future-proof massively-parallel execution of multi-block applications McIntosh-Smith, S (Mr) University of Bristol 01/07/2013 30/06/2016 £270,618
Future-proof massively-parallel execution of multi-block applications Giles, M (Professor) University of Oxford 01/07/2013 30/06/2016 £280,147
Future-proof massively-parallel execution of multi-block applications Sandham, ND (Professor) University of Southampton 01/07/2013 30/06/2016 £168,378
Abstraction-Level Energy Accounting and Optimisation in Many-core Programming Languages Nikolopoulos, D (Professor) Queen's University of Belfast 01/07/2013 30/06/2016 £661,061
Haskell Types with Added Value McBride, CT (Dr) University of Strathclyde 01/07/2012 30/06/2013 £96,582
Multiparty Session Types: Theory and Conversation-Oriented Programming Honda, KH (Dr) Queen Mary, University of London 01/07/2009 31/12/2012 £342,396
Multiparty Session Types: Theory and Conversation-Oriented Programming Yoshida, N (Professor) Imperial College London 01/07/2009 31/12/2012 £344,294
jStar: making java verification practical Distefano, D (Dr) Queen Mary, University of London 01/06/2010 31/08/2013 £219,270
Statistical Natural Language Processing Methods for Computer Program Source Code Sutton, C (Dr) University of Edinburgh 01/05/2013 30/04/2016 £375,602
Securing the Future: Expanding the cs4fn (Computer Science for Fun) Project Curzon, P (Professor) Queen Mary, University of London 01/05/2008 30/09/2013 £661,645
Logical Relations for Program Verification Johann, P (Dr) University of Strathclyde 01/04/2013 31/03/2017 £442,444
Certified Verification of Client-Side Web Programs Gardner, P (Professor) Imperial College London 01/04/2013 31/03/2016 £893,923
Centre for Doctoral Training in Cyber Security at Royal Holloway CID, C (Dr) Royal Holloway, Univ of London 01/04/2013 31/12/2019 £3,793,546
Oxford University Centre for Doctoral Training in Cyber Security Martin, A (Dr) University of Oxford 01/04/2013 31/12/2019 £3,654,612
Manchester Centre for Doctoral Training in Computer Science Furber, S B (Professor) The University of Manchester 01/04/2011 30/09/2019 £2,199,181
REMS: Rigorous Engineering for Mainstream Systems Sewell, PM (Professor) University of Cambridge 01/03/2013 28/02/2019 £5,575,635
PAMELA: a Panoramic Approach to the Many-CorE LAndsape - from end-user to end-device: a holistic game-changing approach Furber, S B (Professor) The University of Manchester 01/03/2013 28/02/2018 £4,135,048
A Theory of Least Change for Bidirectional Transformations Gibbons, J (Professor) University of Oxford 01/03/2013 29/02/2016 £309,018
Resource Reasoning OHearn, P (Professor) University College London 01/03/2012 31/12/2015 £2,229,287
Theory And Applications of Induction Recursion Ghani, N (Professor) University of Strathclyde 01/03/2009 31/08/2012 £310,904
Reusability and Dependent Types Altenkirch, T (Dr) University of Nottingham 01/03/2009 28/02/2013 £244,671
Unifying Theories of Generic Programming Hinze, RTW (Dr) University of Oxford 01/02/2012 31/01/2015 £574,865
Multi-layered abstractions for PDEs Fagan, MJ (Professor) University of Hull 01/02/2011 31/07/2014 £86,565
Multi-scale simulation of intense laser plasma interactions Evans, RG (Professor) Imperial College London 01/02/2010 31/01/2014 £305,828
Conversation-Based Governance for Distributed Systems by Multiparty Session Types Honda, KH (Dr) Queen Mary, University of London 01/01/2013 31/12/2016 £717,603
CloudSafetyNet: End-to-End Application Security in the Cloud Bacon, JM (Professor) University of Cambridge 01/01/2013 31/12/2015 £441,015
Multi-scale simulation of intense laser plasma interactions Arber, T (Professor) University of Warwick 01/01/2010 31/12/2013 £439,083
Categorical Foundations for Indexed Programming Johann, P (Dr) University of Strathclyde 01/01/2010 31/12/2012 £281,879
Semantic Foundations for Real-World Systems Sewell, PM (Professor) University of Cambridge 01/01/2010 31/12/2014 £1,523,815
Semantics of Nondeterminism: Functions, Strategies and Bisimulation Levy, PB (Dr) University of Birmingham 01/01/2008 31/12/2012 £416,684