Student Research Outputs
An amalgamation of the CDT in Pervasive Parallelism’s published and presented works.
Awards & Achievements
Amna Shahab won the Best Poster prize at the ARM Research Summit for the second time running, bringing home the prize in 2019 with her poster "Exploring New Directions for Reducing Neural Model Training Time."
Rodrigo Rocha got first place in the Student Research Competition of the EuroLLVM 2019 with his work 'Function Merging by Sequence Alignment', in collaboration with Pavlos Petoumenos, Zheng Wang, Murray Cole, Hugh Leather.
Artemiy Margaritov, Boris Grot and their collaborators from EPFL and ARM won the HPCA 2019 Best Paper Award for their work on “Stretch: Balancing QoS and Throughput for Colocated Server Workloads on SMT Cores".
Rodrigo Rocha, Pavlos Petoumenos, Murray Cole, Hugh Leather and Zheng Wang won the CGO 2019 Best Paper Award for their work "Function Merging by Sequence Alignment".
ProtoGen work by Nicolai Oswald, Vijay Nagarajan and Daniel Sorin, published at ISCA 2018, received a Honourable Mention recognition by the computer architecture community.
Amna Shahab (in collaboration with her supervisor Boris Grot, and students Mingcan Zhu and Artemiy Margaritov) won the Best Poster prize at the ARM Research Summit 2018, for her poster "Farewell My Shared LLC! A Case for Private Die-Stacked DRAM Caches for Servers". The Arm Research Summit brings together academics, researchers and industry experts to discuss the latest developments in computing research and practical computing challenges. This year, it focused on issues around creating a truly connected world, including the social, cultural and economic impact of a reality where over one trillion devices are seamlessly linked.
Chris Cummins (in collaboration with Hugh Leather, Pavlos Petoumenos and Alastair Murray) won the ACM SIGSOFT Distinguished Paper award at the International Symposium on Software Testing and Analysis (ISSTA18), for their paper "Compiler Fuzzing through Deep Learning". ISSTA is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.
Larisa Stoltzfus (and supervisor Christophe Dubach and co-authors) has won the Best Paper award at CGO 2018 for her work on ‘High Performance Stencil Code Generation with LIFT’. 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. This is the second year in a row that a PPAR student has been in the winning team at CGO.
Chris Cummins (and supervisors Hugh Leather, Pavlos Petoumenos and Zheng Wang) has won the Best Paper award at PACT 2017 for his work on ‘End-to-end Deep Learning of Optimization Heuristics’. PACT brings together researchers from architecture, compilers, applications and languages to present and discuss innovative research of common interest. This is Chris’ second Best Paper award of the year!
Floyd Chitalu (in collaboration with K. Mitchell and C. Koniaris of Disney Research) has been granted a US patent for 'Memory Allocation for Seamless Media Content Presentation'. US patent application 20190096028, KInd Code: A1, March 28 2019.
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.
Kokke K, Siek J.G, Wadler P, 'Programming Language Foundations in Agda', Science of Computer Programming, Vol 194 (in progress), Aug 2020. DOI: 10.1016/j.scico.2020.102440
Hillerström D, Lindley S, Atkey R, 'Effect handlers via generalised continuations', Journal of Functional Programming, Vol 30, March 2020. DOI: 10.1017/S0956796820000040
Katsarakis A, Gavrielatos V, Siavash Katebzadeh M.R, Joshi A, Dragojevic A, Grot B, Nagarajan V, 'Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol', ASPLOS '20: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, March 2020, p201-217. DOI: 10.1145/3373376.3378496
Wickrama Arachchilage M, Gavrielatos V, Joshi A, Nagarajan V, 'Lazy Release Persistency', ASPLOS '20: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, March 2020, p1173-1186. DOI: 10.1145/3373376.3378481
Mogers N, Turner J, Radu V, Li L, O'Boyle M, Dubach C, 'Automatic generation of specialized direct convolutions for mobile GPUs', GPGPU '20: Proceedings of the 13th Annual Workshop on General Purpose Processing using Graphics Processing Unit, Feb 2020, p41-50. DOI: 10.1145/3366428.3380771
C.O.Rocha R, Porpodas V, Petoumenos P, Góes L.F.W, Wang Z, Cole M, Leather H, 'Vectorization-aware loop unrolling with seed forwarding', CC 2020: Proceedings of the 29th International Conference on Compiler Construction, Feb 2020, p1-13. DOI: 10.1145/3377555.3377890
Pizzuti F, Steuwer M, Dubach C, 'Generating fast sparse matrix vector multiplication from a high level generic functional IR', CC 2020: Proceedings of the 29th International Conference on Compiler Construction, Feb 2020, p85-95. DOI: 10.1145/3377555.3377896
Katsarakis A, Gavrielatos V, Nagarajan V, Grot B, Joshi A, 'Kite: efficient and available release consistency for the datacenter', PPoPP '20: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming', Feb2020, p1-16. DOI: 10.1145/3332466.3374516
Fuxjaeger A, Bell V, 'Scaling up Probabilistic Inference in Linear and Non-linear Hybrid Domains by Leveraging Knowledge Compilation', ICAART 2020, 12th International Conference on Agents and Artificial Intelligence, Jan 2020, p347-355. DOI: 10.5220/0008896003470355
Stoltzfus L, Dubach C, 'Tiling Optimizations for Stencil Computations Using Rewrite Rules in Lift', ACM Transactions on Architecture and Code Optimization (TACO), Vol 16, Iss 4, p1-25. DOI: 10.1145/3368858
Rüefenacht M, Laguna I, Marshall R, Skjellum A, Sultana N, 'A large-scale study of MPI usage in open-source HPC applications', SC'19 Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, article 31. DOI: 10.1145/3295500.3356176
Kashefi E, Coyle B, Hoban MJ, 'Certified Randomness From Steering Using Sequential Measurements', Journal: Cryptography 2019, Vol 3, Issue 4, 2019. DOI: 10.3390/cryptography3040027.
Mills D, Vankov I, Wallden P, Kashefi E, 'Methods for classically simulating noisy networked quantum architectures', Journal: Quantum Science and Technology, Vol 4, 2019. DOI: 10.1088/2058-9565/ab54a4
Piho P, Margetiny F, Bartocci E, Hillston J, Ribchester R, 'Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting', CSMB 2019, Proceedings of the 17th International Conference on Computational Methods in Systems Biology, Trieste, Italy, Sep 18-30th 2019, p120-139. DOI: 10.1007/978-3-030-31304-3_7
Rüefenacht M, Sultana N, Skjellum A, Laguna I, Mohror K, 'Failure recovery for bulk synchronous applications with MPI stages'. Parallel Computing Journal, Vol 84, May 2019, p1-14. DOI: 10.1016/j.parco.2019.02.007
Andres Martinez P, Heunen C, 'Automated distribution of quantum circuits via hypergraph partitioning', In Physical Review A, Vol. 100, Issue 3, September 2019, 10.1103/PhysRevA.100.032308
Margaritov A, Ustiugov D, Bugnion E, Grot B; 'Prefetched Address Translation', MICRO'52, Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture p1023-1036. DOI: 10.1145/3352460.3358294
Kristien M, Bodin B, Steuwer M, Dubach C; 'High-level synthesis of functional patterns with Lift'. Proceedings of the 6th ACM SIGPLAN International Workshop on LIbraries, Languages and Compilers for Array Programming. p35-45. DOI: 10.1145/3315454.3329957
Crawford L, O'Boyle M 'Specialization Opportunities in Graphical Workloads'. PACT 19, 28th International Conference on Parallel Architectures and Compilation Techniques, p272-283. DOI: 10.1109/PACT.2019.00029
Collie B, Ginsbach P, O'Boyle M 'Type-Directed Program Synthesis and Constraint Generation for Library Portability'. PACT 19, 28th International Conference on Parallel Architectures and Compilation Techniques, p55-67. DOI: 10.1109/PACT.2019.00013
Maramzin A, Vasiladiotis C, Castaneda Lozano R, Cole M, Franke, ' "It looks like you're writing a parallel loop": a machine learning based parallelization assistant'. AI-SEPS 2019 Proceedings of the 6th ACM SIGPLAN International Workshop on AI-Inspired and Empirical Methods for Software Engineering on Parallel Computing Systems, p1-10. DOI: 10.1145/3358500.3361567
Piho, Paul; LV , H; Hillston, J; Wang, H. 'An Attribute-based Availability Model for Large Scale IaaS Clouds with CARMA', Sept 2019, IEEE Transactions on Parallel and Distributed Systems PP(99). DOI: 10.1109/TPDS.2019.2943339
Rocha, R; Petoumenos, P; Wang, Z; Cole, M; Leather, H. 'Function merging by sequence alignment', CGO 2019: Proceedings of the International Symposium on Code Generation and Optimization, 2019. DOI: 10.1109/CGO.2019.8661174
Porpodas, V; Rocha, R; Brevnov, E; Góes, LFW; Mattson, T. 'Super-Node SLP: Optimized vectorization for code sequences containing operators and their inverse elements', CGO 2019: Proceedings of the International Symposium on Code Generation and Optimization, 2019. DOI: 10.1109/CGO.2019.8661192
Tsoukaneri, G; Feltrin L; Condoluci, M; Burrati, C; Mahmoodi, T; Dohler, M; Verdone, R; 'Narrowband IoT: A Survey on Downlink and Uplink Perspectives'. IEEE Wirless Communications (Volume 26, Issue 1, Feb 2019). DOI: 10.1109/MWC.2019.1800020
Ginsbach, P & many others; 'Genetic Imbalance Is Associated With Functional Outcome After Ischemic Stroke'. Stroke (American Heart Association Journal), Feb 2019, Volume 50, Issue 2. DOI: 10.1161/STROKEAHA.118.021856
Singh, R; Fiore, M; Marina, M; Tarable, A; Nordio, A. 'Urban Vibes and Rural Charms: Analysis of Geographic Diversity in Mobile Service Usage at National Scale.' WWW '19: Proceedings of The World Wide Web Conference, p1724-1734. DOI: 10.1145/3308558.3313628
Capelli, L; Hu, Z; Zakian, T; Borwn, N; Bull, M. 'iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose?' Parallel Computing, Volume 86, Ahugust 2019, p45-46. DOI: 10.1016/j.parco.2019.04.005
Kokke, K; Wadler, P; Morris, J G. 'Towards Races in Linear Logic.' COORDINATION 2019: Proceedings of 21st IFIP WG 6.1 International Conference, Denmark, June 2019. DOI: 10.1007/978-3-030-22397-7_3
Kokke, K; Montezi, F; Peressotti, M. 'Better Late Than Never: A Fully-Abstract Semantics for Classical Processes.' Proceedings of the ACM on Programming Languages, Volume 3 Issue POPL, Jan 2019. DOI: 10.1145/3290337
Kristien, M; Spink, T; Wagstaff, H; Franke, B; Bohm, I; Topham, N. 'Mitigating JIT compilation latency in virtual execution environments.' VEE 2019: Proceedings of 15th ACM SIGPLAN/SIGOPS Int. Conference on Virtual Execution Environments, p101-107. DOI: 10.1145/3313808.3313818
Fan, W; Liu M 2019, 'Dynamic scaling for parallel graph computations'. In Proceedings of the VLDB Endowment, Vol 12, Isue 8, April 2019, pages 877-890, DOI: 10.14778/3324301.3324305
Cummins C, Goens A, Brauckmann A, Ertel S, Leather H, Castrillon J, 'A case study on machine learning for synthesizing benchmarks'. Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages. June 2019 Phoenix, Arizona, USA, pages 38-46. DOI: 10.1145/3315508.3329976
Singh R, Siva Ram Murthy C, 'Techniques for Interference Mitigation Using Cooperative Resource Partitioning in Multitier LTE HetNets'. IEEE Systems Journal, Vol12, Iss 1, Mar 2018, p843-853. DOI: 10.1109/JSYST.2016.2527504
Stoltzfus L, Abdullah Shahneous Bari Md, Lin P, Liao C, Emani M, Chapman B. 'Is Data Placement Optimization Still Relevant on Newer GPUs?' 2018 IEEE/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS) DOI: 10.1109/PMBS.2018.8641666
Fowler S, Lindley S, Morris J G, and Decova S. 2019. Exceptional Asynchronous Session Types: Session Types without Tiers. Proc. ACM Program. Lang. 3, POPL, Article 28 (January 2019) DOI: 10.1145/3290341
Coyle, B, Hoban, M., J., Kashefi, E., 2018, 'One-Sided Device-Independent Certification of Unbounded Random Numbers'. P&C 2018: Proceedings of the 9th International Workshop on Physics and Computation, pp. 14-26. DOI: 10.4204/EPTCS.273.2
Chitalu F, Dubach C, Komura T, 'Bulk-Synchronous Parallel Simultaneous BVH Traversal for Collision Detection on GPUs', I3D '18 Proceedings of the ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games, 2018. DOI: 10.1145/3190834.3190848
Cummins, C, Petoumenos, P, Murray, A, Leather, H, ‘Compiler Fuzzing through Deep Learning’, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2018.
Ginsbach, P, Remmelg, T, Steuwer, M, Bodin, B, Dubach, C & O’Boyle, M, Automatic matching of legacy code to heterogeneous APIs: An idiomatic approach. 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’18), 2018. DOI: 10.1145/3173162.3173182
Rocha, R, Góes, L, Magno Pereira, F, ‘Automatic parallelization of recursive functions with rewriting rules’. Journal of Science of Computer Programming, 2018. DOI: 10.1016/j.scico.2018.01.004
Porpodas, V, Rocha, R, Góes, LFW, 'VW-SLP: Auto-vectorization with adaptive vector width', PACT 2018: Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2018. DOI: 10.1145/3243176.3243189
Gavrielatos, V, Katsarakis, Joshi, A, Oswald, N, , Grot, B, Nagarajan, V, ‘Scale-Out ccNUMA: Exploiting Skew with Strongly Consistent Caching’, Proceedings of the European Conference on Computer Systems (EuroSys), 2018. DOI: 10.1145/3190508.3190550
G. Tsoukaneri , M. Condoluci, T. Mahmoodi, M. Dohler, M. K. Marina, ‘Group Communications in Narrowband-IoT: Architecture, Procedures, and Evaluation’. IEEE Internet of Things Journal, 2018. DOI: 10.1109/JIOT.2018.2807619
Tsoukaneri, G; Marina, M. 'On Device Grouping for Efficient Multicast Communications in Narrowband-IoT.' ICDCS: Proceedings of IEEE 38th Int. Conference on Distributed Computing Systems, 2-6th July 2018. DOI: 10.1109/ICDCS.2018.00146
Ginsbach, P., Crawford, L., O’Boyle, M.F.P, ‘CAnDL: a domain specific language for compiler analysis’, Proceedings of the 27th International Conference on Compiler Construction (CC2018) pp. 151-162, 2018. DOI: 10.1145/3178372.3179515
Crawford, L; O'Boyle, M. 'A Cross-platform Evaluation of Graphics Shader Compiler Optimization'. ISPASS: IEEE Int Symposium on Performance Analysis of Systems and Software,, 2-4 April 2018, Belfast UK. DOI: 10.1109/ISPASS.2018.00035
Edler von Koch, T., Manilov, S., Vasiladiotis, C., Cole, M., Franke, B., ‘Towards a Compiler Analysis for Parallel Algorithmic Skeletons’, Proceedings of the 27th International Conference on Compiler Construction (CC2018), pp. 174-184, 2018. DOI: 10.1145/3178372.3179513
Manilov, S., Vasiladiotis,C., Franke, B., ‘Generalized Profile-Guided Iterator Recognition’, Proceedings of the 27th International Conference on Compiler Construction (CC2018), pp. 185-195, 2018. DOI: 10.1145/3178372.3179511
Hillston, J., Georgoulas, A. Piho, P., ‘Goals and resource constraints in CARMA’, to appear in Electronic Notes in Theoretical Computer Science, 2018. DOI: 10.1016/j.entcs.2018.03.039
Piho, P; Hillston, J. 'Policy Synthesis for Collective Dynamics'. QEST 2018: Proceedings of 15th International Conference, Beijing, China, September 4-7, 2018. DOI: 10.1007/978-3-319-99154-2_22
Porpodas, V, Rocha, R, Góes, LFW, ‘Look-ahead SLP: Auto-vectorization in the presence of commutative operations‘, CGO 2018: Proceedings of the International Symposium on Code Generation and Optimization, 2018. DOI: 10.1145/3168807
Hagedorn, B, Stoltzfus, L, Steuwer, M, Gorlatch, S, Dubach, C, `High Performance Stencil Code Generation with LIFT’, CGO 2018: Proceedings for International Symposium on Code Generation and Optimization, 2018. DOI: 10.1145/3168824
Stoltzfus, L; Emani, M; Lin, P; Liao, C. 'Data Placement Optimization in GPU Memory Hierarchy using Predictive Modeling'. MCHPC'18: Proceedings of the workshop on Memory Centric High Performance Computing, p45-49. DOI: 10.1145/3286475.3286482
Shahab, A; Margaritov, A; Grot, B; Zhu, M. 'Farewell My Shared LLC! A Case for Private Die-Stacked DRAM Caches for Servers'. MICRO: Proceedings for 2018 51st Annual IEEE/ACM Int. Symposium on Microarchitecture. DOI: 10.1109/MICRO.2018.00052
Hillerstrom, D; Lindley, S. 'Shallow Effect Handlers'. APLAS: Proceedings of the 16th Asian Symposium, Wellington, NZ, Dec 2-6. DOI: 10.1007/978-3-030-02768-1_22
Singh, R; Theodorakopoulos, G; Marina, M; Arapinis, M. 'On Choosing Between Privacy Preservation Mechanisms for Mobile Trajectory Data Sharing'. IEEE: Proceedings of conference on Communications and Network Security, 30 May, 1 June. DOI: 10.1109/CNS.2018.8433178
Yaneva, V; Kapoor, A; Rajan, A; Dubach, C. 'Accelerated Finite State Machine Test Execution Using GPUs.' APSEC: proceedings of 25th Asia-Pacific Software Engineering Conference (APSEC) 4-7 Dec 2018. DOI: 10.1109/APSEC.2018.00025
Yaneva, V; Stratis, P; Rajan, A. 'Assessing the Effect of Data Transformations on Test Suite Compilation'. ESEM'18: proceedings of 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, Oulu Finland Oct 11-12th, 2018. DOI: 10.1145/3239235.3240499
Yaneva, V. 'Compiler-Assisted Test Acceleration Using GPUs'. ICSE'18: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, p521-523, Gothenburg, Sweden May 27-June 3. DOI: 10.1145/3183440.3190337
Capelli, L; Hu, Z; Zakian, T. 'iPregel: A Combiner-Based In-Memory Shared Memory Vertex-Centric Framework'. ICPP'18: Proceedings of the 47th International Conference on Parallel Processing Companion, Eugene, OR, USA, Aug 13-16 2018. DOI: 10.1145/3229710.3229719
Horn, R; Perera, R; Cheney, J. 'Incremental relational lenses'. Proceedings of the ACM on Programming Languages, Vol 2, Issue ICFP, Sep 2018, article 74. DOI: 10.1145/3236769
Metzger, P; Cole, M; Fensch, C. 'NUMA Optimizations for Algorithmic Skeletons'. Euro-Par 2018: Parallel Processing. Euro-Par 2018. Lecture Notes in Computer Science, vol 11014. Springer, Cham. DOI: 10.1007/978-3-319-96983-1_42
Oswald, N; Nagarajan, V; Sorin, D. 'ProtoGen: Automatically Generating Directory Cache Coherence Protocols from Atomic Specifications'. ICSA'18: proceedings of 45th Annual International Symposium on Computer Architecture, p247-260, L.A., CA, USA, June 2nd-6th 2018. DOI: 10.1109/ISCA.2018.00030
Turner, J; Cano, J; Radu, V; Crowley, E; O'Boyle, M; Storkey, A. 'Characterising Across-Stack Optimisations for Deep Convolutional Neural Networks'. IISWC: proceedings of IEEE Int. Symposium on Workload characterization, 30 Sep-2 Oct 2018, Raleigh, NC, USA. DOI: 10.1109/IISWC.2018.8573503
Liu, Muyang; Fan, W; Xu, R; Hou, L; Dongze, Li; Meng, Z. 'Think Sequential, Run Parallel.' Symposium on Real-Time and Hybrid Systems. Lecture Notes in Computer Science, vol 11180, first online 29 Sep 2018. DOI: 10.1007/978-3-030-01461-2_1
Rüefenacht M, Bull M, Booth S, 'Generalisation of Recursive Doubling for AllReduce: Now with Simulation.' Parallel Computing Journal, Vol 69, Nov 2017, p24-44. DOI: 10.1016/j.parco.2017.08.004
S. Fehrenbach, J. Cheney, ‘Language-integrated provenance’, Science of Computer Programming 155, pp 103 – 145, 2017. DOI: https://doi.org/10.1016/j.scico.2017.08.009
Rocha, R, Pereira, A, Ramos, L, Góes, L, ‘TOAST: Automatic tiling for iterative stencil computations on GPUs’, Concurrency and Computation: Practice and Experience 28(8), 2017. DOI: 10.1002/cpe.4053
Pfleger, S, Plentz, P, Rocha, R, Pereira, A, Castro, M, ‘Real-time video denoising on multicores and GPUs with Kalman-based and bilateral filters fusion’, Journal of Real-Time Image Processing, pp 1-14, February, 2017. DOI: 10.1007/s11554-016-0659-y
Chitalu, F, Koniaris, B, Mitchell, K. ‘Method for CPU-GPU Streaming for Walkthrough of Full Motion Lightfield’, Proceedings of the 14th European Conference on Visual Media Production (CVMP 2017), December 2017. 10.1145/3150165.3150173
A. D. Pereira, M. Castro, M. A. R. Dantas, R. C. O. Rocha , L. F. W. Góes, ‘Extending OpenACC for Efficient Stencil Code Generation and Execution by Skeleton Frameworks’, 2017 International Conference on High Performance Computing & Simulation (HPCS), pp. 719-726, 2017. DOI: 10.1109/HPCS.2017.110
Luisa Vissat, L., Loreti, M., Nenzi, L., Hillston, J., Marion, G. ‘Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems’, Proceedings of Quantitative Evaluation of Systems (QEST 2017) pp. 317-332 (Springer Lecture Notes in Computer Science vol. 10503), 2017. DOI: 10.1007/978-3-319-66335-7_22
Cummins, C, Petoumenos, P, Wang, Z & Leather, H, ‘End-to-end Deep Learning of Optimization Heuristics‘. International Conference on Parallel Architectures and Compilation Techniques (PACT), pp. 219-232, 2017. DOI: 10.1109/PACT.2017.24
Ruefenacht, M , Bull, M, Booth, S, ‘Generalisation of recursive doubling for AllReduce’, Parallel Computing: Volume 69 Issue C, 2017. DOI: 10.1016/j.parco.2017.08.004
Williams, J., Morris, J. G., Wadler, P. Zalewski, J., ‘Mixed Messages: Measuring Conformance and Non-Interference in TypeScript’, in European Conference on Object-Oriented Programming (ECOOP 2017), pp. 1-28, Leibniz International Proceedings in Informatics (LIPIcs); vol. 74, 2017. DOI: 10.4230/LIPIcs.ECOOP.2017.28
Mills, D., Pappa, A., Kapourniotis, T., Kashefi, E, ‘Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation’ 14th International Conference on Quantum Physics and Logic, QPL2017, 12 pages, 2017. DOI: 10.4204/EPTCS.266.14
A.D. Pereira, R. C. O. Rocha, M. Castro, L. F. W. Góes, M. A. R. Dantas, ‘Enabling efficient stencil code generation in OpenACC’, International Conference on Computational Science (ICCS 2017), Procedia Computer Science Volume 108, pp 2333-2337, 2017. DOI: 10.1016/j.procs.2017.05.155
L. Luisa Vissat, J. Hillston, M. Loreti, L. Nenzi, ‘Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic’, Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2017), 2017.
Cummins, C, Petoumenos, P, Wang, Z & Leather, H, ‘Synthesizing Benchmarks for Predictive Modeling‘. CGO 2017: Proceedings of the 2017 International Symposium on Code Generation and Optimization. IEEE, pp. 86-99, February 2017. DOI: 10.1109/CGO.2017.7863731
Fowler, S, Lindley, S. & Wadler, P. ‘Mixing Metaphors: Actors as Channels and Channels as Actors’. ECOOP’17 Proceedings of the 31st European Conference on Object-Oriented Programming, 2017. DOI: 10.4230/LIPIcs.ECOOP.2017.11
Ginsbach, P & O’Boyle, M, ‘Discovery and Exploitation of General Reductions: A Constraint Based Approach‘. GCO 2017: International Symposium on Code Generation and Optimization, pp. 269-280, 2017. http://dl.acm.org/citation.cfm?id=3049862
Ginsbach, P; Erhart, P; Schiele, S; Grond Ginsbach, C; Hakimi, M; Bockler, D; Lorenzo-Bermejo, J; Dilhmann, S. 'Gene Expression Profiling in Abdominal Aortic Aneurysms After Finite Element Rupture Risk Assessment'. Journal of Endovascular Therapy, 31st Aug 2017. DOI: 10.1177/1526602817729165
Dolan, S, Eliopoulos, S, Hillerström, D, Madhavapeddy, A, Sivaramakrishnan, KC & White, L, ‘Concurrent System Programming with Effect Handlers’. International Symposium on Trends in Functional Programming, June 2017. DOI: 10.1007/978-3-319-89719-6_6
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. DOI: 10.4230/LIPIcs.FSCD.2017.18
Manilov, S., Franke, B., Magrath, A. & Andrieu, C, 'Free Rider: A Source-Level Transformation Tool for Retargeting Platform-Specific Intrinsic Functions', ACM Transactions on Embedded Computing Systems. 16, 2, p. 1-24, 2017. DOI: 10.1145/2990194
Stoltzfus, L, ‘Performance Portability for Room Acoustics Simulation’, Proceedings of the 20th International Conference on Digital Audio Effects (DAFx-17), University of Edinburgh, September 5–9, 2017, pp. 367-374.
A. Joshi, V. Nagarajan, S. Viglas and M. Cintra, ‘ATOM: Atomic Durability in Non-volatile Memory through Hardware Loggin’, 2017 IEEE International Symposium on High Performance Computer Architecture (HPCA), pp. 361-372, 2017.
Stoltzfus, L, Dubach, C, Steuwer, M, Gray, A and Bilbao, S ‘A Modular Approach to Performance, Portability and Productivity for 3D Wave Models’. 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’. 2017 IEEE 14th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), 2017. DOI: 10.1109/MASS.2017.30
Yaneva, V, Rajan, A, & Dubach, C, ‘Compiler Assisted Test Acceleration on GPUs for Embedded Software’. ISSTA 2017: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2017. DOI: 10.1145/3092703.3092720
Manilov, S, Franke, B, Magrath, A & Andrieu, C, ‘Free Rider: A Source-Level Transformation Tool for Retargeting Platform-Specific Intrinsic Functions’, ACM Transactions on Embedded Computing Systems (TECS) 16:2, paper 38, 2017. DOI: 10.1145/2990194
Yaneva, V, Rajan, A, & Dubach, C, ‘ParTeCL: Parallel Testing Using OpenCL.’ ISSTA 2017: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2017. 10.1145/3092703.3098227
Zariņš, J, Weiland, M 2017, ‘Progressive load balancing of asynchronous algorithms’. IA3'17: Proceedings of the Seventh Workshop on Irregular Applications: Architectures and Algorithms, 2017. DOI: 10.1145/3149704.3149765
Brown, N, Capelli, L & Bull, JM 2017, 'Extended abstract: Type oriented programming for task based parallelism’. In TyDe’17 workshop, http://tydeworkshop.org/abstracts/2017/task-based-parallelism.pdf
Kokke, K; Montesi , F; Peresotti, M. 'Taking Linear Logic Apart'. Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Oxford, UK, 7-8 July 2018, April, 2019. DOI: 10.4204/EPTCS.292.5
Cummins, C, Petoumenos, P, Steuwer, M & Leather, H, ‘Towards Collaborative Performance Tuning of Algorithmic Skeletons‘. 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‘. International Workshop on Adaptive Self-tuning Computing Systems (ADAPT) 2016. HiPEAC, Prague, Czech Republic, 18 January 2016.
Vissat, L. L., Hillston, J., Marion, G. & Smith, M. J. ‘MELA: Modelling in Ecology with Location Attributes’, Fourteenth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), pp. 82-97, 2016.
Radu, V, Lane, N, Bhattacharya, S, Mascolo, C, Marina, M, ‘Towards Multimodal Deep Learning for Activity Recognition on Mobile Devices’, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp ’16), pp 185-188, 2016.
Fowler, S, ‘An Erlang Implementation of Multiparty Session Actors’. ICE 2016 9th Interaction and Concurrency Experience Satellite Workshop of DisCoTec. Heraklion, Greece, 8-9 June 2016. DOI: 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.
Huang, C, Nagarajan, V, Joshi, A, ‘DCA: A DRAM-cache-aware DRAM Controller’, Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC ’16), pp 76:1-76:11, 2016.
Hillerström, D, Lindley, S, ‘Liberating Effects with Rows and Handlers’, TyDe 2016: Proceedings of the 1st International Workshop on Type-Driven Development. 18 September 2016. DOI: 10.1145/2976022.2976033
Piho, P, Hillston, J. ‘Stochastic and Spatial Equivalences for PALOMA’. 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. DOI: 10.4204/EPTCS.217.9
Tsoukaneri, G, Theodorakopoulos, G, Leather, H & Marina, MK, ‘On the Inference of User Paths from Anonymized Mobility Data‘. Proceedings of the 1st IEEE European Symposium on Security and Privacy (EuroS&P 2016). IEEE, Saarbrucken, Germany, 21-24 March 2016. DOI: 10.1109/EuroSP.2016.25
Rüfenacht, M, Bull, M, & Booth, S, 'Generalisation of Recursive Doubling for AllReduce'. Proceedings of the 23rd European MPI Users’ Group Meeting. EuroMPI, Edinburgh, United Kingdom, 26 September 2016. DOI: 10.1145/2966884.2966913
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. DOI: 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’. Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, 2015. DOI: 10.1145/2670529.2754962
Marina, M, Radu, V, Balampekos, K, ‘Impact of Indoor-Outdoor Context on Crowdsourcing Based Mobile Coverage Analysis’, Proceedings of the 5th Workshop on All Things Cellular: Operations, Applications and Challenges,(AllThingsCellular ’15), pp 45-50}, 2015.
S. Fehrenbach, J. Cheney, Language-integrated Provenance in Links, Proceedings of 7th USENIX Workshop on the Theory and Practice of Provenance (TaPP 15), 2015.
Joshi, A, Nagarajan, V, Cintra, M, Viglas, S, ‘Efficient Persist Barriers for Multicores’, Proceedings of the 48th International Symposium on Microarchitecture (MICRO-48), pp 660-671, 2015.
Miller, M, Holden, D, Al-Ashqar, R, Dubach, C, Mitchell, K & Komura, T, ‘Carpet unrolling descriptors for character control on uneven terrain’. 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.
Kokke, K 'Programming Language Foundations in Agda', AIM XXX (30th Agda Implementors Meeting), Munich Germany, 11th September 2019.
Singh R, 'Urban Vibes and Rural Charms: Analysis of Geographic Diversiy in Mobile Service Usage', MobiUK 19, Oxford 1-2 July 2019.
Singh R, 'Urban Vibes and Rural Charms: Analysis of Geographic Diversiy in Mobile Service Usage', Queen Mary University London, 6th Feb 2019.
Singh R, 'On Choosing Between Privacy Preservation Mechanisms for Mobile Trajectory Data Sharing', Mobiuk 2018, Cambridge, 12-13th September.
Singh R, 'Privacy Preserving Mobile Network Data Analytics', Alan Turing Institute, Enrichment Scheme Open Day, 24th April 2018
Cummins, C, ‘Using Deep Learning to Generate Human-like Code’, Facebook, Menlo Park, California, USA, March 22, 2018
Coyle, B, ‘One-Sided Device-Independent Certification of Unbounded Random Numbers’, 9th International Workshop on Physics and Computation, Fontainebleau, France, 26 June 2018.
HIllerstrom, D; Lindley, S; Atkey, R; Sivaramakrishnan, KC; Yallup, J. 'Handlers.Js'. Proweb Workshop, April 10th, 2018, Nice.
Capelli, L. 'Type oriented programming for task based parallelism’, TyDe’17 workshop, Oxford University, 3 September 2017.
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.
Shahab A, 'Farewell My Shared LLC! A Case for Private Die-Stacked DRAM Caches for Servers', Microsoft Research Cambridge, PhD Workshop on Next-Generation Cloud Infrastructure, 25-26 Nov 2019.
Singh R, ''Urban Vibes and Rural Charms: Analysis of Geographic Diversity in Mobile Service Usage at National Scale, HiPEAC CSW April 16-19 2019.
Singh R, 'On Choosing Between Privacy Preservation Mechanisms for Mobile Trajectory Data Sharing', Cyber Security, Privacy and Trust Showcase, University of Edinburgh (Cyber Scotland Week 2019), 22-28th April 2019.
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.