Computer Science and Artificial Intelligence Laboratory (CSAIL)

Thesis Defense: Automated intrusion recovery for web applications

jfischer@mit.edu — Thu, 23 May 2013 14:59:59 +0000

Automated intrusion recovery for web applications

Web applications play a critical role in users' lives today, making them

an attractive target for attackers. New vulnerabilities are routinely

found in web application software, and even if the software is bug-free,

administrators may make security mistakes such as misconfiguring

permissions; these bugs and mistakes virtually guarantee that every

application will eventually be compromised. To clean up after a

Thesis Defense: Mechanism Design: a new algorithmic framework

jfischer@mit.edu — Tue, 14 May 2013 17:57:55 +0000

Abstract:

Aaronson promoted to Associate Professor with Tenure

patsys@mit.edu — Sun, 12 May 2013 13:42:36 +0000

Doctoral Thesis Title: Manipulation with Diverse Actions

jfischer@mit.edu — Mon, 22 Apr 2013 14:35:09 +0000

Abstract: We define the Diverse Action Manipulation (DAMA) problem in which we are given a mobile robot, a set of movable objects, and a set of diverse, possibly non-prehensile manipulation actions, and the objective is to find a sequence of actions that moves each of the objects to a goal configuration. We argue that classic sampling-based techniques cannot solve DAMA problems because of the need to move through lower-dimensional subspaces, and we give two sampling-based algorithms for this problem, DARRT and DARRTConnect, based on the RRT and RRTConnect algorithms respectively.

Indyk, Katabi selected for top ACM Awards

patsys@mit.edu — Tue, 09 Apr 2013 21:25:33 +0000

Recognized for their contributions to Computer Science

Building tomorrow's more capable robots - with small steps first

patsys@mit.edu — Wed, 27 Mar 2013 16:41:16 +0000

Building tomorrow's robots that can handle changing environments and unknowns will require designing a system that constantly calculates these uncertainties.

Michelle Goodstein - "A New Framework for Analyzing Parallel Programs at Runtime" (EECS Special Seminar)

doughty@mit.edu — Mon, 25 Mar 2013 19:43:50 +0000

Despite the best efforts of programmers and programming systems researchers, software bugs continue to be problematic. This talk will focus on a new framework for performing dynamic (runtime) parallel program analysis. Existing dynamic analysis tools have focused on monitoring sequential programs. Parallel programs are susceptible to a wider range of possible errors than sequential programs, making them even more in need of online monitoring. Unfortunately, monitoring parallel applications is difficult due to inter-thread data dependences and relaxed memory consistency models.

Vinod Vaikuntanathan - "Computing on Encrypted Data" (EECS Special Seminar)

doughty@mit.edu — Mon, 25 Mar 2013 19:40:03 +0000

The basic nature of encryption has always been all-or-nothing: anyone
who knows the secret key can decode and recover the entire data; but,
without the key, nothing can be revealed.

Modern technologies such as cloud computing raise fundamentally new
challenges: Can we compute on encrypted data without decrypting it,
and without knowledge of the secret key? Which functions can be computed
this way? Who can learn the results of such computations?

Szolovits honored with Collen Award of Excellence in biomedical informatics

patsys@mit.edu — Fri, 22 Mar 2013 18:18:10 +0000

Robot mobility hits the pavement - with new found stability

patsys@mit.edu — Thu, 21 Mar 2013 16:55:17 +0000

More Than Moore OpensThe New Semiconductor World

valeried@mit.edu — Tue, 19 Mar 2013 15:32:47 +0000

PLEASE NOTE: THIS SEMINAR HAS BEEN CANCELED.
Tuesday, April 2nd, 2013, 34-101, @4pm. Refreshments @ 3:45pm.
More Than Moore OpensThe New Semiconductor World

Berners-Lee wins first Queen Elizabeth Prize for Engineering

patsys@mit.edu — Mon, 18 Mar 2013 15:43:11 +0000

Honored for inventing the World Wide Web

Rob Miller is selected as 2013 MacVicar Faculty Fellow

patsys@mit.edu — Fri, 15 Mar 2013 13:48:44 +0000

Professor Rob Miller is one of four MIT faculty selected as 2013 MacVicar Faculty Fellow for outstanding undergraduate teaching, mentoring and educational innovation.

Goldwasser and Micali win Turing Award - Team honored for revolutionizing the science of cryptography.

patsys@mit.edu — Wed, 13 Mar 2013 13:52:42 +0000

DBSeer: a new system to address cloud computing inefficiencies

patsys@mit.edu — Wed, 13 Mar 2013 12:21:31 +0000

Researchers working with EECS faculty member and CSAIL principal investigator Samuel Madden, are developing a new system called DBSeer to address the realities of cloud computing -- particularly database applications requiring over expenditure for hardware.