Research

Impact Areas
Research Areas

Filter options

20 Group Results

Research Center

Center for Deployable Machine Learning (CDML)

The MIT Center for Deployable Machine Learning (CDML) works towards creating AI systems that are robust, reliable and safe for real-world deployment.

+5

Aleksander Madry

Leads

Aleksander Madry

Research Areas

Algorithms & Theory

Graphics & Vision

Human-Computer Interaction

Programming Languages & Software Engineering

Security & Cryptography

Impact Areas

Lead

Aleksander Madry

Aleksander Madry

Community of Research

Cognitive AI Community of Research

This CoR aims to develop AI technology that synthesizes symbolic reasoning, probabilistic reasoning for dealing with uncertainty in the world, and statistical methods for extracting and exploiting regularities in the world, into an integrated picture of intelligence that is informed by computational insights and by cognitive science.

+6

Howard Shrobe

Leads

Howard Shrobe

Research Areas

Human-Computer Interaction

Security & Cryptography

Systems & Networking

Impact Areas

Lead

Howard Shrobe

Howard Shrobe

Research Group

Computation Structures Group

Our mission is fostering the creation and development of high-performance, reliable and secure computing systems that are easy to interact with.

+21

Leads

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

Research Areas

Computer Architecture

Programming Languages & Software Engineering

Security & Cryptography

Systems & Networking

Impact Areas

Lead

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

Community of Research

Computing & Society Community of Research

This community is interested in understanding and affecting the interaction between computing systems and society through engineering, computer science and public policy research, education, and public engagement.

+8

Daniel Weitzner

Leads

Daniel Weitzner

Research Areas

Algorithms & Theory

Human-Computer Interaction

Security & Cryptography

Systems & Networking

Impact Areas

Internet of Things

Lead

Daniel Weitzner

Daniel Weitzner

Research Group

Data Systems Group

We conduct research on all areas of database systems and information management.

+15

Leads

Sam Madden

Michael Stonebraker

Tim Kraska

Research Areas

Programming Languages & Software Engineering

Security & Cryptography

Systems & Networking

Impact Areas

Lead

Sam Madden

Michael Stonebraker

Tim Kraska

Research Group

Decentralized Information Group

We are investigating decentralized technologies that affect social change.

+5

Lalana Kagal

Tim Berners-Lee

Leads

Lalana Kagal

Tim Berners-Lee

Research Areas

Algorithms & Theory

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Internet of Things

Lead

Lalana Kagal

Tim Berners-Lee

Lalana Kagal

Tim Berners-Lee

Community of Research

Human-Computer Interaction Community of Research

The focus of the HCI CoR is inventing new systems and technology that lie at the interface between people and computation, and understanding their design, implementation, and societal impact.

+4

Stefanie Mueller

Leads

Stefanie Mueller

Research Areas

Graphics & Vision

Human-Computer Interaction

Programming Languages & Software Engineering

Impact Areas

Lead

Stefanie Mueller

Stefanie Mueller

Research Group

Lecturers

Lecturers in CSAIL

Leads

Research Areas

Algorithms & Theory

Security & Cryptography

Systems & Networking

Impact Areas

Research Group

MIT App Inventor

MIT App Inventor is an intuitive, visual programming environment that allows everyone – even children – to build fully functional apps for smartphones and tablets.

Hal Abelson

Leads

Hal Abelson

Research Areas

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Internet of Things

Lead

Hal Abelson

Hal Abelson

Research Group

Multicore Algorithmics

We develop techniques for designing, implementing, and reasoning about multiprocessor algorithms, in particular concurrent data structures for multicore machines and the mathematical foundations of the computation models that govern their behavior.

Nir Shavit

Leads

Nir Shavit

Research Areas

Algorithms & Theory

Systems & Networking

Impact Areas

Lead

Nir Shavit

Nir Shavit

Research Group

Networks at MIT

We build new protocols and architectures to improve the robustness and performance of computer networks. We develop practical solutions in wireless networks, network security, traffic engineering, congestion control, and routing.

Dina Katabi

Leads

Dina Katabi

Research Areas

Systems & Networking

Impact Areas

Internet of Things

Lead

Dina Katabi

Dina Katabi

Research Group

Networks and Mobile Systems

We conduct research in many areas of networking: wireless networks, Internet architecture and protocols, overlay and peer-to-peer networks, sensor networks, network security, and networked systems.

