Ghica, Dan - School of Computer Science, University of Birmingham

• Nominal Games and Full Abstraction for the NuCalculus S. Abramsky
• Optimizing Parallel Reduction in CUDAOptimizing Parallel Reduction in CUDA Mark Harris
• Data-Abstraction Refinement: A Game Semantic Approach
• Applications of Game Semantics: From Program Analysis to Hardware Synthesis
• Parallel Programming Revision Lecture
• Reasoning about Idealized Algol Using Regular Languages
• Geometry of Synthesis III: Resource Management Through Type Inference
• On-the-Fly Techniques for Games-Based Software Model Checking
• A quantitative model of computation Dan R. Ghica
• A Regular-Language Model for Hoare-Style Correctness Statements
• Programming Research Group A GAMES-BASED FOUNDATION FOR
• Syntactic Control of Concurrency # D. R. Ghica, A. S. Murawski and C.H. L. Ong
• Function Interface Models for Hardware Compilation Types, Signatures, Protocols
• The Regular-Language Semantics of First-Order Idealized Algol
• Programming Research Group GAME-BASED SOFTWARE MODEL CHECKING
• Angelic Semantics of Fine-Grained Concurrency ? Dan R. Ghica and Andrzej S. Murawski
• Geometry of Synthesis II: From Games to Delay-Insensitive Circuits
• Semantical Analysis of Speci cation Logic An Operational Approach
• MFPS 17 Preliminary Version Regular-Language Semantics for a
• Geometry of Synthesis A structured approach to VLSI design
• Parallel Programming MSc 06-22755
• Parallel Programming GPU Architecture
• Synchronous Game Semantics via Round Abstraction
• A quantitative model of computation Dan R. Ghica
• On the Compositionality of Round Abstraction Extended Abstract
• Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
• Clipping: A Semantics-Directed Syntactic Approximation Dan R. Ghica
• Compositional Predicate Abstraction from Game Semantics
• Angelic Semantics of Fine-Grained Concurrency
• A GAMES-BASED FOUNDATION FOR COMPOSITIONAL SOFTWARE MODEL CHECKING
• The Regular-Language Semantics of First-Order Idealized Algol
• Parallel Programming The Parallel Programming Landscape
• N-Body Problems Parallel programming
• Parallel Sorting Parallel Programming
• Case study: Matrix Transpose
• Parallel Programming Assessed Assignment 1
• CUDA Memory Model Some material David Kirk, NVIDIA and Wen-mei W. Hwu, 2007-2009 (used with permission)
• CUDA Threads some material David Kirk, NVIDIA and Wen-mei W. Hwu, 2007-2009 (used with permission)
• Parallel Programming Lab 1 The purpose of this lab is to familiarise yourself with the lab setup, especially the following
• Syntactic Control of Concurrency D. R. Ghica, A. S. Murawski and C.-H. L. Ong
• Compositional Model Extraction for Higher-Order Concurrent Programs
• Parallel Programming Lab 2 The purpose of this lab exercise is to familiarize yourself with the basics of CUDA
• From SMPs to FPGAs: Multi-Target Data-Parallel Programming
• Low-Latency Synchronous Representations of Asynchronous Processes
• Geometry of Synthesis IV Compiling Affine Recursion into Static Hardware
• Function Interface Models for Hardware Compilation