Computer Science Colloquium Seminar Series

• CS Colloquia

•  
• Overview
•  
• Other
•  
• View All
•  

Overview

seriesForEvent

• Algorithms, Obstructions, and Beating Exhaustive Search
• Combining different types of biological data to identify regulatory interactions between proteins and DNA
• Computational Regulatory Genomics and Epigenomics in Human, Fly, and Yeast
• Deep Semantics from Shallow Supervision
• Differential Privacy: Recent Developements and Future Challenges
• Evolving the network layer of the Internet
• Formal Verification of Software Infrastructure: From Science to Engineering
• Markov Logic in Machine Reading
• Regaining Control Over Mobile and Cloud Data
• Systems and Algorithms for Computational Photography
• Towards a More Resilient Internet
• Towards a Science for Security

description

• Thursdays at 4:15pm in B17 Upson (Unless otherwise indicated)

Other

members

• A systems approach to studying asymmetric cell division
• Algorithmic Software Verification
• Approximate Inference in Graphical Models using LP Relaxations
• Architecting Protocols to Improve Connectivity in Diverse Mobile Networks
• Architecting Systems Software in a ManyCore World
• Bayesian Inference of Phylogeny and Molecular Evolution
• Cauchy: Towards an Analytical Calculus of Computation
• Computing Outside the Box
• Conway-Walker Series: Surface Computing
• Dilemmas of Privacy and Knowledge
• Exploring the Structure of On-Line Social Networks: The Role of Positive and Negative Interactions
• Grace: Safe Multithreaded Programming for C/C++
• HMMER: a new generation of homology search software
• Hardness of Approximation and Probabilistically Checkable Proofs
• Horizontal Scale in Low-Latency Environments
• Programmable Matter with Self-reconfiguring Robots
• Reintroducing Guarantees in Cloud Computing Systems
• Salton Lecture Series- Moments: Why Cameras Fail to Capture Them and What We Can Do About It
• Salton Lecture Series- Building a Social Networking Future Without Big Brother
• Seminar: Regina Barzilay, MIT
• Side Channels and Clouds: New Challenges in Cryptography
• Side Channels and their Mitigation in Cloud Computing Security
• Support Vector Machines for Structured Output Prediction
• Taming the Scale and Costs of (Really) Large Distributed Systems
• The Barrelfish Operating System for Scalable and Hetrogeneous Multicore Systems
• The Cloud Goes BOOM: Data-Centric Programming for Datacenters
• The Dynamics of Assembly in Biological Networks
• The Power and Weakness of Randomness, When You are Short on Time
• Using Context to Understand Images of People: A Graphical-Model Approach

past semester events

• Using Context to Understand Images of People: A Graphical-Model Approach
• Toward High-level Reasoning in Robotics
• Toward Eyes-Free User Interaction - Leveraging The Cloud For Ubiquitous Access
• The Power and Weakness of Randomness, When You are Short on Time
• The Dynamics of Assembly in Biological Networks
• The Cloud Goes BOOM: Data-Centric Programming for Datacenters
• The Barrelfish Operating System for Scalable and Hetrogeneous Multicore Systems
• Taming the Scale and Costs of (Really) Large Distributed Systems
• Support Vector Machines for Structured Output Prediction
• Sponsored Search Auctions or How Web Search Engines Make Money
• Small-step and Big-step Aspects of Computation (A Walk in the Semantic Park)
• Side Channels and their Mitigation in Cloud Computing Security
• Side Channels and Clouds: New Challenges in Cryptography
• Seminar: Regina Barzilay, MIT
• Salton Lecture Series- Building a Social Networking Future Without Big Brother
• Salton Lecture Series- Moments: Why Cameras Fail to Capture Them and What We Can Do About It
• Rigorous Foundations for Privacy in Statistical Databases
• Reintroducing Guarantees in Cloud Computing Systems
• Reconfigurable Systems
• Qualitative Data-driven Image Understanding
• Programming the Cloud
• Programmable Matter with Self-reconfiguring Robots
• Minimizing Communication in Linear Algebra
• Lessons from the Netflix Prize
• It's About Time: The Function & Evolution of Regulatory Circuits
• Horizontal Scale in Low-Latency Environments
• Hardness of Approximation and Probabilistically Checkable Proofs
• HMMER: a new generation of homology search software
• Grace: Safe Multithreaded Programming for C/C++
• Exploring the Structure of On-Line Social Networks: The Role of Positive and Negative Interactions
• Dilemmas of Privacy and Knowledge
• Conway-Walker Series: Surface Computing
• Computing Outside the Box
• Computer Science as Social Science: The future of the Internet
• Cauchy: Towards an Analytical Calculus of Computation
• Bayesian Inference of Phylogeny and Molecular Evolution
• Architecting Systems Software in a ManyCore World
• Architecting Protocols to Improve Connectivity in Diverse Mobile Networks
• Approximate Inference in Graphical Models using LP Relaxations
• Algorithmic Software Verification
• Adaptive Drama Management: Bringing Machine Learning to Interactive Entertainment
• A systems approach to studying asymmetric cell division