Mohammad Alizadeh

Hari Balakrishnan

Leads

Mohammad Alizadeh

Hari Balakrishnan

Research Areas

Systems & Networking

Impact Areas

Lead

Mohammad Alizadeh

Hari Balakrishnan

Mohammad Alizadeh

Hari Balakrishnan

Research Group

Parallel and Distributed Operating Systems

We at PDOS build and investigate software systems for parallel and distributed environments.

+5

Leads

Frans Kaashoek

Robert Morris

Nickolai Zeldovich

Adam Belay

Research Areas

Systems & Networking

Impact Areas

Lead

Frans Kaashoek

Robert Morris

Nickolai Zeldovich

Adam Belay

Research Group

Sensing, Learning and Inference

We develop scalable algorithms for analysis of complex, high-dimensional data.

+6

John Fisher

Leads

John Fisher

Research Areas

Graphics & Vision

Impact Areas

Internet of Things

Lead

John Fisher

John Fisher

Research Group

Sussman Lab

We focus on understanding the problem-solving strategies used by scientists and engineers, with the goals of automating parts of the process and formalizing educational methods.

Gerald Sussman

Leads

Gerald Sussman

Research Areas

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Lead

Gerald Sussman

Gerald Sussman

Community of Research

Systems Community of Research

The Systems CoR is focused on building and investigating large-scale software systems that power modern computers, phones, data centers, and networks, including operating systems, the Internet, wireless networks, databases, and other software infrastructure.

+21

Sam Madden

Leads

Sam Madden

Research Areas

Computer Architecture

Programming Languages & Software Engineering

Security & Cryptography

Systems & Networking

Impact Areas

Internet of Things

Lead

Sam Madden

Sam Madden

Research Group

Usable Programming Group

We design and study systems that improve the learnability, efficiency, and safety of software development.

Rob Miller

Leads

Rob Miller

Research Areas

Human-Computer Interaction

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Lead

Rob Miller

Rob Miller

Community of Research

Vertical AI Community of Research

This CoR takes a unified approach to cover the full range of research areas required for success in artificial intelligence, including hardware, foundations, software systems, and applications.

+7

Martin Rinard

Leads

Martin Rinard

Research Areas

Algorithms & Theory

Graphics & Vision

Programming Languages & Software Engineering

Security & Cryptography

Systems & Networking

Impact Areas

Internet of Things

Lead

Martin Rinard

Martin Rinard

Research Group

Weiss Laboratory for Synthetic Biology

The Weiss Lab seeks to create integrated biological systems capable of autonomously performing useful tasks, and to elucidate the design principles underlying complex phenotypes.

Leads

Research Areas

Computational Biology

Systems & Networking

Impact Areas

Research Group

World Wide Web Consortium

Led by Web inventor and Director, Tim Berners-Lee and CEO Jeff Jaffe, the W3C focus is on leading the World Wide Web to its full potential by developing standards, protocols and guidelines that ensure the long-term growth of the Web

Leads

Tim Berners-Lee

Jeffrey Jaffe

Judy Brewer

Research Areas

Human-Computer Interaction

Systems & Networking

Impact Areas

Lead

Tim Berners-Lee

Jeffrey Jaffe

Judy Brewer

15 Project Results

Project

A Counterfactual Simulation Model of Causal Judgment

Computational Cognitive Science Group

Cognitive AI Community of Research

We develop a computational model that explains how people make causal judgments in physical scenes by mentally simulating counterfactual outcomes and comparing those to what actually happened.

Leads

Research Areas

Graphics & Vision

Impact Areas

Project

AIRvatar System: A Framework for Analyzing Virtual Identities

Imagination, Computation, and Expression Laboratory (ICE Lab)

Human-Computer Interaction Community of Research

AIRvatar is a system that telemetrically collects and analyzes fine-grained data on users’ virtual identities and the process used to create them.

D. Fox Harrell

Leads

D. Fox Harrell

Research Areas

Graphics & Vision

Human-Computer Interaction

Impact Areas

D. Fox Harrell

Project

The Car Can Explain!

Decentralized Information Group

Cognitive AI Community of Research

Computing & Society Community of Research

Developing techniques to allow self-driving cars and other AI-driven systems to explain behaviors and failures.

Gerald Sussman

Lalana Kagal

Leads

