Student Research Outputs
An amalgamation of the CDT in Pervasive Parallelism’s published and presented works.
Awards & Achievements
Artemiy Margaritov won the Hutter Prize for Compression of Human Knowledge for setting the record for compresing Wikipedia data while using restricted time and compute resources.
Chris Vasiladiotis co-authored the Best Paper award winner at HPCA '21 describing work on 'Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads Using Hardware-Software Co-Design'.
Jack Turner won the Distinguished Paper Award for co-authoring the paper 'Neural architecture search as program transformation exploration' at ASPLOS'21.
Antonis Katsarakis and Vasilis Gavrielatos won a 2021 IEEE MICRO Top Pick Honourable Mention for co-authoring 'Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol' which was published at ASPLOS'20. See the May/June 2021 issue of IEEE Micro.
Bruce Collie won the Best Paper award at GPCE 2020 for 'Modelling Black-Box Components and Probabilistic Synthesis', in collaboration with Michael O'Boyle and Jackson Woodruff.
Chris Cummins won the coveted SICSA PhD Award for Best Dissertation in Scotland 2019-2020 at the 2020 SICSA Conference, for his thesis 'Deep Learning for Compilers'.
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 an 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.
Published Papers
2023
Ionela Mocanu, B. Juba, Vaishak Belle: "Learnability with PAC Semantics for Multi-agent Beliefs": Chapter in Conference proceeding - AAMAS - 04/01/2023 DOI: 319942741
Nicolai Oswald, Andres Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Vijay Nagarajan: "Compound Memory Models" Proceedings of the ACM on Programming Languages - Contribution to journal - article - 11/04/2023 DOI: 338970910
Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, and Luca Arnaboldi: Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively. In Proceedings of CPP2023, https://doi.org/10.1145/3573105.3575674
2022
Wenfei Fan, Yuanhao Li, Muyang Liu, Can Lu: A Hierarchical Contraction Scheme for Querying Big Graphs, ACM SIGMOD Conference on Management of Data (SIGMOD), 2022.
I Mocanu, Z Yang and V Belle: Breaking CAPTCHA with Capsule Networks, Neural Networks 154(2). DOI: 10.1016/j.neunet.2022.06.041, 2022.
Foivos Tsimpourlas, Gwenyth Rooijackers, Ajitha Rajan, Miltiadis Allamani: "Embedding and classifying test execution traces using neural networks", IET Software, 28/06/2022, DOI: 10.1049/sfw2.12038
Casadio, M., Komendantskaya K, Daggitt M, Kokke W, Katz G, Amir G, Refaeli, I: Neural Network Robustness as a Verification Property: A Principled Case Study. In Computer Aided Verification, CAV 2022. Lecture Notes in Computer Science, vol 13371. https://doi.org/10.1007/978-3-031-13185-1_11
Brian Coyle, Mina Doosti, Elham Kashefi and Niraj Kumar: Progress Toward Practical Quantum Cryptanalysis by Variational Quantum Cloning, Phys Review A 105, 042604, 2022.
Naums Mogers, Lu Li, Valentin Radu, and Christophe Dubach: Mapping parallelism in a functional IR through constraint satisfaction: a case study on convolution for mobile GPUs. In Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction (CC 2022) https://doi.org/10.1145/3497776.3517777
Wenfei Fan, Yuanhao Li, Muyang Liu, Can Lu: Making Graphs Compact by Lossless Contraction, The VLDB Journal, 2022.
Ieva Čepaitė, Brian Coyle, Elham Kashefi: A Continuous Variable Born machine, Quantum Machine Intelligence 4(1), 2022.
M Daggitt, W Kokke et al: Vehicle: A High-Level Language for Embedding Logical Specifcations in Neural Networks, in Proceedings of the 5th International Workshop on Formal Methods for ML-Enabled Autonomous Systems 2022.
Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim Hazelwood, Ajitha Rajan, Hugh Leather, BenchPress: A Deep Active Benchmark Generator", to appear at PACT 2022.
Pablo Andrez Martinez, Chris Heunen and R. Kaarsgaard, "Universal Properties of Partial Quantum Maps", Proceedings of the 19th International Conference on Quantum Physics and Logic" Chapter in Conference proceeding 01/06/2022 DOI: 10.48550/arXiv.2206.04814
N Jain, B Coyle, E Kashefi, N Kumar: Graph Neural Network Initialisation of Quantum Approximate Optimisation, Quantum 6, 861, 2022.
Pablo Andrez Martinez and Chris Heunen, "Weakly measured while loops: peeking at quantum states", Quantum Science and Technology, 2022. DOI: 10.1088/2058-9565/ac47f1
Ludovic A. R. Capelli, N. Brown, J. M. Bull, "NVRAM as an enabler to new horizons in graph processing", Springer Nature Computer Science, Volume 3, Article 385 (2022) 1–13. doi:10.1007/s42979-022-01317-4.
N. Oswald, V. Nagarajan, D. J. Sorin, V. Gavrielatos, T. Olausson, and R. Carr, “Heterogen: Automatic synthesis of heterogeneous cache coherence protocols,” in 28th IEEE International Symposium on High-Performance Computer Architecture (HPCA-28), ser. HPCA ’22. Seoul, South Korea: IEEE Press, 2022.
Brian Coyle, M. Benedetti, M. Fiorentini, M. Lubasch, M. Rosenkranz, 'Variational Inference with a Quantum Computer', Physical Review Applied journal #16, published 28 October, 2021. DOI: 10.1103/PhysRevApplied.16.044057
Brian Coyle, C. Leadbeater, L. Sharrock and M. Benedetti. "F-Divergences and Cost Function Locality in Generative Modelling with Quantum Circuits" Entropy 23, no. 10: 1281. DOI: 10.3390/e23101281
Maximiliana Behnke, N. Bogoychev, A. Fikri Aji, K. Heafield, G. Nail, Qi Zhu, S. Tchistiakova, J. van der Linde, P. Chen, S.Kashyap and R. Grundkiewicz, 'Efficient Machine Translation with Model Pruning and Quantization', EMNLP 2021 Sixth Conference on Machine Translation (WMT 21), Nov 2021 . DOI: tbc
Maximiliana Behnke, K. Heafield, 'Pruning Neural Machine Translation for Speed Using Group Lasso', EMNLP 2021 Sixth Conference on Machine Translation (WMT 21), Nov 2021. DOI: tbc
Amna Shahab, Antonios Katsarakis, Boris Grot, Mingcan Zhu, 'Invalidate or Update? Revisiting Coherence for Tomorrow’s Cache Hierarchies', 30th International Conference on Parallel Architectures and Compilation Techniques (PACT'21), 29th September 2021. DOI: 10.1109/PACT52795.2021.00024
Wen Kokke, Fowler S, Dardha O, Lindley S, Morris JG, 'Separating Sessions Smoothly', 32nd International Conference on Concurrency Theory (CONCUR 2021), DOI: 10.4230/LIPIcs.CONCUR.2021.36
A. Patil, V. Nagarajan, R. Balasubramonian, and N. Oswald, “Dvé: Improving dram reliability and performance on-demand via coherent replication,” in Proceedings of the ACM/IEEE 48th Annual International Symposium on Computer Architecture, ser. ISCA ’21. IEEE Press, 2021, p. 526–539.
2021
Paul Metzger, Seeker V, Fensch C, Cole M, 'Device-Hopping: Transparent Mid-Kernel Runtime Switching for Heterogeneous Systems', ACM Transactions on Architecture and Code Optimization. 2021. Accepted/In-Press 18 Jun 2021. DOI: 10.1145/3471909
Bruce Collie, O'Boyle M, 'Program LIfting using Gray-Box Behavior', 30th International Conference on Parallel Architectures and Compilation Techniques (PACT'21), Sep 26-29. DOI: 10.1109/PACT52795.2021.00012
Muyang Liu, Wenfei Fan, Ping Lu, Qiang Yin, 'Graph Algorithms with Partition Transparency', Journal: IEEE Transactions on Knowledge and Data Engineering (Early Access), page 1 - 1, 26 July 2021. DOI: 10.1109/TKDE.2021.3097998
Mocanu I, Belle V, Rader A P, Juba B, 'Learning Implicitly with Noisy Data in Linear Arithmetic', In Proceedings of 30th International Joint Conference on Artificial Intelligence (IJCAI-21), 21st August 2021, ijcai-21.org
Mocanu I, Hu Z F, Kuflik T, Najafian S, Tal A S, 'Recent Studies of XAi - Review', UMAP '21: Adjunct Proceedings of the 29th ACM Conference on User Modeling, Adaptation and Personalization, June 2021, p 421 - 431. DOI: 10.1145/3450614.3463354
Turner J, Crowley E, Gray G, Storkey A, 'Substituting Convolutions for Neural Network Compression', IEEE Access journal, Volume 9, pages 83199 - 83213, 4th June 2021. DOI: 10.1109/ACCESS.2021.3086321
Zarins J, Chunduri S, Harms K, Groves T, Mendygral P, Weiland M, Ghadar Y, 'Performance Evaluation of Adaptive Routing on Dragonfly-based Production Systems', IEEE International Symposium on Parallel and Distributed Processing (IPDPS 2021), 17 May 2021, DOI: 10.1109/IPDPS49936.2021.00042
Muyang Liu, Wenfei Fan, Yuanhao Li, Can Lu 'Making Graphs Compact by Lossless Contraction', SIGMOD/PODS '21: Proceedings of the 2021 International Conference on Management of Data, June 2021, Pages 472–484 DOI: 10.1145/3448016.3452797
Talati, N., May, K., Behroozi, A., Yang, Y., Kaszyk, K., Vasiladiotis, C., Verma, T., Li, L., Nguyen, B., Sun, J., Morton, J. M., Ahmadi, A., Austin, T., O'Boyle, M. F. P., Mahlke, S., Mudge, T. & Dreslinski, R., 'Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads Using Hardware-Software Co-Design', In 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA). Institute of Electrical and Electronics Engineers (IEEE), p. 654 - 667 14 p. 10.1109/HPCA51647.2021.00061
Rodrigo Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, Hugh Leather, Kim Hazelwood, 'HyFM: Function Merging for Free', Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, (LCTES'21). June 2021, p110-121. DOI: 10.1145/3461648.3463852
Stoltzfus L, Hamilton B, Steuwer M, Li L, Dubach C, 'Code Generation for Room Acoustics Simulations with Complex Boundary Conditions'. In 35th IEEE International Parallel and Distributed Processing Symposium (IPDPS'21), May 2021. DOI: 10.1109/IPDPS49936.2021.00057
Singh R, Marina M, Hasan C, Foukas X, Fiore M, Wang Y, 'Energy-Efficient Orchestration of Metro-Scale 5G Radio Access Networks'. In IEEE International Conference on Computer Communications (INFOCOM'21), May 2021. DOI: 10.1109/INFOCOM42981.2021.9488786
Gavrielatos V, Nagarajan V, Fatourou P, 'Towards the Synthesis of Coherence/Replication Protocols from Consistency Models via Real-Time Orderings', PaPoC '21: Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data, April 2021, Article No.5, P1-10. DOI: 10.1145/3447865.3457964
Katsarakis A, Ma Y, Tan Z, Bainbridge A, Balkwill M, Dragojevic A, Grot B, Radunovic B, Zhang Y, 'Zeus: locality-aware distributed transactions', EuroSys '21: Proceedings of the Sixteenth European Conference on Computer Systems, April 2021, p145–161 DOI: 10.1145/3447786.3456234
Gavrielatos V, Katsarakis A, Nagarajan V, 'Odyssey: the impact of modern hardware on strongly-consistent replication protocols', EuroSys '21: Proceedings of the Sixteenth European Conference on Computer Systems, April 2021 p 245–260 DOI: 10.1145/3447786.3456240
Margaritov A, Shahab A, Ustiugov D, Grot B, 'PTEMagnet: fine-grained physical memory reservation for faster page walks in public clouds', ASPLOS 2021: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, April 2021, p211-223. DOI: 10.1145/3445814.3446704
Turner J, O'Boyle, Crowley E.J., 'Neural architecture search as program transformation exploration', ASPLOS 2021: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, April 2021, p915-927. DOI: 10.1145/3445814.3446753
Tsimpourlas F, Rajan A, Allamanis M, 'Supervised learning over test executions as a test oracle', SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing, March 2021, p1521-1532. DOI: 10.1145/3412841.3442027
Vasiladiotis C, Lozano CRC, Cole M and Franke B, "Loop Parallelization using Dynamic Commutativity Analysis," 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 27 Feb 2021, pp. 150-161, DOI: 10.1109/CGO51591.2021.9370319.
2020
Ningning Xie, Jonathan Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen, 'Effect Handlers, Evidently', In ICFP'20, Proceedings of the ACM on Programming Languages, 10.1145/3408981
Jakub Zalewski, James Mckinna, J. Garrett Morris, Philip Wadler, 'λdB: Blame Tracking at Higher Fidelity', in First ACM SIGPLAN Workshop on Gradual Typing, https://wgt20.irif.fr/wgt20-final98-acmpaginated.pdf
Thomas Wright and Ian Stark, Modelling Patterns of Gene Regulation in the bond-calculus, Proceedings of SASB 2018, ENTCS 350, 2020. https://doi.org/10.1016/j.entcs.2020.06.007
Oswald, N., Nagarajan, V. & Sorin, D. J., 'HieraGen: Automated Generation of Concurrent, Hierarchical Cache Coherence Protocols', in 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA). DOI: 10.1109/ISCA45697.2020.00077
Behnke M, Bogoychev N, Grundkiewicz R, Fikri Aji A, Heafield K., 'Edinburgh's submissions to the 2020 Machine Translation Efficiency Task', WNGT 2020 4th Workshop on Neural Generation and Translation, 9th July 2020. 10.18653/v1/2020.ngt-1.26
Kokke, Wen and Morris, J. Garrett and Wadler, Philip, 'Towards Races in Linear Logic', in Logical Methods in Computer Science Volume 16, Issue 4 https://doi.org/10.23638/LMCS-16(4:15)2020
Nawrin Sultana, Martin Rüfenacht, Anthony Skjellum, Purushotham Bangalore, Ignacio Laguna, Kathryn Mohror, 'Understanding the use of message passing interface in exascale proxy applications', in Concurrency and Computation: Practice and Experience, https://doi.org/10.1002/cpe.5901
Liu M, Fan W, Tian C, Xu R, Zhou J, 'Incrementalization of graph partitioning algorithms', Proceedings of the VLDB Endowment, Volume 13 Issue 8, April 2020. DOI: 10.14778/3389133.3389142
Turner J, O'Boyle M, Storkey A, Patacchiola M, Crowley E, 'Bayesian Meta-Learning for the Few-Shot Setting via Deep Kernels', Neural Information Processing Systems 2020, December 6th-20th 2020. DOI: tbc. Proceedings
Rüfenacht M, McCullough J, Richardson A, Partronis A, Halver R, Marshall R, Wylie B, Odaker T, Wiedemann M, Lloyd B, Neufield E, Sutmann G, Skjellum A, Kranzlmüller D, Coveney P, 'Towards blood flow in the virtual human: efficient self-coupling of HemeLB', Interface Focus: a theme supplement of the Journal of the Royal Society interface, December 2020. DOI: 10.1098/rsfs.2019.0119
Webber, J, Perrotin, O, King, S. (2020) 'Hider-Finder-Combiner: An Adversarial Architecture for General Speech Signal Modification'. Proceedings of the Annual Conference of the International Speech Communication Association, 3206-3210, DOI: 10.21437/Interspeech.2020-2558.
Collie B, Woodruff J, O'Boyle M, 'Modelling black-box components with probabilistic synthesis', Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming Concepts and Experiences, Nov 2020, p1-14. DOI: 10.1145/3425898.3426952
Behnke M, Heafield K, 'Losing Heads in the Lottery: Pruning Transformer Attention in Neural Machine Translation', Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, Nov 2020. DOI: 10.18653/v1/2020.emnlp-main.211
Kokke K, Griesemer R, Hu R, Lange J, Taylor I L, Toninho B, Wadler P, Yoshida N, 'Featherweight Go', Proceedings of the ACM on Programming Languages, Nov 2020, Article No. 149, DOI: 10.1145/3428217
Mocanu I, Belle V & Juba B 2020, 'Polynomial-time Implicit Learnability in SMT'. in ECAI 2020. Frontiers in Artificial Intelligence and Applications, vol. 325, IOS Press, pp. 1152 - 1158, 24th European Conference on Artificial Intelligence , Virtual conference, Spain, 29/08/20. https://doi.org/10.3233/FAIA200213
Coyle B, Henderson M, Jin Le J C, Kumar N, Paini M, Kashefi E, 'Quantum versus classical generative modelling in finance', IOPScience, 15 Dec 2020, DOI: 10.1088/2058-9565/abd3db
Turner J, Gibson P, Cano J, Crowley E, O'Boyle, Storkey A, 'Optimizing Grouped Convolutions on Edge Devices', IEEE 31st International Conference on Application-specific Systems, Architectures and Processors (ASAP), 6-8th July 2020, DOI: 10.1109/ASAP49362.2020.00039
Kristien M, Spink T, Campbell B, Sarkar S, Stark I, Franke B, Böhm I, Topham N, 'Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol 39, Issue 11, p3544-3554, Nov 2020. DOI: 10.1109/TCAD.2020.3013048
Wright T, Stark I. (2020) 'Property-Directed Verified Monitoring of Signal Temporal Logic'. Runtime Verification. RV 2020. Lecture Notes in Computer Science, vol 12399, p 339-358. Springer, Cham. DOI: 10.1007/978-3-030-60508-7_19
Rüefenacht M, Sultana N, Skjellum, Bangalore P, Laguna I, Mohror K, 'Understanding the use of message passing interface in exascale proxy applications', Journal of Concurrency and Computation, Practice and Experience, first published 17 Aug 2020. DOI: 10.002/cpe.5901
Hillerström D, Lindley S, Longley J, 'Effects for efficiency: asymptotic speedup with first-class control', Proceedings of the ACM on Programing Languages (PACMPL), Vol 4 Issue ICFP, Aug 2020, Article 100. DOI: 10.1145/3408982
Coyle B, LaRose R, 'Robust data encodings for quantum classifiers', Physical Review A, Volume 102, Issue 3, Sep 2020. DOI: 10.1103/PhysRevA.102.032420
Liu M, Fan W, Jin R, Lu P, Tian C, Zhou J, 'Capturing Associations in graphs', Proceedings of the VLDB Endowment, July 2020, Vol 13, Issue 12. DOI: 10.14778/3407790.3407795
Chitalu F, Dubach C, Komura T, 'Binary Ostensibly‐Implicit Trees for Fast Collision Detection', Computer Graphics Forum, Volume 39, Issue 2, May 2020, p509-521. DOI: 10.1111/cgf.13948
Rocha C.O., Petoumenos P, Wang Z, Cole M, Leather H, 'Effective function merging in the SSA form' PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2020, p854-868. DOI: 10.1145/3385412.3386030
Chitalu F, Miao Q, Subr K, Komura T, 'Displacement‐Correlated XFEM for Simulating Brittle Fracture', Computer Graphics Forum, Volume 39, Issue 2, May 2020, p569-583. DOI: 10.1111/cgf.13953
Metzger P, M. Cole, C. Fensch, M. Aldinucci and E. Bini, 'Enforcing Deadlines for Skeleton-based Parallel Programming,' 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Sydney, Australia, 2020, pp. 188-199, DOI: 10.1109/RTAS48715.2020.000-7
Coyle B, Mills D, Danos V, Kashefi E. 'The Born supremacy: quantum advantage and training of an Ising Born machine'. npj Quantum Information 6, article number 60 (2020). DOI: 10.1038/s41534-020-00288-9
Shahab A, Grot B. 'Population-based evolutionary distributed SGD'. ECCO '20: Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion, July 2020, p 153-154. DOI: 10.1145/3377929.3389915
Liu M, Fan W,Jin R, Lu P, Luo X, Xu R, Yin Q, Yu W, Zhou J, 'Application Driven Graph Partitioning', SIGMOD '20: Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data, June 2020, p 1765-1779. DOI: 10.1145/3318464.3389745
Turner J, Radu V, Kaszyk J, Wen Y, Cano J, Crowley E, Franke B, Storkey A, O'Boyle M. 'Performance Aware Convolutional Neural Network Channel Pruning for Embedded GPUs'. In 2019 IEEE International Symposium on Workload Characterization (IISWC). Orlando, FL, USA: Institute of Electrical and Electronics Engineers (IEEE). 2020. p. 24-34. DOI: 10.1109/IISWC47752.2019.9042000
Rüfenacht M, Skjellum A, Sultana N, Schafer D, Laguna I, Mohror K, "ExaMPI: A Modern Design and Implementation to Accelerate Message Passing Interface Innovation", High Performance Computing. CARLA 2019. Communications in Computer and Information Science, vol 1087, p 153-169. DOI: 10.1007/978-3-030-41005-6_11
Ginsbach P, Collie B, O'Boyle M, 'Automatically Harnessing Sparse Acceleration', CC 2020: Proceedings of the 29th International Conference on Compiler Construction, Feb 2020, p179-190. DOI: 10.1145/3377555.3377893
Zariņš J, Weiland M, 'Progressive Load Balancing in Distributed Memory: Mitigating Performance and Progress Variability in Iterative Asynchronous Algorithms'. ParCo 2019 Proceedings of the International Conference on Parallel Computing - Advances in Parallel Computing Vol 36, p. 127-136, DOI: 10.3233/APC200033
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
Collie B, Ginsbach P, Woodruff J, Rajan A and O'Boyle M, "M3: Semantic API Migrations," 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), Melbourne, Australia, 2020, pp. 90-102. Link here
2019
Federico Pizzuti, Michel Steuwer, Christophe Dubach, 'Position-Dependent Arrays and Their Application for High Performance Code Generation', in 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 10.1145/3331553.3342614
Derek Schafer, Sheikh Ghafoor, Daniel J. Holmes, Martin Ruefenacht, Anthony Skjellum, 'User-Level Scheduled Communications for MPI', In 26th IEEE International Conference on High Performance Computing, Data, and Analytics, (HiPC 2019), 10.1145/3331553.3342614
Wen Kokke, Rusty Variation: Deadlock-free Sessions with Failure in Rust, Proceedings of ICE 2019, https://arxiv.org/abs/1909.05970v1.
Rudi Horn, Simon Fowler and James Cheney: Language-integrated updatable views, Proceedings of IFL '19, DOI: 10.1145/3412932.3412945, 2019
Laguna, Ignacio and Marshall, Ryan and Mohror, Kathryn and Ruefenacht, Martin and Skjellum, Anthony and Sultana, Nawrin, 'A Large-Scale Study of MPI Usage in Open-Source HPC Applications', in Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, 10.1145/3295500.3356176
Nawrin Sultana, Martin Rüfenacht, Anthony Skjellum, Ignacio Laguna, Kathryn Mohror, 'Failure recovery for bulk synchronous applications with MPI stages', in Parallel Computing, Volume 84, https://doi.org/10.1016/j.parco.2019.02.007
Mocanu I, Belle V, Juba B, 'PAC + SMT', Knowledge Representation & Reasoning Meets Machine Learning Workshop, at NeurIPS'19, Vancouver, Canada, December 2019. https://kr2ml.github.io/2019/papers/KR2ML_2019_paper_36.pdf
Capelli L, Zakian T, Hu Z, 'Incrementalization of Vertex-Centric Programs', 2019 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 20-24 May, DOI: 10.1109/IPDPS.2019.00109
Capelli L, Brown N and Bull J.M, "iPregel: Strategies to Deal with an Extreme Form of Irregularity in Vertex-Centric Graph Processing," 2019 IEEE/ACM 9th Workshop on Irregular Applications: Architectures and Algorithms (IA3), Denver, CO, USA, 2019, pp. 45-50, doi: 10.1109/IA349570.2019.00013.
Rüefenacht M, Schafer D, Ghafoor S, Holmes D, Skjellum A, 'User-Level Scheduled Communications for MPI', Proceedings of IEEE 26th International Conference on High Performance Computing, Data and Analytics (HiPC), 17-20 Dec 2019, pages 290-300. DOI: 10.1109/HiPC.2019.00043
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
2018
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
2017
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
2016
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 FORal 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
2015
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
Presentations
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.
2021
Andres Martinez P, Heunen C, 'Weakly Measured While Loops', YouTube talk, Quantum Physics and Logic 2021 (QPL 2021), 7th-11th June 2021, Gdansk Poland.
2019
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.
2018
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.
2017
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
2016
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
2015
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.
Fowler, S, ‘Monitored Session Erlang’, CoCo:PoPS, Glasgow, UK, 8-9 June 2015 and ABCD Meeting, London, UK, 20-25 April 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.
Posters
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.
2020
Andres Martinez P, 'A Quantum While Loop For Amplitude Amplification', QuAlg20: The Day of Quantum Algorithms!, 22nd September 2020.
Turner, J, Crowley, E, O'Boyle, M, Storkey, A & Gray, G 2020, 'BlockSwap: Fisher-guided Block Substitution for Network Compression on a Budget'. in Proceedings to the International Conference on Learning Representations 2020. pp. 1-15, Eighth International Conference on Learning Representations, Virtual conference formerly Addis Ababa, Ethiopia, 26/04/20. <https://iclr.cc/virtual_2020/poster_SklkDkSFPB.html>
2019
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.
2017
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
2016
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.
2015
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.
2014
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.