|![[Search]](https://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](https://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](https://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](https://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](https://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
rdm34's list
Add to your list(s)
Send you e-mail reminders
Further detail
A personal list of talks. If you have a question about this list, please contact: Robert Mullins. If you have a question about a specific talk, click on that talk to find its organiser. 3 upcoming talks and 1216 talks in the archive. 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 CryptographyNote 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
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 Synthesishttps://www.microsoft.com/en-us/research/people/dlo/
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
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
Visual, Interactive, and Explainable Human-AI Collaboration
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 PrefetchingNote unusual time
Computer Laboratory Computer Architecture Group Meeting SQuadS: Self-Serve System Services for new Hardware-Software Cooperation
Tenstorrent - building AI/ML accelerators
Computer Laboratory Computer Architecture Group Meeting Wally: Bridging he CPU Education-Implementation GapNote 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 SeriesPlease 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 environmentsPlease 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 IoTFood provided
Microsoft Research Cambridge, public talks Sankie: Using Data to Build Better Systems and ServicesPlease 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 TalkFood 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 strategyFood provided
Technical Talks - Department of Computer Science and Technology Diving into Decentralised communication with Matrix.orgFood provided
Microsoft Research Cambridge, public talks Moonshot Thinking to Unleash Innovation, Dr Pablo Rodriguez - Telefonica Alpha: MSR Cambridge, Lecture SeriesPlease 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 SeriesPlease 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 InstantFood 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 profitFood 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 OpportunitiesFood Provided
Technical Talks - Department of Computer Science and Technology Netcraft: Credit card skimming for fun and profitFood provided
Computer Laboratory Computer Architecture Group Meeting Fast and Efficient Deployment of Security Defenses via Microcode CustomizationNote unusual time and location
Technical Talks - Department of Computer Science and Technology Cisco: How to break the InternetFood Provided
Technical Talks - Department of Computer Science and Technology Building For Scale: How and Why Stripe Built Sorbet, a Type Checker for RubyFood 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 StanleyFood provided
Technical Talks - Department of Computer Science and Technology Palantir - Privacy and Civil Liberties (PCL) & Machine LearningFood provided
Technical Talks - Department of Computer Science and Technology Read Less, Learn More: Extracting Key News ThemesFood provided
Technical Talks - Department of Computer Science and Technology JPMorgan Technology ShowcaseFood provided
Technical Talks - Department of Computer Science and Technology Interactive workshop with Goldman SachsFood provided
Computer Laboratory Computer Architecture Group Meeting The new clang constant interpreter
Technical Talks - Department of Computer Science and Technology Accelerating Machine Learning on ArmFood provided
Technical Talks - Department of Computer Science and Technology Dealing with the 3 V's: Bigger, Faster, WeirderFood 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 LearnedPlease 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 learningPlease 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 SettingsPlease 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 dataPlease 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 ArchitecturesPlease 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 OcadoFood 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 2Please 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 1Please 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.
Open Issues in Build Systems
Frontiers in Artificial Intelligence Series Neural Code Comprehension: A Learnable Representation of Code SemanticsPlease 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 EngineeringFood provided
Technical Talks - Department of Computer Science and Technology Security Engineering @ nCipherFood provided
Technical Talks - Department of Computer Science and Technology Digital Technology & Personalised MedicineFood provided
Technical Talks - Department of Computer Science and Technology IMC Tech TalkFood provided
Technical Talks - Department of Computer Science and Technology Designing Electronics for low-latency Trading SystemsFood 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 LearningFood 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 FleetFood provided
Technical Talks - Department of Computer Science and Technology How to Break the InternetFood and drinks provided
Technical Talks - Department of Computer Science and Technology The King ecosystem beyond games; a deep dive into solutions that scaleFood provided
Technical Talks - Department of Computer Science and Technology Declarative Software Design in PythonLunch provided
Technical Talks - Department of Computer Science and Technology Goldman Sachs: Banking with Bots – Machine Learning and Natural Language ProcessingFood provided
Technical Talks - Department of Computer Science and Technology Transforming Retail with Machine LearningFood provided
Technical Talks - Department of Computer Science and Technology Creating a Real Time data & ML pipeline for Smart Cities, Mobility & InfrastructureLunch provided
Technical Talks - Department of Computer Science and Technology Preparing for a life that’s not just codeFood provided
Technical Talks - Department of Computer Science and Technology How to Build an ExchangeFood provided
Technical Talks - Department of Computer Science and Technology Systemic Design (or Building Toys) in GamesFood 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 ShowcaseFood provided
Technical Talks - Department of Computer Science and Technology All Things DataFood provided
Technical Talks - Department of Computer Science and Technology HackerRank workshopLunch 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 HealthcareFood provided
Technical Talks - Department of Computer Science and Technology Facebook – Crush Your Coding WorkshopLunch provided
Technical Talks - Department of Computer Science and Technology HashingLunch provided
Technical Talks - Department of Computer Science and Technology Dev-Ops. what does it really mean?Food provided
Simulation for Intelligent SystemsPlease 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 FinalsPlease 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 RuntimesNote 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 futurePlease 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 ProgramPlease 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 ProgramsNote 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 usefulPlease 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 TypesPlease 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
The Biomaker Challenge: an introduction
Microsoft Research Cambridge, public talks AI and Healthcare Open Evening at Microsoft Research
Microsoft Research Cambridge, public talks Composition and Inheritance in Declarative Configuration LanguagesPlease 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 LanguagesPlease 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 ReductionNote 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 LearningPlease 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 LearningPlease 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 LearningPlease 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 TSEPlease 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 verifierPlease 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 verifierPlease 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 PaxosPlease 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 DataPlease 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 migrationPlease 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 migrationPlease 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 secondPlease 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 confirmedSign up at Fb.me/Cambridgetechtalk16
Technical Talks - Department of Computer Science and Technology Scala: How to sneak Haskell design patterns into industry codePlease 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 DefensesPlease 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 SensingNote unusual time and venue. Talk follows 14:00 to 14:45 talk.
Computer Laboratory Computer Architecture Group Meeting Barrier-Aware Warp Scheduling for Throughput ProcessorsNote unusual time
Microsoft Research Cambridge, public talks Verifying Constant-Time ImplementationsPlease 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 ParallelismPlease 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 NUMAPlease 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 SLOsPlease 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 PerformancePlease 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 ProblemPlease 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 ProblemPlease 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 RuntimePlease 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 sentencesPlease 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 RationalityPlease 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 BugsPlease 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 DistributionsPlease 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 displaysPlease 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 ApplicationsPlease 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 analyzerPlease 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 ModelsPlease 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 DataPlease 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 systemsPlease 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 ThrillPlease 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-occlusionsPlease 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 ProtocolsPlease 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 environmentsPlease 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 dayFood provided so please register for the talk so that we can gauge numbers.
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 VerificationPlease 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 & ProfitRegister 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 ReliabilityCancelled
Technical Talks - Department of Computer Science and Technology Adding Security Activities to AgileFood provided so please register for the talk so that we can gauge numbers.
Technical Talks - Department of Computer Science and Technology nShield HSMsFood 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 updatesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SchedulingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 MiningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 PrologThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SupercloudThis event may be recorded and made available internally or externally via http://research.microsoft.com. 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 EfficiencyNote unusual time and venue
Microsoft Research Cambridge, public talks Giorgia Azzurra Marson
Microsoft Research Cambridge, public talks Solving Second-Order Constraints with Program SynthesisThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 Impacttalkscam@microsoft.com
Microsoft Research Cambridge, public talks Bonsai: Reactive Tools for Data ScienceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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-TrackingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AppearanceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 StructuresThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 COMPUTINGThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 HealthCareThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 runtimesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 systemsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 constraintsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 HaskellThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 DatacentersThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ApplicationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 tensorsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 Infrastructureso This event may be recorded and made available internally or externally via http://research.microsoft.com. 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 DescriptionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 learningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SensingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 ResourcesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ActivitiesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 2015This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 NetworkThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 IdeationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 worldsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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’ BaggageThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 RefinementThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 attacksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 languagesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ApplicationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AttacksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 KnowledgeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 PlatformsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 InductionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 perspectiveThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ConcurrencyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ConcurrencyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AdaptationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 selectionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 identityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 ArtifactsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AssistantThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 memoryThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 EnvironmentThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AnalyticsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 ModelsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 HealthcareThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 WebThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 HardwareNote 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-HardnessThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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.GPUThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 HaskellThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 RendererThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 storiesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 PrologThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SystemThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AuctionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 mapsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 VideosThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 DataThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SplinesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 generationNote unusual time
Microsoft Research Machine Learning and Perception Seminars Local Deep Kernel Learning for Efficient Non-linear SVM PredictionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 MonitorsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 FrameworkThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 PredictionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 MachinesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ModelsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 modelsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SwitchingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 FreeBSDThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ImagesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 FunctionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 CambridgeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 algebraThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 StoresThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 verificationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 VerificationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 platformsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 TalkThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 PaperThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ReasoningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 WitnessesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 WorkshopThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 replicationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SuccessThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 GraphsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 InfographicsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 VerificationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 CodeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 StorytellingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 InterpretationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 RetrievalThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 webcamsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 StorytellingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 networksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 VisualizationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SustainabilityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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} RegretThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ProvisioningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 DimensionalityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SystemsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AbstractionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 recognitionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 PassingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 InfrastructureThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ArtThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 MethodologiesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 LearningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 connectomeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 centuryThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 IdentificationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AuctionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 callsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 CrowdsourcingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AvailabilityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ArchitecturesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 programmingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ChargingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 ideasThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 visionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Reinventing EducationNOTE 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 AnalysisThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 MemoryThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 flowThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 GraphicsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ElectionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 SystemsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 loopThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ConsistencyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 DifferentiationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AcceleratorsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SystemsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 PriorThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ArtThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 systemThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 importancesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 approachThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 approachThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 solversThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AnnotationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ProcessingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AbstractThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 optimizationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 PoliciesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 FieldThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 LanguageThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 CSThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 RealityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 MerlinThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 PagesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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! StrategiesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 CourseThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 BeyondThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ContainersThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ApproachThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ChannelsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 CoqThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 moveThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ProcessesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 GameThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 FusionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 QualityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 FramesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 RecognitionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 LunchThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 principlesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ProgrammingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 FactorizationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 InferenceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 TsinghuaNote unusual time
Microsoft Research Cambridge, public talks SWAN: Software-driven wide area networkThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 RefutationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 DomainsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ProgramsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ProgramsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 demonstrationNote unusual time and venue
Microsoft Research Machine Learning and Perception Seminars Noise estimation by PDE-constrained optimisationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 metalThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 PlatformThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 ConstraintsNote unusual time and venue
Computer Laboratory Computer Architecture Group Meeting Exposing Fine-grain Concurrency in Sequential code with a Dataflow Compiler IRNote unusual time and venue
Microsoft Research Cambridge, public talks MSR-Lecture: Generative Models of Images of ObjectsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 ModellingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ComputingThis event may be recorded and made available internally or externally via http://research.microsoft.com. 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 concurrencyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 CollectionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 researchNote unusual time
Microsoft Research Cambridge, public talks Theory and Practice of Mix-NetsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 EasyCryptThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 FrameworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 CorrectnessThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 JobsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 MechanismsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ComplexityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 StructuresThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 WilsonThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 LanguagesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ProfitThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ZooThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ProgrammingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ArchitectureThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 BudgetThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 InteractionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 FamilyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ProgramsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 LearningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 RadiosThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 InternetThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ComputationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 MechanismsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 LearningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SystemsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ProgramsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 genomeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 LandThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AmazonThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 InferenceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 GraphsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 phenologyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 regionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 programmingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ResourcesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 servicesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 GamesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 VisibleThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ReasoningThis event may be recorded and made available internally or externally via http://research.microsoft.com. 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 agendaThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 testingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 InnovationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 scaleThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 GroupThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 theoremThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 robotsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 BackThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 PoliciesThis event may be recorded and made available internally or externally via http://research.microsoft.com. 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 ApproachThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 FactorisationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 meansThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 InferenceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ToolsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 Retrievalo This event may be recorded and made available internally or externally via http://research.microsoft.com. 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 ProcessorsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ProofsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 InterpretationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 RecognitionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 NeedThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 DetectionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 probabilityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 DetectionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SynthesisThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SystemThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 GamesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 LookaheadsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 ComplexityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 collectionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ProgramsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 KernelsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 LossThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 conferenceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 RobustThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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# TutorialThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 DevicesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ScienceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 talkThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 paperThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SearchThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 goodThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SearchThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AnalysisThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 societyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 TheatreThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 worldThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 dilemmasThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ContentThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 HuntThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 DefenceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 InteractionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 LearnedThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 BiddersThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 prioritizationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 searchThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 CrowdsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 marketsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AnalysisThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ChangeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ConstructionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SmartphonesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 MoreThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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-IndexThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 GamesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 GamesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 UnderstandingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ImagesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SciductionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SandboxingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 CloudThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 techniquesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 producersThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 LearningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ApproachThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SystemsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 guessingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 Structureso This event may be recorded and made available internally or externally via http://research.microsoft.com. 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 LearningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 implementationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 economicsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ComplexityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ComplexityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SystemThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 LifespanThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 VerificationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 DetectedThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ComputationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 technologiesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 researchThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 futureThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 presentationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 beyondThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 OptimisationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SimulinkNote unusual location
Microsoft Research Cambridge, public talks A joint part- and pixel-wise approach to human pose estimationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SystemsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 MindsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 LearningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 GamesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 dataThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 gridThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 grido This event may be recorded and made available internally or externally via http://research.microsoft.com. 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 AcceleratorsNote unusual time
Microsoft Research Cambridge, public talks Towards Practical Randomization in Concurrent Data StructuresThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 CryptographyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 assessmentsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 plansThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SubmodularityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 CreativityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AssistantThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 radiosurgeryThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 storageThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 PotentialThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SoftwareThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ErrorsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 signallingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 DataflowThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 DevelopmentNote unusual day
Microsoft Research Machine Learning and Perception Seminars Closing the gap between weakly and fully supervised methodsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 AbstractionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 StatementsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ParallelismThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 PhotographsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 dataThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 OptimizationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 SchemaThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 RelationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 reasoningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 modelsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 sleuthThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 IndiaThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 GroupNew meeting time
Microsoft Research Machine Learning and Perception Seminars Exclusive Pólya Urns and their applicationso This event may be recorded and made available internally or externally via http://research.microsoft.com. 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 TasksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 OptimisationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SolversThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ProtocolThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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`eresThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 MatchingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 ApplicationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 SegmentationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 ChromebookNote 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 dataThis event may be recorded and made available internally or externally via http://research.microsoft.com. 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 RegistrationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 ApplicationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 TypesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 BrainThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 cellsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 systemsNote unusual time
Microsoft Research Cambridge, public talks A Language for Type-Safe Web ProgrammingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 SystemsNote unusual time and location
Computer Laboratory Computer Architecture Group Meeting Hardware Protection for Trusted SoftwareNote unusual time
Microsoft Research Cambridge, public talks Probing the basis of neuronal branchingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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‐OrganizationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own 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 ControlThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 FormationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 conferenceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 entrepreneurThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks GadgeteerThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 captureThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 philosophyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 careerThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of 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 talkThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 SPARCNote unusual time and location
Microsoft Research Cambridge, public talks How to write a great research paperThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft 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 SVPNote 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 simulationRoom 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 Cambridge, public talks Bayesian Inference with Kernels
Microsoft Research Machine Learning and Perception Seminars 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 auctionsEdith 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 Computer science (Cancelled)Cancelled
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 Crisishttp://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 TomorrowNote 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 Internships uncovered...New time
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 Scientific computing on .NETNew time and day
Microsoft Research Summer School WorldWide Telescope - A computational science innovationNew 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 Challenges in refactoringNew time
Microsoft Research Summer School Interactive mattingNew time
Microsoft Research Summer School Generative face models for image understandingNew time
Microsoft Research Summer School Scalable display architecturesNew time
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
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
From microscopic to macroscopic descriptions of cell migration on growing domains
Informed matter: The confluence of information processes and material science
Visual search and mining of large scale image collections
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
What is Web 2.0 and how it changes almost everything!
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 NetworksNote unusual time and venue
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
Parallel Computation of the Phylogenetic Likelihood Kernel in HW and SW
CoSBi Computational and Systems Biology Series KInfer and BetaWB: tools for supporting the modeling workflow of Biological Systems
Static scheduling of SDRAM commands using constraint logic programming
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
FCCM Preview: More FLOPS or More Precision? Accuracy Parameterizable Linear Equation Solvers for Model Predictive Control
MRSC Preview: An FPGA-Based Floating Point Solver for Band Structured Linear Equations
CoSBi Computational and Systems Biology Series Evolutionary computation: optimization and inference
CoSBi Computational and Systems Biology Series Visual systems biology: design, understand, organize
ARC Preview: Word-length Optimization and Error Analysis of a Multivariate Gaussian Random Number Generator
ARC Preview: Heterogeneous Architecture Exploration: Analysis vs Parameter Sweep
Challenges in FPGA Research
Multiplication Without Multipliers: Algorithms, Applications, and Extensions
Predicting minimal error bounds through an algorithm
Challenges in FPGA Research
Computer Laboratory Computer Architecture Group Meeting FPGA's NoC Freedom: You bought it, so why not use itNote unusual time and day
Hydrodynamic simulation of multicellular embryo invagination and its biological predictions
More FLOPS or more precision? Accuracy Parameterizable Linear Equation Solvers for Model-Predictive Control
Fixed-Point Arithmetic in DSP
FPGA architecture optimisation using geometric programming
CoSBi Computational and Systems Biology Series On Automatic Quantitative Verification of Biological SystemsTime changed
Transforming image processing algorithms for efficient FPGA implementation
CoSBi Computational and Systems Biology Series BlenX, a language based approach for modelling biological systems
'A linear algebra framework for automatic determination of optimal data layouts' by Mahmut Kandemir et al.
Mobile Content-Sharing Applications
Heterogeneous Architecture Exploration: Analysis vs. Parameter sweep
(FPT Preview) Optimizing Coarse-Grained Units in Floating Point Hybrid FPGAs
(FPT Preview) Modelling and Compensating for Clock Skew Variability in FPGAs
(FPT Preview) A Transition Probability Based Delay Measurement Method for Arbitrary Circuits on FPGAs
(FPT Preview) Co-optimisation of Datapath and Memory in Outer Loop Pipelining
(FPT Preview) A Scalable FPGA Architecture for Non-linear SVM Training
Microsoft Research Computational Science Seminars From Medical Images to Virtual Physiological Humans
Computer Laboratory Computer Architecture Group Meeting Optical Interconnect - Tutorial and Initial Thoughts
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
Improving Real-time Observability in Embedded Logic Analysis
COMMSYN: On-Chip Communication Architecture Synthesis for Multi-Processor Systems-on-Chip
On Logical Masking Effects of Soft Errors
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
Wirelength Modeling for Homogeneous and Heterogeneous FPGA Architectural Development
Computer Laboratory Computer Architecture Group Meeting Design, Compilation and Runtime Solutions for Energy-Efficient MicroprocessorsPlease note unusual venue, date and time
Computer Laboratory Computer Architecture Group Meeting Hardware multithreading
Accelerating Iterative Methods Using FPGAs
Computer Laboratory Computer Architecture Group Meeting BEE3: Revitalizing Computer Architecture ResearchNote unusual time and location
Developing analytical techniques for FPGA architecture design
Computer Laboratory Computer Architecture Group Meeting Two generations of Many-Core Computational ArraysNote unusual time
Some Ideas from my Sabbatical
Computer Laboratory Computer Architecture Group Meeting G: A high-level packet processing language with a high-speed FPGA-based implementationNote unusual day and time
Fault Tolerance and Reliability in FPGAs
Memory and Datapath optimisation for FPGA co-processors
Four Important Concepts to Consider when Using Multicore Clusters
Combining Data Reuse Exploitation with Data-Level Parallelization for FPGA-Targeted Hardware Compilation: A Geometric Programming Framework
An FPGA-based Implementation of the MINRES Algorithm
Efficient FPGA Mapping of Gilbert's Algorithm for SVM Training on Large-Scale Classification Problems
Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organisation
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 ShapesHosted 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
Investigating I/O & Memory Bandwidth trade-offs for Iterative Algorithms’
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 MachinesNote unusual time
Computer Laboratory Computer Architecture Group Meeting Xilinx ChipScope TutorialNote - 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. communicationNote 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 ResearchNote unusual time
Computer Laboratory Computer Architecture Group Meeting High-Performance Processing with Field-Programmable LogicNote 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 SoCsNote unusual time
Computer Laboratory Computer Architecture Group Meeting Reading group: Revisiting the Sequential Programming Model for the Multicore EraNote unusual time
Computer Laboratory Computer Architecture Group Meeting Designing Circuits with Parallel Programslast hardwrae discussion of the year
Computer Laboratory Computer Architecture Group Meeting All day seminar: Parallel Computing EverywhereSpecial one day meeting
Computer Laboratory Computer Architecture Group Meeting IET/BCS talk: The Internet - Where it came from & where it is goingIET/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. |
Other listsChurchill Archives Centre Cambridge University Surgical Society Meeting the Challenge of Healthy Ageing in the 21st CenturyOther talksComputing knot Floer homology Open as a Tool to Change Ecosystems Rethinking African Studies: The Wisdom of the Elders What You Don't Know About God Using Inclusive Design to Focus on User Experience (UX) LARMOR LECTURE - Exoplanets, on the hunt of Universal life Sneks long balus A new proposal for the mechanism of protein translocation Single Cell Seminars (August) Active bacterial suspensions: from individual effort to team work Big and small history in the Genizah: how necessary is the Cairo Genizah to writing the history of the Medieval Mediterranean? |
Alex Zinenko.
Wednesday 12 February 2025, 16:00-20:00