| Publication
Title |
LCS
Document Number |
Publication
Author |
LCS
Group |
Publication
Date |
| Automatic Software Upgrades for Distributed Systems | MIT-LCS-TR-1012 | Ajmani, Sameer | Programming Methodology | 11-30-2005 |
| Accurate and Scalable Surface Representation and Reconstruction from Images | MIT-LCS-TR-1011 | Zeng, Gang | Computer Graphics | 11-18-2005 |
| On Field Constraint Analysis | MIT-LCS-TR-1010 | Wies, Thomas | Computer Architecture | 11-3-2005 |
| Towards Realizing the Performance and Availability Benefits of a Global Overlay Network | MIT-LCS-TR-1009 | Rahul, Hariharan | Networks and Mobile Systems | 11-1-2005 |
| Using Cyclic Memory Allocation to Eliminate Memory Leaks | MIT-LCS-TR-1008 | Nguyen, Huu Hai | Computer Architecture | 10-26-2005 |
| Knowledge Flow Analysis for Security Protocols | MIT-LCS-TR-1007 | Torlak, Emina | Software Design | 10-19-2005 |
| Victim Migration: Dynamically Adapting Between Private and Shared CMP Caches | MIT-LCS-TR-1006 | Zhang, MIchael | Computer Architecture | 10-10-2005 |
| Automatic Software Upgrades for Distributed Systems | MIT-LCS-TR-1005 | Ajmani, Sameer | Programming Methodology | 10-6-2005 |
| Automatic Software Upgrades for Distributed Systems (PhD thesis) | MIT-LCS-TR-1004 | Ajmani, Sameer | Programming Methodology | 10-6-2005 |
| Secondary Structure Prediction of All-Helical Proteins Using Hidden Markov Support Vector Machines | MIT-LCS-TR-1003 | Gassend, B. | Computation Structures | 10-6-2005 |
| Combining diagrammatic and symbolic reasoning | MIT-LCS-TR-1002 | Arkoudas, Konstantine | Program Analysis | 10-6-2005 |
| Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol | MIT-LCS-TR-1001 | Canetti, Ran | Theory of Distributed Systems | 8-19-2005 |
| Using Probabilistic I/O Automata to Analyze an Oblivious Transfer | MIT-LCS-TR-1001a | Canetti, Ran | Theory of Distributed Systems | 12-14-2005 |
| Slicing the Onion: Anonymous Routing Without PKI | MIT-LCS-TR-1000 | Katti, Sachin | Networks and Mobile Systems | 8-15-2005 |
| Self-Stabilizing Mobile Node Location Management and Message | MIT-LCS-TR-999 | Dolev, Shlomi | Theory of Distributed Systems | 8-11-2005 |
| Implementing Probabilistically Checkable Proofs of Proximity | MIT-LCS-TR-998 | Bhattacharyya, Arnab | Complexity Theory | 8-8-2005 |
| On Algorithms and Complexity for Sets with Cardinality Constraints | MIT-LCS-TR-997 | Marnette, Bruno | Computer Architecture | 8-3-2005 |
| How to Construct a Correct and Scalable iBGP Configuration | MIT-LCS-TR-996 | Vutukuru, Mythili | Networks and Mobile Systems | 8-3-2005 |
| Proving Atomicity: An Assertional Approach | MIT-LCS-TR-995 | Chockler, Gregory | Theory of Computation | 7-22-2005 |
| Byzantine Clients Rendered Harmless | MIT-LCS-TR-994 | Liskov, Barbara | Programming Methodology | 7-21-2005 |
| Etna: a Fault-tolerant Algorithm for Atomic Mutable DHT Data | MIT-LCS-TR-993 | Muthitacharoen, Athicha | Parallel and Distributed Operating Systems | 6-15-2005 |
| Autonomous Virtual Mobile Nodes | MIT-LCS-TR-992 | Dolev, Shlomi | Theory of Computation | 6-15-2005 |
| Automatic Test Factoring for Java | MIT-LCS-TR-991 | Saff, David | Program Analysis | 6-8-2005 |
| Theoretical Analysis of Geographic Routing in Social Networks | MIT-LCS-TR-990 | Kumar, Ravi | Theory of Computation | 6-3-2005 |
| A Region-based Architecture for Service-Providing Distributed Systems | MIT-LCS-TR-989 | Singh, Neha | Advanced Network Architecture | 5-17-2005 |
| Efficient, Verifiable Binary Sandboxing for a CISC Architecture | MIT-LCS-TR-988 | McCamant, Stephen | Program Analysis | 5-2-2005 |
| De-Emphasis of Distracting Image Regions Using Texture Power Maps | MIT-LCS-TR-987 | Su, Sara L. | Computer Graphics | 4-12-2005 |
| Motion Coordination Using Virtual Nodes | MIT-LCS-TR-986 | Lynch, Nancy | Theory of Computation | 4-6-2005 |
| On Relational Analysis of Algebraic Datatypes | MIT-LCS-TR-985 | Kuncak, Viktor | Computer Architecture | 4-5-2005 |
| Wait-free Regular Storage from Byzantine Components | MIT-LCS-TR-984 | Abraham, Ittai | Theory of Distributed Systems | 4-5-2005 |
| Matrix Approximation and Projective Clustering via Iterative Sampling | MIT-LCS-TR-983 | Rademacher, Luis | Algorithms | 3-29-2005 |
| Impossibility of boosting distributed service resilience | MIT-LCS-TR-982 | Attie, Paul | Theory of Computation | 2-25-2005 |
| Stable Policy Routing with Provider Independence | MIT-LCS-TR-981 | Feamster, Nick | Networks and Mobile Systems | 2-8-2005 |
| Consensus in Wireless Ad Hoc Networks | MIT-LCS-TR-980 | Chockler, G. | Theory of Computation | 2-8-2005 |
| Virtual Stationary Automata for Mobile Networks | MIT-LCS-TR-979 | Dolev, Shlomi | Theory of Computation | 1-21-2005 |
| How Much of a Hypertree can be Captured by Windmills? | MIT-LCS-TR-978 | Liang, Percy | Algorithms | 1-3-2005 |
| A Dynamic Data Structure for Checking Hyperacyclicity | MIT-LCS-TR-977 | Liang, Percy | Algorithms | 1-3-2005 |
| Machine-Checkable Correctness Proofs forIntra-procedural Dataflow Analyses | MIT-LCS-TR-976 | Salcianu, Alexandru | Program Analysis | 12-16-2004 |
| On Decision Procedures for Set-Value Fields | MIT-LCS-TR-975 | Kuncak, Viktor | Computer Architecture | 11-30-2004 |
| Availability-Consistency Trade-Offs in a Fault-Tolerant Stream Processing System | MIT-LCS-TR-974 | Balazinska, Magdalena | Networks and Mobile Systems | 11-22-2004 |
| Capacity Allocation in Wireless LANs | MIT-LCS-TR-973 | Tan, Godfrey | Networks and Mobile Systems | 11-12-2004 |
| The Quorum Deployment Problem | MIT-LCS-TR-972 | Gilbert, Seth | Theory of Computation | 10-29-2004 |
| Managing the 802.11 Energy/Performance Tradeoff with Machine Learning | MIT-LCS-TR-971 | Monteleoni, Claire | Networks and Mobile Systems | 10-27-2004 |
| On Spatial Conjunction as Second-Order Logic | MIT-LCS-TR-970 | Kuncak, Viktor | Computer Architecture | 10-25-2004 |
| Botz-4-Sale: Surviving Organized DDoS Attacks that Mimic Flash Crowds | MIT-LCS-TR-969 | Kandula, Srikanth | Networks and Mobile Systems | 10-22-2004 |
| Eclat: Automatic Generation and Classification of Test Inputs | MIT-LCS-TR-968 | Pacheo, Carlos | Program Analysis | 10-14-2004 |
| NIRA: A New Internet Routing Architecture | MIT-LCS-TR-967 | Yang, Xiaowei | Advanced Network Architecture | 10-14-2004 |
| Implementing Asynchronous Distributed Systems Using the IOA Toolkit | MIT-LCS-TR-966 | Georgiou, Chryssis | Theory of Computation | 10-6-2004 |
| On Our Experience with Modular Pluggable Analyses | MIT-LCS-TR-965 | Lam, Patrick | Computer Architecture | 10-4-2004 |
| Comparing Network Coding with Multicommodity Flow for the k-pairs Communication Problem | MIT-LCS-TR-964 | Harvey, Nicholas J. | | 11-24-2004 |
