Computing for the Next Decade

15-16 September 2016 | Churchill College, Cambridge, UK

Summit Speakers

Below you will find the speakers that presented at the Arm Research Summit 2016.


Talk Speakers

Speaker Affiliation Talk Title
Marco Aldinucci University of Torino Atomic Operations Considered hARMful
Jade Alglave University College London Herding Cats
Asen Asenov The University of Glasgow & Synopsys Design Technology Co-Optimisation in Advance Technology Nodes
Andrea Bartolini ETH Zurich / University of Bologna ARMv8-based Computing Cluster: Co-Design for Energy-Efficiency and Monitoring
Nikolaos Bellas Center for Research and Development, Hellas (CERTH) Approximate Computing for Next Generation Platforms
Heba Bevan Jesus College, Cambridge University Smart Sensor, Big Data
Armin Biere Johannes Kepler University The Hardware Model Checking Competition
Michael Butler University of Southampton Formal Model-Based Design for Embedded Systems
Bruce Childers University of Pittsburgh We Must Learn to Share! Using OCCAM to Accelerate Computer Systems Research
Lawrence Clark Arizona State University ASAP7: 7-nm Predictive PDK in Partnership with ARM
Alessandro de Gennaro Newcastle University Adopting a systematic approach for the design of processor instruction sets
Stephan Diestelhorst ARM Gem-5
Alastair Donaldson Imperial College London Metamorphic Testing for "Non-Testable" Systems
Christophe Dubach University of Edinburgh Beyond Auto-Tuning: Generating High Performance GPU Code using Rewrite Rules
José F. Martínez Cornell University XChange: Dynamic Multi-Resource Allocation for the Manycore Era
Leonardo Fialho ATOS-Bull ARM on HPC: status of commonly used performance analysis tools
Steve Furber University of Manchester SpiNNaker - massively-parallel brain modelling with ARMs
Vladimir Getov University of Westminster Energy Modelling Approach for Application-Architecture Co-Design of Multi-Core Processors
David Gregg Trinity College Dublin Bitslice Vectors: A Software Approach to Customizable Data Precision
Tobias Grosser ETH Zurich Polly-ACC: Transparent compilation to heterogeneous hardware
Boris Grot University of Edinburgh Kissing the NUMA Bottleneck Goodbye
Kevin Hammond University of St Andrews ParaFormance: Pattern-based Software Engineering for Heterogeneous Multicore/Manycore Systems?
Woo-Sup Han ODIGA Neuromorphic Visual Processing for Robust Detection and Enhanced Segmentation of Objects: from Vulnerable Road User to Tooth in X-Ray CT
Jim Harkin Ulster University Highly Reliable and Energy Efficient Computing Architectures
Eric Hennenhoefer ARM The ARM Research Roadmap
Matt Horsnell ARM Future directions for the ARM architecture
Earle Jennings QSigma, Inc. Simultaneous multi-processor cores for efficient embedded applications
Karol Kalna Swansea University Scaling and Variability of Multi-Gate Non-Planar III-V
Georgios Karakonstantis Queen's University of Belfast Exceeding Conservative Scaling Limits by Exploiting Application Error-Resilience
Gaurav Kaul Intel Accelerating Analytics using Near Data Processing
Stefanos Kaxiras Uppsala University Transcending Hardware Limits with Software Out-of-order Execution
Paul Kelly Imperial College London SLAMBench: benchmarking 3D scene understanding for multi-objective optimisation and approximate computing
Nicholas Lane University College London Squeezing Deep Learning onto Wearables, Phones and Things
Benjamin Lee Duke University Rethinking Systems Management with Game Theory
Sung-Kyu Lim Georgia Tech University 3D IC Revolution: Where Are We Now, and What is Next?
Mikko Lipasti University of Wisconsin-Madsison Timing Speculation in Multi-Cycle Data Paths
Alessio Lomuscio Imperial College London Towards verification of swarms of multi-agent systems
Mikel Lujan University of Manchester Beehive: A Hardware/Software Co-designed Research Platform
Michele Magno ETH Zurich Smart Sustainable Wearables: Ultra-Low Power Context Recognition Fusing Sensors Data
Filippo Mantovani Barcelona Supercomputing Center Energy awareness everywhere!
Cecilia Mascolo University of Cambridge, Computer Laboratory Using Wearable and Mobile Devices Coprocessors, GPUs and CPUs for Efficient Continuous Mobile Sensing
Geoff Merrett University of Southampton Energy-Driven Computing for Energy-Harvesting Embedded Systems
Andrey Mokhov Newcastle University Algebra of Graphs in Engineer's Toolbox
Simon Moore University of Cambridge The CHERI capability model: Revisiting RISC in an age of risk
Charles Morisset Newcastle University Verifying security in IoT
Andreas Moshovos University of Toronto A Value-Based Approach to Hardware Acceleration of Deep Learning
Trevor Mudge University of Michigan Alternative Server Architectures
Onur Mutlu ETH Zurich Rethinking Memory System Design: Business as Usual in the Next Decade?
James Myers ARM PlasticARM: SOC design challenges of printed electronics
Vijay Nagarajan University of Edinburgh Semantics-Directed Hardware Design for Shared Memory
S.K. Nandy Department of Computational and Data Sciences, Indian Institute of Science, Bangalore ReNÉ: Runtime Reconfigurable, Massively Parallel, Multi-core, Application Accelerator
Vijaykrishnan Narayanan The Pennsylvania State University Computing with Unreliable Scavenged Power
Sarah Newman EPSRC EPSRC Strategy and Funding Opportunities
Jose Nunez-Yanez University of Bristol Adaptive scheduling for irregular applications on heterogeneous CPU-FPGA chips
Michael O'Boyle University of Edinburgh Heterogeneous Thinking
Milos Puzovic The Hartree Centre Guided Scheduling Using Accurate Per-Core Hardware Performance Counters
Ilya Romanenko ARM AI Multiple Camera Fusion for Behavioural Content Analysis
Karu Sankaralingam University of Wisconsin-Madison Dynamically Synthesised Accelerators
John Satori University of Minnesota Application-Specific Power Management
Alex Serb University of Southampton Challenges and Opportunities for next-generation Memory and Computation
Julien Schmaltz Eindhoven University of Technology Formal verification of interconnects: deadlock-free or not deadlock-free?
Peter Sewell University of Cambridge Rigorous Architecture
André Seznec INRIA It is time for compressed caches?
Rishad Shafik Newcastle University Significance-Driven Approximate Computing for Energy-Efficient Big Data
Aviral Shrivastava Arizona State University Acceleration Beyond GPUs
Paul Siebert University of Glasgow A Biologically motivated software retina for robotic sensors for ARM-based mobile platform technology
Jeremy Singer University of Glasgow AnyScale Apps: a new paradigm for software development and deployment
Henning Sirringhaus University of Cambridge Low voltage printed transistors for analogue electronics
Vladimir Stegailov National Research University Higher School of Economics, Moscow, and Joint Institute for High Temperatures of Russian Academy of Sciences, Moscow Practical efficiency of ARM CPUs: classical molecular dynamics benchmark
Frederick Stentiford University College London Pattern Recognition without Features
Josep Torrellas University of Illinois at Urbana-Champaign On-Chip Wireless Communication: Fast Synchronisation and Other Architectural Futures
Martin Trefzer University of York Social-Insect-Inspired Adaptive Task Allocation for Many-Core Systems
Eric van Hensbergen ARM ARM's HPC Strategy
Wim Vanderbauwhede University of Glasgow Rethinking Compilation for Heterogeneous Platforms
Petar Veličković University of Cambridge Cross-modal neural networks
Alex Weddell University of Southampton Collaborative Research in Efficient Computing: from Energy-Efficiency to Energy-Harvesting
Josef Widder Technische Universität Wien Model Checking Fault-tolerant Distributed Algorithms: Recent Progress and Open Problems
David Wright College of Engineering, Mathematics and Physical Sciences, University of Exeter Optical Computing: A technology whose time has come?
Alex Yakovlev Newcastle University Power and Compute Codesign for “Little Digital” Electronics
Mark Zwolinski University of Southampton Hardware-Level IoT Security



