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
  • Batten, Christopher
  • Krashinsky, Ronny
  • Asanovic, Krste
  • 2007-01-12
  • MIT-CSAIL-TR-2007-003
  • Krste Asanovic
  • Computer Architecture
  • Morency, Louis-Philippe
  • Quattoni, Ariadna
  • Darrell, Trevor
  • 2007-01-07
  • MIT-CSAIL-TR-2007-002
  • Trevor Darrell
  • Vision
  • Kuncak, Viktor
  • 2007-01-01
  • MIT-CSAIL-TR-2007-001
  • Caratheodory theorem
  • integer linear programming
  • integer cone
  • Hilbert basis
  • Martin Rinard
  • Computer Architecture
  • Pass, Rafael
  • Shelat, Abhi
  • Vaikuntanathan, Vinod
  • 2006-12-14
  • MIT-CSAIL-TR-2006-081
  • Public-key Encryption
  • Non-Malleability
  • Chosen Ciphertext Security
  • Shafi Goldwasser
  • Theory of Computation
  • O'Donnell, Charles W.
  • Suh,, G. Edward
  • Dijk, Marten vn
  • Devadas, Srinivas
  • 2006-12-08
  • MIT-CSAIL-TR-2006-080
  • Security
  • Architecture
  • Trusted Execution
  • Security Analysis
  • Digital Rights Management
  • Srini Devadas
  • Computation Structures
  • Tzanov, Velin K.
  • 2006-12-05
  • MIT-CSAIL-TR-2006-079
  • robotics
  • theory
  • distributed systems
  • Howard Shrobe
  • AIRE
  • Abadi, Daniel J.
  • Myers, Daniel S.
  • DeWitt, David J.
  • Madden, Samuel R.
  • 2006-11-27
  • MIT-CSAIL-TR-2006-078
  • Sam Madden
  • Database
  • Gil, Thomer M.
  • Madden, Samuel
  • 2006-11-27
  • MIT-CSAIL-TR-2006-077
  • database
  • Sam Madden
  • Database
  • McCamant, Stephen
  • Ernst, Michael D.
  • 2006-11-17
  • MIT-CSAIL-TR-2006-076
  • Confidentiality
  • Privacy
  • Information disclosure
  • Tainting
  • Implicit flows
  • Valgrind
  • Memcheck
  • OpenSSH
  • Michael Ernst
  • Program Analysis
  • Morency, Louis-Philippe
  • 2006-11-15
  • MIT-CSAIL-TR-2006-075
  • Trevor Darrell
  • Vision
  • Jung, Jaeyeon
  • Milito, Rodolfo A.
  • Paxson, Vern
  • 2006-11-10
  • MIT-CSAIL-TR-2006-074
  • Hari Balakrishnan
  • Networks & Mobile Systems
  • Paris, Sylvain
  • Durand, Fredo
  • 2006-11-09
  • MIT-CSAIL-TR-2006-073
  • color image processing
  • cross bilateral filter
  • edge-preserving filter
  • Fredo Durand
  • Computer Graphics
  • Bouillaguet, Charles
  • Kuncak, Viktor
  • Wies, Thomas
  • Zee, Karen
  • Rinard, Martin
  • 2006-11-09
  • MIT-CSAIL-TR-2006-072
  • program verification
  • shape analysis
  • multisorted logic
  • Martin Rinard
  • Computer Architecture
  • Finlayson, Mark Alan
  • Winston, Patrick Henry
  • 2006-11-07
  • MIT-CSAIL-TR-2006-071
  • analogical access
  • precedent retrieval
  • intermediate features
  • symbolic computational modelling
  • mere-appearance
  • literally-similar
  • Patrick Winston
  • Genesis
  • Konwar, K.
  • Musial, P.M.
  • Nicolau, N.C.
  • Shvartsman., A.A.
  • 2006-10-12
  • MIT-CSAIL-TR-2006-070
  • Nancy Lynch
  • Theory of Computation
  • Bachrach, Jonathan
  • Beal, Jacob
  • 2006-06
  • MIT-CSAIL-TR-2006-069
  • amorphous computing
  • Howard Shrobe
  • AIRE
  • Torlak, Emina
  • Jackson, Daniel
  • 2006-09-29
  • MIT-CSAIL-TR-2006-068
  • Daniel Jackson
  • Software Design
  • Zhao, Qin
  • Rabbah, Rodric
  • Amarasinghe, Saman
  • Rudolph, Larry
  • Wong, Weng-Fai
  • 2006-09-25
  • MIT-CSAIL-TR-2006-067
  • Performance Monitoring
  • Online Simulation
  • Runtime Optimization
  • Cache Modelling
  • Memory Hierarchy
  • Saman Amarasinghe
  • Computer Architecture
  • Tseng, Jessica H.
  • Asanovic, Krste
  • 2006-09-18
  • MIT-CSAIL-TR-2006-066
  • Krste Asanovic
  • Computer Architecture
  • Artzi, Shay
  • Ernst, Michael D.
  • Glasser, David
  • Kiezun, Adam
  • 2006-09-17
  • MIT-CSAIL-TR-2006-065
  • immutability
  • mutability
  • side effect analysis
  • purity
  • pointer analysis
  • dynamic analysis
  • mutation
  • Michael Ernst
  • 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