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
  • 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
  • Sarmenta, Luis F. G.
  • van Dijk, Marten
  • O'Donnell, Charles W.
  • Rhodes, Jonathan
  • Devadas, Srinivas
  • 2006-09-11
  • MIT-CSAIL-TR-2006-064
  • trusted storage
  • key delegation
  • stored-value
  • e-wallet
  • smartcard
  • memory integrity checking
  • certified execution
  • Srini Devadas
  • Computation Structures
  • Caponnetto, Andrea
  • Yao, Yuan
  • 2006-09-10
  • MIT-CSAIL-TR-2006-063
  • CBCL-265
  • optimal rates, Learning, regularization methods, adaptation, cross-validation
  • Tomaso Poggio
  • Center for Biological and Computational Learning (CBCL)
  • Caponnetto, Andrea
  • 2006-09-10
  • MIT-CSAIL-TR-2006-062
  • CBCL-264
  • optimal rates, regularized least-squares algorithm, regularization methods, adaptation
  • Tomaso Poggio
  • Center for Biological and Computational Learning (CBCL)
  • Kiezun, Adam
  • Ernst, Michael D.
  • Tip, Frank
  • Fuhrer, Robert M.
  • 2006-09-05
  • MIT-CSAIL-TR-2006-061
  • Michael Ernst
  • Program Analysis
  • Canetti,, Ran
  • Cheung,, Ling
  • Kaynar,, Dilsun
  • Liskov,, Moses
  • Lynch,, Nancy
  • Pereira,, Olivier
  • Segala, Roberto
  • 2006-09-05
  • MIT-CSAIL-TR-2006-060
  • Nancy Lynch
  • Theory of Computation
  • Tschantz, Matthew S.
  • 2006-09-05
  • MIT-CSAIL-TR-2006-059
  • assignable
  • languages
  • mutable
  • readonly
  • type system
  • verification
  • Michael Ernst
  • Program Analysis
  • Fergus, Rob
  • Torralba, Antonio
  • Freeman, William T.
  • 2006-09-02
  • MIT-CSAIL-TR-2006-058
  • William Freeman
  • Vision
  • Monteleoni, Claire E.
  • 2006-09-01
  • MIT-CSAIL-TR-2006-057
  • Tommi Jaakkola
  • Tommi's Machine Learning
 
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