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
  • Stanley-Marbell, Phillip
  • Rinard, Martin
  • 2015-06-04
  • MIT-CSAIL-TR-2015-022
  • Martin Rinard
  • Program Analysis and Compilation
  • Qi, Zichao
  • Long, Fan
  • Achour, Sara
  • Rinard, Martin
  • 2015-05-29
  • MIT-CSAIL-TR-2015-021
  • Martin Rinard
  • Program Analysis and Compilation
  • Qi, Zichao
  • Long, Fan
  • Achour, Sara
  • Rinard, Martin
  • 2015-05-26
  • MIT-CSAIL-TR-2015-020
  • Martin Rinard
  • Program Analysis
  • Long, Fan
  • Rinard, Martin
  • 2015-05-26
  • MIT-CSAIL-TR-2015-019
  • Martin Rinard
  • Program Analysis
  • Sidiroglou-Douskos, Stelios
  • Lahtinen, Eric
  • Rinard, Martin
  • 2015-05-26
  • MIT-CSAIL-TR-2015-018
  • Martin Rinard
  • Program Analysis
  • Kjolstad, Fredrik
  • Kamil, Shoaib
  • Ragan-Kelley, Jonathan
  • Levin, David I.W.
  • Sueda, Shinjiro
  • Chen, Desai
  • Vouga, Etienne
  • Kaufman, Danny M.
  • Kanwar, Gurtej
  • Matusik, Wojciech
  • Amarasinghe, Saman
  • 2015-05-26
  • MIT-CSAIL-TR-2015-017
  • Graphs, Matrices, Tensors, Simulation
  • Saman Amarasinghe
  • Computer Architecture
  • Lynch, Nancy
  • Newport, Calvin
  • 2015-05-18
  • MIT-CSAIL-TR-2015-016
  • Nancy Lynch
  • Theory of Computation
  • Rubin, Julia
  • Gordon, Michael I.
  • Nguyen, Nguyen
  • Rinard, Martin
  • 2015-05-04
  • MIT-CSAIL-TR-2015-015
  • Martin Rinard
  • Program Analysis
  • 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
 
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