Student Research Outputs
An amalgamation of the CDT in Pervasive Parallelism’s published and presented works are listed below by type of output:
- Awards and Achievements
- Published Papers
- Further Research Outputs Generated by the CDT’s Activities and Resources
Awards & Achievements
Floyd Chitalu’s patent application (in collaboration with K. Mitchell and C. Koniaris of Disney Research) for Memory Allocation for Seamless Media Content Presentation is currently under review.
Ludovic Capelli was selected to attend the 5th Heidelberg Laureate Forum in September 2017.
Chris Cummins (and supervisors Hugh Leather, Pavlos Petoumenos and Zheng Wang) has won the Best Paper award at CGO 2017 for the paper “Synthesizing Benchmarks for Predictive Modeling.” CGO brings together researchers and practitioners working at the interface of hardware and software on a wide range of optimization and code generation techniques and related issues.
Daniel Hillerström won the ICFP ACM Student Research Competition for 2016 for his work on “First-Class Message-Passing Concurrency with Handlers”. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.
“Best Dissertation in Computer Science” was awarded by the School of Informatics, University of Edinburgh, to Daniel Hillerström for his Master’s dissertation “Algebraic Effects and Handlers for Links” (November 2015).
Wen Kokke was awarded “MSc Project Prize for Performance in the CDT in Pervasive Parallelism” by the School of Informatics, University of Edinburgh (MSc Awards, 2017).
Vanya Yaneva, was awarded the 2016 Claire Jones prize for the best performance by a female student in the School of Informatics at MSc level. Vanya’s MSc project was on Accelerated Test Execution Using GPUs.
Porpodas, V, CO Rocha, R, Góes, LFW, ‘Look-ahead SLP: Auto-vectorization in the presence of commutative operations, ‘ To aappear in CGO 2018 – International Symposium on Code Generation and Optimization, CGO 2018
Hagedorn, B, Stoltzfus, L, Steuwer, M, Gorlatch, S, Dubach, C, `High Performance Stencil Code Generation with LIFT.’ To appear in Proceedings for International Symposium on Code Generation and Optimization, 2018
Chitalu, F, Koniaris, B, Mitchell, K. ‘Method for CPU-GPU Streaming for Walkthrough of Full Motion Lightfield’ In Proceedings of 14th European Conference on Visual Media Production, December 2017. 10.1145/3150165.3150173
Cummins, C, Petoumenos, P, Wang, Z & Leather, H, ‘End-to-end Deep Learning of Optimization Heuristics‘. In International Conference on Parallel Architectures and Compilation Techniques (PACT), September 2017.
Cummins, C, Petoumenos, P, Wang, Z & Leather, H, ‘Synthesizing Benchmarks for Predictive Modeling‘. In CGO 2017 Proceedings of the 2017 International Symposium on Code Generation and Optimization. IEEE, pp. 86-99, February 2017. 10.1109/CGO.2017.7863731
Fowler, S, Lindley, S. & Wadler, P. ‘Mixing Metaphors: Actors as Channels and Channels as Actors’. In ECOOP’17 Proceedings of the 31st European Conference on Object-Oriented Programming, 2017.
Ginsbach, P & O’Boyle, M, ‘Discovery and Exploitation of General Reductions: A Constraint Based Approach‘. In International Symposium on Code Generation and Optimization (CGO), February 2017.
Dolan, S, Eliopoulos, S, Hillerström, D, Madhavapeddy, A, Sivaramakrishnan, KC & White, L, ‘Concurrent System Programming with Effect Handlers’. In Trends in Functional Programming Symposium (TFP), June 2017.
Hillerström, D, Lindley, S, Atkey, R & Sivaramakrishnan, KC ‘Continuation Passing Style for Effect Handlers’. International Conference on Formal Structures for Computation and Deduction (FSCD), September 2017.
Stoltzfus, L, ‘Performance Portability for Room Acoustics Simulation’ In Proceedings of the 20th International Conference on Digital Audio Effects (DAFx-17), University of Edinburgh, September 5–9, 2017, pp. 367-374.
Stoltzfus, L, Gray, A, Dubach, C & Bilbao, S, ‘Performance Portability for Room Acoustics Simulations.’ In Proceedings for International Conference on Digital Audio Effects, vol 20, pp. 367-374. 2017
Stoltzfus, L, Dubach, C, Steuwer, M, Gray, A and Bilbao, S ‘A Modular Approach to Performance, Portability and Productivity for 3D Wave Models.’ In Seventh International Workshop on Domain Specific Languages and High-level Frameworks for High Performance Computing (WOLFHPC), 2017
Tsoukaneri, G, Foukas, X, Marina, MK, ‘ASPIS: A Holistic and Practical Mechanism for Efficient MTC Support over Mobile Networks’ In 2017 IEEE 14th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), 2017
Yaneva, V, Rajan, A, & Dubach, C, ‘Compiler Assisted Test Acceleration on GPUs for Embedded Software’. In International Symposium on Software Testing and Analysis (ISSTA), July 2017
Yaneva, V, Rajan, A, & Dubach, C, ‘ParTeCL: Parallel Testing Using OpenCL.’ In International Symposium on Software Testing and Analysis (ISSTA), July 2017. 10.1145/3092703.3098227
Zariņš, J, Weiland, M 2017, ‘Progressive load balancing of asynchronous algorithms’. In IA3 2017 Proceedings of the Seventh Workshop on Irregular Applications: Architectures and Algorithms. ACM, Article No. 5, 10.1145/3149704.3149765
Cummins, C, Petoumenos, P, Steuwer, M & Leather, H, ‘Towards Collaborative Performance Tuning of Algorithmic Skeletons‘. In Workshop on High-Level Programming for Heterogeneous & Hierarchical Parallel Systems (HLPGPU) 2016. HiPEAC, Prague, Czech Republic, 19 January 2016.
Cummins, C, Petoumenos, P, Steuwer, M & Leather, H, ‘Autotuning OpenCL Workgroup Size for Stencil Patterns‘. In International Workshop on Adaptive Self-tuning Computing Systems (ADAPT) 2016. HiPEAC, Prague, Czech Republic, 18 January 2016.
Fowler, S,, ‘An Erlang Implementation of Multiparty Session Actors’. In Proceedings of 9th Interaction and Concurrency Experience (ICE 2016), in Electronic Proceedings in Theoretical Computer Science (EPTCS). Heraklion, Greece, 8-9 June 2016. 10.4204/EPTCS.223.3
Harries, A, Steuwer, M, Cole, M, Gray, A & Dubach, C, ‘Compositional Compilation for Sparse, Irregular Data Parallelism‘. In Workshop on High-Level Programming for Heterogeneous and Hierarchical Parallel Systems (HLPGPU) 2016. HiPEAC, Prague, Czech Republic, 19 January 2016.
Hillerström, D, Lindley, S, ‘Liberating Effects with Rows and Handlers’, In Proceedings of the 1st Workshop on Type-Driven Development (TyDe’16). 18 September 2016.
Piho, P, Hillston, J. ‘Stochastic and Spatial Equivalences for PALOMA’ In Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, pp 69-80 FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. 10.4204/EPTCS.217.9
Tsoukaneri, G, Theodorakopoulos, G, Leather, H & Marina, MK, ‘On the Inference of User Paths from Anonymized Mobility Data‘. In Proceedings of the 1st IEEE European Symposium on Security and Privacy (EuroS&P 2016). IEEE, Saarbrucken, Germany, 21-24 March 2016. 10.1109/EuroSP.2016.25
Rüfenacht, M, Bull, M, & Booth, S, Generalisation of Recursive Doubling for AllReduce. In Proceedings of the 23rd European MPI Users’ Group Meeting. EuroMPI, Edinburgh, United Kingdom, 26 September 2016.
Fowler, S, Denuziere, L & Granicz, A, ‘Reactive Single-Page Applications with Dynamic Dataflow’. In Practical Aspects of Declarative Languages, Lecture Notes in Computer Science, vol. 9131, pp. 58-73, 2015. 10.1007/978-3-319-19686-2_5
Manilov, S, Franke, B, Magrath, A & Andrieu, C, ‘Free Rider: A Tool for Retargeting Platform-Specific Intrinsic Functions’. In Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, 2015. 10.1145/2670529.2754962
Miller, M, Holden, D, Al-Ashqar, R, Dubach, C, Mitchell, K & Komura, T, ‘Carpet unrolling descriptors for character control on uneven terrain’. In Proceedings of the ACM SIGRAPH Motion in Games Conference, MIG 2015. 10.1145/2822013.2822031
The presentations listed below are in addition to the presentations of the conference papers listed above, and to the many presentations the students have given at CDT PPar events, including the PPar Lunch programme.
Chitalu, F, ‘Method for Efficient CPU-GPU Streaming for Walkthrough of full-motion Lightfield video, CVMP 2017, London, United Kingdom, December 11–13, 2017
Chitalu, F, ‘Immersive Rendered Interactive Deep Media’, CVMP 2017, London, United Kingdom, December 11–13, 2017
Cummins, C, ‘Using Deep Learning to Generate Human-like Code’, at the Scottish Programming Languages Seminar (SPLS), 22 April 2017
Fowler, S, ‘Mixing Metaphors: Actors as Channels and Channels as Actors,’ PLAS Seminar, University of Kent, 21 November 2017
Fowler, S, ‘Mixing Metaphors: Actors as Channels and Channels as Actors,’ Scottish Programming Languages Seminar (SPLS), 9 November 2017
Fowler, S, ‘First-class Distributed Session Types’ Functional Programming Group Seminar, 5 June 2017
Stoltzfus, L, Mogers, N, Pizzuti, F, Remmelg, T, ‘The Lift Project: Performance Portable Parallel Code Generation via Rewrite Rules’, Glasgow Systems Seminar, October 2017
Wright, T, ‘Modelling multi-agent interaction dynamics in biological systems’, PEPA Club, University of Edinburgh, 2nd June 2017
Wright, T, ‘Communication, computers, and the chemistry of life’, Maths Postgraduate Colloquium, University of Edinburgh, 16th March 2017
Yaneva, V, ‘Compiler Assisted Test Acceleration using GPUs.’ Dagstuhl Seminar 17502, Testing and Verification of Compilers, December 10 – 13 , 2017
Zariņš, J, ‘Progressive load balancing of asynchronous algorithms,’ Supercomputing 2017, 13th November 2017
Zariņš, J, ‘Progressive load balancing of asynchronous algorithms,’ EPCC Seminars, 8th November 2017
Chitalu, F, ‘Data-Parallel Continuous Collision Processing for Volumetric Meshes’, Critical Blue, Edinburgh, 17th May 2016
Cummins, C, ‘Building an AI that Codes’, Ocado Technology, Hatfield, UK, 22 July 2016
Cummins, C, ‘All the OpenCL on GitHub: Teaching an AI to code, one character at a time’. Amazon Development Centre, Edinburgh, UK, 19 May 2016
Dumitrescu, D ‘A Collaborative Framework for Interactive Theorem Proving’, Inria, Paris, France
Fowler, S, Mixing Metaphors: Actors as Channels and Channels as Actors”, PLAS Seminar, University of Kent, 21st November 2016
Fowler, S, ‘Mixing Metaphors: Actors as Channels and Channels as Actors’, at the Scottish Programming Languages Seminar (SPLS), 9th November 2016
Fowler, S, ‘Actors and Channels in Core Lambda-Calculi’, ABCD Meeting, Edinburgh, UK, January 2016
Ginsbach, P, O’Boyle, M, ‘Compilers for Heterogeneous Computing’, CPC 2016 Valladolid, Spain, 6-8 July 2016.
Hillerström, D, ‘Programming with Algebraic Effects and Handlers,’ Critical Blue Ltd., Edinburgh, UK, 10 May 2016.
Hillerström, D, ‘Towards Compilation of Affine Algebraic Effects Handlers’, Lunch Lab talk, Networks and Operating Systems group, Computer Laboratory, University of Cambridge, UK, 26 April 2016.
Hillerström, D, Lindley, S, Sivaramakrishnan KC ‘Compiling Links Effect Handlers to the OCaml Backend’, ML Workshop, University of Cambridge, UK, 22 September 2016.
Shahab, A, ‘What is the Future of Memory System in Servers?’, Critical Blue, Edinburgh, 24 May 2016
Singh, R, ‘Optimizing Utility in Multiple Query Scenario under Differential Privacy’ Security and Privacy Research Group, University of Edinburgh, UK, 27 October 2016.
Singh, R, ‘Privacy Preserving Data Sharing in Location Datasets’, Edinburgh Networks Research Group, Edinburgh, UK, 28 January 2016.
Wright, T, ‘A spatial model of collaboration and cheating in Yeast’, PEPA Club, University of Edinburgh, 16th December 2016
Fowler, S, ‘From Actors to Channels and Back Again’, ABCD Scotland Meeting, Glasgow, UK, 9 December 2015.
Fowler, S, ‘Monitoring Erlang/OTP Applications using Multiparty Session Types’, Programming Languages Interest Group (PLInG) Meeting, Edinburgh, UK, 5 October 2015.
Fowler, S, ‘Detecting and Handling Errors in Monitored Session Erlang’, ABCD Meeting, Glasgow, UK, 16-17 September 2015.
Fowler, S, ‘Reactive Single-Page Applications with Dynamic Dataflow’, Practical Aspects of Declarative Languages, Portland, USA, 18-19 June 2015.
Hillerström, D, ‘Programming with Effect Handlers in Links’, Programming Languages Interest Group, Edinburgh, UK, November 5 2015.
Manilov, S, ‘Free Rider: A Tool for Retargeting Platform-Specific Intrinsic Functions’, Conference on Languages, Compilers and Tools for Embedded Systems, Portland, USA, June 18-19 2015.
Tsoukeneri, G, ‘I Know Where You’ve Been’, Next Generation Networking, Multi-Service Networks workshop (Cosener’s), Oxford, UK, July 2-3 2015.
Zariņš, J, ‘miniBEAST: MCMC Miniapp Case Study’, Exascale Applications and Software Conference (EASC15), Edinburgh, UK, April 21-23 2015.
In addition to the posters which CDT in Pervasive Parallelism students have presented at our internal events, the following posters were presented outside of the CDT in Pervasive Parallelism event programme.
Crawford, L, ‘Compiler Optimizations For Graphics Shaders’, High-Performance Graphics 2017, Los Angeles, USA, July 28-30 2017
Fowler, S, ‘First-class Distributed Session Types’, ICFP Student Research Competition, Oxford, UK, 6th September 2017 (Awarded 2nd place).
Wright, T, Stark, I, ‘Formal modelling of multi-agent interaction dynamics in biological systems’, Joint 25th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) and 16th European Conference on Computational Biology (ECCB) 2017, Prague, Czech Republic, 21st-25th July 2017.
Wright, T, Stark, I, ‘Concurrent agents: from computers to cells’, SICSA PhD Conference, University of Dundee, 27th June 2017
Cummins, C, Petoumenos, P, Steuwer, M & Leather, H, ‘Autotuning OpenCL Workgroup Sizes’, PLDI’16 (37th ACM SIGPLAN conference on Programming Language Design & Implementation), Santa Barbara, California, 13-17 June 2016.
Cummins, C, Petoumenos, P, Steuwer, M & Leather, H, ‘Autotuning OpenCL Workgroup Sizes’, ACACES’16 (12th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems), Fiuggi, Italy, 10-16 July 2016.
Stoltzfus, L, ‘Performance, Portability and Productivity for Room Acoustics Codes’, ISC High Performance Conference, Frankfurt, Germany, 19-23 June 2016.
Cummins, C, Petoumenous, P, Steuwer, M, Leather, H, ‘Humans Need Not Apply’, Google PhD Student Summit on Compiler & Programming Technology, Munich, Germany, 7-9 December 2015.
Margaritov A, ‘Streaming Branch Prediction for Data Centre Processors’, HiPEAC Summer School (ACACES), Fiuggi, Italy, 12-18 July 2015.
Rüfenacht, M, ‘Message Passing Using Direct Memory Access Hardware’, International Summer School on HPC, Toronto, Canada, 21-26 June 2015.
Tsoukaneri G, Theodorakopoulos G, Leather H, Marina M, ‘I Know Where You’ve Been’, Meeting with Keysight Technologies, Edinburgh, UK, 16 September 2015.
Zariņš, J, ‘miniBEAST : MCMC Miniapp Case Study’, Exascale Applications and Software Conference (EASC15), Edinburgh, UK, 21-23 April 2015.
Miller, M, ‘Poxels: Polygonal Voxel Environment Optimizations for Improved Storage and Rendering’, ACM Symposium on Virtual Reality Software and Technology (VRST), Edinburgh, UK, 11-13 November 2014.
Further Research Outputs
Addition research outputs generated by the CDT’s activities and resources, (for example, having used the CDT Compute and Data Cluster) are listed here.
Damonte, M, Cohen SB, and Giorgio Satta G, An Incremental Parser for Abstract Meaning Representation, presented at European Chapter of the Association for Computational Linguistics (EACL) 2017.
Geras, K and Sutton, C, Composite denoising autoencoders. In European Conference on Machine Learning and Principles and Practice of Knowledge Discovery (ECML-PKDD). 2016.
Foukas, X, Nikaein, N, Kassem, M, Marina, MK and Kontovasilis, K, FlexRAN: A Flexible and Programmable Platform for Software-Defined Radio Access Networks, to appear in Proc. ACM CoNEXT, Dec 2016.
Manickam, S, Radunovic, B and Marina, MK, CPRecycle: Recycling Cyclic Prefix for Versatile Interference Mitigation in OFDM based Wireless Systems, to appear in Proc. ACM CoNEXT, Dec 2016.
Brock, A, Lim, T, Ritchie, JM, Weston, N, Generative and Discriminative Voxel Modeling with Convolutional Neural Networks. To appear at NIPS 2016 3D Deep Learning Workshop, 2016.
Tammana, P, Agarwal R, and Myungjin Lee, M, Simplifying Datacenter Network Debugging with PathDump, 12th USENIX Symposium on Operating Systems Design and Implementation (USENIX OSDI), 2016.
Priyank Faldu, P, Grot, B, ‘LLC Dead Block Prediction Considered Not Useful‘, 13th Workshop on Duplicating, Deconstructing and Debunking (WDDD), 2016.
Edwards, H and Storkey, A, ‘Censoring Representations with an Adversary’. In International Conference in Learning Representations (ICLR2016), 2016.
Brock, A, Lim, T, Ritchie, JM, Weston, N: Context-Aware Content Generation for Virtual Environments. Presented at ASME International Design Engineering Technical Conference and the Computer and Information in Engineering Conference (ASME IDETC/CIE), 2016.
Geras, K and Sutton, C, Scheduled Denoising Autoencoders. In International Conference on Representation Learning (ICLR). 2015.
Karampatsis, R, ‘CDTDS: Predicting Paraphrases in Twitter via Support Vector Regression‘. In Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015), pp 75-79, 2015.
Steuwer, M, Fensch, C, Lindley, S & Dubach, C, Generating Performance Portable Code Using Rewrite Rules: From high-level functional expressions to high-performance OpenCL code. In Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming(ICFP 2015), 2015.
Tammana, P, Agarwal, R & Lee, M, CherryPick: Tracing Packet Trajectory in Software-defined Datacenter Networks, in Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, ACM, 23, pp. 1-7, 2015.
Papers under Submission / In Preparation
Faldu, P, and Grot, B, Leeway: Adaptive Cache Management for Traditional and Emerging Workloads,
Submitted to ISCA’17.
Brock, A, Lim, T, Ritchie, JM, Weston, N, Neural Photo Editing with Introspective Adversarial Networks. Submitted to 5th International Conference on Learning Representations (ICLR) 2017.
Allamanis, M, Chanthirasegaran, P, Kohli, P, and Sutton, C: Learning Continuous Semantic Representations of Symbolic Expressions, submitted to 5th International Conference on Learning Representations, ICLR 2017.