![[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)
Jaiditya Khemani.
Monday 09 March 2026, 13:05-13:55
rdm34's list
A personal list of talks.
Contact: Robert Mullins
2 upcoming talks View 1248 archived talks
Technical Talks - Department of Computer Science and Technology
JetBrains: Building and using AI agents with JetBrains
Technical Talks - Department of Computer Science and Technology
Ab Initio: Data Governance, Metadata Management and Why You Should Care
Technical Talks - Department of Computer Science and Technology
Roku: Reinventing the LivingβRoom UI: Roku's New Home Screen
Technical Talks - Department of Computer Science and Technology
CodeSpeak: From Kotlin to CodeSpeak: Programming Languages and AI Coding Tools
Computer Laboratory Computer Architecture Group Meeting
Shorter Cycles, Better Chips: Compiler Infrastructure for Accelerating the Hardware-Software Design Loop
Computer Laboratory Computer Architecture Group Meeting
Shorter Cycles, Better Chips: Compiler Infrastructure for Accelerating the Hardware-Software Design Loop
Technical Talks - Department of Computer Science and Technology
DOJO: Dojo's Transition from Digital to AI Native
Technical Talks - Department of Computer Science and Technology
Anima Health: Landing a role building the future: being a top 1% hireability candidate
Technical Talks - Department of Computer Science and Technology
Gearset: A Day in the Life of a Software Engineer at Gearset
compiler socials
Full Stack Verification of CHERI systems
Technical Talks - Department of Computer Science and Technology
Goldman Sachs: Beyond the Curriculum: Building Enterprise Grade Software
Technical Talks - Department of Computer Science and Technology
Jane Street: How to monitor systems that trade billions of dollars a day
Technical Talks - Department of Computer Science and Technology
GSA Capital: Technology at GSA
Technical Talks - Department of Computer Science and Technology
Bloomberg: Observability in Action: Designing Effective Dashboards
Technical Talks - Department of Computer Science and Technology
Perplexity AI: Under the Hood of LLM Inference
ack55's list
Coinductive predicates in Lean
Computer Laboratory Computer Architecture Group Meeting
Fault-Tolerant System-on-Chip Design for Harsh Space Environments
β οΈ Note unusual time
compiler socials
MLIR (Un)School Meets UK Compiler Community: Public Workshop
Computer Laboratory Computer Architecture Group Meeting
Recursive Definitions in Lean
Computer Laboratory Computer Architecture Group Meeting
Recursive Definitions in Lean
compiler socials
Translation Validation for LLVM's AArch64 Backend
Computer Laboratory Computer Architecture Group Meeting
More ARMs than arms: From Sunk to Silicon Supremacy
tcg40's list
AI Accelerators 101
Computer Laboratory Computer Architecture Group Meeting
Equality Saturation and Industrial Circuit Design
compiler socials
User-extensible and Productive Programming of Specialized Hardware
Technical Talks - Department of Computer Science and Technology
Helsing: Simulating a System of Systems
tcg40's list
CASCADE Poster Social (+ Compiler Tech Talk)
Technical Talks - Department of Computer Science and Technology
MediaTek: Towards Efficient Prediction of Communication Channels Using AI
Computer Laboratory Computer Architecture Group Meeting
HPCA, CGO & CC 2025 practice presentations
Technical Talks - Department of Computer Science and Technology
Roku: Beyond Generative AI: Achieving Complete Control in Synthesising Testing Data with Unreal Engine
compiler socials
Equality Saturation in a Real-World Machine Learning Compiler
Wednesday Seminars - Department of Computer Science and Technology
Hardware Datapath: For Machine Learning and Beyond
Technical Talks - Department of Computer Science and Technology
Riverlane: Building an error corrected quantum computer, and the computer science challenges that come up along the way
Technical Talks - Department of Computer Science and Technology
MathWorks: Embedded AI: Deploying deep learning models for industrial applications
Technical Talks - Department of Computer Science and Technology
Ethicronics: From West Cambridge to Market Square: An upgrade for software answering hardware (security) challenges?
Technical Talks - Department of Computer Science and Technology
Act III: Fantastic Beasts and How to Fly Them
Computer Laboratory Computer Architecture Group Meeting
Automated Reasoning at AWS, and Applications in Cryptography
β οΈ Note unusual time
Technical Talks - Department of Computer Science and Technology
Instadeep: Diverse applications of AI in industry
Technical Talks - Department of Computer Science and Technology
Ab Initio: IoT: High Volume Data Processing from catflaps to consoles
Technical Talks - Department of Computer Science and Technology
GSA Capital: Navigating Quantitative Investment: Technology and research in GSA and the challenges of staying competitive in today's markets
Technical Talks - Department of Computer Science and Technology
Jane Street: One Log to Rule Them All - How to Keep State Straight in Distributed System
lc985's list
Cambridge Compiler Social Talks
Computer Laboratory Computer Architecture Group Meeting
Modern Multi-Level Partitioning for Block-Based IC Design and Machine Learning
Computer Laboratory Computer Architecture Group Meeting
Modern Multi-Level Partitioning for Block-Based IC Design and Machine Learning
Computer Laboratory Computer Architecture Group Meeting
Kanagawa: How Wavefront Threading Enables Effective High-Level Synthesis
β οΈ https://www.microsoft.com/en-us/research/people/dlo/
mb2663's list
Hyperblock Scheduling for Verified High-Level Synthesis
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
lc985's list
Democratizing Data Science by Leveraging Structure
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
OptiWISE: Combining Sampling and Instrumentation for Granular CPI Analysis
Computer Laboratory Computer Architecture Group Meeting
Compiler Testing with Relaxed Memory Models with L. Geeson
Technical Talks - Department of Computer Science and Technology
Monumo: Reinventing Electric Motors
Technical Talks - Department of Computer Science and Technology
TechWolf: Revolutionizing HR Tech: Ethical AI Integration in the Age of Generative Models
Wednesday Seminars - Department of Computer Science and Technology
The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification
Technical Talks - Department of Computer Science and Technology
Ab Initio: Processing High Volume IoT Data
Technical Talks - Department of Computer Science and Technology
Vaticle: Type theory as the unifying foundation for modern databases
Technical Talks - Department of Computer Science and Technology
Neo4j: GenAI with LLMs and Knowledge Graphs
Technical Talks - Department of Computer Science and Technology
Goldman Sachs - Quantitative Finance and AI
Computer Laboratory Computer Architecture Group Meeting
Unlocking the Power of Data-Centric Acceleration for Modern Applications
Technical Talks - Department of Computer Science and Technology
Jane Street: Why Ocaml?
Technical Talks - Department of Computer Science and Technology
Bloomberg: Software Design Dilemmas: Choices We Make In a System With Over Two Million Hits A Day
Technical Talks - Department of Computer Science and Technology
GSA Capital: Technology in a quant trading firm: how innovation helps stay competitive in today's markets
Technical Talks - Department of Computer Science and Technology
Roku: The Challenges of Motion Detection and Object Detection on Edge Cameras in the Home
Computer Laboratory Computer Architecture Group Meeting
Modern Cache Prefetching and Page Size Aware Cache Prefetching
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
SQuadS: Self-Serve System Services for new Hardware-Software Cooperation
Hardware for Machine Learning
Tenstorrent - building AI/ML accelerators
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
Technical Talks - Department of Computer Science and Technology
TechWolf: From text to skills: an NLP journey
Technical Talks - Department of Computer Science and Technology
Ab Initio: Data Science in Industry: Trials and Tribulations
Technical Talks - Department of Computer Science and Technology
Next DLP: Cyber Security Talk - Well that's expensively weird - A deep dive into cloud incident response
Technical Talks - Department of Computer Science and Technology
Huawei: Pangloss+: a novel Markov chain adaptive prefetcher
Technical Talks - Department of Computer Science and Technology
Entrust: Leighton-Micali Signatures
Computer Laboratory Computer Architecture Group Meeting
Rivos Founder's Talk: Why RIsc-V? Why Open Source? Why is Architecture back?
β οΈ Note unusual time and location
Technical Talks - Department of Computer Science and Technology
Nethermind: Zero-knowledge proofs. From theory to practice in less than 40 years
Technical Talks - Department of Computer Science and Technology
Utterberry: Data and Data Sustainability
Technical Talks - Department of Computer Science and Technology
Gearset: Lessons from life as a junior software engineer
Technical Talks - Department of Computer Science and Technology
Avos: Looking back 15 years: the technological changes leading to the Zoom Cat Lawyer
Microsoft Research Cambridge, public talks
The second generation of meta-learning methods
Technical Talks - Department of Computer Science and Technology
Monumo: Engineering Simulation and Design: New Opportunities for Computer Science
Technical Talks - Department of Computer Science and Technology
Jane Street: One log to rule them all β How to keep state straight in distributed systems
Technical Talks - Department of Computer Science and Technology
GSA Capital: Staying Competitive
Technical Talks - Department of Computer Science and Technology
Reply: Introduction to Post-Quantum Cyber Security
Microsoft Research Cambridge, public talks
Assisting in the response to the COVID19 pandemic using internet data, Dr Elad Yom-Tov - MSR Cambridge, Lecture Series
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Technical Talks - Department of Computer Science and Technology
TNG Technology Consulting: Microservices for Smarter Home Appliances
Technical Talks - Department of Computer Science and Technology
Poly AI: Architecting Human-Sounding Voice Assistants
Technical Talks - Department of Computer Science and Technology
Huawei: Rethinking memory subsystem design
Technical Talks - Department of Computer Science and Technology
Ab Initio: Traversing the abstraction layers: an introduction to graph programming
Technical Talks - Department of Computer Science and Technology
Bloomberg: Apache Cassandra: The Good, The Bad, and The Ugly
Technical Talks - Department of Computer Science and Technology
TNG Technology Consulting: Where Am I and What's That? - SLAM
Technical Talks - Department of Computer Science and Technology
Wintermute: DeFi Presentation
Technical Talks - Department of Computer Science and Technology
Cisco: Saving the world, one handset at a time
Technical Talks - Department of Computer Science and Technology
Jane Street: OCaml and Python; Getting the Best of Both Worlds
Technical Talks - Department of Computer Science and Technology
BigPay: Event Based Architecture at BigPay
Technical Talks - Department of Computer Science and Technology
IMC Trading: Trading, A Story Of Reddit And Nanoseconds
Technical Talks - Department of Computer Science and Technology
TechWolf: JobBERT: Understanding Job Titles through Skills
Technical Talks - Department of Computer Science and Technology
GSA Capital: Staying Competitive
Technical Talks - Department of Computer Science and Technology
Cadence Design Systems: Machine Learning in EDA
Technical Talks - Department of Computer Science and Technology
HP: Click Happens: Using Hypervisors for threat containment
Technical Talks - Department of Computer Science and Technology
Entrust: Is Quantum Computing really a threat to Security Systems?
Technical Talks - Department of Computer Science and Technology
Matrix/Element: Turning Matrix into a Peer-to-peer mesh network for decentralised communication with BLE
Technical Talks - Department of Computer Science and Technology
BigPay: Building a South-East Asian Neobank
Technical Talks - Department of Computer Science and Technology
TechWolf: Deep learning for Career Prediction
Technical Talks - Department of Computer Science and Technology
Amazon UK: Tech Talk
Technical Talks - Department of Computer Science and Technology
Linaro/96 Boards: Innovation in Autonomous Driving powered by Open Source Heterogeneous Computing Platform
Technical Talks - Department of Computer Science and Technology
Optiver: From Instant to Eternity: Challenges in Data Engineering
Technical Talks - Department of Computer Science and Technology
PA Consulting: Applications of AR/VR
Technical Talks - Department of Computer Science and Technology
Bloomberg: Trading Programs - How the finance industry has become so complex that today's products are similar to programs
Technical Talks - Department of Computer Science and Technology
Mediatek: 5G β Life beyond the Smartphone
Technical Talks - Department of Computer Science and Technology
Rebellion Defense: Agent-based modeling (ABM) and Mesa
Technical Talks - Department of Computer Science and Technology
Palantir: P101 + Responding to COVID-19
Technical Talks - Department of Computer Science and Technology
Cisco: Have your Robots Call My Robots
Technical Talks - Department of Computer Science and Technology
Gearset: Continuous Delivery in Practice
Technical Talks - Department of Computer Science and Technology
IMC Trading: High Frequency Trading: how to (not) become Warren Buffet
Technical Talks - Department of Computer Science and Technology
TNG Technology Consulting: Deepfakes 2.0 - How Neural Networks Are Changing Our World
Microsoft Research Cambridge, public talks
Distributed distributional codes for learning successor features in partially observable environments
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Green Custard Ltd: Innovating at pace in IoT
β οΈ Food provided
Microsoft Research Cambridge, public talks
Sankie: Using Data to Build Better Systems and Services
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Amazon Alexa Tech Talk
β οΈ Food provided
Microsoft Research Cambridge, public talks
Machine Learning Meetup
Technical Talks - Department of Computer Science and Technology
Cambridge Design Partnership - Think Small: Embedded Software FTW!
β οΈ Food provided
Microsoft Research Cambridge, public talks
Deep (Inter-)Active Learning for NLP: Cure-all or Catastrophe?
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Deep (Inter-)Active Learning for NLP: Cure-all or Catastrophe?
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Algorithmic Differentiation (AD) Beyond Back Propagation
Technical Talks - Department of Computer Science and Technology
Optiver: Machine learning in trading: Letβs build a quantitative trading strategy
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Diving into Decentralised communication with Matrix.org
β οΈ Food provided
Microsoft Research Cambridge, public talks
Moonshot Thinking to Unleash Innovation, Dr Pablo Rodriguez - Telefonica Alpha: MSR Cambridge, Lecture Series
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
The Mobile Computing Platform after Smartphones - Prof Romit Roy Choudhury: MSR Cambridge, Lecture Series
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Mathworks: MATLAB and NVIDIA Docker: A Complete AI Solution, Where You Need It, in an Instant
β οΈ Food provided
Microsoft Research Cambridge, public talks
Photonic-chip-based soliton microcombs
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Roku: Engineering Smart TVs for fun and profit
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Recruitment Fair
Technical Talks - Department of Computer Science and Technology
Recruitment Fair
Technical Talks - Department of Computer Science and Technology
Yelp: Datastore Architecture - Orchestrating Cassandra with Kubernetes: Challenges and Opportunities
β οΈ Food Provided
Technical Talks - Department of Computer Science and Technology
Netcraft: Credit card skimming for fun and profit
β οΈ Food provided
Computer Laboratory Computer Architecture Group Meeting
Fast and Efficient Deployment of Security Defenses via Microcode Customization
β οΈ Note unusual time and location
Technical Talks - Department of Computer Science and Technology
Cisco: How to break the Internet
β οΈ Food Provided
Technical Talks - Department of Computer Science and Technology
Building For Scale: How and Why Stripe Built Sorbet, a Type Checker for Ruby
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Google: The Life of a Software Engineer
Technical Talks - Department of Computer Science and Technology
My Secure Bank - Morgan Stanley
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Palantir - Privacy and Civil Liberties (PCL) & Machine Learning
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Read Less, Learn More: Extracting Key News Themes
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
JPMorgan Technology Showcase
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Interactive workshop with Goldman Sachs
β οΈ Food provided
Computer Laboratory Computer Architecture Group Meeting
The new clang constant interpreter
Technical Talks - Department of Computer Science and Technology
Accelerating Machine Learning on Arm
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Dealing with the 3 V's: Bigger, Faster, Weirder
β οΈ Food provided. Please sign up online at www.gsacapital.com/careers so we can gauge numbers for catering.
Microsoft Research Cambridge, public talks
Advanced polarized light microscopy for mapping molecular orientation
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Microsoft Research Cambridge, public talks
Three case studies for coexisting mechanisms in protein-pattern forming systems
Microsoft Research Cambridge, public talks
Modeling User Experience in Games: Lessons Learned
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Physical security and side channel attacks in Arm based SoCs
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Using reason and evidence to do the most good
Frontiers in Artificial Intelligence Series
How good is your classifier? Revisiting the role of evaluation metrics in machine learning
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Antennas for light and their applications in classical optics
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
PRECOG: PREdiction Conditioned On Goals in Visual Multi-Agent Settings
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Photons in the cloud: communicating and storing data
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Photonics for Computing: from Optical Interconnects to Neuromorphic Architectures
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Disruptive Innovation at Ocado
β οΈ Food provided
Microsoft Research Cambridge, public talks
Canopus and RCanopus: Scalable Consensus for Permissioned Blockchains
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Canopus and RCanopus: Scalable Consensus for Permissioned Blockchains
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
An introduction to clustering and the expectation maximisation algorithm Part 2
β οΈ Please note, this event will be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
An introduction to clustering and the expectation maximisation algorithm Part 1
β οΈ Please note, this event will be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
MSR Cambridge Cloud Talk Series; Structured light: seeing less to see more in optical microscopy
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Microsoft Research Cambridge, public talks
What difference does one tonne make?
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Your personal list
Open Issues in Build Systems
Frontiers in Artificial Intelligence Series
Neural Code Comprehension: A Learnable Representation of Code Semantics
β οΈ ο§Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Machine Learning for the benefit of Engineering
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Security Engineering @ nCipher
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Digital Technology & Personalised Medicine
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Designing Electronics for low-latency Trading Systems
β οΈ Food provided
Frontiers in Artificial Intelligence Series
What Can Fair ML Learn from Economic Theories of Distributive Justice?
β οΈ ο§Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Idris 2: Type Driven Development of Idris
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
What can the Rust Programming Language do for Embedded Systems development?
Technical Talks - Department of Computer Science and Technology
How search uses Machine Learning
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Computer Laboratory Recruitment Fair
Technical Talks - Department of Computer Science and Technology
Computer Laboratory Recruitment Fair
Technical Talks - Department of Computer Science and Technology
Embracing the Volatility of AWS Spot Fleet
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
How to Break the Internet
β οΈ Food and drinks provided
Technical Talks - Department of Computer Science and Technology
The King ecosystem beyond games; a deep dive into solutions that scale
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Declarative Software Design in Python
β οΈ Lunch provided
Technical Talks - Department of Computer Science and Technology
Goldman Sachs: Banking with Bots β Machine Learning and Natural Language Processing
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Transforming Retail with Machine Learning
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Creating a Real Time data & ML pipeline for Smart Cities, Mobility & Infrastructure
β οΈ Lunch provided
Technical Talks - Department of Computer Science and Technology
Preparing for a life thatβs not just code
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
How to Build an Exchange
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Systemic Design (or Building Toys) in Games
β οΈ Food provided
Microsoft Research Cambridge, public talks
Flux: Elegant Machine Learning with Julia
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
5G & ARTIFICIAL INTELLIGENCE - THE PERFECT MATCH ?
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
JP Morgan Technology Showcase
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
All Things Data
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
HackerRank workshop
β οΈ Lunch provided
Technical Talks - Department of Computer Science and Technology
Bloomberg Lab Hangout & Cup Cake Challenge
Technical Talks - Department of Computer Science and Technology
Artificial Intelligence in Healthcare
β οΈ Food provided
Technical Talks - Department of Computer Science and Technology
Facebook β Crush Your Coding Workshop
β οΈ Lunch provided
Technical Talks - Department of Computer Science and Technology
Dev-Ops. what does it really mean?
β οΈ Food provided
Your personal list
Simulation for Intelligent Systems
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Neural Ordinary Differential Equations
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Frontiers in Artificial Intelligence Series
Interpretability in Machine Learning: What it means, How we're getting there
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Combating Student Mental Illness with Technologyβfrom the Imagine Cup UK Finals
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Computer Laboratory Computer Architecture Group Meeting
Making Python Fast: Using Hardware-Software Co-design to Address Inefficiencies in Dynamic Language Runtimes
β οΈ Note unusual time and venue
Microsoft Research Cambridge, public talks
DiCE: The Infinitely Differentiable Monte-Carlo Estimator
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Herding Nulls β and other C# stories from the future
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Windows Insider Program
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Computer Laboratory Computer Architecture Group Meeting
Green Cache
Computer Laboratory Computer Architecture Group Meeting
Directed Speculation in Multi-core Memory Systems to Improve Performance and Efficiency
Computer Laboratory Computer Architecture Group Meeting
Intra-Core Loop-Task Accelerators for Task-Based Parallel Programs
β οΈ Note unusual time
Computer Laboratory Programming Research Group Seminar
Energy Efficient Compilation of Irregular Task-Parallel Loops
Technical Talks - Department of Computer Science and Technology
Writing Low Latency Code
Frontiers in Artificial Intelligence Series
Optimal algorithms for smooth and strongly convex distributed optimization in networks
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Bayesian Generative Adversarial Networks
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
JSI - JVM SecDb Integration
Technical Talks - Department of Computer Science and Technology
Non-stop real-time data delivery at Yelp
Microsoft Research Cambridge, public talks
Letβs speed up the Internet, fast!
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Rethinking the Quantified Self to make personal data engaging and useful
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Safe at any speed
Technical Talks - Department of Computer Science and Technology
Saving the world one handset at a time: mobile phones and building the Internet
Technical Talks - Department of Computer Science and Technology
The King reigns and the data governs
Technical Talks - Department of Computer Science and Technology
SpatialOS: a distributed operating system for building large simulated worlds
Technical Talks - Department of Computer Science and Technology
Real-time Ocean Simulation and Rendering for Console Game
Technical Talks - Department of Computer Science and Technology
Quicker Sorting
Technical Talks - Department of Computer Science and Technology
GRAKN.AI: The hyper-relational database for knowledge-oriented systems
Technical Talks - Department of Computer Science and Technology
Break into a Hackerβs Mind
Technical Talks - Department of Computer Science and Technology
Bloomberg Engineering: Terminal Showcase & Cup Cake Challenge
Technical Talks - Department of Computer Science and Technology
How Machine Learning and Auction Theory Power Facebook Advertising
Microsoft Research Cambridge, public talks
Open Evening for Women in Engineering
Frontiers in Artificial Intelligence Series
Probabilistic and Deep Models for 3D Reconstruction
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Manifest Sharing with Session Types
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Frontiers in Artificial Intelligence Series
Coin Betting for Backprop without Learning Rates and More
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Frontiers in Artificial Intelligence Series
How Can NLP Help Cure Cancer?
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Computer Laboratory Computer Architecture Group Meeting
Redundancy in Deep Neural Networks and Its Impacts to Hardware Accelerator Design
Microsoft Research Cambridge, public talks
AI and Healthcare Open Evening at Microsoft Research
Microsoft Research Cambridge, public talks
Composition and Inheritance in Declarative Configuration Languages
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Composition and Inheritance in Declarative Configuration Languages
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
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 Computer Architecture Group Meeting
Processors for the Data Center and Cloud of the Future
Frontiers in Artificial Intelligence Series
Nonlinear ICA using temporal structure: a principled framework for unsupervised deep learning
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
How can you trust formally verified software?
Microsoft Research Cambridge, public talks
Microsoft & the Future of Education Technology & Learning
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Finding Signals in Twitter with ML/NLP at Bloomberg
Microsoft Research Cambridge, public talks
Predicting 3D Volume and Depth from a Single View
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Predicting 3D Volume and Depth from a Single View
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Security and Privacy in Machine Learning
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Security and Privacy in Machine Learning
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Generalizing Convolutions for Deep Learning
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Disrupting Developer Productivity One Bot At A Time, Margaret-Anne (Peggy) Storey, University of Victoria / Microsoft TSE
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Fast Models : How dynamic translation fits into ARM's story
Technical Talks - Department of Computer Science and Technology
SpatialOS: a distributed operating system for building large simulated worlds.
Technical Talks - Department of Computer Science and Technology
Machine Learning demystified: ask the right questions
Computer Laboratory Digital Technology Group (DTG) Meetings
The Next-Generation Vector Architecture for HPC
Technical Talks - Department of Computer Science and Technology
Making your Applications Smarter Through Machine Learning APIs
Microsoft Research Cambridge, public talks
Well-founded functions, induction, and extreme predicates in an SMT-based verifier
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Well-founded functions, induction, and extreme predicates in an SMT-based verifier
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Computer Laboratory Computer Architecture Group Meeting
The Future of Computer Architecture
Computer Laboratory Computer Architecture Group Meeting
FPGA Implementations of High-bandwidth and Low-Latency Machine Learning based on Online Kernel Methods
Microsoft Research Cambridge, public talks
Engineering the Future: Engineering in Artificial Intelligence at Microsoft Research Cambridge
Computer Laboratory Programming Research Group Seminar
Automatic Identification and Parallelisation of General Reduction Operations
Technical Talks - Department of Computer Science and Technology
Super Sized Mobile Apps - Getting the Foundations Right
Technical Talks - Department of Computer Science and Technology
Recruitment fair
Technical Talks - Department of Computer Science and Technology
Recruitment fair
Technical Talks - Department of Computer Science and Technology
Taskerman: A Cluster Task Manager
Technical Talks - Department of Computer Science and Technology
Palantir and PCL (Privacy & Civil Liberties)
Technical Talks - Department of Computer Science and Technology
How to Break the Internet
Technical Talks - Department of Computer Science and Technology
"Improving your CVβ Careers Workshop
Technical Talks - Department of Computer Science and Technology
Building a Secure Bank
Microsoft Research Cambridge, public talks
Flexible Paxos
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Amazon Alexa: building AI at scale
Technical Talks - Department of Computer Science and Technology
Pen and Paper Programming: How to write code in an interview
Technical Talks - Department of Computer Science and Technology
G-Research Coding Challenge 2016
Microsoft Research Cambridge, public talks
Unsupervised Cluster Matching for Relational Data
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
State machine replication and the modern exchange
Microsoft Research Cambridge, public talks
Developing PDE-compartment hybrid frameworks for modelling cell migration
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Developing PDE-compartment hybrid frameworks for modelling cell migration
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Trading Programs - How the Finance industry has become so complex that today's products are similar to programs
Technical Talks - Department of Computer Science and Technology
What can you do with data at the speed of 10x million events per second
β οΈ Please register at: https://www.eventbrite.com/e/microsoft-tech-talk-university-of-cambridge-tickets-28514095427
Technical Talks - Department of Computer Science and Technology
Title to be confirmed
β οΈ Sign up at Fb.me/Cambridgetechtalk16
Technical Talks - Department of Computer Science and Technology
Scala: How to sneak Haskell design patterns into industry code
β οΈ Please RSVP to recruitment@gsacapital.com as we need to gauge numbers for catering purposes
Technical Talks - Department of Computer Science and Technology
What's the big deal about Big Data?
Technical Talks - Department of Computer Science and Technology
Netcraft wokshop
Technical Talks - Department of Computer Science and Technology
Data processing @ Google & Interviews 101
Technical Talks - Department of Computer Science and Technology
5G - The Revolution
Technical Talks - Department of Computer Science and Technology
Bloomberg's On-Campus! Terminal Showcase & Cup Cake Challenge!
Microsoft Research Cambridge, public talks
Computing In Schools: How Your Skills Can Change Lives
Technical Talks - Department of Computer Science and Technology
An introduction to games programming
Technical Talks - Department of Computer Science and Technology
Security Through Maturity
Microsoft Research Cambridge, public talks
Queueing with Redundant Requests: A more realistic model
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Microsoft Research Cambridge, public talks
"Womenomics" and Gender-Inclusive Software: What the Software Industry Needs to Know
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Horn Clauses for Verification and Synthesis
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Managing Privacy Tradeoffs in the Internet
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Microsoft Research Cambridge, public talks
Reflections on Code-Reuse Attacks and Defenses
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Computer Laboratory Computer Architecture Group Meeting
Design for Security Test against Fault Injection Attack, and Fast Test with Compressive Sensing
β οΈ Note unusual time and venue. Talk follows 14:00 to 14:45 talk.
Computer Laboratory Computer Architecture Group Meeting
Barrier-Aware Warp Scheduling for Throughput Processors
β οΈ Note unusual time
Microsoft Research Cambridge, public talks
Verifying Constant-Time Implementations
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
An introduction to program verification with F*
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Practical Statically-checked Deterministic Parallelism
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Computer Laboratory Computer Architecture Group Meeting
OpenPiton
Microsoft Research Cambridge, public talks
Summer of Science Talks: An Introduction to Discrete Geometry, with application to the Principles of Concurrent Programming
β οΈ ο§ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Resource Allocation for Next Generation of Radio Access Networks: how effective are my schedulers?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending.
Technical Talks - Department of Computer Science and Technology
A Career In Ethical Hacking
Microsoft Research Cambridge, public talks
Turbocharging Rack-Scale In-Memory Computing with Scale-Out NUMA
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Teaching The World To Code: How A Cambridge Grad Earned Β£1m Teaching Online
Technical Talks - Department of Computer Science and Technology
Data-driven Retail
Microsoft Research Cambridge, public talks
Engineering the Future: an open evening for women in engineering
Microsoft Research Cambridge, public talks
Admitting more tenants with tail latency SLOs
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Bitcoin β Design Demystified
Microsoft Research Cambridge, public talks
PCC: Re-architecting Congestion Control for Consistent High Performance
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Online Machine Learning Methods - Streams of Financially Important News.
Microsoft Research Cambridge, public talks
Large-Scale Camera Pose Voting and the Geometric Burstiness Problem
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Large-Scale Camera Pose Voting and the Geometric Burstiness Problem
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Pony: Co-Designing a Type System and a Runtime
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
General-purpose representation learning from words to sentences
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Information-Theoretic Bounded Rationality
β οΈ Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Stamping Out Concurrency Bugs
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Parallel Inference and Learning with Deep Structured Distributions
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Into the Mountains: The Extraordinary True Story of Survival in the Andes and its Aftermath
Technical Talks - Department of Computer Science and Technology
Personal Program Analysis
Technical Talks - Department of Computer Science and Technology
Why Big Data & Games go hand in hand
Technical Talks - Department of Computer Science and Technology
The Real Villains in Online Games
Microsoft Research Cambridge, public talks
Freeform interactions and disrupted displays
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Regularized Optimal Transport and Applications
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Kotlin: What it takes to make a programming language
Technical Talks - Department of Computer Science and Technology
Real Processors for Real-time
Microsoft Research Cambridge, public talks
What I Learned From Inventing Scala Macros?
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
What I Learned From Inventing Scala Macros?
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Simulating Worlds: Technical Challenges of Improbable SpatialOS
Technical Talks - Department of Computer Science and Technology
Why do I need to keep recharging my smart phone?
Technical Talks - Department of Computer Science and Technology
Shaping Energy with Technology
Microsoft Research Cambridge, public talks
Opportunistic Storage Maintenance (SOSPβ15)
Technical Talks - Department of Computer Science and Technology
Building a Trading System (How we really do itβ¦)
Microsoft Research Cambridge, public talks
End-user programmers need first-class software engineering tools
Microsoft Research Cambridge, public talks
Verasco, a formally verified C static analyzer
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Formalising and Analysing Transactional Consistency Models
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Microsoft Research Cambridge, public talks
Synthesising Gene Regulatory Networks from Single-Cell Gene Expression Data
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Symbiotic design for machine intelligence systems
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
A Decade of Thrill
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Model-Based Hand Tracking with Texture, Shading and Self-occlusions
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
A Constructive Approach to Secure-Channel Protocols
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Making sense of 20 billion data points a day
β οΈ Food provided so please register for the talk so that we can gauge numbers.
Microsoft Research Cambridge, public talks
Activity recognition in naturalistic environments
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Cybersecurity framework: a deep dive
Microsoft Research Cambridge, public talks
Modern Deep Learning through Bayesian Eyes
Technical Talks - Department of Computer Science and Technology
"Coding your way out of a paper bag"
Technical Talks - Department of Computer Science and Technology
What do you do with 10 million unlabelled images?
Technical Talks - Department of Computer Science and Technology
Computer Science Collides With Reality
Microsoft Research Cambridge, public talks
From Boolean to Quantitative Methods in Formal Verification
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Technical Talks - Department of Computer Science and Technology
Supporters Club recruitment fair
Technical Talks - Department of Computer Science and Technology
Challenges to Operating a Service Oriented Architecture
Technical Talks - Department of Computer Science and Technology
Saving the world one handset at a time: mobile phones and building the Internet
Technical Talks - Department of Computer Science and Technology
Code DNA
Technical Talks - Department of Computer Science and Technology
Stealing App Credentials for Fun & Profit
β οΈ Register for the event at: https://docs.google.com/forms/d/1ttyw9JDMqa2tRF4lFKOH3ppiigreMISi2sWXl1Nut88/viewform
Technical Talks - Department of Computer Science and Technology
Demystifying a Technology career in Finance Q&A
Technical Talks - Department of Computer Science and Technology
Big Data & Microsoft Office: How Office uses Big Data to understand Usage, Errors and Reliability
β οΈ Cancelled
Technical Talks - Department of Computer Science and Technology
Adding Security Activities to Agile
β οΈ Food provided so please register for the talk so that we can gauge numbers.
Technical Talks - Department of Computer Science and Technology
nShield HSMs
β οΈ Food provided so please register for the talk so that we can gauge numbers.
Technical Talks - Department of Computer Science and Technology
Break into a hackerβs mind
Microsoft Research Cambridge, public talks
Rethinking Storage and Networking in Next Generation Racks
Technical Talks - Department of Computer Science and Technology
Building location-based services
Technical Talks - Department of Computer Science and Technology
Learning to Spell: Spelling corrections for Facebook Search
Technical Talks - Department of Computer Science and Technology
How the studio environment and processes foster innovation
Microsoft Research Cambridge, public talks
Talking with Reddit: Exploring limitations of recurrent neural network conversational systems.
Microsoft Research Cambridge, public talks
Microsoft Distinguished Research Lecture: What are the Prospects for Automatic Theorem Proving?
Microsoft Research Cambridge, public talks
Incremental Neuroevolution of Reactive and Deliberative 3D Agents
Microsoft Research Cambridge, public talks
Title to be confirmedMaking sense of language: It's okay to count
Microsoft Research Cambridge, public talks
Probabilistic Line Searches for Stochastic Optimisation.
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
The structures of induction and co-induction.
β οΈ ο§ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Human factors of software updates
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Program Logic for Concurrent Objects under Fair Scheduling
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Power of Negations in Cryptography
Microsoft Research Cambridge, public talks
The Power of Negations in Cryptography
Microsoft Research Cambridge, public talks
Computer-aided Concurrent Programming using Concurrent Trace Sets
Microsoft Research Cambridge, public talks
Towards Cross-fertilization Between Propositional Satisfiability and Data Mining
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Executable Relational Specifications of Polymorphic Type Systems using Prolog
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
"Protecting the forward edge: Is that light at the end of the tunnel?"
β οΈ Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks
Plug into the Supercloud
β οΈ This event may be recorded and made available internally or externally viaΒ http://research.microsoft.com.Β Β Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendi
Computer Laboratory Computer Architecture Group Meeting
The CAVA Computer: Exceptional Parallelism and Energy Efficiency
β οΈ Note unusual time and venue
Microsoft Research Cambridge, public talks
Giorgia Azzurra Marson
Microsoft Research Cambridge, public talks
Solving Second-Order Constraints with Program Synthesis
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Capturing and simulating the interaction of light with the world around us.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Standing on the Shoulders of a Giant: One Personβs Experience of Turingβs Impact
β οΈ talkscam@microsoft.com
Microsoft Research Cambridge, public talks
Bonsai: Reactive Tools for Data Science
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Rendering Eyes for Eye-Tracking
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Generative Models for Shape and Appearance
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data Structures
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
VISC: VIRTUAL INSTRUCTION SET COMPUTING
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Intelligible Machine Learning Models for HealthCare
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Microsoft Distinguished Research Lecture: Toward Causal Machine Learning
Microsoft Research Cambridge, public talks
Queues donβt matter when you can Jump them!
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Declarative query processing in imperative managed runtimes
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
"... and then just encode it to SAT."
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Harder, Better, Faster, Stronger - Elliptic Curve Discrete Logarithm Computations on FPGAs
Microsoft Research Cambridge, public talks
Enabling Connected Cars through Named Data.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Probability and Prejudice: Bridging the Gap Between Machine Learning and Programming Languages
Microsoft Research Cambridge, public talks
Formal verification approach to modelling biochemical systems
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Big Dream Documentary Screening and Q&A Panel
Microsoft Research Cambridge, public talks
An Efficient Solver for string and regular expression constraints
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Visual Programming Language for building Artificial Biochemistries in Haskell
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Unveiling the Secrets of High-Performance Datacenters
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Pushing the Limits of Localization and Capacity in Today's Wi-Fi Networks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Social Media Predictive Analytics: Methods and Applications
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Can you convince me why your software works?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Convex low-rank models: from matrices to tensors
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Relational Machine Learning for Knowledge Graphs.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Supporting the Mobile Nomadic User through Projected User Interfaces
Microsoft Research Cambridge, public talks
Ensembles for Discovery of Compact Structures and Learning Back-propagation Forests.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Content Placement as a Key to Leveraging Geo-Distributed Infrastructures
β οΈ o This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
Text To Programs: Automating Computer Tasks from Natural Language Descriptions
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Automatic differentiation and machine learning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Supporting Proxemic Interactions with Multi-Scale Electric Field Sensing
Microsoft Research Cambridge, public talks
Supporting Proxemic Interactions with Multi-Scale Electric Field Sensing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Technical Talks - Department of Computer Science and Technology
Reach coding nirvana with test-driven development
Microsoft Research Cambridge, public talks
Programming and Proving with Fine-Grained Concurrent Resources
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Design and Evaluation of Proxemic-Aware Environments to Support Epistemic Activities
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Workshop: Machine Learning in Cambridge 2015
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Death, Identity, and the Social Network
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Considering Tools for Artists, Creative Processes, and Design Ideation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Beyond acceleration: time, narratives, and the design of multiple worlds
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Un-Computing: Shaking off the βComputerβ Baggage
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Solving QBF by Counterexample-Guided Abstraction Refinement
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Technical Talks - Department of Computer Science and Technology
Knowledge Research
Microsoft Research Cambridge, public talks
Protecting encrypted cookies from compression side-channel attacks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Context-aware programming languages
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Towards Full-Stack Security Analysis of Web Applications
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Difficulty of Preventing Code Reuse Attacks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Modeling, Quantifying, and Limiting Adversary Knowledge
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Concurrent Algorithms for Emerging Hardware Platforms
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Neural simulation on diverse computational hardware
Technical Talks - Department of Computer Science and Technology
Data With Everything
Microsoft Research Cambridge, public talks
The Turing trap. How the universal computer is making the internet less secure.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
PSLP: Padded SLP Automatic Vectorization
Microsoft Research Cambridge, public talks
Meta-Interpretive Learning and Program Induction
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Manifold correspondence: a signal processing perspective
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Predictable and Dependable Low-power Wireless Networks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Engineering at Microsoft Research - Open Evening
Microsoft Research Cambridge, public talks
Laws of Programming with Concurrency
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Microsoft Distinguished Research Lecture - Laws of Programming with Concurrency
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Causal Inference and Domain Adaptation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Cutting tail latency in cloud data stores via adaptive replica selection
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Genome-wide transcriptional control of blood cell type identity
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Technical Talks - Department of Computer Science and Technology
Modelling Every Body - How computer vision, machine learning, 3D modelling and graphics help people shop with confidence online.
Microsoft Research Cambridge, public talks
Democratizing Electronics: Tools, Examples, and Contexts for Supporting the Construction of Personally-Meaningful Interactive Artifacts
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Dynamic PDP vs. Dynamic POR: Are they really different?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Bedrock: A Software Development Ecosystem Inside a Proof Assistant
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Checking microarchitectural implementations of weak memory
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Machine Learning in an Exchange Environment
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Platforms and Applications for "Big and Fast" Data Analytics
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Bringing computer vision to the masses
Technical Talks - Department of Computer Science and Technology
Compile-time Instruction Scheduling for Modern ARM Processors - Low Level Design Enabling Performance In High Level Applications
Microsoft Research Cambridge, public talks
Coping with the Intractability of Graphical Models
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Technical Talks - Department of Computer Science and Technology
Lambda, the ultimate config format
Technical Talks - Department of Computer Science and Technology
Can we make light travel faster please?
Microsoft Research Cambridge, public talks
Microsoft Distinguished Research Lecture Series - Technological Innovation in Healthcare
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Technical Talks - Department of Computer Science and Technology
Silicon swords to software ploughshares: the software networking revolution
Microsoft Research Cambridge, public talks
The Physical Web
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Technical Talks - Department of Computer Science and Technology
High Performance Computing: Use of large CPU grids, GPUs and supercomputers for financial computation.
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
USB Type-C: How hard is it to pick two resistors?
β οΈ Note unusual time and venue
Technical Talks - Department of Computer Science and Technology
Building the news search engine
Microsoft Research Cambridge, public talks
On Basing One-Way Functions on NP-Hardness
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Technical Talks - Department of Computer Science and Technology
Functional Languages and Financial Models: an Insight into Graph Programming
Microsoft Research Cambridge, public talks
Taming GPU threads with F# and Alea.GPU
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Technical Talks - Department of Computer Science and Technology
Real world lessons from building a search engine for ecommerce
Technical Talks - Department of Computer Science and Technology
EVi (An Amazon Company) Tech Talk - Answering any question, in any language, in one second or less
Microsoft Research Cambridge, public talks
Reasoning about GADT Pattern Matching in Haskell
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Technical Talks - Department of Computer Science and Technology
Haxl: Efficient Data-fetching for Free
Microsoft Research Cambridge, public talks
Robust Distance Queries on Massive Networks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
An Approximate Differentiable Renderer
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Technical Talks - Department of Computer Science and Technology
Spanner: Googleβs Planet-Spanning Database
Technical Talks - Department of Computer Science and Technology
Mobile Application Development at Bloomberg
Computer Laboratory Computer Architecture Group Meeting
RISC-V: A Free and Open Instruction Set Architecture
Microsoft Research Cambridge, public talks
Ancient lives, new discoveries: eight mummies, eight lives, eight stories
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Logic programming beyond Prolog
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
RDFox β A Modern Materialisation-Based RDF System
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Lottery Auctions
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A link between lambda calculus and maps
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
First-person Hyperlapse Videos
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Do Deep Nets Really Need To Be Deep?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Discursis: A Computational Methodology for the Analysis of Communication Data
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Case for using Trend Filtering over Splines
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Randomised testing of a microprocessor model using SMT-solver state generation
β οΈ Note unusual time
Microsoft Research Machine Learning and Perception Seminars
Local Deep Kernel Learning for Efficient Non-linear SVM Prediction
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Micro-Policies: A Framework for Tag-Based Security Monitors
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
End of Internship Talk: F# Type Providers: DBpedia and the Combinator Framework
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Hedging Against Uncertainty via Multiple Diverse Predictions
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Beyond Mindless Labeling: *Really* Leveraging Humans to Build Intelligent Machines
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Compositional Models
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Representing microbial communities in Earth system models
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Towards Zero Latency Photonic Switching
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Computational Video: Methods for Video Segmentation and Video Stabilization, and their Applications.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Systems, Science and FreeBSD
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Integral Image Method for Fisheye Images
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
FsLab: Doing data science with F#
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Verified Compiler for Probability Density Functions
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Byte Night Cambridge
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Image representation for synthesis and recognition using multilinear algebra
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Brave New World of Next-Generation NoSQL Data Stores
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Steps toward usable verification
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Practical Techniques for Auto-Active Verification
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
FSCL: homogeneous programming and execution for heterogeneous platforms
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
How to Give a Great Research Talk
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Once and Future Internet
Microsoft Research Cambridge, public talks
How to Write a Great Research Paper
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Local Temporal Reasoning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Games, Learning and Markets Workshop
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Geo-replicated storage with scalable deferred update replication
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Tips and Tools for Scientific Research Success
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Algebra of Parameterised Graphs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Computer Vision for Movie Making and Infographics
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Collapsible Approach to Higher Order Verification
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Thinking for Programmers: Rising Above the Code
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Art of Corporate Storytelling
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Mid-level Likelihoods and Constraints for 3D Scene Interpretation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Protecting Programs During Resource Retrieval
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The shadowy life of many webcams
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Art of Corporate Storytelling
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Seeing in depth: computations and cortical networks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Crafting Visualizations
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Sustainable IT and IT for Sustainability
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Bandits with Switching Costs: T^{2/3} Regret
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Publish/Subscribe for Large-Scale Social Interaction: Design, Analysis and Resource Provisioning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Decision Making and Inference under Limited Information and Large Dimensionality
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Incremental Parallel and Distributed Systems
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
IC3 Modulo Theories via Implicit Predicate Abstraction
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Rich semantic representations for detailed visual recognition
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Globally Optimizing Graph Partitioning Problems Using Message Passing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Characterizing and Improving Last-Mile Performance Using Home Networking Infrastructure
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Automatic Differentiation - Part One: A Revisionist History and the State of the Art
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Performance Optimizations for Compiler-based Error Detection Methodologies
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Scaling Deep Learning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Using ConvNets, MALIS and crowd-sourcing to map the retinal connectome
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Data Driven Student Feedback For MOOCs: Global Scale Education for the 21st century
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Part Detection and Species Identification
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Performance of Deferred-Acceptance Heuristic Auctions
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Trouble-makers: Audio-video distortions as a relational resource in couplesβ video calls
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Mechanism design for Cloud Computing and Crowdsourcing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Achieving the Full Potential of State Machine Replication: High Throughput, Low Latency, Constant Availability
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Designing Controller Abstractions for Software-Defined Networks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Rethinking State-Machine Replication for Multicore Architectures
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Computational foundations of Bayesian inference and probabilistic programming
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
An Online Allocation Mechanism with Pre-Commitment and its Application to Electric Vehicle Charging
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Virtual Prototyping, Virtual Platforms, and System Simulation for Embedded System and Software Development
Microsoft Research Cambridge, public talks
Generative probabilistic programming: applications and new ideas
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Topological Data Analysis: potential applications to computer vision
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Education Technology
Reinventing Education
β οΈ NOTE 1: Offsite parking only - at Clerk Maxwell Road. Note 2: There may be opportunities to meet the speaker before noon, but after questions from the audience (till 15:30) the speaker needs to catch a plane to the US.
Microsoft Research Cambridge, public talks
Declarative Static Program Analysis
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
FaRM: Fast Remote Memory
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The persistence of structure: Layers, time, and the estimation of optical flow
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
The New Cambridge Phenomenon?
Microsoft Research Cambridge, public talks
Efficient Preconditioning of Laplacian Matrices for Computer Graphics
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Combinatorial Prediction Market for the US Elections
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Bayesian Machine Learning for Controlling Autonomous Systems
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Real time control with lots of humans in the loop
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Typed functional probabilistic programming: ready for practical use?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Reasoning about Eventual Consistency
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Principles and Techniques of Automatic Differentiation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Hardware Neural Network Accelerators
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Programming Approximate Systems
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Image Classification Using a Background Prior
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Automatic DifferentiationPart One: A Revisionist History and the State of the Art
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Depot: from Byzantine fault tolerance to eventual consistency in a single system
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Randomized tree ensembles: output kernels and variable importances
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Language based web security: the operational semantics approach
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Language based web security: the operational semantics approach
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Algebraic methods in computer vision and automatic generation of efficient algebraic solvers
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Multimodal Gaze-Supported Interaction
Microsoft Research Cambridge, public talks
Discovering the Structure of Visual Categories from Weak Annotations
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Memristors: The Future of Computer Memory and Neuromorphic Circuits?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Bigger and Faster Bitcoin: an Analysis of High-Rate Bitcoin Transaction Processing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Type Refinement in the Abstract
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Reflection methods for user-friendly submodular optimization
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Framework for Automatically Enforcing Privacy Policies
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Anomaly Detection in the Field
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Scale-Out Processors
Microsoft Research Machine Learning and Perception Seminars
Compositionality in Vision and Language
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Five machine learning research topics at Oxford CS
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Active Pedestrian Safety: from Research to Reality
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Managing the Network with Merlin
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Robust Models of Mouse Movement on Dynamic Web Search Results Pages
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
How Watson Learns Superhuman Jeopardy! Strategies
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Inextensibility constraints for 3D reconstruction of deformable objects
Microsoft Research Cambridge, public talks
Auctioning based Coordinated TV White Space Spectrum Sharing for Home Networks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Big Data and Dark Silicon: Taming Two IT Inflection Points on a Collision Course
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Disciplined Approximate Computing: From Language to Hardware, and Beyond
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
QUIC Graphs: Relational Invariant Generation for Containers
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Is The Rise of Cloud Storage, Cloud Computing and Social Networks a Consequence of a Failed OS (Operating System) Design?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Want Effective Security Solutions? Let's Re-Think The Design Approach
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Static Analysis of Cache Side Channels
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Proving Equivalences Between Prolog Semantics in Coq
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Foundations of Neuromechanical Systems Biology: Combining engineering, biology, and mathematics to understand how we move
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Deep Gaussian Processes
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Censorship Circumvention: Staying Ahead in a Cat-and-Mouse Game
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
3D Reconstruction using Point-Based Fusion
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Improving Time-of-Flight Range Data Quality
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Relationship Between Separation Logic and Implicit Dynamic Frames
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Strategies for General Recognition
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Fast and Guaranteed Learning of Overlapping Communities via Tensor Methods
Microsoft Research Cambridge, public talks
Datalog for Program Analysis: Beyond the Free Lunch
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
The cost of principles
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
KAT on a Wire: A Foundation for Network Programming
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Lifts of Convex Sets and Cone Factorizations
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Efficient Multi-dimensional Parametric Mincuts for Constrained MAP Inference
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Energy Efficient Computing System - Research in NICS CAD Tsinghua
β οΈ Note unusual time
Microsoft Research Cambridge, public talks
SWAN: Software-driven wide area network
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Validating SAT Refutations
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Data Structures for Efficient Inference and Optimization in Expressive Continuous Domains
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Bridging the Discrete and the Continuous in Reasoning about Programs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
βWhen is fair sharing optimal?β
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Automated Analysis of Probabilistic Programs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Synopsys Processor Designer - Introduction and demonstration
β οΈ Note unusual time and venue
Microsoft Research Machine Learning and Perception Seminars
Noise estimation by PDE-constrained optimisation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Very high speed networking in VMs and bare metal
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Reaping the Benefits of Partial SDN Deployment in Enterprise Networks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
NetFPGA: The Flexible Open-Source Networking Platform
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Adaptive Resolution of Information Flow Constraints
β οΈ Note unusual time and venue
Computer Laboratory Computer Architecture Group Meeting
Exposing Fine-grain Concurrency in Sequential code with a Dataflow Compiler IR
β οΈ Note unusual time and venue
Microsoft Research Cambridge, public talks
MSR-Lecture: Generative Models of Images of Objects
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Building Better Questionnaires with Probabilistic Modelling
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Language-Integrated Quantum Operations: A Software Architecture for Quantum Computing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
Modular reasoning for modular concurrency
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Reconstruction and Applications of Collective Storylines from Web Photo Collections
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
FUSEing PolyBlaze: enabling heterogeneous multicore research
β οΈ Note unusual time
Microsoft Research Cambridge, public talks
Theory and Practice of Mix-Nets
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Cryptoforma: Computer-Aided Cryptographic proofs with EasyCrypt
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Understanding and Improving the Efficiency of Failure Resilience for Big Data Frameworks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
From Bounded to Unbounded Proofs of Correctness
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Big Data Analytics with All-or-Nothing Parallel Jobs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Intelligent Location-Privacy Preserving Mechanisms
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Understanding and Improving Device Access Complexity
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Ramifications of Sharing in Data Structures
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
MSR-Lecture: Gaussian Processes for Pattern Discovery, Speaker: Andrew Wilson
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Static Verification for Web Scripting Languages
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Graph-Based Reasoning in Separation Logic for Fun and Profit
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Programming The Parallelism Zoo
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Towards Algebra-Oriented Programming
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
CRASH/SAFE: Clean-slate Co-design of a Secure Host Architecture
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Austerity in MCM - Land : Cutting the computational Budget
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Hypervisor Scheduler Enhancement Using OS-Hardware Interactions
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Fast Variational Inference in the Conjugate Exponential Family
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Proving Termination of Heap-Manipulating Java Programs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Syntactic Foundations for Machine Learning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Wireless Networking Using Smart Radios
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Trust and Mistrust on the Internet
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Mechanism design: dealing with interdependencies among agents.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Privacy and Integrity of Remote Storage and Computation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Semantics\sqcap Scalability\models\bot? Are Semantics and Scalability Incompatible?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Optimal Payments in Dominant-Strategy Mechanisms
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Warped Mixture Models for Meaningful Clustering and Bayesian Manifold Learning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Achieving High Data Rates in Distributed MIMO Systems
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Reasoning About Client Side Web Programs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
New probabilistic methods for inference of natural selection on regulatory sequences in the human genome
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Danielβs Adventures in Computer Vision Land
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Modelling road networks in the Amazon
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Automated Error Diagnosis Using Abductive Inference
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Detecting Sybils without Graphs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
How do we model global plant physiology? A case study of leaf phenology
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Land use / land cover change and malaria risk in the Amazon region
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Stratosphere: Massively parallel dataflow programming
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Dynamic Fair Division of Multiple Resources
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
From motion capture of interacting hands to video based rendering.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Scaling wireless services
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Handling Multitude of Nash Equilibria in Voting Games
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Spectral Edge: Making the Invisible Visible
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Automating Separation Logic Reasoning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
Computing and Autism: How a real-world challenge drives a computing research agenda
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Optimal kernel choice for kernel hypothesis testing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Next Wave of TelcoΒ΄s Innovation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
TypeScript: JavaScript development at scale
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
MIT Media Lab's Information Ecology Group
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A computer-checked proof of the Odd Order theorem
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Towards ad hoc interactions with robots
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
From the Information Extraction Pipeline to Global Models, and Back
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Dynamically Enforcing Knowledge-based Security Policies
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
Distributed Opportunistic Scheduling: A Control Theoretic Approach
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Probabilistic Latent Tensor Factorisation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A new metric on kernel matrices with applications to matrix means
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Convergent and Scalable Algorithms for Expectation Propagation Approximate Bayesian Inference
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
On Synthesis of Verification Tools
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Fast and Reliable Online Learning to Rank for Information Retrieval
β οΈ o This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
Scale-Out Processors
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Playing in the Grey Area of Proofs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Craig Interpretation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Capture of dynamic scene using multiple cameras provides rich spatial-temporal information that can be used for solving challenging computer vision problems.
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
From Pose Estimation to Fine Grained Activity Recognition
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Tell Me Where Youβve Lived and What You Want -- Iβll Tell You What You Like and Need
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Latent Hough Transform for Object Detection
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Satisfiability: connecting logic and probability
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Context sensitive information: Which bits matter in data?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
HyperDex: A Consistent, Fault-tolerant, Searchable NoSQL Store
Microsoft Research Cambridge, public talks
Verifying Concurrent Programs with Relaxed Conflict Detection
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Concurrent Data Representation Synthesis
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Achieving High Data Rates in a Distributed MIMO System
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
On Agent Failures in Totally Balanced Cooperative Games
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
SmartDesign: Living with Geometric Complexity
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Part A: Non-parametric image optimization & Part B: Crowdsourcing gaze data collection
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Causality for Free! Parametricity Implies Causality for Functional Reactive Programs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Multi-Label Learning with Millions of Categories & Generalized Multiple Kernel Learning with a Million Kernels
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Prediction Strategies without Loss
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Architecture Support for Accelerator-Center Architectures
Microsoft Research Cambridge, public talks
How to present a poster at an international conference
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Body Part Recognition: Making Kinect Robust
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
F# Tutorial
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
.NET Gadgeteer: A Platform for Custom Devices
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Microsoft Research Connections and Cloud Computing for Science
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
How to give a great research talk
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
How to write a great research paper
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Microsoft Academic Search
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Proving that programs eventually do something good
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Human Computing and Crowdsourcing in Search
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Towards Predictable Data Centers- Why Johnny can't use the cloud and what can we do about it?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Machine Learning for medical Image Analysis
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Planetary prediction services for society
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Realizing Touchless Interaction in the Operating Theatre
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Functional first programming in an information-rich world
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
How reciprocity renders networks irrelevant for cooperation in social dilemmas
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Aggregators and the News Industry: Charging for Access to Content
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Treasure Hunt
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Network Design and Defence
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Blotto On Facebook: The Effect of Social Relations On Strategic Interaction
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Game theory for Security: Key Algorithmic Principles, Deployed Systems, Lessons Learned
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Decentralized Auctions for Uniformly Semimodular Bidders
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Managing air traffic disruptions through strategic prioritization
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Scarce attention and the value of page rank in online search
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Harvesting the Wisdom of Crowds
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Communication networks in markets
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Machine Learning for medical Image Analysis
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The RCUK Digital Economy Theme β A Catalyst for Change
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Probabilistic Programming and Probabilistic Databases for Large-scale Knowledge-base Construction
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Energy Debugging in Smartphones
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Web Science: Politics, Demographics and More
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
The Inverted Multi-Index
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Information Spreading in Social Networks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Weightedness and Structural Characterization of Hierarchical Simple Games
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Weightedness and Structural Characterization of Hierarchical Simple Games
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Topic Models for Human Activity Understanding
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Learning and Discovery of Clinically Useful Information from Medical Images
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Rekeyable Ideal Cipher from a Few Random Oracles
Microsoft Research Cambridge, public talks
Verification and Synthesis by Sciduction
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Confining the Ghost in the Machine: Using Types to Secure JavaScript Sandboxing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Efficient Cryptography for the Next Generation Secure Cloud
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Computer Assisted Interventions: Challenges in design, development, validation and deployment of novel techniques
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Mathematical modelling on remotely-sensed dynamics of marine primary producers
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Generating Code by Learning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Learning and Representing: a Jointly Optimal Approach
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Building Flexible High-Performance Key-Value Systems
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The science of guessing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Efficient Machine Learning with High Order and Combinatorial Structures
β οΈ o This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
Mean Field Equilibria of Dynamic Auctions with Learning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
From certified languages to their certified implementations
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Empirical evidence in privacy economics
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Towards Networks without Management Complexity
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Towards Networks without Management Complexity
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Supporting Active Reading Activities With a Multi-Slate System
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Mementos, Memento Mori, and More: Digital Assets across the Human Lifespan
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Compositional Inter-Language Relational Verification
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Communication Complexity and When Dubious Data Structures can be Detected
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Non-Interactive Verifiable Computation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Ethnography: Understanding natural interaction with our communication technologies
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Methods in decision theory for conservation research
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Solutions for a sustainable and desirable future
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Searching, Scanning and Smelling - a portfolio presentation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Sampling based on local signal analysis: applications to photo-realistic imagery and beyond
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Algebraic Foundations to Effect-Dependent Optimisations
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Your Abstractions are Worth^H^H^H^H^HPowerless!Non-Volatile Storage and Computation on Embedded Devices*(*Batteries Not Included)
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
HDL Code Generation from MATLAB and Simulink
β οΈ Note unusual location
Microsoft Research Cambridge, public talks
A joint part- and pixel-wise approach to human pose estimation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Approaches to Multiscale Modelling of Complex Systems
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Machines Learning Human Minds
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Mean Field Equilibria of Dynamic Auctions with Learning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Efficient Range Querying in Distributed Games
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Understanding variability and temporal trends in biosphere-atmosphere CO2 exchange through integrating models with data
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
ORCHID: Human-agent collectives for disaster response and the smart grid
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
ORCHID: Human-agent collectives for disaster response and the smart grid
β οΈ o This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Computer Laboratory Computer Architecture Group Meeting
System-Level Management of Hybrid Accelerators
β οΈ Note unusual time
Microsoft Research Cambridge, public talks
Towards Practical Randomization in Concurrent Data Structures
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Malleability in Modern Cryptography
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Decision Theory in Conservation Biology, from Systematic Conservation Planning to Scenario-Based policy assessments
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Short and long-term effects of climate, disturbance, and forest management on regional carbon storage and emissions under current and proposed policy plans
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Population Approach to System Design
Microsoft Research Cambridge, public talks
A Population Approach to System Design
Microsoft Research Machine Learning and Perception Seminars
Sequential Decision Making in Experimental Design and Sustainability via Adaptive Submodularity
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Exploring Compression and the Aesthetics of Creativity
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Evaluating User-Adaptive Systems: Lessons from Experiences with a Personalized Meeting Scheduling Assistant
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Exploiting Variable Impedance for Robotics: Mimic or Optimize?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Covering problems arising in Gamma Knife radiosurgery
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Security in untrusted storage
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Undiscovered Continents of Human Potential
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Practical Abstractions for Dynamic and Parallel Software
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Homomorphic Encryption from Ring Learning with Errors
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
High-throughput, Multiscale modelling approaches for understanding bacterial signalling
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Naiad: Iterative and Incremental Data-Parallelism using Differential Dataflow
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
ON-CHIP DEBUG SUPPORT TO ADDRESS COMPLEXITY IN MULTIPE PROCESSOR SYSTEMS-ON-CHIP
Computer Laboratory Computer Architecture Group Meeting
Device Mechanism: Rethinking Driver Development
β οΈ Note unusual day
Microsoft Research Machine Learning and Perception Seminars
Closing the gap between weakly and fully supervised methods
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Bound Analysis of Imperative Programs with the Size-change Abstraction
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Concurrency Assertions β Providing the Right Semantics to ASSERT Statements
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Complementing User-Level Coarse-Grain Parallelism with Implicit Speculative Parallelism
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Bayesian Computation Without Tears: Probabilistic Programming and Universal Stochastic Inference
Microsoft Research Machine Learning and Perception Seminars
Beyond the Piece of Cardboard: Learning to Adjust Photographs
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Real versus Realistically Rendered Ground Truth: Can we use Computer Graphics for Performance Evaluation?
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Spanish forest dynamics: Constraining models with data
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Communication Challenges for Extreme-Scale, Real-Time Neural Network Simulation
Microsoft Research Cambridge, public talks
CMA-ES β a Stochastic Second-Order Method for Function-Value FreeNumerical Optimization
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
PARIS: Probabilistic Alignment of Relations, Instances, and Schema
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Marriage of Bisimulations and Kripke Logical Relations
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Probabilistic programs and the computability and complexity of Bayesian reasoning
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Information Retrieval based Program Synthesis
Microsoft Research Cambridge, public talks
Large-scale Retrieval with Ivory and MapReduce
Microsoft Research Cambridge, public talks
Analysing biological information processing with mechanistic modular models
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Software lock elision for x86 machine code
Microsoft Research Cambridge, public talks
Poirot β a concurrency sleuth
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Natural Interactions & Computing for Global Development at MSR India
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Introducing the Computer Architecture Group
β οΈ New meeting time
Microsoft Research Machine Learning and Perception Seminars
Exclusive PΓ³lya Urns and their applications
β οΈ o This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
Structured Prediction Models for High-level Computer Vision Tasks
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Information-Greedy Global Optimisation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Abstractions in Satisfiability Solvers
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The IITM Model and its Application to the Analysis of Real-World Security Protocol
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
SpecNet: Spectrum Sensing Sans Fronti`eres
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Mechanism Design without Money via Stable Matching
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
"Coupled dynamics of traits and populations in response to environmental change".
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Vector Commitments with Efficient Protocols for Privacy-preserving Smart Billing Applications
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Energy Functionals: Choices and Consequences For Medical Image Segmentation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Experiences Creating Chromebook
β οΈ Note unusual time
Microsoft Research Cambridge, public talks
Practical Boogie (on the example of VCC)
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Statistical learning for structural neuroimaging data
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
"Egalitarian Gradient Descent": A General Preconditioning Scheme for Deformable Image Registration
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
SocialFusion: Fusing Mobile, Sensor, and Social Computing in the Cloud To Enable Next-Generation Context-Aware Applications
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Tunable Static Inference for Generic Universe Types
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Perception by "Patterns" in the Brain
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Stochastic signal encoding strategies in cells
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Threads, caches and networks in CMP systems
β οΈ Note unusual time
Microsoft Research Cambridge, public talks
A Language for Type-Safe Web Programming
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Verification of Microarchitectural Refinements in Rule-based Systems
β οΈ Note unusual time and location
Computer Laboratory Computer Architecture Group Meeting
Hardware Protection for Trusted Software
β οΈ Note unusual time
Microsoft Research Cambridge, public talks
Probing the basis of neuronal branching
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
An Energy-Efficient Patchable Accelerator For Post-Silicon Engineering Changes
Microsoft Research Cambridge, public talks
Plant Organs Regeneration: Measuring and Modelling SelfβOrganization
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars
Principles of Humanoid Locomotion Control
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
From Gene Networks to Tissue Engineering: Computational Models of Pattern Formation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Some recent developments in approximate inference: learning and control
Microsoft Research Cambridge, public talks
Search is not only about the Web - An Overview on Printed Document Search and Patent Search
Microsoft Research Cambridge, public talks
Scaling transaction processing through data-oriented execution
β οΈ - This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
How to present a poster at an international conference
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Rough guide to being an entrepreneur
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Gadgeteer
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Blue skies to ground truth: Machine learning for Kinect human motion capture
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Computer science as applied philosophy
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Making the most of your PhD; now and in your career
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
How to give a great research talk
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
Implementation of ISE for the micro-threaded model in LEON3 SPARC
β οΈ Note unusual time and location
Microsoft Research Cambridge, public talks
How to write a great research paper
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Computer Architecture Group Meeting
The Foundations of Apple-CORE:- DRISC, Microthreading and SVP
β οΈ Note unusual time and location
Computer Laboratory Computer Architecture Group Meeting
Using Processor Hardware Counters in Picking the Optimal Work-Stealing Policy
Microsoft Research Cambridge, public talks
How to force unsupervised neural networks to discover the right representation of images
Microsoft Research Cambridge, public talks
PEPSI: Privacy-Enhanced Participatory Sensing Infrastructure
Microsoft Research Cambridge, public talks
Co-opetition in network tasks
Microsoft Research Cambridge, public talks
Identifying Peer Effects through Randomized Trials in Networks
Microsoft Research Cambridge, public talks
Network cognition and individual behaviour
Microsoft Research Cambridge, public talks
Network Formation in the Presence of Contagious Risk
Microsoft Research Cambridge, public talks
Competitive Contagion in Networks
Microsoft Research Cambridge, public talks
Social networks, institutions, and the process of globalization
Microsoft Research Cambridge, public talks
Optimal Communication in Teams
Microsoft Research Cambridge, public talks
Social Network, Personality, and Performance
Computer Laboratory Computer Architecture Group Meeting
RISC Instructions for Capability Acceleration
Microsoft Research Cambridge, public talks
Coming to Grips with Complexity in Computer-Aided Verification
Computer Laboratory Computer Architecture Group Meeting
LiquidMetal: a unified programming language and runtime for heterogeneous platforms
Microsoft Research Cambridge, public talks
Efficient space-variant deconvolution
Microsoft Research Cambridge, public talks
Computing for Development: A New High Impact Research Area
Microsoft Research Cambridge, public talks
Is my model too complex? Evaluating model formulation using model reduction
Computer Laboratory Computer Architecture Group Meeting
Spatial Computation
Microsoft Research Cambridge, public talks
Programmable Self-Assembled DNA-Based Autonomous Molecular Devices
Computer Laboratory Computer Architecture Group Meeting
Kiwi HLS (high-level synthesis) - C# programs with FPGA acceleration
Computer Laboratory Computer Architecture Group Meeting
Stream Chaining: Exploiting Multiple Levels of Correlation in Data Prefetching
Microsoft Research Cambridge, public talks
Fences and Stability in Weak Memory Models
Computer Laboratory Computer Architecture Group Meeting
The Berkeley Parallel Computing Laboratory
Microsoft Research Cambridge, public talks
How to Make Ad Hoc Proof Automation Less Ad Hoc
Microsoft Research Cambridge, public talks
Towards a comprehensive assessment of the interactions between the terrestrial biosphere and the climate system
Computer Laboratory Computer Architecture Group Meeting
Link-Time Optimization for Instruction Cache Power Efficiency
Microsoft Research Cambridge, public talks
Active visual category learning
Microsoft Research Cambridge, public talks
Bringing Intelligence at the Edges to Accommodate Diversity in the Internet
Microsoft Research Cambridge, public talks
Algorithmic Market Design: Spectrum Sales and BitTorrent Communities
Microsoft Research Cambridge, public talks
Turing and Darwin: Saving the environment by combining computation and human insight
Computer Laboratory Computer Architecture Group Meeting
Field programmable parallel computing in signal and image processing - is application development too hard and what can be done about it?
β οΈ Note unusual time
Microsoft Research Cambridge, public talks
Fuzzy thinking: single neuron variation in RNA state space
Microsoft Research Cambridge, public talks
Can We Defy Natureβs End?
Microsoft Research Cambridge, public talks
Fifteen Years of Field Robotics in Australia
Microsoft Research Cambridge, public talks
The Complexity of the Homotopy Method, Equilibrium Selection, and Lemke-Howson Solutions
Microsoft Research Cambridge, public talks
Understanding and conserving biodiversity in a changing world
Microsoft Research Cambridge, public talks
Politics, Preferences and Permutations: Probabilistic Reasoning with Rankings
Microsoft Research Cambridge, public talks
Delay Reduction for Adaptive Scheduling in Wireless Networks and Aggregated Equilibrium for Resource Sharing Games
Microsoft Research Machine Learning and Perception Seminars
Formal Methods in Synthetic Biology
Microsoft Research Cambridge, public talks
Efficient Data Structures for Nonlinear Video Processing
Microsoft Research Cambridge, public talks
Towards a Colonic Crypt Model with Realistic, Deformable Geometry
Microsoft Research Cambridge, public talks
Modeling and Evaluating Information Retrieval Results
Microsoft Research Cambridge, public talks
SSLShader: Cheap SSL Acceleration with Commodity Processors
Microsoft Research Cambridge, public talks
Active visual category learning
Microsoft Research Cambridge, public talks
Molecular evolution of stochastic switching
Microsoft Research Cambridge, public talks
Molecular evolution of stochastic switching
Microsoft Research Cambridge, public talks
Spatial Tactile Feedback Support for Mobile Touch-screen Devices
Microsoft Research Cambridge, public talks
3D Reconstruction meets GPGPU meets Image Analysis
Microsoft Research Cambridge, public talks
Training Random Forests with Ambiguously Labeled Data
Microsoft Research Cambridge, public talks
Representing and Querying Large-scale Uncertainty
Microsoft Research Cambridge, public talks
Guessing Program Annotations with Probabilistic Inference
Microsoft Research Cambridge, public talks
Tracking and Analysis of Animal Movement
Microsoft Research Cambridge, public talks
Programming-Language Techniques for Secure Cryptography
Microsoft Research Cambridge, public talks
Optimization under Uncertainty: Understanding the Correlation Gap
Microsoft Research Cambridge, public talks
High-level Languages for Low-level Systems
Microsoft Research Machine Learning and Perception Seminars
Enforcing topological constraints in energy-based image segmentation
Microsoft Research Cambridge, public talks
Research of the new Computer Vision and Mulitmodal Computing at MPI Sarrbruecken
Microsoft Research Cambridge, public talks
Executable Knowledge for Molecular Systems Biology
Microsoft Research Cambridge, public talks
Longitudinal Evaluation of API Usability and Designing Support for Collaborative Search around the Tabletop
Microsoft Research Machine Learning and Perception Seminars
On a first-order primal-dual algorithm with applications to convex problems in computer vision
Microsoft Research Cambridge, public talks
Learning generative models of images by factoring appearance and shape
Microsoft Research Cambridge, public talks
βOtherworldβ - Giving Applications a Chance to Survive OS Kernel Crashes
Microsoft Research Cambridge, public talks
Software Synthesis using Automated Reasoning
Microsoft Research Cambridge, public talks
Machine Learning for WLAN Positioning
Microsoft Research Cambridge, public talks
Hidden Markets: Designing Efficient but Simple Electronic Markets
Microsoft Research Cambridge, public talks
Optimization for Pixel Labeling Problems With Structured Layout
Microsoft Research Cambridge, public talks
Energy Minimization with Label Costs and Applications in Multi-Model Fitting
Microsoft Research Cambridge, public talks
Parameter Search and Robustness Analysis from Temporal Logic Specifications in Biochemical Reaction Networks
Microsoft Research Cambridge, public talks
Reasoning about concurrent stochastic systems
Computer Laboratory Computer Architecture Group Meeting
Steps Towards a Flexible Manycore Fabric
Computer Laboratory Computer Architecture Group Meeting
Short-Read DNA Sequence Alignment with Custom Designed FPGA-based Hardware
Microsoft Research Cambridge, public talks
Frugal Procurement Auction Design
Computer Laboratory Computer Architecture Group Meeting
Low Power Photonic Networks for Shared Memory Computers
Microsoft Research Cambridge, public talks
Logic and Probability: The Computational Connection
Computer Laboratory Computer Architecture Group Meeting
Time-Driven Switching: Principles and Implementation
Microsoft Research Cambridge, public talks
Learning and Coordination in Networks
Computer Laboratory Computer Architecture Group Meeting
Predictive Models for Microarchitectural Adaptation
Microsoft Research Cambridge, public talks
Making OpenCL simple with Haskell
Microsoft Research Cambridge, public talks
Albert Atserias, Universitat Politècnica de Catalunya, Microsoft Research Lectures
Microsoft Research Cambridge, public talks
Cooperation, Power and Conspiracies
Computer Laboratory Computer Architecture Group Meeting
Building an 18 core ARM chip multiprocessor for neuronal simulation
β οΈ Room changed, Note unusual time
Microsoft Research Cambridge, public talks
Experience and problems with compiling data parallel languages
Microsoft Research Cambridge, public talks
Branching vs. Linear Time: Semantical Perspective
Microsoft Research Cambridge, public talks
CIEL: a universal execution engine for distributed data-flow computing
Microsoft Research Cambridge, public talks
Improving the energy model of stereo matching algorithms
Microsoft Research Cambridge, public talks
Propagation of Rumour Through a Social Network
Microsoft Research Cambridge, public talks
Network Economics seminar / Diffusion and Cascading Behavior in Random Networks
Microsoft Research Cambridge, public talks
Towards Automation of Protein NMR
Microsoft Research Cambridge, public talks
How Hard is Competition for Rank?
Microsoft Research Cambridge, public talks
Software Lock Elision for x86 Machine Code
Microsoft Research Cambridge, public talks
Towards a Non-Commutative Logic of Effects,
Microsoft Research Machine Learning and Perception Seminars
Handling temporal variation of unknown characteristics in streaming data analysis.
Microsoft Research Cambridge, public talks
Lifted Message Passing: A Step Towards Gaining a 'Big Picture' View on AI
Microsoft Research Cambridge, public talks
Realizability and Parametricity in Pure Type Systems: An application
Computer Laboratory Computer Architecture Group Meeting
The RLOC is Dead -- Long Live the RLOC
Microsoft Research Cambridge, public talks
Polynomial Learning of Distribution Families
Microsoft Research Cambridge, public talks
Verification of Imperative Programs Through Characteristic Formulae
Microsoft Research Machine Learning and Perception Seminars
Bayesian Inference with Kernels
Microsoft Research Cambridge, public talks
Bayesian Inference with Kernels
Microsoft Research Cambridge, public talks
How can we model complex ecosystems with stochastic interactions between individuals at different spatial and temporal scales? Some case studies
Microsoft Research Cambridge, public talks
Modelling ecological systems under environmental change.
Microsoft Research Cambridge, public talks
Three Small Steps ... to Reconceiving Machine Learning
Microsoft Research Cambridge, public talks
Using SAT Solvers for Cryptographic Problems
Microsoft Research Cambridge, public talks
Async in Visual Basic and C# - worth the Await!
Microsoft Research Cambridge, public talks
Statistical Significance Analysis of Motif Discovery
Microsoft Research Cambridge, public talks
A relationship-based approach to the verification of multi-object invariants
Microsoft Research Machine Learning and Perception Seminars
Affective Technology
Microsoft Research Cambridge, public talks
Probabilistic models for time-series with different underlying dynamics regimes with application to robot imitation learning
Microsoft Research Cambridge, public talks
Engineering Genetic Circuits
Computer Laboratory Computer Architecture Group Meeting
Welcome meeting
Microsoft Research Cambridge, public talks
Food Webs, and how they got that way
Microsoft Research Cambridge, public talks
SSH: A Case Study of Cryptography in Theory and Practice
Microsoft Research Cambridge, public talks
Testing and fault localization in constraint programs
Microsoft Research Cambridge, public talks
Towards Systematic Design of Enterprise Networks
Microsoft Research Cambridge, public talks
Noise and the two-thirds power law
Microsoft Research Cambridge, public talks
Golden-i, a head-mounted computer
Microsoft Research Cambridge, general interest public talks
Diderot: A Parallel Domain-Specific Language for Image Analysis
Microsoft Research Cambridge, public talks
Frugality in set-system auctions
β οΈ Edith Elkind, Nanyang Technological University, Singapore
Microsoft Research Cambridge, public talks
The Little Engine(s) that could: Scaling Online Social Networks
Computer Laboratory Computer Architecture Group Meeting
Concurrency and Communication: Lessons from the SHIM Project
β οΈ (Re-run of talk given at MSR two weeks ago)
Microsoft Research Cambridge, public talks
Search methods based on Monte-Carlo simulation
Microsoft Research Cambridge, public talks
Information Asymmetries in Pay-Per-Bid Auctions: How Swoopo Makes Bank
Microsoft Research Cambridge, public talks
Concurrency and Communication: Lessons from the SHIM Project
Microsoft Research Cambridge, public talks
Post-Silicon Validation: New Frontiers for Formal Verification Research
Microsoft Research Cambridge, public talks
GPU programming: bugs, pitfalls and the importance of correctness in biomedical and scientific applications
Microsoft Research Cambridge, public talks
Using transformed domains to sparsify Gaussian Processes
Microsoft Research Cambridge, public talks
Using transformed domains to sparsify Gaussian Processes
Microsoft Research Cambridge, public talks
How can we use digital pens in a collaborative environment?
Microsoft Research Cambridge, public talks
Local Action Traces and Abstract Concurrent Separation Logic
Microsoft Research Cambridge, public talks
Frameworks for segmentation, classification, and nonstationary image processing with applications to disease assessment
Microsoft Research Cambridge, public talks
International Workshop on Tractability; 5-6 July 2010
Microsoft Research Cambridge, public talks
Symbolic Techniques in Propositional Satisfiability Solving
Microsoft Research Summer School
Cloud computing for research
Microsoft Research Summer School
To infinity and beyond with nonparametric Bayesian methods
Microsoft Research Summer School
Acquiring syntactic and semantic transformations in question answering
Microsoft Research Summer School
Tracking and localisation for speech and robotics
Microsoft Research Summer School
Communications, Travel and Social Networks since 1840: A Study Using Agent-based Models
Microsoft Research Summer School
Static contract checking for Haskell
Microsoft Research Summer School
From program analysis research to industrial programming language development
Microsoft Research Summer School
From driving to trafficking: the developing view of the user in computer systems design
Microsoft Research Summer School
Microsoft Research Summer School Posters session 3
Microsoft Research Summer School
Simulation and data analysis with Windows Azure
Microsoft Research Summer School
Fun with F#: Solving complex problems with simple code
Microsoft Research Summer School
From data to knowledge
Microsoft Research Summer School
Infer.NET and probabilistic programming
Microsoft Research Summer School
Ten things you donβt know about Microsoft
Microsoft Research Summer School
Molecular programming
Microsoft Research Summer School
Simulating global carbon-climate feedback
Microsoft Research Summer School
Rough guide to being an entrepreneur
Microsoft Research Summer School
Microsoft Research Summer School Posters session 2
Microsoft Research Summer School
How to give a great research talk
Microsoft Research Summer School
Presentation skills
Microsoft Research Summer School
Microsoft Research Summer School Posters session 1
Microsoft Research Summer School
How to write a great research paper
Microsoft Research Cambridge, general interest public talks
Information, Networks and Markets
Microsoft Research Cambridge, public talks
Energy as Syntax - an attempt at a thermodynamical framework for combinatorial molecular networks
Microsoft Research Cambridge, public talks
Geometry of Synthesis: Semantics-directed hardware compilation
Computer Laboratory Computer Architecture Group Meeting
Enabling Runtime Monitoring on Multicores for Performance and Reliability
Microsoft Research Cambridge, public talks
Diffuse Programming
Microsoft Research Cambridge, public talks
Images as Sets of Locally Weighted Features
Microsoft Research Cambridge, public talks
Hermes: Clustering Users in Large-Scale E-mail Services
Microsoft Research Cambridge, public talks
Practical performance models for complex, popular applications
Microsoft Research Cambridge, public talks
Before pixels
Microsoft Research Cambridge, public talks
A proof rule for multi-threaded programs
Microsoft Research Cambridge, public talks
Prof. Robert Nowak, University of Wisconsin; MSR Lectures
Microsoft Research Cambridge, public talks
Derek Dreyer, MPI-SWS; Microsoft Research Lectures
Microsoft Research Cambridge, public talks
On Bayes-Nash implementation of combinatorial auctions: structure and efficiency
Microsoft Research Cambridge, public talks
Abstract Interpretation for Liveness using Metric Spaces
Microsoft Research PhD Scholars
Abstract Interpretation for Liveness using Metric Spaces
Microsoft Research Cambridge, public talks
Visual Computing for Next-Generation Display and Imaging
Microsoft Research Cambridge, public talks
Static Verification of Concurrent Programs using Reduction and Abstraction
Microsoft Research Cambridge, public talks
The State of Secondary Level Computer Science Education in the USA
Microsoft Research Cambridge, public talks
Deep Web Data: Analysis, Extraction, and Modelling
Microsoft Research Cambridge, public talks
On the stability of flow-aware CSMA
Microsoft Research Cambridge, public talks
Incremental Modelling and Verification of the PCI Express Transaction and Data-Link Layers
Microsoft Research Cambridge, public talks
A comparison of some recent task-centric parallel programming models
Microsoft Research Cambridge, public talks
Secrets of the Microsoft SQL Server Query Optimizer
Microsoft Research Cambridge, public talks
Building Algorithms for FPGAs
Microsoft Research Cambridge, public talks
Learning, Planning and Representing Knowledge from Primitive Experience
Microsoft Research Cambridge, public talks
Submodularity and Valued Constraint Satisfaction Problems
Microsoft Research Cambridge, general interest public talks
Towards physical basis for Ambient Intelligence β a critical driver for the future of printed electronics and optoelectronics β βItβs not the materials, itβs the effects talkingβ
Microsoft Research Cambridge, public talks
Opportunistic Spectrum Access with Multiple Users: Learning under Competition
Microsoft Research Cambridge, public talks
Sparse Model Recovery via Iterative Algorithms
Microsoft Research Cambridge, public talks
Proactive Resilience Revisited: Resisting Intrusions means more than Byzantine Fault Tolerance
Microsoft Research Cambridge, public talks
Incremental Modelling and Verification of the PCI Express Transaction and Data-Link Layers
Microsoft Research Cambridge, general interest public talks
Networks in Crisis
β οΈ http://www.gold.ac.uk/design/
Microsoft Research Cambridge, public talks
Abandoning Prenex Clausal Normal Form in QBF Solving
Microsoft Research Cambridge, public talks
Michael Weber, University of Twente; Microsoft Research Lectures
Microsoft Research Cambridge, public talks
Datalog+/- : A Framework for Tractable Query Answering over Ontologies
Microsoft Research Cambridge, public talks
Stationary Subspace Analysis
Microsoft Research PhD Scholars
Literacy and ICT: Social Constructions in the Lives of Low-literate Youth in Ethiopia & Malawi
Microsoft Research Cambridge, public talks
You are not a gadget
Microsoft Research Cambridge, public talks
L_p-Spherically Symmetric and L_p-nested Distributions for Patches of Natural Images
Microsoft Research Cambridge, public talks
Efficient Bayesian Model Comparison with Differential Equations: a Population MCMC Approach via the Thermodynamic Integral
Microsoft Research PhD Scholars
Efficient Bayesian Model Comparison with Differential Equations: a Population MCMC Approach via the Thermodynamic Integral
Microsoft Research Cambridge, public talks
Riemannian Manifold Hamiltonian Monte Carlo
Microsoft Research Cambridge, public talks
Inferring Signaling Pathway Topologies from Multiple Perturbation Measurements of Specific Biochemical Species : A model-based approach
Computer Laboratory Computer Architecture Group Meeting
Accelerator: A data-parallel DSL for programming heterogonous systems
Microsoft Research Cambridge, general interest public talks
Predicting biological functions at different spatial scales: From molecules to ecosystems
Microsoft Research PhD Scholars
Experimental and computational approaches to implicit learning of musical structure
Microsoft Research Cambridge, general interest public talks
8TH INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS MULTIMEDIA (MUM 2009)
Computer Laboratory Computer Architecture Group Meeting
Massively Parallel Processor Array: an FPGA Replacement?
Microsoft Research Cambridge, public talks
Proving the Correctness of Abstract Concurrency Control and Recovery
Microsoft Research Cambridge, public talks
Nesting Transactions: Why and What Do We Need?
Computer Laboratory Computer Architecture Group Meeting
Computer System Emulation using Multiple FPGAs
Microsoft Research PhD Scholars
Value Ordering Heuristics for Quantified Constraint Satisfaction
Microsoft Research Cambridge, general interest public talks
Statistical network analysis in computational genomics
Microsoft Research Cambridge, general interest public talks
Generalized, Efficient Array Decision procedures
Microsoft Research Cambridge, public talks
Data redundancy and maintenance in peer-to-peer file backup systems
Microsoft Research Cambridge, public talks
Use phase signals to promote lifetime extension for desktop PCs
Computer Laboratory Computer Architecture Group Meeting
PWRficient Techniques for Today & Questions for Tomorrow
β οΈ Note unusual time
Microsoft Research Cambridge, general interest public talks
Machine Learning Reveals the Genetic Code Controlling Splicing
Microsoft Research Cambridge, public talks
Towards focusing research and innovations on local needs: If wireless technologies are to connect the wireless continent
Microsoft Research Cambridge, general interest public talks
From Verification to Synthesis
Microsoft Research Cambridge, public talks
Learning Deep Architectures
Microsoft Research Cambridge, public talks
Cops, Crops and Mobile Phones: Machine Learning in Africa
Microsoft Research Summer School
Sustainable energy without the hot air
Microsoft Research Summer School
Giving a good presentation
Microsoft Research Summer School
Introduction to intellectual property
Microsoft Research Summer School
Enabling intelligent management of the environment
Microsoft Research Summer School
Forza, Halo, Xbox Live: The magic of research in products
Microsoft Research Summer School
Systems and networking research at MSR Cambridge
Microsoft Research Summer School
New hardware enabling new user experiences
Microsoft Research Summer School
How to manage your supervisor
Microsoft Research Summer School
WorldWide Telescope - A computational science innovation
β οΈ New time
Microsoft Research Summer School
Tools and services for data intensive research
Microsoft Research Summer School
The executable pathway to biological networks
Microsoft Research Summer School
Principles and applications of refinement types
Microsoft Research Summer School
Hitchhikers guide to machine learning
Microsoft Research Summer School
Rough guide to being an entrepreneur
Microsoft Research Summer School
EU opportunities for young researchers
Microsoft Research Summer School
Hybrids of generative and discriminative models
Microsoft Research Cambridge, public talks
Towards a Network Measurement Science
Microsoft Research Summer School
New kinds of software for new kinds of science
Microsoft Research Summer School
How to give a great research talk
Microsoft Research Summer School
How to write a great research paper
Microsoft Research Cambridge, general interest public talks
Refactoring with Generics
CoSBi Computational and Systems Biology Series
Analyzing the effect of noise on various models of Circadian Clock and Cell Cycle coupling
CoSBi Computational and Systems Biology Series
Topological keystone species: network analysis in modern systems ecology
Microsoft Research Cambridge, general interest public talks
Workshop on Networks, Auctions and Pricing - 1 Day
Microsoft Research Cambridge, general interest public talks
Towards disposable healthcare devices: a paradigm shift
CoSBi Computational and Systems Biology Series
Complexity and Robustness in Colonies of Agents: A Formal Languages and a Game Theory Approach
Microsoft Research Cambridge, general interest public talks
Domain Knowledge Driven Program Analysis
Dr Fabien Petitcolas's list
Semantic Image Segmentation and Web-Supervised Visual Learning
Microsoft Research Cambridge, general interest public talks
Robot Scientists and the automated scientific laboratory
Computer Laboratory Computer Architecture Group Meeting
A Photonic Chip-to-chip Network for C3D
Microsoft Research Symposium
From microscopic to macroscopic descriptions of cell migration on growing domains
Microsoft Research Symposium
Informed matter: The confluence of information processes and material science
Microsoft Research Symposium
Visual search and mining of large scale image collections
Microsoft Research Symposium
Progress on development of a microfluidic robot scientist
Computer Laboratory Computer Architecture Group Meeting
A Communication Characterization of Splash-2 and Parsec
CoSBi Computational and Systems Biology Series
Study disease-causing genes based on protein-protein interaction networks
CoSBi Computational and Systems Biology Series
Stochastic simulation algorithms and analysis of biological systems
CAS FPGA Talks
What is Web 2.0 and how it changes almost everything!
CAS FPGA Talks
TIADC Mismatch Compensation
CoSBi Computational and Systems Biology Series
Model Abstraction Methodology for Temporal Behavior Analysis of Multiscale Biological Systems
CoSBi Computational and Systems Biology Series
Chemotaxis. Do we understand it all?
Computer Laboratory Computer Architecture Group Meeting
Flow-Aware Allocation for On-Chip Networks
β οΈ Note unusual time and venue
Dr Fabien Petitcolas's list
Symbolic Shape Analysis
Microsoft Research Cambridge, general interest public talks
TBC
CoSBi Computational and Systems Biology Series
Dynamics of cell cycle transitions
CoSBi Computational and Systems Biology Series
Exploiting non-Markovian Bio-Processes within BlenX
Computer Laboratory Computer Architecture Group Meeting
Parallel External Memory Model for Multicore Architectures
CoSBi Computational and Systems Biology Series
A parallel perspective of the dynamics of biological reactive systems
CoSBi Computational and Systems Biology Series
KInfer and BetaWB: tools for supporting the modeling workflow of Biological Systems
CoSBi Computational and Systems Biology Series
A Framework study of the NF-kB signalling pathway
CoSBi Computational and Systems Biology Series
On the deduction of chemical reaction rate constants from measurements of time series of concentration
CAS FPGA Talks
FCCM Preview: More FLOPS or More Precision? Accuracy Parameterizable Linear Equation Solvers for Model Predictive Control
CAS FPGA Talks
MRSC Preview: An FPGA-Based Floating Point Solver for Band Structured Linear Equations
Dr Fabien Petitcolas's list
Metadata Management
CAS FPGA Talks
ARC: Practice Talk 2
CoSBi Computational and Systems Biology Series
Evolutionary computation: optimization and inference
CoSBi Computational and Systems Biology Series
Visual systems biology: design, understand, organize
CAS FPGA Talks
ARC Preview: Word-length Optimization and Error Analysis of a Multivariate Gaussian Random Number Generator
CAS FPGA Talks
Challenges in FPGA Research
CAS FPGA Talks
Predicting minimal error bounds through an algorithm
CAS FPGA Talks
Challenges in FPGA Research
Computer Laboratory Computer Architecture Group Meeting
FPGA's NoC Freedom: You bought it, so why not use it
β οΈ Note unusual time and day
Dr Fabien Petitcolas's list
Hydrodynamic simulation of multicellular embryo invagination and its biological predictions
CAS FPGA Talks
More FLOPS or more precision? Accuracy Parameterizable Linear Equation Solvers for Model-Predictive Control
CAS FPGA Talks
Fixed-Point Arithmetic in DSP
CAS FPGA Talks
FPGA architecture optimisation using geometric programming
CoSBi Computational and Systems Biology Series
On Automatic Quantitative Verification of Biological Systems
β οΈ Time changed
CoSBi Computational and Systems Biology Series
BlenX, a language based approach for modelling biological systems
CAS FPGA Talks
FPT Report-Back
CAS FPGA Talks
Best Papers of Autumn Term
CAS FPGA Talks
'A linear algebra framework for automatic determination of optimal data layouts' by Mahmut Kandemir et al.
Dr Fabien Petitcolas's list
Mobile Content-Sharing Applications
CAS FPGA Talks
(FPT Preview) A Transition Probability Based Delay Measurement Method for Arbitrary Circuits on FPGAs
Microsoft Research Computational Science Seminars
From Medical Images to Virtual Physiological Humans
Computer Laboratory Computer Architecture Group Meeting
Optical Interconnect - Tutorial and Initial Thoughts
CAS FPGA Talks
CG: Optimizing FPGA Speed using Custom Precision
CoSBi Computational and Systems Biology Series
Exactness and Approximation of the Stochastic Simulation Algorithm
CoSBi Computational and Systems Biology Series
Colonies of Synchronizing Agents: Computability and Robustness
CAS FPGA Talks
Improving Real-time Observability in Embedded Logic Analysis
CAS FPGA Talks
COMMSYN: On-Chip Communication Architecture Synthesis for Multi-Processor Systems-on-Chip
CAS FPGA Talks
On Logical Masking Effects of Soft Errors
CAS FPGA Talks
A New Approach for Exploring Numerical Accuracy
Microsoft Research Computational Science Seminars
What makes cellular decisions irreversible?
CoSBi Computational and Systems Biology Series
Computational analysis of the connection between cell cycle and circadian rhythm
Computer Laboratory Computer Architecture Group Meeting
Design, Compilation and Runtime Solutions for Energy-Efficient Microprocessors
β οΈ Please note unusual venue, date and time
Computer Laboratory Computer Architecture Group Meeting
Hardware multithreading
CAS FPGA Talks
Accelerating Iterative Methods Using FPGAs
Computer Laboratory Computer Architecture Group Meeting
BEE3: Revitalizing Computer Architecture Research
β οΈ Note unusual time and location
Computer Laboratory Computer Architecture Group Meeting
Two generations of Many-Core Computational Arrays
β οΈ Note unusual time
CAS FPGA Talks
Some Ideas from my Sabbatical
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
CAS FPGA Talks
Fault Tolerance and Reliability in FPGAs
CAS FPGA Talks
Memory and Datapath optimisation for FPGA co-processors
CAS FPGA Talks
An FPGA-based Implementation of the MINRES Algorithm
CAS FPGA Talks
Efficient FPGA Mapping of Gilbert's Algorithm for SVM Training on Large-Scale Classification Problems
CAS FPGA Talks
Report from RSSI
CAS FPGA Talks
Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organisation
CAS FPGA Talks
Low-Power Design for Reconfigurable Computing
Microsoft Research Summer School
Enzymatic computing
Microsoft Research Summer School
Take control or how to manage your supervisor
Microsoft Research Summer School
Posters session 4
Microsoft Research Summer School
In search of the holy grail
Microsoft Research Summer School
How does the Internet work?
Microsoft Research Summer School
Grand challenges in computing
Microsoft Research Summer School
Rough guide to being an entrepreneur
Microsoft Research Summer School
Posters session 3
Microsoft Research Cambridge, general interest public talks
The Geometry of the Space of Shapes
β οΈ Hosted by Prof. Andrew Blake (Microsoft Research)
Microsoft Research Summer School
Mind-reading machines
Microsoft Research Summer School
Posters session 2
Microsoft Research Summer School
How to give a great research talk
Microsoft Research Summer School
How to write a great research paper
Microsoft Research Summer School
Posters session 1
CAS FPGA Talks
From the Horse's Mouth - Architecture of Stratix III
Microsoft Research Computational Science Seminars
Modelling and simulation of biological systems with COPASI
Computer Laboratory Computer Architecture Group Meeting
Combining Scratch-Pad Placement with Loop Parallelisation for FPGAs
Microsoft Research Computational Science Seminars
Structural analysis of cellular networks
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
Microsoft Research Computational Science Seminars
A robustness-based approach to systems-oriented drug design
Microsoft Research Computational Science Seminars
Molecular arms race between host and parasite leads to evolution of robustness against gene loss in signaling networks
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
Microsoft Research Computational Science Seminars
Spatial point process modelling and its applications in ecology
Computer Laboratory Computer Architecture Group Meeting
System Modeling and Dynamic Reconfiguration in Xilinx Research
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
High-Performance Processing with Field-Programmable Logic
β οΈ Note unusual time and place
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
All day seminar: Parallel Computing Everywhere
β οΈ Special one day meeting
Computer Laboratory Computer Architecture Group Meeting
IET/BCS talk: The Internet - Where it came from & where it is going
β οΈ IET/BCS evening talk
Computer Laboratory Computer Architecture Group Meeting
Design for device variability in nano CMOS
Microsoft Research Computational Science Seminars
Statistical mechanics of large optimisation problems
Microsoft Research Machine Learning and Perception Seminars
Physics-Based Human Motion Models for Animation and Tracking
Microsoft Research Machine Learning and Perception Seminars
Bayesian network structure learning from uncertain interventions
Computer Laboratory Computer Architecture Group Meeting
Communicating Process Architecture for Multicores
Microsoft Research Machine Learning and Perception Seminars
Generative models for audio and music processing
Microsoft Research Machine Learning and Perception Seminars
identity variables for face recognition: from distance based methods to probabilistic inference
Microsoft Research Cambridge, general interest public talks
Accelerating Discovery: A Grand Challenge for HCI
Microsoft Research Machine Learning and Perception Seminars
A Bayesian model that links microarray mRNA measurements to mass spectrometry protein measurements
Microsoft Research Machine Learning and Perception Seminars
Motion Tracking
Microsoft Research Machine Learning and Perception Seminars
A complete set of rotationally and translationally invariant features based on a generalization of the bispectrum to non-commutative groups
Microsoft Research Machine Learning and Perception Seminars
Reverse Engineering the Human Visual System with Networks of Spiking Neurons
Microsoft Research Machine Learning and Perception Seminars
Margin- and Evidence-Based Approaches for EEG Signal Classification
Microsoft Research Machine Learning and Perception Seminars
Computer Go Research in the University of Alberta GAMES Group
Microsoft Research Machine Learning and Perception Seminars
Whereβs my rocket? β Stochastic simulations of rocket flight paths
Microsoft Research Machine Learning and Perception Seminars
Learning Conditional Random Fields with Hierarchical Features: Application to the Game of Go
Microsoft Research Machine Learning and Perception Seminars
Constraint Programming Techniques for Virtual Camera Control
Microsoft Research Machine Learning and Perception Seminars
Learning microRNA regulatory networks from genomic sequence and expression data
Please see above for contact details for this list.