![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Mohamed Mounir, ESA (European Space Agency).
Tuesday 23 September 2025, 10:00-10:30
SS03, Computer Laboratory, William Gates Building
Contact: No managers listed
0 upcoming talks View 74 archived talks
Computer Laboratory Computer Architecture Group Meeting
Fault-Tolerant System-on-Chip Design for Harsh Space Environments
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
More ARMs than arms: From Sunk to Silicon Supremacy
Computer Laboratory Computer Architecture Group Meeting
Equality Saturation and Industrial Circuit Design
Computer Laboratory Computer Architecture Group Meeting
HPCA, CGO & CC 2025 practice presentations
Computer Laboratory Computer Architecture Group Meeting
Automated Reasoning at AWS, and Applications in Cryptography
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
For ML and With ML: The New Normal in System Design
Computer Laboratory Computer Architecture Group Meeting
Compiler and Architectural Support for Whole-System Persistence
Computer Laboratory Computer Architecture Group Meeting
Optimization Methods for Accelerator Mapping and Hardware Design Space Exploration
Computer Laboratory Computer Architecture Group Meeting
Representing Data Collections for Analysis and Transformation
Computer Laboratory Computer Architecture Group Meeting
Unlocking the Power of Data-Centric Acceleration for Modern Applications
Computer Laboratory Computer Architecture Group Meeting
SQuadS: Self-Serve System Services for new Hardware-Software Cooperation
Computer Laboratory Computer Architecture Group Meeting
Wally: Bridging he CPU Education-Implementation Gap
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
Synthesizing Accelerators for FPGAs the Functional Way
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning evolving node and community representations on dynamic graphs
Artificial Intelligence Research Group Talks (Computer Laboratory)
Deep Graph Mapper: Seeing Graphs through the Neural Lens
Artificial Intelligence Research Group Talks (Computer Laboratory)
Knowledge Graph Convolutional Networks - Combining ML and Reasoning
Artificial Intelligence Research Group Talks (Computer Laboratory)
Flexible deep learning for heterogeneous clinical time series
Artificial Intelligence Research Group Talks (Computer Laboratory)
Abstract Diagrammatic Reasoning with Multiplex Graph Networks
Artificial Intelligence Research Group Talks (Computer Laboratory)
MARLeME: A Multi-Agent Reinforcement Learning Model Extraction Library
Artificial Intelligence Research Group Talks (Computer Laboratory)
Work in progress: Diving deeper into building distributed representations graphs
Artificial Intelligence Research Group Talks (Computer Laboratory)
Model extraction for clinical decision support systems
Artificial Intelligence Research Group Talks (Computer Laboratory)
Finding an Analogy
Artificial Intelligence Research Group Talks (Computer Laboratory)
Matrix Means for Signed and Multilayer Graph Clustering
Computer Laboratory Computer Architecture Group Meeting
Fast and Efficient Deployment of Security Defenses via Microcode Customization
β οΈ Note unusual time and location
Artificial Intelligence Research Group Talks (Computer Laboratory)
Question Answering in Realistic Visual Environments: Challenges and Approaches
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neural networks to model probability densities in quantum chromodynamics
Artificial Intelligence Research Group Talks (Computer Laboratory)
Quantile QT-Opt for Risk-Aware Vision-Based Robotic Grasping
Artificial Intelligence Research Group Talks (Computer Laboratory)
Verifiable robustness of neural networks in autonomous vehicles.
Computer Laboratory Systems Research Group Seminar
Dr Spin, or the Tao of Threes
Computer Laboratory Systems Research Group Seminar
Cross-modality Inference in Ubiquitous Human Identification
Computer Laboratory Computer Architecture Group Meeting
Directed Speculation in Multi-core Memory Systems to Improve Performance and Efficiency
Computer Laboratory Systems Research Group Seminar
Customising the system stack for data processing on modern hardware
Computer Laboratory Computer Architecture Group Meeting
Energy-Quality Scalable Adaptive VLSI Circuits and Systems β The Way towards the Next 10X Energy Reduction
β οΈ Note unusual time
Computer Laboratory Digital Technology Group (DTG) Meetings
The Next-Generation Vector Architecture for HPC
Computer Laboratory Computer Architecture Group Meeting
FPGA Implementations of High-bandwidth and Low-Latency Machine Learning based on Online Kernel Methods
Computer Laboratory Systems Research Group Seminar
Unik: A platform for automating unikernel compilation and deployment
Computer Laboratory Systems Research Group Seminar
A Changing Landscape: Securing The Internet of Things (IoT)
Computer Laboratory Systems Research Group Seminar
Is every java program a unikernel? An introduction to IncludeOS' design and foundations
Computer Laboratory Systems Research Group Seminar
Credit Cycle and Efficient Market Hypothesis - a practical point of view
Computer Laboratory Computer Architecture Group Meeting
Neural simulation on diverse computational hardware
Computer Laboratory Computer Architecture Group Meeting
Raising Computational Throughput and Energy Efficiency by Synthesizing Software into FPGA Hardware
β οΈ Note unusual time and venue
Computer Laboratory Computer Architecture Group Meeting
Virtual Prototyping, Virtual Platforms, and System Simulation for Embedded System and Software Development
Computer Laboratory Programming Research Group Seminar
Automatic SIMD vectorization for Haskell
Computer Laboratory Computer Architecture Group Meeting
Energy Efficient Computing System - Research in NICS CAD Tsinghua
β οΈ Note unusual time
Computer Laboratory Programming Research Group Seminar
Coeffects: Unified static analysis of context-dependence
Computer Laboratory Programming Research Group Seminar
Goji: a tool to generate OCaml bindings of JavaScript libraries
Computer Laboratory Computer Architecture Group Meeting
Adaptive Resolution of Information Flow Constraints
β οΈ Note unusual time and venue
Computer Laboratory Security Seminar
The Yin and Yang Sides of Embedded Security
Computer Laboratory Computer Architecture Group Meeting
Concurrency and Communication: Lessons from the SHIM Project
β οΈ (Re-run of talk given at MSR two weeks ago)
Computer Laboratory Computer Architecture Group Meeting
Enabling Runtime Monitoring on Multicores for Performance and Reliability
Computer Laboratory Computer Architecture Group Meeting
Accelerator: A data-parallel DSL for programming heterogonous systems
Computer Laboratory Computer Architecture Group Meeting
Massively Parallel Processor Array: an FPGA Replacement?
Computer Laboratory Computer Architecture Group Meeting
Computer System Emulation using Multiple FPGAs
Computer Laboratory Computer Architecture Group Meeting
A Photonic Chip-to-chip Network for C3D
Computer Laboratory Computer Architecture Group Meeting
A Communication Characterization of Splash-2 and Parsec
Computer Laboratory Computer Architecture Group Meeting
Parallel External Memory Model for Multicore Architectures
Computer Laboratory Computer Architecture Group Meeting
FPGA's NoC Freedom: You bought it, so why not use it
β οΈ Note unusual time and day
Program verification reading group.
Boogie: A Modular Reusable Verifier for Object-Oriented Programs.
Computer Laboratory Computer Architecture Group Meeting
Optical Interconnect - Tutorial and Initial Thoughts
Computer Laboratory Computer Architecture Group Meeting
Hardware multithreading
Computer Laboratory Computer Architecture Group Meeting
Two generations of Many-Core Computational Arrays
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
G: A high-level packet processing language with a high-speed FPGA-based implementation
β οΈ Note unusual day and time
Computer Laboratory Computer Architecture Group Meeting
Combining Scratch-Pad Placement with Loop Parallelisation for FPGAs
Computer Laboratory Computer Architecture Group Meeting
Map-reduce as a Programming Model for Custom Computing Machines
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
Xilinx ChipScope Tutorial
β οΈ Note - originally this was to be on 16th April, but it has been postponed until 30th April
Computer Laboratory Computer Architecture Group Meeting
The next resource war: computation vs. communication
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
Synchronisation Mechanisms - A Tutorial
Computer Laboratory Computer Architecture Group Meeting
Tutorial on Data Driven Computation
Computer Laboratory Computer Architecture Group Meeting
System Modeling and Dynamic Reconfiguration in Xilinx Research
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
Hardware defences against side channel and invasive attacks
Computer Laboratory Computer Architecture Group Meeting
Programmable Logic Core Based Post-Silicon Debug For SoCs
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
Reading group: Revisiting the Sequential Programming Model for the Multicore Era
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
Designing Circuits with Parallel Programs
β οΈ last hardwrae discussion of the year
Computer Laboratory Computer Architecture Group Meeting
Design for device variability in nano CMOS
Please see above for contact details for this list.