CSAIL Publications and Digital Archive header
bullet Technical Reports bullet Work Products bullet Historical Collections bullet

link to publications.csail.mit.edu link to www.csail.mit.edu horizontal line

CSAIL Technical Reports (July 1, 2003 - present)

<- 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 ->

Title
AuthorDateIdentifierKeywordsAdvisorGroup
  • Ahrens, Peter
  • Schiefer, Nicholas
  • Xu, Helen
  • 2017-06-09
  • MIT-CSAIL-TR-2017-011
  • Randomized Algorithm
  • Sampling Algorithm
  • Autotuning
  • Performance Engineering
  • Numerical Linear Algebra
  • Alan Edelman
  • Theory of Computation
  • Micali, Silvio
  • Vlachos, Georgios
  • 2017-06-05
  • MIT-CSAIL-TR-2017-010
  • Multi-unit auctions
  • Possibilistic beliefs
  • Silvio Micali
  • Theory of Computation
  • Benjamin, Michael R.
  • 2017-05-16
  • MIT-CSAIL-TR-2017-009
  • Autonomy
  • Marine Autonomy
  • Unmanned Surface Vehicles
  • Collision Avoidance
  • Multi-Objective Optimization
  • Interval Programming
  • IvP
  • MOOS-IvP
  • pHelmIvP
  • Collision Regulations
  • Velocity Functions
  • Objective Functions
  • Autonomous Surface Vehicle
  • Autonomous Marine Vehicle
  • Rules of the Road
  • John Leonard
  • Marine Robotics
  • Long, Fan
  • Amidon, Peter
  • Rinard, Martin
  • 2016-07-08
  • MIT-CSAIL-TR-2017-008
  • Martin Rinard
  • Program Analysis and Compilation
  • Anders, Ariel
  • Kaelbling, Leslie
  • Lozano-Perez, Tomas
  • 2017-01-30
  • MIT-CSAIL-TR-2017-007
  • manipulation
  • robotics
  • machine learning
  • belief space
  • planning
  • uncertainty
  • Tomas Lozano-Perez
  • Learning and Intelligent Systems
  • Rinard, Martin
  • Shen, Jiasi
  • 2017-04-24
  • MIT-CSAIL-TR-2017-006
  • Martin Rinard
  • Program Analysis and Compilation
  • Lombardi, Alex
  • Vaikuntanathan, Vinod
  • 2017-04-06
  • MIT-CSAIL-TR-2017-005
  • Indistinguishability Obfuscation
  • Vinod Vaikuntanathan
  • Theory of Computation
  • Micali, Silvio
  • Vaikuntanathan, Vinod
  • 2017-03-31
  • MIT-CSAIL-TR-2017-004
  • Byzantine Agreement
  • Cryptography
  • Honest Majority
  • Vinod Vaikuntanathan
  • Theory of Computation
  • Kjolstad, Fredrik
  • Kamil, Shoaib
  • Chou, Stephen
  • Lugato, David
  • Amarasinghe, Saman
  • 2017-02-17
  • MIT-CSAIL-TR-2017-003
  • Tensor Algebra
  • Linear Algebra
  • Compiler
  • C++ Library
  • Saman Amarasinghe
  • Computer Architecture
  • Rosen, David M.
  • Carlone, Luca
  • Bandeira, Afonso S.
  • Leonard, John J.
  • 2017-02-05
  • MIT-CSAIL-TR-2017-002
  • Simultaneous localization and mapping (SLAM)
  • Maximum-likelihood estimation
  • Convex relaxation
  • Low-rank semidefinite programming
  • Riemannian optimization
  • John Leonard
  • Marine Robotics
  • Yu, Peng
  • 2016-10-14
  • MIT-CSAIL-TR-2017-001
  • planning
  • scheduling
  • constraint relaxation
  • conflict-directed search
  • Brian Williams
  • Model-based Embedded and Robotic Systems
  • Khan, M. Taimoor
  • Serpanos, Dimitrios
  • Shrobe, Howard
  • 2016-12-15
  • MIT-CSAIL-TR-2016-017
  • Howard Shrobe
  • Cybersecurity
  • Lane, Spencer Dale
  • 2016-12-14
  • MIT-CSAIL-TR-2016-016
  • hybrid systems, filtering, activity recognition, qualitative spatial relations
  • Brian Williams
  • Model-based Embedded and Robotic Systems
  • Chajed, Tej
  • Gjengset, Jon
  • Kaashoek, M. Frans
  • Mickens, James
  • Morris, Robert
  • Zeldovich, Nickolai
  • 2016-12-08
  • MIT-CSAIL-TR-2016-015
  • cloud storage
  • global queries
  • user-centric storage
  • sharing
  • web development
  • Frans Kaashoek
  • Parallel and Distributed Operating Systems
  • Finlayson, Mark Alan
  • 2016-11-08
  • MIT-CSAIL-TR-2016-014
  • Linguistic Annotation
  • Annotation Tools & Resources
  • Natural Language Processing
  • Patrick Winston
  • Genesis
  • Lazar, David
  • Zeldovich, Nickolai
  • 2016-10-05
  • MIT-CSAIL-TR-2016-013
  • Nickolai Zeldovich
  • Parallel and Distributed Operating Systems
  • Rock, Colleen T.
  • 2016-09-26
  • MIT-CSAIL-TR-2016-012
  • DMap
  • GMap
  • Auspice
  • Karen Sollins
  • Advanced Network Architecture
  • Perry, Jonathan
  • Balakrishnan, Hari
  • Shah, Devavrat
  • 2016-08-15
  • MIT-CSAIL-TR-2016-011
  • Hari Balakrishnan
  • Networks & Mobile Systems
  • Long, Fan
  • Amidon, Peter
  • Rinard, Martin
  • 2016-07-08
  • MIT-CSAIL-TR-2016-010
  • Martin Rinard
  • Program Analysis and Compilation
  • Jing, Yuxin
  • 2016-06-28
  • MIT-CSAIL-TR-2016-009
  • in-network storage
  • mobility
  • scalability
  • Karen Sollins
  • Advanced Network Architecture
 
horizontal line

MIT logo Computer Science and Artificial Intelligence Laboratory (CSAIL)
The Stata Center, Building 32 - 32 Vassar Street - Cambridge, MA 02139 - USA
tel:+1-617-253-0073 - publications@csail.mit.edu