Gerald Sussman

Lalana Kagal

Research Areas

Human-Computer Interaction

Systems & Networking

Impact Areas

Gerald Sussman

Lalana Kagal

Project

Crowdsourcing in Graphics and Vision

Computational Design and Fabrication Group

Our goal is to develop new applications and algorithms that leverage the skills of distributed crowdworkers, notably for image and video processing applications.

Alexandre Kaspar

Leads

Alexandre Kaspar

Research Areas

Graphics & Vision

Human-Computer Interaction

Impact Areas

Alexandre Kaspar

Project

Data Civilizer

Data Systems Group

Data scientists universally report that they spend at least 80% of their time finding data sets of interest, accessing them, cleaning them and assembling them into a unified whole.

Michael Stonebraker

Sam Madden

Leads

Michael Stonebraker

Sam Madden

Research Areas

Programming Languages & Software Engineering

Security & Cryptography

Systems & Networking

Impact Areas

Michael Stonebraker

Sam Madden

Project

Denial of Service Mitigation through Protocol Design

Advanced Network Architecture Group

Computing & Society Community of Research

We aim to better understand the features of network protocols that facilitate denial of service attacks, in order to design more robust protocols and architectures in the future and evaluate existing designs more accurately.

Karen Sollins

Leads

Karen Sollins

Research Areas

Security & Cryptography

Systems & Networking

Impact Areas

Karen Sollins

Project

EQ-Radio: Emotion Recognition using Wireless Signals

Networks at MIT

Vertical AI Community of Research

EQ-Radio can infer a person’s emotions using wireless signals. It transmits an RF signal and analyzes its reflections off a person’s body to recognize his emotional state (happy, sad, etc.).

Dina Katabi

Leads

Dina Katabi

Research Areas

Systems & Networking

Impact Areas

Internet of Things

Dina Katabi

Project

Geometry in Large-Scale Machine Learning

Machine Learning

Data often has geometric structure which can enable better inference; this project aims to scale up geometry-aware techniques for use in machine learning settings with lots of data, so that this structure may be utilized in practice.

Justin Solomon

Stefanie Jegelka

Leads

Justin Solomon

Stefanie Jegelka

Research Areas

Graphics & Vision

Impact Areas

Internet of Things

Justin Solomon

Stefanie Jegelka

Project

Reliable and Robust Machine Learning

Algorithms Group

We work towards a principled understanding of the current machine learning toolkit and making this toolkit be robust and reliable.

+4

Aleksander Madry

Leads

Aleksander Madry

Research Areas

Algorithms & Theory

Graphics & Vision

Security & Cryptography

Impact Areas

Aleksander Madry

Project

Secure Public-Key Distribution

Computation Structures Group

Our work aims to ensure nobody's listening in on your online activities, whether you are doing online banking or texting your friends via WhatsApp.

Leads

Research Areas

Security & Cryptography

Systems & Networking

Impact Areas

Project

Securing IoT

Model-Based Embedded and Robotics Systems Group

Cognitive AI Community of Research

IoT devices primarily use free embedded Linux which has many security flaws. We are conducting penetration tests on IoT and developing a secure version of embedded Linux.

Howard Shrobe

Leads

Howard Shrobe

Research Areas

Security & Cryptography

Systems & Networking

Impact Areas

Internet of Things

Howard Shrobe

Project

Solid: Social Linked Data

Decentralized Information Group

Cognitive AI Community of Research

Computing & Society Community of Research

Solid aims to radically change the way Web applications work today, resulting in true data ownership as well as improved privacy.

Tim Berners-Lee

Lalana Kagal

Leads

Tim Berners-Lee

Lalana Kagal

Research Areas

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Internet of Things

Tim Berners-Lee

Lalana Kagal

Project

Tiramisu Compiler

A polyhedral compiler for expressing image processing, DNN, and linear/tensor algebra applications

Saman Amarasinghe

Leads

Saman Amarasinghe

Research Areas

Computer Architecture

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Internet of Things

Saman Amarasinghe

Project

Vuvuzela: Metadata private messaging

Parallel and Distributed Operating Systems

Vuvuzela is the first messaging system that provides differential privacy for users' metadata.

Nickolai Zeldovich

Leads

Nickolai Zeldovich

Research Areas

Security & Cryptography

Systems & Networking

Impact Areas

Nickolai Zeldovich

