SS03, Computer Laboratory, William Gates Building


2007-11-01 15:30: Design for device variability in nano CMOS (Dr Simon William Moore (University of Cambridge))

2007-12-13 16:00: Designing Circuits with Parallel Programs (Satnam Singh, Microsoft Research Cambridge)

2008-02-06 16:15: Reading group: Revisiting the Sequential Programming Model for the Multicore Era (Speaker to be confirmed)

2008-02-13 11:00: Programmable Logic Core Based Post-Silicon Debug For SoCs (Steve Wilton, Associate Professor, University of British Columbia)

2008-02-13 16:15: Hardware defences against side channel and invasive attacks (Philip Paul, Computer Lab, University of Cambridge)

2008-02-22 14:00: System Modeling and Dynamic Reconfiguration in Xilinx Research (Adam Donlin, Xilinx)

2008-03-05 16:15: Tutorial on Data Driven Computation (Dr Simon William Moore (University of Cambridge))

2008-03-12 16:15: Synchronisation Mechanisms - A Tutorial (Chris Fensch, Computer Lab)

2008-03-25 16:00: The next resource war: computation vs. communication (Simon Moore & Dan Greenfield, Computer Lab.)

2008-04-30 16:15: Xilinx ChipScope Tutorial (Saar Drimer)

2008-05-23 14:15: Map-reduce as a Programming Model for Custom Computing Machines (Philip Leong, The Chinese University of Hong Kong)

2008-06-11 16:15: Combining Scratch-Pad Placement with Loop Parallelisation for FPGAs (George Constantinides)

2008-09-05 14:00: G: A high-level packet processing language with a high-speed FPGA-based implementation (Gordon Brebner, Xilinx Research Labs)

2008-09-25 16:00: Two generations of Many-Core Computational Arrays (Bevan Baas, UC Davis)

2008-10-08 16:15: Hardware multithreading (Dr Simon Moore)

2008-11-19 16:15: Optical Interconnect - Tutorial and Initial Thoughts (Phil Watts, Computer Lab.)

2008-12-03 11:00: Boogie: A Modular Reusable Verifier for Object-Oriented Programs. (Francois Dupressoir)

2009-02-13 15:00: FPGA's NoC Freedom: You bought it, so why not use it (Prof Lesley Shannon, Simon Fraser University)

2009-04-17 16:15: Parallel External Memory Model for Multicore Architectures (Nodari Sitchinava, University of California, Irvine)

2009-05-27 16:15: A Communication Characterization of Splash-2 and Parsec (Chris Fensch and Nick Barrow-Williams)

2009-06-03 16:15: A Photonic Chip-to-chip Network for C3D (Philip Watts)

2009-11-04 16:30: Computer System Emulation using Multiple FPGAs (Phil Watts)

2009-11-11 16:30: Massively Parallel Processor Array: an FPGA Replacement? (Prof Guy Lemieux, University of British Columbia)

2010-01-13 16:30: Accelerator: A data-parallel DSL for programming heterogonous systems (Satnam Singh, Microsoft Research)

2010-06-09 16:30: Enabling Runtime Monitoring on Multicores for Performance and Reliability (Vijayanand Nagarajan)

2010-08-06 14:00: Concurrency and Communication: Lessons from the SHIM Project (Stephen A. Edwards, Columbia University)

2012-01-31 12:45: The Yin and Yang Sides of Embedded Security (Christof Paar (Ruhr University Bochum))

2013-06-04 14:45: Adaptive Resolution of Information Flow Constraints (Santanu Dash, University of Hertfordshire)

2013-06-28 15:00: Goji: a tool to generate OCaml bindings of JavaScript libraries (Dr. Benjamin Canou)

2013-07-01 13:00: Coeffects: Unified static analysis of context-dependence  (Tomas Petricek (University of Cambridge))

2013-07-30 14:00: Energy Efficient Computing System - Research in NICS CAD Tsinghua (Prof Yu Wang, Tsinghua University)

2013-09-17 14:00: Automatic SIMD vectorization for Haskell (Dominic Orchard (University of Cambridge))

2014-02-18 14:00: Virtual Prototyping, Virtual Platforms, and System Simulation for Embedded System and Software Development (Jay Yantchev, CEO, ASTC and VLAB Works)

2014-11-10 15:00: Raising Computational Throughput and Energy Efficiency by Synthesizing Software into FPGA Hardware (Prof Jason Anderson, University of Toronto)

2015-02-09 14:00: Neural simulation on diverse computational hardware (Dr Dan Goodman, Imperial)

2015-11-19 16:00: Credit Cycle and Efficient Market Hypothesis - a practical point of view (Eric Lu )

2016-02-25 15:00: Is every java program a unikernel? An introduction to IncludeOS' design and foundations (Alfred Bratterud (HiOA))

