![[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)
Rowan McAlister, University of California, Berkeley.
Tuesday 25 June 2019, 13:30-14:30
Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB
Contact: No managers listed
0 upcoming talks View 61 archived talks
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
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
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.
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.
Microsoft Research Cambridge, public talks
Engineering the Future: Engineering in Artificial Intelligence at Microsoft Research Cambridge
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.
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.
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
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.
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.
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
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
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
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
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 Proxemic Interactions with Multi-Scale Electric Field Sensing
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 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 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
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
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
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
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
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 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
Please see above for contact details for this list.