Project

Where Are They Looking?

Our goal is to build a system that predicts where people are looking in images. Given an image and the location of a head, our approach follows the gaze of the person and identifies the object being looked at.

Leads

Research Areas

Graphics & Vision

Impact Areas

23 People Results

Jonathan Behrens

Graduate Student

E behrensj@mit.edu

RM 32-G978B

Member

Noria: a new data-flow system for web applications

Parallel and Distributed Operating Systems

Tej Chajed

Graduate Student

PhD student in systems

E tchajed@csail.mit.edu

RM 32-G978B

Lead

FSCQ: File-system verification

Member

Parallel and Distributed Operating Systems

PhD student in systems

PI
Core/Dual

Adam Chlipala

Associate Professor

Programming languages, formal methods, security & privacy, systems

E adamc@csail.mit.edu

T 324-8439

RM

Lead

Kami: A Modular Deductive Hardware Verification Platform

Compilation Using Correct-by-Construction Program Synthesis

Programming Languages & Verification

Hemiola: Structural Design and Proof of Cache-Coherence Protocols

Member

Compilation Using Correct-by-Construction Program Synthesis

Programming with spaces

Computation Structures Group

FSCQ: File-system verification

Systems Community of Research

Programming languages, formal methods, security & privacy, systems

PI
Core/Dual

David Clark

Senior Research Scientist

Internet architectures, communications policy, security

E ddc@csail.mit.edu

T 253-6003

RM

Lead

Advanced Network Architecture Group

Internet Policy Research Initiative

Member

Computing & Society Community of Research

Systems Community of Research

Internet architectures, communications policy, security

Mustafa Doga Dogan

Graduate Student

E doga@mit.edu

RM

Member

HCI Engineering Group

PI
Core/Dual

Fredo Durand

Professor

Vision, graphics, computational photography

E fredo@csail.mit.edu

T 253-7223

RM

Lead

Computer Graphics Group

Human-Computer Interaction

Computational Understanding of Visualizations and Graphic Designs

Member

Computational Bounce Flash for Indoor Portraits

Visual Computing Community of Research

Vision, graphics, computational photography

Gregory Falco

Research Affiliate

Dr. Falco is a hacker and expert in IoT and IIoT cybersecurity.

E gfalco@mit.edu

Dr. Falco is a hacker and expert in IoT and IIoT cybersecurity.

PI
Core/Dual

Shafi Goldwasser

Professor

Theory, cryptography, cybersecurity, complexity

E shafi@csail.mit.edu

T 253-5914

RM

Lead

Cryptography and Information Security Group

Complexity Theory Group

Member

Computation Structures Group

Computational Connectomics Group

Theory of Computation Community of Research

Theory, cryptography, cybersecurity, complexity

PI
Core/Dual

Frans Kaashoek

Professor

Systems, networks, architectures

E kaashoek@csail.mit.edu

T 253-7149

RM

Lead

Parallel and Distributed Operating Systems

Scaling Filesystems To Many Cores

Member

Noria: a new data-flow system for web applications

Computation Structures Group

FSCQ: File-system verification

Systems Community of Research

Systems, networks, architectures

PI
Core/Dual

Lalana Kagal

Principal Research Scientist

Privacy, web decentralization, distributed data

E lkagal@csail.mit.edu

T 253-5845

RM

Lead

Decentralized Information Group

The Car Can Explain!

Internet Policy Research Initiative

Solid: Social Linked Data

PrivacyML - A Privacy Preserving Framework for Machine Learning

Member

Computing & Society Community of Research

Cognitive AI Community of Research

Privacy, web decentralization, distributed data

PI
Core/Dual

David Karger

Professor

Helping people manage information

E karger@csail.mit.edu

T 258-6167

RM

Lead

Human-Computer Interaction

Algorithms Group

Mavo: Creating Interactive Data-Driven Web Applications by Authoring HTML

Wikum: Bridging Discussion Systems and Wikis with Collective Summarization

Squadbox: Combating Online Harassment using Friendsourced Moderation

Eyebrowse: Social and Public Web Browsing

Talkademic: Motivating Online Academic Discourse

Member

Human-Computer Interaction Community of Research

Theory of Computation Community of Research

Systems Community of Research

Helping people manage information

PI
Core/Dual

Dina Katabi

Professor

Wireless, networks, machine learning

E dina@csail.mit.edu