2016-10-07 11:15: A Changing Landscape: Securing The Internet of Things (IoT) (Sanjay K. Jha (University of New South Wales, Sydney))

2016-10-19 11:00: Unik: A platform for automating unikernel compilation and deployment (Idit Levine (EMC))

2016-11-28 15:00: FPGA Implementations of High-bandwidth and Low-Latency Machine Learning based on Online Kernel Methods (Prof Philip Leong, University of Sydney)

2017-01-30 14:05: The Next-Generation Vector Architecture for HPC (Mbou Eyole, ARM)

2017-05-09 14:00: Energy-Quality Scalable Adaptive VLSI Circuits and Systems  – The Way towards the Next 10X Energy Reduction (Prof. Massimo Alioto, National University of Singapore)

2018-04-12 15:00: Customising the system stack for data processing on modern hardware (Jana Giceva (Imperial College London))

2018-04-24 14:00: Directed Speculation in Multi-core Memory Systems to Improve Performance and Efficiency (Dr. Paul V. Gratz)

2018-11-29 15:00: Cross-modality Inference in Ubiquitous Human Identification (Chris Lu (Oxford))

2018-12-13 15:00: Dr Spin, or the Tao of Threes (Jon Crowcroft (Computer Lab))

2019-10-15 13:00: Verifiable robustness of neural networks in autonomous vehicles. (Edward Ayers (Department of Mathematics))

2019-10-22 13:00: Quantile QT-Opt for Risk-Aware Vision-Based Robotic Grasping (Cristian Bodnar)

2019-10-23 14:30: Neural networks to model probability densities in quantum chromodynamics (Zahari Kassabov (High Energy Physics group, Cavendish))

2019-10-29 13:00: Question Answering in Realistic Visual Environments: Challenges and Approaches (Catalina Cangea)

2019-11-11 09:30: Fast and Efficient Deployment of Security Defenses via Microcode Customization (Prof Ashish Venkat, University of Virginia)

2019-11-12 13:00: Matrix Means for Signed and Multilayer Graph Clustering (Pedro Mercado (University of Tübingen))

2019-11-19 12:00: Finding an Analogy (Aaron Stockdill)

2019-11-26 13:00: Model extraction for clinical decision support systems (Zohreh Shams)

2019-12-03 13:00: Work in progress: Diving deeper into building distributed representations graphs (Paul Scherer)

2019-12-10 13:00: MARLeME: A Multi-Agent Reinforcement Learning Model Extraction Library (Dmitry Kazhdan)

2020-01-21 13:00: Abstract Diagrammatic Reasoning with Multiplex Graph Networks (Duo Wang)

2020-01-28 13:00: Flexible deep learning for heterogeneous clinical time series (Jacob Deasy)

2020-02-25 13:00: Knowledge Graph Convolutional Networks - Combining ML and Reasoning (James Fletcher, Haikal Pribadi (Grakn))

2020-03-03 13:15: Deep Graph Mapper: Seeing Graphs through the Neural Lens (Cristian Bodnar and Cătălina Cangea)

2020-03-10 13:15: Learning evolving node and community representations on dynamic graphs (Simeon Spasov)

2023-06-01 14:00: Synthesizing Accelerators for FPGAs the Functional Way (Christophe Dubach (McGill University))

2023-06-22 11:00: Wally: Bridging he CPU Education-Implementation Gap (Prof. David Harris, Harvey Mudd College)

2023-09-07 13:00: SQuadS: Self-Serve System Services for new Hardware-Software Cooperation (Nazerke Turtayeva, UC Santa Barbara)

2023-11-10 15:00: Unlocking the Power of Data-Centric Acceleration for Modern Applications (Haiyu Mao, ETH Zurich)

2024-03-08 10:45: Representing Data Collections for Analysis and Transformation (Tommy McMichen, Northwestern University)

2024-03-08 13:00: Optimization Methods for Accelerator Mapping and Hardware Design Space Exploration (Grace Dinh, Unversity of Berkley)

2024-03-28 11:00: Compiler and Architectural Support for Whole-System Persistence (Changhee Jung, Purdue University)

2024-05-24 11:00: For ML and With ML: The New Normal in System Design (Lizy Kurian John, UT Austin)

2024-11-20 11:00: Automated Reasoning at AWS, and Applications in Cryptography (Rod Chapman, Senior Principal Applied Scientist at AWS)

2025-02-20 10:30: HPCA, CGO & CC 2025 practice presentations (Computer architecture group students)

2025-04-23 11:00: Equality Saturation and Industrial Circuit Design (Sam Coward)

2025-06-03 11:00: More ARMs than arms: From Sunk to Silicon Supremacy (Dave Jaggar)

2025-09-23 10:00: Fault-Tolerant System-on-Chip Design for Harsh Space Environments (Mohamed Mounir, ESA (European Space Agency))