Poster Speakers

Speaker Affiliation Talk Title
Sam Ainsworth University of Cambridge Making the Prefetcher Programmable
Guillermo Callaghan University of Manchester Virtualisation as a mean for Power Efficient Extensible Architectures
Neil Burgess ARM High-Precision Anchored Numbers
Sandra Catalan Pallares Universitat Jaume I Asymmetry-Aware Dense Linear Algebra Libraries for ARM big.LITTLE Architectures
Nadir Cherifi Worldline E-Payment Services & University of Lille Energy Profiling of Embedded Systems
David Cock ETH Zürich Barrelfish on ARM at ETH
Kalogiannis Grigorios Aristotely University of Thessaloniki Embedded systems and machine learning techniques for controlling motor physiotherapy rehabilitation devices
Basel Halak University of Southampton Secure Hardware Design of IoT nodes using Physically Unclonable Functions
Xabier Iturbe ARM Space the Final Frontier… for ARM
Wim J.C. Melis University of Greenwich Beyond Digital
Earle Jennings QSigma, Inc. Beyond superscalar microprocessors for HPC and DSP
Charalampos Kalargaris University of Manchester Low-Power Opportunities in Three-Dimensional Integrated Circuits
Mumtaz Kamala University of Bradford BradStack – Building Internal Clouds for Research, Should we risk it?
Stefanos Kaxiras Uppsala University Racer: Simple Data-Race-Free Coherence by Detecting Data Races
Jose Nunez-Yanez University of Bristol Computing to the Energy and Performance Limits in Heterogeneous ARM-FPGA Devices
Alessandro Renzi ARM Enabling Framework for High Level Synthesis of Algorithms Strongly Based on Pointers
Crefeda Rodrigues University of Manchester Efficient Execution of Deep Convolutional Neural Networks on Low Power Heterogeneous Systems
Danil Sokolov Newcastle University New Formal Method for Clock Domain Crossing Verification
Athanasios Stratikopoulos University of Manchester Energy Ecient Virtualisation for FPGAs in Heterogeneous Many-Cores
Martin Trefzer University of York Accelerating High-Sigma Performance Analysis using Multi-Objective Evolutionary Algorithms
Noa Zilberman University of Cambridge Systems for Big Data Applications: Terminating Terabits


Download as PDF    View full agenda

PDF download may take up to 30 seconds to initiate. Please avoid navigating away from this page whilst waiting.