T 324-6027

RM

Lead

Networks at MIT

EQ-Radio: Emotion Recognition using Wireless Signals

Member

Vertical AI Community of Research

Wireless, networks, machine learning

Fern Keniston

Senior Administrative Assistant

Research and Education Support

E fern@csail.mit.edu

T 253-5860

RM 32/ 32-250A/ 391

Member

Clinical Decision-Making Group

Research and Education Support

PI
Core/Dual

Sam Madden

Professor

Systems for processing and manipulating data

E madden@csail.mit.edu

T 258-6643

RM

Lead

Data Systems Group

Aurum: Large Scale Data Discovery

System that Learns From IoT

Autonomous Vehicle Databases

Building a Scalable Database for Autonomous Vehicles

Chameleon: Using Machine Learning to Make Databases Faster!

Systems Community of Research

Video Data Querying

Starling: Query Optimization for Cloud Services

Member

Aurum: Large Scale Data Discovery

Computation Structures Group

Systems for processing and manipulating data

PI
Core/Dual

Martin Rinard

Professor

Systems, programming languages and verification

E rinard@csail.mit.edu

T 258-6922

RM

Lead

Vertical AI Community of Research

Member

Computation Structures Group

Center for Deployable Machine Learning (CDML)

Systems Community of Research

Systems, programming languages and verification

PI
Core/Dual

Ronald Rivest

Institute Professor

Cryptography, cybersecurity, RSA public-key encryption

E rivest@mit.edu

T 253-5880

RM

Lead

Cryptography and Information Security Group

Member

Theory of Computation Community of Research

Computing & Society Community of Research

Cryptography, cybersecurity, RSA public-key encryption

PI
Core/Dual

Daniela Rus

Director

CSAIL director, robotics, AI, data science, privacy

E rus@csail.mit.edu

T 258-7567

RM 32/ 32-368/ 374

Lead

Distributed Robotics Laboratory

Social Network Extraction from GPS Datasets with Coresets

Safety Standards for Autonomous Vehicles

Soft Contact Modeling

Practical Secure Computation

Self-Driving Vehicles

Robust Learning for Autonomous Vehicles

Brain-Controlled Robots

Planning in Congestion for Autonomous Vehicles

Socially-Compliant Behavior for Autonomous Driving

Coresets for Machine Learning Algorithms

M-Blocks Modular Robotics

Distributed Robot Garden

Route and Motion Planning for Mobility-on-Demand with Rules of the Road

Member

Social Network Extraction from GPS Datasets with Coresets

Task-Driven Co-Optimization Of Articulated Robots

Wearable Blind Navigation

Drones that Drive

Better Models for Ride-Sharing

SoFi - The Soft Robotic Fish

Controlling drones and other robots with gestures

Using Muscle Signals to Lift Objects with Robots

Embodied Intelligence Community of Research

Helping robots learn using demonstrations

CSAIL director, robotics, AI, data science, privacy

Malte Schwarzkopf

Research Affiliate

E malte@csail.mit.edu

Lead

Noria: a new data-flow system for web applications

Member

Parallel and Distributed Operating Systems

Dishita Turakhia

Graduate Student

PhD student in HCIE group at CSAIL

E dishita@mit.edu

RM

Member

HCI Engineering Group

PhD student in HCIE group at CSAIL

Yu Wang

Graduate Student

E wangyu9@mit.edu

RM 32-D475A

Member

Geometric Data Processing Group

Geometry and topology for scientific computing and shape analysis

PI
Core/Dual

Daniel Weitzner

Principal Research Scientist

Web policy, cybersecurity, web architecture

E djweitzner@csail.mit.edu

T 253-8036

RM

Lead

Internet Policy Research Initiative

Keys Under Doormats

Computing & Society Community of Research

Member

Data Systems Group

Web policy, cybersecurity, web architecture

Mengjia Yan

Assistant Professor

Harware Security, Computer Architecture

E mengjia@csail.mit.edu

RM

Harware Security, Computer Architecture

PI
Core/Dual

Nickolai Zeldovich

Associate Professor

Operating systems, hardware, programming languages

E nickolai@csail.mit.edu

T 253-6005

RM

Lead

Parallel and Distributed Operating Systems

Scaling Filesystems To Many Cores

Vuvuzela: Metadata private messaging

Member

Computation Structures Group

