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
  • Richter, Charles
  • Vega-Brown, William
  • Roy, Nicholas
  • 2015-04-27
  • MIT-CSAIL-TR-2015-014
  • Nick Roy
  • Robotics, Vision & Sensor Networks
  • Sidiroglou-Douskos, Stelios
  • Lahtinen, Eric
  • Long, Fan
  • Rinard, Martin
  • 2015-04-15
  • MIT-CSAIL-TR-2015-013
  • Martin Rinard
  • Program Analysis
  • Sidiroglou-Douskos, Stelios
  • Davis, Eli
  • Rinard, Martin
  • 2015-04-14
  • MIT-CSAIL-TR-2015-012
  • program fracture and recombination
  • horizontal code transfer
  • Martin Rinard
  • Program Analysis
  • Beckmann, Nathan
  • Sanchez, Daniel
  • 2015-04-09
  • MIT-CSAIL-TR-2015-011
  • Daniel Sanchez
  • Computation Structures
  • Kim, Been
  • Glassman, Elena
  • Johnson, Brittney
  • Shah, Julie
  • 2015-04-01
  • MIT-CSAIL-TR-2015-010
  • interactive machine learning
  • machine learning
  • user interaction
  • Julie A Shah
  • Interactive Robotics Group
  • Borchardt, Gary C.
  • 2015-03-30
  • MIT-CSAIL-TR-2015-009
  • Boris Katz
  • Infolab
  • Long, Fan
  • Rinard, Martin
  • 2015-03-11
  • MIT-CSAIL-TR-2015-008
  • Program Repair
  • Transformation Schema
  • Condition Synthesis
  • Martin Rinard
  • Computer Architecture
  • Khan, Muhammad Taimoor
  • Serpanos, Dimitrios
  • Shrobe, Howard
  • 2015-03-03
  • MIT-CSAIL-TR-2015-007
  • cyber-security
  • reference-monitor
  • wrappers
  • executable specification
  • Howard Shrobe
  • AIRE
  • Cybersecurity
  • Lynch, Nancy
  • Sastry, Srikanth
  • 2015-03-02
  • MIT-CSAIL-TR-2015-006
  • Nancy Lynch
  • Theory of Computation
  • Feizi, Soheil
  • Quon, Gerald
  • Medard, Muriel
  • Kellis, Manolis
  • Jadbabaie, Ali
  • 2015-02-18
  • MIT-CSAIL-TR-2015-005
  • Network alignment
  • Graph isomorphism
  • Gene regulatory networks
  • Manolis Kellis
  • Computational Biology (Kellis)
  • Long, Fan
  • Qi, Zichao
  • Achour, Sara
  • Rinard, Martin
  • 2015-02-12
  • MIT-CSAIL-TR-2015-004
  • Martin Rinard
  • Computer Architecture
  • Qi, Zichao
  • Long, Fan
  • Achour, Sara
  • Rinard, Martin
  • 2015-02-10
  • MIT-CSAIL-TR-2015-003
  • Automatic Program Repair
  • Patch Analysis
  • Functionality Elimination
  • Martin Rinard
  • Computer Architecture
  • Beckler, Kendra K.
  • 2015-01-31
  • MIT-CSAIL-TR-2015-002
  • Network caching
  • information centric networking
  • Karen Sollins
  • Advanced Network Architecture
  • Banerjee, Ashis Gopal
  • Roy, Nicholas
  • 2015-01-21
  • MIT-CSAIL-TR-2015-001
  • Combinatorial optimization, linear programming, regression, boosting trees, planning
  • Nick Roy
  • Robotics, Vision & Sensor Networks
  • Wang, David
  • Williams, Brian C.
  • 2014-10-24
  • MIT-CSAIL-TR-2014-027
  • timed automata
  • timed concurrent automata
  • temporal planning
  • simple temporal network
  • Brian Williams
  • Model-based Embedded and Robotic Systems
  • Sidiroglou-Douskos, Stelios
  • Lahtinen, Eric
  • Rinard, Martin
  • 2014-10-02
  • MIT-CSAIL-TR-2014-026
  • automatic program repair
  • Martin Rinard
  • Program Analysis
  • Sidiroglou-Douskos, Stelios
  • Lahtinen, Eric
  • Long, Fan
  • Piselli, Paolo
  • Rinard, Martin
  • 2014-09-30
  • MIT-CSAIL-TR-2014-025
  • automatic patching
  • software self-healing
  • Martin Rinard
  • Program Analysis
  • Sidiroglou-Douskos, Stelios
  • Lahtinen, Eric
  • Long, Fan
  • Piselli, Paolo
  • Rinard, Martin
  • 2014-08-11
  • MIT-CSAIL-TR-2014-024
  • Automatic Program Repair
  • Martin Rinard
  • Program Analysis
  • Borchardt, Gary
  • Katz, Boris
  • Nguyen, Hong-Linh
  • Felshin, Sue
  • Senne, Ken
  • Wang, Andy
  • 2014-10-08
  • MIT-CSAIL-TR-2014-022
  • Boris Katz
  • Infolab
  • Sidiroglou-Douskos, Stelios
  • Lahtinen, Eric
  • Rinard, Martin
  • 2014-10-02
  • MIT-CSAIL-TR-2014-021
  • automatic program repair
  • Martin Rinard
  • Program Analysis
 
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