| Publication
Title |
LCS
Document Number |
Publication
Author |
LCS
Group |
Publication
Date |
| Subcontracted Rational SFE | MIT-LCS-TM-653 | Lepinski, Matthew | Cryptography and Information Security | 11-2-2005 |
| MPEG-2 in a Stream Programming Language | MIT-LCS-TM-652 | Drake, Matthew | Computer Architecture | 10-22-2005 |
| Exploiting Vector Parallelism in Software Pipelined Loops | MIT-LCS-TM-651 | Larsen, Sam | Computer Architecture | 6-3-2005 |
| File Synchronization with Vector Time Pairs | MIT-LCS-TM-650 | Cox, Russ | Parallel and Distributed Operating Systems | 2-28-2005 |
| Complexity of finding Nash equilibria in 0-1 bimatrix games | MIT-LCS-TM-648 | Abbott, Tim | Cryptography and Information Security | 2-8-2005 |
| The Security Power of the Ballot Box | MIT-LCS-TM-647 | Lepinski, Matt | Cryptography and Information Security | 2-2-2005 |
| Versatility and VersaBench: A New Metric and a Benchmark Suite for Flexible Architectures | MIT-LCS-TM-646 | Rabbah, Rodric M. | Computer Architecture | 6-14-2004 |
| Scalar Operand Networks: Design, Implementation, and Analysis | MIT-LCS-TM-645 | Taylor, Michael Bedford | Computer Architecture | 6-8-2004 |
| Deionizer: A Tool for Capturing and Embedding I/O Cells | MIT-LCS-TM-644 | Taylor, Michael Bedford | Computer Architecture | 6-7-2004 |
| Can Basic ML Techniques Illuminate Rateless Erasure Codes? | MIT-LCS-TM-643 | Gupta, Anjali | Parallel and Distributed Operating Systems | 5-5-2004 |
| A 1020-Node Modular Microphone Array and Beamformer for Intelligent Computing Spaces | MIT-LCS-TM-642 | Weinstein, Eugene | Computer Architecture | 4-14-2004 |
| A Stream Algorithm for the SVD | MIT-LCS-TM-641 | Strumpen, Volker | Computer Architecture | 10-22-2003 |
| Updatable Zero-Knowledge Sets | MIT-LCS-TM-640 | Liskov, Moses | Theory of Computation | 10-14-2003 |
| Electronic Cash with Blind Deposits: How to Have No Spare Change | MIT-LCS-TM-639 | Liskov, Moses | Theory of Computation | 10-14-2003 |
| Execution Model Enforcement Via Program Shepherding | MIT-LCS-TM-638 | Kiriansky, Vladimir | Computer Architecture | 5-20-2003 |
| Scalable Packet Classification Using Bit Vector Aggregating and Folding | MIT-LCS-TM-637 | Li, Ji | Advanced Network Architecture | 4-17-2003 |
| Stream Algorithms and Architecture | MIT-LCS-TM-636 | Henry, Hoffman | Computer Architecture | 3-24-2003 |
| A Theoretical and Practical Approach to Instruction Scheduling on Spatial Architectures | MIT-LCS-TM-635 | S. Mirrokni, Vahab | Computer Architecture | 12-13-2002 |
| Meta Optimization: Improving Compiler Heuristics with Machine Learning | MIT-LCS-TM-634 | Stephenson, Mark | Computer Architecture | 12-3-2002 |
| Plain-Text Aware Encryption Via Public-Key Registration | MIT-LCS-TM-633 | Micali, Silvio | Theory of Computation | 11-20-2002 |
| pStore: A Secure Peer-to-Peer Backup System | MIT-LCS-TM-632 | Batten, Christopher | Computer Architecture | 10-30-2002 |
| Offline Authentication of Untrusted Storage | MIT-LCS-TM-631 | Clarke, Dwaine | Computation Structures | 8-23-2002 |
| A Collision Model for Randomized Routing In Fat-Tree Networks | MIT-LCS-TM-629 | Strumpen, Volker | Computer Architecture | 7-15-2002 |
| How to Build Scalable On-Chip ILP Networks for a Decentralized Architecture | MIT-LCS-TM-628 | Taylor, Michael | RAW | 4-17-2000 |
| A Stream Compiler for Communication-Exposed Architectures | MIT-LCS-TM-627 | Gordon, Michael | Computer Architecture | 3-31-2002 |
| A Note on the Stability Requirements of Adaptive Virtual Queue | MIT-LCS-TM-626 | Katabi, Dina | Advanced Network Architecture | 2-13-2002 |
| Secure Execution Via Program Shepherding | MIT-LCS-TM-625 | Kiriansky, Vladimir | Computer Architecture | 2-4-2002 |
| Efficient View-Dependent Sampling of Visual Hulls | MIT-LCS-TM-624 | Matusik, Wojciech | Computer Graphics | 2-1-2002 |
| An Efficient Visual Hull Computation Algorithm | MIT-LCS-TM-623 | Matusik, Wojciech | Computer Graphics | 2-1-2002 |
| StreamIT: A Complier for Streaming Applications | MIT-LCS-TM-622 | Thies, William | Computer Architecture | 2-12-2002 |
| Techniques for Increasing and Detecting Memory Alignment | MIT-LCS-TM-621 | Larsen, Samuel | Computer Architecture | 11-25-2001 |
| StreaMIT: A Language for Streaming Applications | MIT-LCS-TM-620 | Thies, William | Computer Architecture | 8-6-2001 |
| A Software Framework for Supporting General Purpose Applications on RAW Computation Fabrics | MIT-LCS-TM-619 | Frank, Matthew | Computer Architecture | 7-20-2001 |
| Persona: A Contextualized and Personalized Web Search | MIT-LCS-TM-618 | Mui, Lik | Clinical Decision Making | 5-1-2001 |
| Ratings in Distributed Systems: A Bayesian Approach | MIT-LCS-TM-617 | Mui, Lik | Clinical Decision Making | 5-1-2001 |
| Three Round Zero-Knowledge Using a Proof of Knowledge Assumption | MIT-LCS-TM-616 | Lepinski, Matthew | Cryptography and Information Security | 4-20-2001 |
| Mutually Independent Commitment | MIT-LCS-TM-615 | Liskov, Moses | Theory of Computation | 4-9-2001 |
| Forward-Secure Signatures with Optimal Signing and Verifying | MIT-LCS-TM-614 | Itkis, Gene | Cryptography and Information Security | 4-9-2001 |
| A Unified Framework for Schedule and Storage Optimization | MIT-LCS-TM-613 | Thies, William F. | Computer Architecture | 11-17-2000 |
| Availability Study of Dynamic Voting Algorithms | MIT-LCS-TM-611 | Ingols, Kyle | Theory of Computation | 11-1-2000 |
| A General Framework for Highly Available Services based on Group Communication | MIT-LCS-TM-610 | Fekete, Alan | Theory of Computation | 11-1-2000 |
| Concurrent/Resettable Zero-Knowledge Protocols for NP in the Public Key Model | MIT-LCS-TM-609 | Micali, Silvio | Theory of Computation | 8-14-2000 |
| A New Self-Play Experiment in Computer Chess | MIT-LCS-TM-608 | Heinz, Ernst | Supercomputing Technologies | 5-20-2000 |
| Systematic Testing of Multithreaded Programs | MIT-LCS-TM-607 | Bruening, D. | Computer Architecture | 5-2-2000 |
| Softspec: Software-based Speculative Parallelism | MIT-LCS-TM-606 | Bruering, Derek | Computer Architecture | 4-17-2000 |
| Proving Correctness of a Distributed Shared Memory Implementation | MIT-LCS-TM-603 | Castro, M. | Programming Methodology | 1-4-1999 |
| Bitwidth Analysis with Application to Silicon Compilation | MIT-LCS-TM-602 | Stephenson, Mark | Computer Architecture | 11-12-1999 |
| Exploiting Superword Level Parallelism with Multimedia Instruction Sets | MIT-LCS-TM-601 | Larsen, Samuel | Computer Architecture | 11-18-1999 |
| Strength Reduction of Integer Division and Modulo Operations | MIT-LCS-TM-600 | Amarasinghe, Saman | Computer Architecture | 11-1-1999 |
| A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm | MIT-LCS-TM-597 | Castro, Miguel | Programming Methodology | 6-1-1999 |