FSCQ: File-system verification

Systems Community of Research

Operating systems, hardware, programming languages

10 News Results

Barbara Liskov 2

Algorithms & Theory AI & ML Computational Biology Computer Architecture Graphics & Vision Human-Computer Interaction Programming Languages & Software Engineering Robotics Security & Cryptography Systems & Networking Cybersecurity Education Energy Entertainment Health Care Manufacturing Transportation Wireless

June 27 '19

CSAIL hosts first-ever TEDxMIT

Speakers — all women — discuss everything from gravitational waves to robot nurses

CSAIL hosts first-ever TEDxMIT

3d printed mosculp

Graphics & Vision Education Entertainment

September 19 '18

Creating 3-D-printed “motion sculptures” from 2-D videos

CSAIL system could help athletes, dancers, and others better analyze how they move

Creating 3-D-printed “motion sculptures” from 2-D videos

Given an image of someone doing yoga, the system can generate an image of them doing golf (and vice versa)

AI & ML Graphics & Vision Education

June 18 '18

Put any person in any pose

MIT CSAIL neural network could be used by coaches to help players see themselves using the correct form

Put any person in any pose

Amy zhang

Programming Languages & Software Engineering Systems & Networking Education

April 05 '18

Using friends to fight online harassment

CSAIL’s “Squadbox” uses “friendsourcing” to better support targets of cyberbullying.

Using friends to fight online harassment

Shafi

Algorithms & Theory Programming Languages & Software Engineering Systems & Networking Cybersecurity

December 11 '17

Goldwasser gives briefing on cryptography to Congress

Last week CSAIL principal investigator Shafi Goldwasser spoke about cryptography and privacy as part of the annual congressional briefing of the American Mathematical Society (AMS) and the Mathematical Sciences Research Institute (MSRI).

Goldwasser gives briefing on cryptography to Congress

At the Usenix Symposium on Networked Systems Design and Implementation, researchers from MIT’s Computer Science and Artificial Intelligence Laboratory will present a new system for allocating bandwidth in data center networks.

Systems & Networking Internet of Things Wireless

March 28 '17

Faster page loads

A webpage today is often the sum of many different components. A user’s home page on a social-networking site, for instance, might display the latest posts from the users’ friends; the associated images, links, and comments; notifications of pending messages and comments on the user’s own posts; a list of events; a list of topics currently driving online discussions; a list of games, some of which are flagged to indicate that it’s the user’s turn; and of course the all-important ads, which the site depends on for revenues.

Faster page loads

New untraceable text-messaging system comes with statistical guarantees.

Security & Cryptography Systems & Networking Cybersecurity

December 07 '15

Untraceable text messages - guaranteed

Anonymity networks, which sit on top of the public Internet, are designed to conceal people’s Web-browsing habits from prying eyes. The most popular of these, Tor, has been around for more than a decade and is used by millions of people every day.

Untraceable text messages - guaranteed

How artificial intelligence can be used to sift through thousands of pages of tax law to root out shady tax-shelters.

AI & ML Security & Cryptography Systems & Networking Big Data Cybersecurity

October 17 '15

Tax-evading corporations, watch out: our AI knows what you're doing

CSAIL researchers recently helped develop "STEALTH," a system that uses artificial intelligence to combat tax evasion by corporations.

Tax-evading corporations, watch out: our AI knows what you're doing

Formally verified working file system could lead to computers guaranteed never to lose your data.

Security & Cryptography Systems & Networking Cybersecurity

August 24 '15

Crash-proof computer systems

In a computer operating system, the file system is the part that writes data to disk and tracks where the data is stored. If the computer crashes while it’s writing data, the file system’s records can become corrupt. Hours of work could be lost, or programs could stop working properly.At a symposium this fall, MIT researchers will present the first file system that is mathematically guaranteed not to lose track of data during crashes. Although the file system is slow by today’s standards, the techniques the researchers used to verify its performance can be extended to more sophisticated designs. Ultimately, formal verification could make it much easier to develop reliable, efficient file systems.

Crash-proof computer systems

Systems & Networking Education

October 09 '14

MOOCS - who is likely to drop out and why?

By crunching 130 million mouse-clicks, two CSAIL researchers have developed a machine-learning model that can predict with surprising accuracy whether or not a MOOC student will drop out of a given course.

MOOCS - who is likely to drop out and why?