Advanced Search
DSpace@MIT

CSAIL Digital Archive

Research and Teaching Output of the MIT Community

CSAIL Digital Archive

Recent Submissions

  • Anders, Ariel; Kaelbling, Leslie; Lozano-Perez, Tomas (2017-01-30)
    A crucial challenge in robotics is achieving reliable results in spite of sensing and control uncertainty. A prominent strategy for dealing with uncertainty is to construct a feedback policy, where actions are chosen as a ...
  • Rinard, Martin; Shen, Jiasi (2017-04-24)
    As modern computation platforms become increasingly complex, their programming interfaces are increasingly difficult to use. This complexity is especially inappropriate given the relatively simple core functionality that ...
  • Lombardi, Alex; Vaikuntanathan, Vinod (2017-04-06)
    Lin and Tessaro (Eprint 2017/250) recently proposed indistinguishability obfuscation and functional encryption candidates and proved their security based on a standard assumption on bilinear maps and a non-standard assumption ...
  • Micali, Silvio; Vaikuntanathan, Vinod (2017-03-31)
    We construct a Byzantine Agreement protocol that tolerates t < n/2 corruptions, is very efficient in terms of the number of rounds and the number of bits of communication, and satisfies a strong notion of robustness called ...
  • Kjolstad, Fredrik; Kamil, Shoaib; Chou, Stephen; Lugato, David; Amarasinghe, Saman (2017-02-17)
    Tensor and linear algebra is pervasive in data analytics and the physical sciences. Often the tensors, matrices or even vectors are sparse. Computing expressions involving a mix of sparse and dense tensors, matrices and ...
MIT-Mirage