Advanced Search
DSpace@MIT

CSAIL Digital Archive

Research and Teaching Output of the MIT Community

CSAIL Digital Archive

Recent Submissions

  • 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 ...
  • Yu, Peng (2016-10-14)
    Over-subscription, that is, being assigned too many tasks or requirements that are too demanding, is commonly encountered in temporal planning problems. As human beings, we often want to do more than we can, ask for things ...
MIT-Mirage