Publications — Silicon Valley - Microsoft Research

Projects

Publications

People

Downloads

Home

Our Research

Collaboration

Careers

Project Tuva Enhanced Video Player

Watch the Feynman Lectures

> Worldwide Labs and Centers > Microsoft Research Silicon Valley > Publications — Silicon Valley

Publications — Silicon Valley

2009

Peter Gilbert, Venugopalan Ramasubramanian, Patrick Stuedi, and Douglas Terry, The Duality between Message Routing and Epidemic Data Replication, in HotNets 2009: Eighth ACM Workshop on Hot Topics in Networks, Association for Computing Machinery, Inc., 23 October 2009
Michael Isard, Vijayan Prabhakaran, Jon Currey, Udi Wieder, Kunal Talwar, and Andrew Goldberg, Quincy: Fair Scheduling for Distributed Computing Clusters, in Proceedings of 22nd ACM Symposium on Operating Systems Principles, Association for Computing Machinery, Inc., 11 October 2009
Asim Kadav, Mahesh Balakrishnan, Vijayan Prabhakaran, and Dahlia Malkhi, Differential RAID: Rethinking RAID for SSD Reliability, in HotStorage 2009: 1st Workshop on Hot Topics in Storage and File Systems, Association for Computing Machinery, Inc., October 2009
Moises Goldszmidt, Mihai Budiu, Yue Zhang, and Michael Pechuk, Toward Automatic Policy Refinement in Repair Services for Large Distributed Systems, in The 3rd ACM SIGOPS International Workshop on Large Scale Distributed Systems and Middleware, 17 September 2009
Dawn B. Woodard and Moises Goldszmidt, Model-Based Clustering for Online Crisis Identification in Distributed Computing, no. MSR-TR-2009-131, September 2009
Marc Najork, Web Spam Detection, in Encyclopedia of Database Systems, Springer Verlag, September 2009
Hugo Zaragoza and Marc Najork, Web Search Relevance Ranking, in Encyclopedia of Database Systems, Springer Verlag, September 2009
Marc Najork, Web Crawler Architecture, in Encyclopedia of Database Systems, Springer Verlag, September 2009
Atish Das Sarma, Sreenivas Gollapudi, and Rina Panigrahy, Sparse Cut Projections in Graph Streams, in 17th Annual European Symposium on Algorithms (ESA), European Association for Theoretical Computer Science, September 2009
Zhong Wu, Qifa Ke, Jian Sun, and Heung-Yeung Shum, A Multi-sample, Multi-tree Approach to Bag-of-words Image Representation for Image Retrieval, in The 12th International Conference on Computer Vision (ICCV), September 2009
Ilya Mironov, Omkant Pandey, Omer Reingold, and Salil Vadhan, Computational Differential Privacy, in Advances in Cryptology—CRYPTO 2009, Springer, August 2009
Marcos K. Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, and Sam Toueg, Partial synchrony based on set timeliness, in Proceedings of the ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, Inc., August 2009
Marcos K. Aguilera and Ram Swaminathan, Remote storage with byzantine servers, in Proceedings of the ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, Inc., August 2009
Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, and Alexander Shraer, Dynamic atomic storage without consensus, in Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), Association for Computing Machinery, Inc., August 2009
Yinglian Xie, Fang Yu, and Martin Abadi, De-anonymizing the Internet Using Unreliable IDs, in ACM SIGCOMM, August 2009
Ted Wobber, Thomas L. Rodeheffer, and Douglas B. Terry, Policy-based Access Control for Peer-to-Peer Replication, no. MSR-TR-2009-15, 24 July 2009
Dennis Fetterly, Nick Craswell, and Vishwa Vinay, The Impact of Crawl Policy on Web Search Effectiveness, in Proceedings of the 32nd annual international ACM SIGIR conference on Research and development in information retrieval, Association for Computing Machinery, Inc., 19 July 2009
Ganesh Ananthanarayanan, Maya Haridasan, Iqbal Mohomed, Doug Terry, and Chandramohan A. Thekkath, StarTrack: A Framework for Enabling Track-Based Applications., in MobiSys 2009: Proceedings of the 7th Annual International Conference on Mobile Systems, Applications and Services, Association for Computing Machinery, Inc., 22 June 2009
Frank McSherry, Privacy Integrated Queries, in Proceedings of the 2009 ACM SIGMOD International Conference on Management of Data (SIGMOD), Association for Computing Machinery, Inc., June 2009
Catherine C. Marshall, No Bull, No Spin: A comparison of tags with other forms of user metadata, in Proceedings of the 9th ACM/IEEE Joint Conference on Digital Libraries (JCDL 2009), Association for Computing Machinery, Inc., June 2009
Frank McSherry and Ilya Mironov, Differentially Private Recommender Systems: Building Privacy into the Netflix Prize Contenders, in Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD), Association for Computing Machinery, Inc., June 2009
Stelios Paparizos, Alexandros Ntoulas, John Shafer, and Rakesh Agrawal, Answering web queries using structured data sources, in Proc. SIGMOD Conf., June 2009
Kaushik Veeraraghavan, Venugopalan Ramasubramanian, Thomas L. Rodeheffer, Douglas B. Terry, and Ted Wobber, Fidelity-Aware Replication for Mobile Devices, in Mobisys 2009: Proceedings of the 7th international conference on Mobile systems, applications, and services , Association for Computing Machinery, Inc., June 2009
Marc Najork, The Scalable Hyperlink Store, in 20th ACM Conference on Hypertext and Hypermedia, Association for Computing Machinery, Inc., June 2009
Zhong Wu, Qifa Ke, Michael Isard, and Jian Sun, Bundling Features for Large Scale Partial-DuplicateWeb Image Search, in CVPR 2009, IEEE, June 2009
Ariel Fuxman, Anitha Kannan, Andrew B Goldberg, Rakesh Agrawal, Panayiotis Tsaparas, and John Shafer, Improving Classification Accuracy Using Automatically Extracted Training Data, in International Conference on Knowledge Discovery and Data Mining, June 2009
Cynthia Dwork and Jing Lei, Differential Privacy and Robust Statistics, in Proceedings of the 41th Annual ACM Symposium on Theory of Computing (STOC), Association for Computing Machinery, Inc., Bethesda, Maryland, May 2009
Marcos K. Aguilera and Michael Walfish, No time for asynchrony, in Proceedings of the Usenix Workshop on Hot Topics in Operating Systems, USENIX, May 2009
Cynthia Dwork, Moni Naor, Omer Reingold, Guy Rothblum, and Salil Vadhan, On the Complexity of Differentially Private Data Release, in Proceedings of the 41th Annual ACM Symposium on Theory of Computing (STOC), Association for Computing Machinery, Inc., Bethesda, Maryland, May 2009
Yee Jiun Song, Marcos Aguilera, Ramakrishna Kotla, and Dahlia Malkhi, RPC Chains: Efficient Client-Server Communication in Geodistributed Systems, in 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09), USENIX, 22 April 2009
Sreenivas Gollapudi and Aneesh Sharma, An Axiomatic Approach for Result Diversification, in Proc. of 18th World Wide Web Conference (WWW), 20 April 2009
Dennis Fetterly, Nick Craswell, and Vishwa Vinay, Measuring the Search Effectiveness of a Breadth-First Crawl , in Proceedings of the 31st European Conference on Information Retrieval (ECIR) , Springer Verlag, 9 April 2009
Yao Zhao, Yinglian Xie, Fang Yu, Qifa Ke, Yuan Yu, Yan Chen, and Eliot Gillum, BotGraph: Large Scale Spamming Botnet Detection, in The 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09), USENIX, April 2009
Aleksandra Korolova, Krishnaram Kenthapadi, Nina Mishra, and Alex Ntoulas, Releasing Search Queries and Clicks Privately, in Proc. of 18th International World Wide Web Conference (WWW), Association for Computing Machinery, Inc., April 2009
Fan Guo, Chao Liu, Anitha Kannan, Tom Minka, Michael Taylor, Yi-Min Wang, and Christos Faloutsos, Click Chain Model in Web Search, in WWW'09: Proceedings of the 18th International World Wide Web Conference, Association for Computing Machinery, Inc., April 2009
Venugopalan Ramasubramanian, Thomas L. Rodeheffer, Douglas B. Terry, Meg Walraed-Sullivan, Ted Wobber, Catherine C. Marshall, and Amin Vahdat, Cimbiosys: A platform for content-based partial replication, in 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09), USENIX, April 2009
Prince Mahajan, Ramakrishna Kotla, Catherine C Marshall, Venugopalan Ramasubramanian, Thomas L. Rodeheffer, Douglas B. Terry, and Ted Wobber, Effective and Efficient Compromise Recovery for Weakly Consistent Replication, in EuroSys 2009: Proceedings of the 4th ACM European Conference on Computer systems , Association for Computing Machinery, Inc., March 2009
Cynthia Dwork, The Differential Privacy Frontier, in 6th Theory of Cryptography Conference, TCC 2009, Springer Verlag, San Francisco, CA, March 2009
Marc Najork, Sreenivas Gollapudi, and Rina Panigrahy, Less is More: Sampling the Neighborhood Graph Makes SALSA Better and Faster, in 2nd ACM International Conference on Web Search and Data Mining (WSDM), Association for Computing Machinery, Inc., February 2009
Jeremy Sugerman, Kayvon Fatahalian, Solomon Boulos, Kurt Akeley, and Pat Hanrahan, GRAMPS: A programming model for graphics pipelines, in ACM Trans. Graph., vol. 28, no. 1, pp. 1–11, ACM, New York, NY, USA, 2009
Rakesh Agrawal, Alan Halverson, Krishnaram Kenthapadi, Nina Mishra, and Panayiotis Tsaparas, Generating Labels from Clicks, in WSDM, Association for Computing Machinery, Inc., 2009

2008

Gabriela Cretu, Mihai Budiu, and Moises Goldszmidt, Hunting for problems with Artemis, in USENIX Workshop on the Analysis of System Logs (WASL), USENIX, December 2008
Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, and Jon Currey, DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language, in OSDI'08: Eighth Symposium on Operating System Design and Implementation, USENIX, December 2008
Liuba Shrira, Hong Tian, and Doug Terry, Exo-leasing: Escrow Synchronization for Mobile Clients of Commodity Storage Servers, in Proceedings ACM/IFIP/USENIX 9th International Middleware Conference, December 2008
Peter Bodik, Moises Goldszmidt, and Armando Fox, HiLighter: Automatically Building Robust Signatures of Performance Behavior for Small- and Large-Scale Systems, in Usenix Workshop on Tackling Computer Systems Problems with Machine Learning Techniques, USENIX, December 2008
Rina Panigrahy, Kunal Talwar, and Udi Wieder, A Geometric Approach to Lower Bounds for Approximate Near-Neighbor Search and Partial Match, in FOCS '08: Proceedings of the 49th annual IEEE Symposium on Foundations of Computer Science, IEEE, October 2008
Marc Najork and Nick Craswell, Efficient and Effective Link Analysis with Precomputed SALSA Maps, in 17th ACM Conference on Information and Knowledge Management (CIKM), Association for Computing Machinery, Inc., October 2008
Committee on Technical and Privacy Dimensions of Information for Terrorism Prevention and Other National Goals and National Research Council, Protecting Individual Privacy in the Struggle Against Terrorists: A Framework for Program Assessment, National Academies Press, 26 September 2008
Thomas Rodeheffer, Cyclic Commit Protocol Specifications, no. MSR-TR-2008-125, September 2008
Marcos K. Aguilera, Eli Gafni, and Leslie Lamport, The mailbox problem, September 2008
Venugopalan Ramasubramanian, Dahlia Malkhi, Fabian Kuhn, Ittai Abraham, Mahesh Balakrishnan, Archit Gupta, and Aditya Akella, A Unified Network Coordinate System for Bandwidth and Latency, no. MSR-TR-2008-124, September 2008
Marcos K. Aguilera, Eli Gafni, and Leslie Lamport, The mailbox problem, in Proceedings of the International Symposium on Distributed Computing, Springer Verlag, September 2008
Liuba Shrira, Hong Tian, and Douglas B. Terry, Exo-leasing: Escrow Synchronization for Mobile Clients of Commodity Storage Servers, no. MSR-TR-2008-112, August 2008
Cynthia Dwork and Sergey Yekhanin, New Efficient Attacks on Statistical Disclosure Control Mechanisms, in Advances in Cryptology—CRYPTO 2008, Springer, August 2008
Thomas Rodeheffer, Software Integer Division, no. MSR-TR-2008-141, August 2008
Venugopalan Ramasubramanian, Thomas Rodeheffer, Douglas B. Terry, Meg Walraed-Sullivan, Ted Wobber, Cathy Marshall, and Amin Vahdat, Cimbiosys: A platform for content-based partial replication, no. MSR-TR-2008-116, August 2008
Timothy Hospedales and Oliver Williams, An Adaptive Machine Director, in Proceedings of the British Machine Vision Conference (2008), August 2008
Aleksander Simma, Moises Goldszmidt, John MacCormick, Paul Barham, Richard Black, Rebecca Isaacs, and Richard Mortier, CT-NOR: Representing and reasoning about events in continuous time, in International Conference on Uncertainty in Artificial Intelligence (UAI), Helsinki, Finland, July 2008
Yaacov Fernandess and Dahlia Malkhi, On spreading recommendations via social gossip, in ACM Symposium on Parallel Algorithms and Architectures (SPAA), ACM, June 2008
Catherine C. Marshall, From Writing and Analysis to the Repository: Taking the Scholars' Perspective on Scholarly Archiving, in Proceedings of the 8th ACM/IEEE Joint Conference on Digital Libraries (JCDL 2008), Association for Computing Machinery, Inc., June 2008
Nitin Agrawal, Vijayan Prabhakaran, Ted Wobber, John D. Davis, Mark Manasse, and Rina Panigrahy, Design Tradeoffs for SSD Performance, in Proceedings of the 2008 USENIX Technical Conference (USENIX'08), USENIX, June 2008
Roxana Geambasu, Andrew Birrell, and John MacCormick, Experiences with Formal Specification of Fault-tolerant File Systems, in Proceedings of the 38th Annual International Conference on Dependable Systems and Networks, Anchorage, Alaska, June 2008
James Philbin, Ondřej Chum, Michael Isard, Josef Sivic, and Andrew Zisserman, Lost in Quantization: Improving Particular Object Retrieval in Large Scale Image Databases, in Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, June 2008
Douglas B. Terry, Replicated Data Management for Mobile Computing, Morgan & Claypool, May 2008
Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Ulfar Erlingsson, Pradeep Kumar Gunda, Jon Currey, Frank McSherry, and Kannan Achan, Some sample programs written in DryadLINQ, no. MSR-TR-2008-74, May 2008
Ilya Mironov, Moni Naor, and Gil Segev, Sketching in adversarial environments, in 40th ACM Symposium on Theory of Computing (STOC 2008), Association for Computing Machinery, Inc., Victoria, BC, Canada, May 2008
John D. Davis, Zhangxi Tan, Fang Yu, and Lintao Zhang, Designing an Efficient Hardware Implication Accelerator for SAT Solving, in International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer, Guangzhou, China, May 2008
Diogo V. Andrade, Mauricio G. C. Resende, and Renato F. Werneck, Fast Local Search for the Maximum Independent Set Problem, in International Workshop on Experimental Algorithms (WEA), Springer, Provincetown, MA, May 2008
Cynthia Dwork, Differential Privacy: A Survey of Results, in Theory and Applications of Models of Computation—TAMC, Springer, April 2008
Paul Barham, Richard Black, Moises Goldszmidt, Rebecca Isaacs, John MacCormick, Richard Mortier, and Aleksandr Simma, Constellation: automated discovery of service and host dependencies in networked systems, no. MSR-TR-2008-67, April 2008
Oliver Williams and Andrew Fitzgibbon, Optimizing Matrix Computations for Learning, April 2008
Frank McSherry and Marc Najork, Computing Information Retrieval Performance Measures Efficiently in the Presence of Tied Scores, in Proceedings of the 30th European Conference on Information Retrieval (ECIR), Springer-Verlag, April 2008
David M. Hoffman, Ahna R. Girshick, Kurt Akeley, and Martin S. Banks, Vergence-accommodation conflicts hinder visual performance and cause visual fatigue, in Journal of Vision, vol. 8, no. 3, pp. 1-30, March 2008
Martin Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, and Michael Isard, Dynamic Separation for Transactional Memory, no. TR-2008-43, March 2008
Catherine C. Marshall, Rethinking Personal Digital Archiving, Part 1: Four Challenges from the Field, in DLib Magazine, vol. 14, no. 3/4, Corporation for National Research Initiatives (CNRI)/ D-Lib Magazine, March 2008
Catherine C. Marshall, Rethinking Personal Digital Archiving, Part 2: Implications for Services, Applications, and Institutions, in D-Lib Magazine, vol. 14, no. 3/4, Corporation for National Research Initiatives (CNRI)/ D-Lib Magazine, March 2008
Wei Lin, Mao Yang, Lintao Zhang, and Lidong Zhou, PacificA: Replication in Log-Based Distributed Storage Systems, no. MSR-TR-2008-25, February 2008
Thomas Holenstein, Michael Mitzenmacher, Rina Panigrahy, and Udi Wieder, Trace reconstruction with constant deletion probability and related results, in ACM-SIAM Symposium on Discrete Algorithms (SODA), San Francisco, CA, January 2008
Martín Abadi, Andrew Birrell, Tim Harris, and Michael Isard, Semantics of Transactional Memory and Automatic Mutual Exclusion, in Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, San Francisco, California, USA, January 2008
Oliver Stegle, Anitha Kannan, Richard Durbin, and John M. Winn, Accounting for Non-genetic Factors Improves the Power of eQTL Studies, in International Conference on Research in Computational Molecular Biology, 2008
Shubha Nabar, Krishnaram Kenthapadi, Nina Mishra, and Rajeev Motwani, A Survey of Query Auditing Techniques for Data Privacy, in Privacy-Preserving Data Mining: Models and Algorithms, Kluwer Academic Publishers, 2008

2007

Sreenivas Gollapudi, Marc Najork, and Rina Panigrahy, Using Bloom Filters to Speed Up HITS-like Ranking Algorithms, in 5th Workshop on Algorithms and Models for the Web Graph (WAW), Springer-Verlag, December 2007
Marc Najork, Comparing the Effectiveness of HITS and SALSA, in 16th ACM Conference on Information and Knowledge Management (CIKM), Association for Computing Machinery, Inc., November 2007
Gordon Bell, Bell's Law for the birth and death of computer classes: A theory of the computer's evolution, no. MSR-TR-2007-146, November 2007
Frank McSherry and Kunal Talwar, Mechanism Design via Differential Privacy, in Annual IEEE Symposium on Foundations of Computer Science (FOCS), IEEE, Providence, RI, October 2007
Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, and Marcus Peinado, Bouncer: securing software by blocking bad input, in ACM Symposium on Operating Systems Principles (SOSP), Association for Computing Machinery, Inc., Stevenson, Washington, USA, October 2007
Daniel Peek, Venugopalan Ramasubramanian, Tom L. Rodeheffer, Douglas B. Terry, Meg Walraed-Sullivan, and Ted Wobber, Fast Encounter-based Synchronization for Mobile Devices, in Proceedings IEEE International Workshop on Dynamic Virtual Communities, October 2007
Dahlia Malkhi and Doug Terry, Concise Version Vectors in WinFS, in Distributed Computing, vol. 20, no. 3, pp. 209–219, Springer-Verlag, Berlin, Germany, October 2007
Rina Panigrahy and Dilys Thomas, Finding Frequent Elements in non-bursty Streams, in Annual European Symposium on Algorithms (ESA), Eilat, Israel, October 2007
Ondřej Chum, James Philbin, Josef Sivic, Michael Isard, and Andrew Zisserman, Total Recall: Automatic Query Expansion with a Generative Feature Model for Object Retrieval, in IEEE International Conference on Computer Vision, Rio de Janeiro, Brazil, October 2007
Danny Bickson, Dahlia Malkhi, and Lidong Zhou, P2P Rating, in 7th IEEE International Conference on Peer-to-Peer Computing, Galway, Ireland, September 2007
Cynthia Dwork, An Ad Omnia Approach to Defining and Achieving Private Data Analysis, in Privacy, Security, and Trust in KDD—PinKDD 2007, Springer Verlag, August 2007
Lidong Zhou, Vijayan Prabhakaran, Venugopalan Ramasubramanian, Roy Levin, and Chandramohan A. Thekkath, Graceful degradation via versions: specifications and implementations, in Symposium on Principles of Distributed Computing (PODC 2007), Portland, OR, August 2007
Rina Panigrahy and Ravi Kumar, On Finding Frequent Elements in a Data Stream, in Workshop on Randomization and Computation (RANDOM), Princeton University, NJ, August 2007
Ittai Abraham, Mahesh Balakrishnan, Fabian Kuhn, Dahlia Malkhi, Kunal Talwar, and Venugopalan (Rama) Ramasubramanian, Reconstructing Approximate Tree Metrics, in 26th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2007), Association for Computing Machinery, Inc., Portland, OR, August 2007
Yinglian Xie, Fang Yu, Kannan Achan, Eliot Gillum, Moisés Goldszmidt, and Ted Wobber, How Dynamic are IP Addresses, in Proceedings of the ACM SIGCOMM Conference, Association for Computing Machinery, Inc., Kyoto, Japan, August 2007
John MacCormick, Chandramohan A. Thekkath, Marcus Jager, Kristof Roomp, and Lidong Zhou, Niobe: A Practical Replication Protocol, no. MSR-TR-2007-112, August 2007
Marc Najork, Hugo Zaragoza, and Michael Taylor, HITS on the Web: How does it Compare?, in 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR), Association for Computing Machinery, Inc., Amsterdam, Netherlands, July 2007
Moises Goldszmidt, Making Life Better One Large System at a Time: Challenges for UAI Research, in Conference on Uncertainty in Artificial Intelligence (UAI 2007), Vancouver, BC, Canada, July 2007
Ondřej Chum, James Philbin, Michael Isard, and Andrew Zisserman, Scalable Near Identical Image and Shot Detection, in ACM International Conference on Image and Video Retrieval (CIVR 2007), Amsterdam, The Netherlands, July 2007
Andrew V. Goldberg, Haim Kaplan, and Renato F. Werneck, Better Landmarks within Reach, in Workshop on Experimental Algorithms (WEA), Rome, Italy, June 2007
James Philbin, Ondřej Chum, Michael Isard, Josef Sivic, and Andrew Zisserman, Object Retrieval with Large Vocabularies and Fast Spatial Matching, in IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR), Minneapolis, MI, June 2007
Ittai Abraham, Cyril Gavoille, Dahlia Malkhi, and Udi Wieder, Strong-diameter decompositions of minor free graphs, in ACM Symposium on Parallel Algorithms and Architectures (SPAA), ACM, San Diego, California, June 2007
Maxim Babenko, Jonathan Derryberry, Andrew V. Goldberg, Robert E. Tarjan, and Yunhong Zhou, Experimental Evaluation of Parametric Maximum Flow Algorihtms, in Workshop on Experimental Algorithms (WEA), Rome, Italy, June 2007
Robert E. Tarjan and Renato F. Werneck, Dynamic Trees in Practice, in International Workshop on Experimental Algorithms (WEA), Springer, Rome, Italy, June 2007
Girish Venkataramani, Tiberiu Chelcea, Mihai Budiu, and Seth C. Goldstein, Critical Path: A Tool for System-Level Timing Analysis, in Design Automation Conference (DAC), San Diego, CA, June 2007
Michael Isard and Andrew Birrell, Automatic Mutual Exclusion, in Proceedings of the Eleventh Workshop on Hot Topics in Operating Systems, San Diego, CA, May 2007
Catherine C. Marshall, Frank McCown, and Michael L. Nelson, Evaluating Personal Archiving Strategies for Internet-based Information, in Proceedings of Archiving 2007, May 2007
Dahlia Malkhi, Lev Novik, and Chris Purcell, P2P Replica Synchronization with Vector Sets, in ACM Operating Systems Review, vol. 41, no. 2, pp. 11, April 2007
Michael D. Schroeder, Systems Work at Microsoft Research, in ACM SIGOPS Operating Systems Review, Association for Computing Machinery, Inc., April 2007
Andrew Birrell, Michael Isard, Chuck Thacker, and Ted Wobber, A Design for High-Performance Flash Disks, in Operating Systems Review, vol. 41, no. 2, pp. 88-93, Association for Computing Machinery, Inc., April 2007
Roy Levin, A Perspective on Computing Research Management, in Operating Systems Review, vol. 41, no. 2, pp. 3-9, Association for Computing Machinery, Inc., April 2007
Michael Isard, Autopilot: Automatic Data Center Management, in Operating Systems Review, vol. 41, no. 2, pp. 60-67, April 2007
Ted Wobber, Aydan Yumerefendi, Martín Abadi, Andrew Birrell, and Daniel R. Simon, Authorizing Applications in Singularity, in Proceedings of the 2007 Eurosys Conference, Association for Computing Machinery, Inc., Lisbon, Portugal, March 2007
Lucas Bordeaux and Lintao Zhang, A Solver for Quantified Boolean and Linear Constraints, in The 22nd Annual ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 2007
Gordon Bell and Jim Gemmell, A Digital Life, in Scientific American, March 2007
Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, and Dennis Fetterly, Dryad: Distributed Data-parallel Programs from Sequential Building Blocks, in Proceedings of the 2007 Eurosys Conference, Association for Computing Machinery, Inc., Lisbon, Portugal, March 2007
Galen Hunt, Chris Hawblitzel, Orion Hodson, James Larus, Bjarne Steensgaard, and Ted Wobber, Sealing OS Processes to Improve Dependability and Safety, in Proceedings of the European Conference on Computer Systems (EuroSys), Association for Computing Machinery, Inc., Lisbon, Portugal, March 2007
Nathan Keller, Stephen D. Miller, Ilya Mironov, and Ramarathnam Venkatesan, MV3: A new word based stream cipher using rapid mixing and revolving buffers, in Topics in Cryptology (CT-RSA 2007), Springer, February 2007
Ittai Abraham, Gregory Chockler, Idit Keidar, and Dahlia Malkhi, Wait-Free Regular Storage from Byzantine Components, in Information Processsing Letters, vol. 101, no. 2, pp. 60-65, January 2007
Anitha Kannan, John Winn, and Carsten Rother, Clustering appearance and shape by learning jigsaws, in Advances in Neural Information Processing Systems, MIT Press, 2007
Julia Lasserre, Anitha Kannan, and John Winn, Hybrid learning of large jigsaws, in Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2007
Andrew V. Goldberg, Point-to-Point Shortest Path Algorithms with Preprocessing, in Current Trends in Theory and Practice of Computer Science (SOFSEM), Springer-Verlag, Harrachov, Czech Republic, January 2007
Desney Tan, Mary Czerwinski, Gordon Bell, Emma Berry, Jim Gemmell, Steve Hodges, Narinder Kapur, Brian Meyers, Nuria Oliver, George Robertson, and Ken Wood, Save Everything: Supporting Human Memory with a Personal Digital Lifetime Store, in Personal Information Management: Challenges and Opportunities (eds. William Jones and Jaime Teevan), 2007
Jim C. Huang, Anitha Kannan, and John M. Winn, Bayesian association of haplotypes and non-genetic factors to regulatory and phenotypic variation in human populations, in International Conference on Intelligent Systems for Molecular Biology, 2007

2006

Ittai Abraham, Cyril Gavoille, Dahlia Malkhi, and Udi Wieder, Strongly-Bounded Sparse Decompositions of Minor Free Graphs, no. MSR-TR-2006-192, December 2006
Leslie Lamport, Implementing Dataflow With Threads, no. MSR-TR-2006-181, December 2006
Vuk Ercegovac and Douglas B. Terry, Quantifying the Efficiency, Scalability, and Robustness of WinFS Replication, no. MSR-TR-2006-189, December 2006
Paramvir Bahl, Paul Barham, Richard Black, Ranveer Chandra, Moises Goldszmidt, Rebecca Isaacs, Srikanth Kandula, Lun Li, John MacCormick, David A. Maltz, Richard Mortier, Mike Wawrzoniak, and Ming Zhang, Discovering Dependencies for Network Management, in Workshop on Hot Topics in Networks (HotNets-V), Association for Computing Machinery, Inc., Irvine, California, November 2006
Dan Teodosiu, Nikolaj Bjorner, Joe Porkka, Mark Manasse, and Y. Gurevich, Optimizing File Replication over Limited-Bandwidth Networks using Remote Differential Compression, no. MSR-TR-2006-157, November 2006
Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, and George C. Necula, XFI: Software Guards for System Address Spaces, in Symposium on Operating System Design and Implementation (OSDI), Seattle, WA, November 2006
Mihai Budiu, Úlfar Erlingsson, and Martín Abadi, Architectural Support for Software-Based Protection, in ASID '06: Proceedings of the 1st workshop on Architectural and System Support for Improving Software Dependability , Association for Computing Machinery, Inc., San Jose, CA, October 2006
Leslie Lamport, Fast Paxos, in Distributed Computing, vol. 19, no. 2, pp. 79-103, October 2006
Muthukarrupan Annamalai, Andrew Birrell, Dennis Fetterly, and Ted Wobber, Implementing Portable Desktops: a New Option and Comparisons, no. TR-2006-151, October 2006
Joseph Bonneau and Ilya Mironov, Cache-Collision Timing Attacks Against AES, in Cryptographic Hardware and Embedded Systems—CHES 2006, Springer, October 2006
Philippe Golle, Frank McSherry, and Ilya Mironov, Data Collection With Self-Enforcing Privacy, in ACM Conference on Computer and Communications Security (CCS 2006), ACM, October 2006
Emre Kıcıman, Dave Maltz, Moises Goldszmidt, and John Platt, Mining Web Logs to Debug Distant Connectivity Problems, in ACM SIGCOMM Workshop on Mining Network Data (MineNet-06), Association for Computing Machinery, Inc., Pisa, Italy, September 2006
Leslie Lamport, Checking a Multithreaded Algorithm with +CAL, in International Symposium on Distributed Computing (DISC), Stockholm, Sweden, September 2006
Ilya Mironov and Lintao Zhang, Applications of SAT Solvers to Cryptanalysis of Hash Functions, in International Conference on Theory and Applications of Satisfiability Testing (SAT 06), Springer, Seattle, WA, August 2006
Ittai Abraham, Cyril Gavoille, and Dahlia Malkhi, On Space-Stretch Trade-Offs: Lower bounds, in ACM Symposium on Parallel Algorithms and Architectures (SPAA), Cambridge, MA, July 2006
Ittai Abraham, Cyril Gavoille, and Dahlia Malkhi, On Space-Stretch Trade-Offs: Upper bounds, in ACM Symposium on Parallel Algorithms and Architectures (SPAA), Cambridge, MA, July 2006
Ittai Abraham, Cyril Gavoille, A.V. Goldberg, and Dahlia Malkhi, Routing in Networks with Low Doubling Dimension, in IEEE International Conference on Distributed Computing Systems, Lisboa, Portugal, July 2006
Ilya Mironov, Kobbi Nissim, and Anton Mityagin, Hard Instances of the Constrained Discrete Logarithm Problem, in 7th Algorithmic Number Theory Symposium (ANTS VII), Springer, July 2006
Tom Barclay, Jim Gray, Steve Ekblad, Eric Strand, and Jeffrey Richter, TerraService: Design and Construction of GIS Web Services, in IEEE Internet Computing ICSI-0040-0206 Special Issue - Web Services for Geographic Information Systems, July 2006
Lintao Zhang, Solving QBF with Combined Conjunctive and Disjunctive Normal Form, in National Conference on Artificial Intelligence (AAAI), American Association for Artificial Intelligence , Boston, MA, July 2006
Maxim Babenko and Andrew V. Goldberg, Experimental Evaluation of a Parametric Flow Algorithm, no. MSR-TR-2006-77, June 2006
Lev Novik, Irena Hudis, Douglas B. Terry, Sanjay Anand, Vivek Jhaveri, Ashish Shah, and Yunxin Wu, Peer-to-Peer Replication in WinFS, no. MSR-TR-2006-78, June 2006
Cynthia Dwork, Krishnaram Kenthapadi, Frank McSherry, Ilya Mironov, and Moni Naor, Our Data, Ourselves: Privacy Via Distributed Noise Generation, in Advances in Cryptology (EUROCRYPT 2006), Springer Verlag, Saint Petersburg, Russia, May 2006
Andrew V. Goldberg, Jason D. Hartline, Anna R. Karlin, Michael Saks, and Andrew Wright, Competitive Auctions, in Games and Economic Behavior, vol. 55, no. 2, pp. 242–269, Elsevier, May 2006
Alexandros Ntoulas, Marc Najork, Mark Manasse, and Dennis Fetterly, Detecting Spam Web Pages Through Content Analysis, in 15th International World Wide Web Conference (WWW), Association for Computing Machinery, Inc., Edinburgh, Scotland, May 2006
Leslie Lamport, Chapter in Software Specification Methods: An Overview Using a Case Study, Hermes, April 2006
Ilya Mironov, Collision-resistant no more: Hash-and-sign paradigm revisited, in Public Key Cryptography (PKC 2006), Springer, New York, NY, April 2006
Galen C. Hunt, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, and Brian D. Zill, Sealing OS Processes to Improve Dependability and Security, no. MSR-TR-2006-51, April 2006
Yaacov Fernandess and Dahlia Malkhi, On Collaborative Content Distribution Using Multi-Message Gossip, in IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006), Rhodes Island, Greece, April 2006
Nir Ailon, Steve Chien, and Cynthia Dwork, On Clusters In Markov Chains, in Latin American Theoretical Informatics Symposium (LATIN), Valdivia, Chile, March 2006
Allan Heydon, Roy Levin, Timothy Mann, and Yuan Yu, Software Configuration Management Using Vesta, pp. 262, Springer-Verlag, February 2006
A.V. Goldberg, Haim Kaplan, and Renato F. Werneck, Reach for A*: Efficient Point-to-Point Shortest Path Algorithms, in SIAM Workshop on Algorithms Engineering and Experimentation (ALENEX 06), Society for Industrial and Applied Mathematics, Miami, FL, January 2006
Michael Isard and John MacCormick, Dense Motion and Disparity Estimation via Loopy Belief Propagation, in Asian Conference on Computer Vision (ACCV), Hyderabad, India, January 2006
Leslie Lamport, Measuring Celebrity, in Annals of Improbable Research, vol. 12, no. 1, pp. 14–15, January 2006
Jim Gemmell, Gordon Bell, and Roger Lueder, MyLifeBits: a personal database for everything, in Communications of the ACM (CACM), vol. 49, no. 1, pp. 88-95, Association for Computing Machinery, Inc., January 2006
Gordon Bell, Jim Gray, and Alex Szalay, Petascale Computational Systems: Balanced Cyber-Infrastructure in a Data-Centric World, in IEEE Computer, vol. 39, no. 1, pp. 110-112, January 2006

2005

Danny Bickson and Dahlia Malkhi, The Julia Content Distribution Network, in 2nd Usenix Workshop on Real Large Distributed Systems (WORLDS 05), San Francisco, December 2005
Martin Abadi, Mihai Budiu, Ulfar Erlingsson, and Jay Ligatti, Control-Flow Integrity - Principles, Implementations, and Applications, Association for Computing Machinery, Inc., November 2005
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, and Jay Ligatti, Control-Flow Integrity, in ACM Conference on Computer and Communication Security (CCS), Alexandria, VA, November 2005
Ilya Mironov, Hash functions: Theory, attacks, and applications, no. MSR-TR-2005-187, November 2005
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, and Jay Ligatti, A Theory of Secure Control-Flow, in International Conference on Formal Engineering Methods (ICFEM), Springer-Verlag, Manchester, UK, November 2005
Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, and Paul Barham, Vigilante: End-to-End Containment of Internet Worms, in ACM Symposium on Operating Systems Principles (SOSP), ACM Press, Birghton, UK, October 2005
Leslie Lamport, Real-Time Model Checking is Really Simple, in 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Saarbrucken, Germany, October 2005
Galen Hunt, James R. Larus, Martin Abadi, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, and Brian D. Zill, An Overview of the Singularity Project, no. MSR-TR-2005-135, October 2005
Yuan Yu, Thomas Rodeheffer, and Wei Chen, RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking, in ACM Symposium on Operating Systems Principles (SOSP 2005), Association for Computing Machinery, Inc., Brighton, UK, October 2005
Dahlia Malkhi and Douglas B. Terry, Concise Version Vectors in WinFS, in 19th Intl. Symposium on Distributed Computing (DISC 05), Cracow, Poland, September 2005
Ittai Abraham, Cyril Gavoille, and Dahlia Malkhi, Compact Routing for Graphs Excluding a Fixed Minor, in 19th Intl. Symposium on Distributed Computing (DISC 05), Cracow, Poland, September 2005
Dahlia Malkhi, Florin Oprea, and Lidong Zhou, Omega Meets Paxos: Leader Election and Stability without Eventual Timely Links, in 19th Intl. Symposium on Distributed Computing (DISC 05), European Association for Theoretical Computer Science, Cracow, Poland, September 2005
Dennis Fetterly, Mark Manasse, and Marc Najork, Detecting Phrase-Level Duplication on the World Wide Web, in 28th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR), Association for Computing Machinery, Inc., Salvador, Brazil, August 2005
Shuchi Chawla, Cynthia Dwork, Frank McSherry, and Kunal Talwar, On Privacy-Preserving Histograms, in Uncertainty in Artificial Intelligence (UAI), Association for Uncertainty in Artificial Intelligence, Edinburgh, Scotland, July 2005
Ittai Abraham and Dahlia Malkhi, Name Independent Routing for Growth Bounded Networks, in 17th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA '05), July 2005
Avrim Blum, Cynthia Dwork, Frank McSherry, and Kobbi Nissim, Practical Privacy: The SuLQ Framework, in 24th ACM SIGMOD International Conference on Management of Data / Principles of Database Systems, Baltimore (PODS 2005), Baltimore, Maryland, USA, June 2005
Partha Dutta, Rachid Guerraoui, and Leslie Lamport, How Fast Can Eventual Synchrony Lead to Consensus?, in Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005), Yokohama, Japan, June 2005
Ulfar Erlingsson, Tom Roeder, and Ted Wobber, Virtual Environments for Unreliable Extensions, no. MSR-TR-2005-82, June 2005
Galen C. Hunt, James R. Larus, David Tarditi, and Ted Wobber, Broad New OS Research: Challenges and Opportunities, in Proceedings of Tenth Workshop on Hot Topics in Operating Systems (HotOs), USENIX, June 2005
Martín Abadi, Andrew Birrell, and Ted Wobber, Access Control in a World of Software Diversity, in Proceedings of the Tenth Workshop on Hot Topics in Operating Systems, USENIX, Santa Fe, NM, June 2005
Lidong Zhou, Michael A. Marsh, Fred B. Schneider, and Anna Redz, Distributed Blinding for Distributed ElGamal Re-encryption, in Proceedings of the 25th IEEE International Conference on Distributed Computing Systems (ICDCS 2005), IEEE Computer Society, Columbus, OH USA, June 2005
Oliver Williams, Michael Isard, and John MacCormick, Estimating Disparity and Occlusions in Stereo Video Sequences, in IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Institute of Electrical and Electronics Engineers, Inc., San Diego, USA, June 2005
Andrew Birrell, An Introduction to Programming with C# Threads, no. TR-2005-68, May 2005
Martín Abadi, Mike Burrows, Mark Manasse, and Ted Wobber, Moderately Hard, Memory-bound Functions, in ACM Transactions on Internet Technology, vol. 5, no. 2, pp. 299-327, Association for Computing Machinery, Inc., May 2005
Gregory Chockler and Dahlia Malkhi, Active Disk Paxos with infinitely many processes, in Distributed Computing, April 2005
Leslie Lamport, Real Time is Really Simple, no. MSR-TR-2005-30, March 2005
Leslie Lamport, Generalized Consensus and Paxos, no. MSR-TR-2005-33, March 2005
Shuchi Chawla, Cynthia Dwork, Frank McSherry, Adam Smith, and Hoeteck Wee, Toward Privacy in Public Databases, in Second Theory of Cryptography Conference, (TCC 2005), Springer Verlag, Cambridge, MA, USA, February 2005
Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, and Steve Chien, A First Look at Peer-to-Peer Worms: Threats and Defenses, in 4th International Workshop on Peer-To-Peer Systems (IPTPS '05), Ithaca, New York, USA, February 2005
Ittai Abraham, Ankur Badola, Danny Bickson, Dahlia Malkhi, Sharad Maloo, and Saar Ron, Practical Locality-Awareness for Large Scale Information Sharing, in 4th Annual International Workshop on Peer-To-Peer Systems (IPTPS '05), February 2005
Zvi Gutterman and Dahlia Malkhi, Hold Your Sessions: an Attack on Java Servlet Session-id Generation, in Cryptographers' Track, RSA Conference (CT-RSA '05), San Francisco, CA, February 2005
G. Aggarwal, A. Fiat, A. Goldberg, J. Hartline, N. Imorlica, and M. Sudan, Derandomization of Auctions, in Proc. 37rd ACM Symposium on the Theory of Computing, ACM Press, January 2005
A. V. Goldberg and C. Harrelson, Computing the Shortest Path: A* Search Meets Graph Theory, in 16th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA '05), Vancouver, Canada, January 2005

2004

John MacCormick, Nick Murphy, Marc Najork, Chandramohan A. Thekkath, and Lidong Zhou, Boxwood: Abstractions as the Foundation for Storage Infrastructure, in Symposium on Operating System Design and Implementation (OSDI), USENIX, December 2004
Andrew Birrell, Implementing Condition Variables with Semaphores, in Computer systems: theory, technology, and applications, pp. 29-37, Springer-Verlag, December 2004
Venugopalan Ramasubramanian and Douglas B. Terry, Caching of XML Web Services for Disconnected Operation, no. MSR-TR-2004-139, December 2004
Mark Manasse, Danny Sleator, Victor K. Wei, and Nick Baxter, A Tribute to a Mathemagician, pp. 145-162, A. K. Peters, November 2004
Jim Gemmell, Lyndsay Williams, Ken Wood, Gordon Bell, and Roger Lueder, Passive Capture and Ensuing Issues for a Personal Lifetime Store, in First ACM Workshop on Continuous Archival and Retrieval of Personal Experiences (CARPE '04), New York, NY, October 2004
I. Abraham, D. Dolev, and D. Malkhi, LLS : a Locality Aware Location Service for Mobile Ad Hoc Networks, in DIAL M-POMC 2004: Joint Workshop on Foundations of Mobile Computing, October 2004
Dennis Fetterly, Mark Manasse, and Marc Najork, On the Evolution of Clusters of Near-Duplicate Web Pages, in Journal of Web Engineering, vol. 2, no. 4, pp. 228-246, Institute of Electrical and Electronics Engineers, Inc., October 2004
Bob Atkinson, Tom Blank, Michael Isard, James D (JJ) Johnston, and Kirk Olynyk, An Internet Protocol (IP) Sound System, in AES 117th Convention, Audio Engineering Society, San Francisco, USA, October 2004
Tom Barclay, Jim Gray, and Wyman Chong, TerraServer Bricks — A High Availability Cluster Alternative, no. MSR-TR-2004-107, October 2004
Atul Adya, Paramvir Bahl, Jitendra Padhye, Alec Wolman, and Lidong Zhou, A Multi-Radio Unification Protocol for IEEE 802.11 Wireless Networks, in 1st International Conference on Broadband Networks (BROADNETS 2004), IEEE Computer Society 2004, San Jose, CA, USA, October 2004
Gordon Bell, A Time and Place for Standards, in ACM Queue, pp. 67-74, September 2004
Martín Abadi and Ted Wobber, A Logical Account of NGSCB, in Proceedings of Formal Techniques for Networked and Distributed Systems (Forte '04), Springer-Verlag, Madrid, Spain, September 2004
Dahlia Malkhi, Noam Nisan, Benny Pinkas, and Yaron Sella, Fairplay — A Secure Two-Party Computation System, in Usenix Security (Security 04), San Diego, CA, August 2004
Cynthia Dwork and Kobbi Nissim, Privacy-Preserving Datamining on Vertically Partitioned Databases, in 24th Annual International Cryptology Conference (CRYPTO 2004), Springer Verlag, Santa Barbara, California, USA, August 2004
Michael D. Schroeder, Using Sharing to Simplify System Management, in Computer Systems: Theory, Technology, and Applications, Springer-Verlag, August 2004
Tom Barclay and Jim Gray, TerraServer Cluster and SAN Experience, no. MSR-TR-2004-67, July 2004
Leslie Lamport, Lower Bounds for Asynchronous Consensus, no. MSR-TR-2004-72, July 2004
I. Abraham and D. Malkhi, Compact Routing on Euclidian Metrics, in Twenty-Third Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2004), July 2004
Roy Levin, A Technology Transfer Retrospective, in Computer Systems: Theory, Technology, and Applications, Springer-Verlag, July 2004
I. Abraham, G. Chockler, I. Keider, and D. Malkhi, Byzantine Disk Paxos: Optimal Resilience with Byzantine Shared Memory, in Twenty-Third Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2004), July 2004
Thomas Ball, Byron Cook, Shuvendu K. Lahiri, and Lintao Zhang, Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement., in 16th International Conference on Computer Aided Verification (CAV 2004), Springer, Boston, MA, USA, July 2004
D. Bickson, D. Malkhi, and D. Rabinowitz, Efficient Large Scale Content Distribution, in 6th Workshop on Distributed Data and Structures (WDAS 2004), Lausanne, Switzerland, July 2004
David Kempe and Frank McSherry, A Decentralized Algorithm for Spectral Analysis, in 36th Annual ACM Symposium on Theory of Computing (STOC '04), Chicago, IL, June 2004
Dennis Fetterly, Mark Manasse, and Marc Najork, Spam, Damn Spam, and Statistics: Using statistical analysis to locate spam web pages, in 7th International Workshop on the Web and Databases (WebDB), Association for Computing Machinery, Inc., June 2004
Leonid Sigal, Sidharth Bhatia, Stefan Roth, Michael J. Black, and Michael Isard, Tracking Loose-limbed People, in IEEE Conference on Computer Vision and Pattern Recognition (CVPR '04), Institute of Electrical and Electronics Engineers, Inc., Washington DC, USA, June 2004
Leslie Lamport and Mike Massa, Cheap Paxos, in International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy, June 2004
Andrew Goldberg and Jason Hartline, Collusion-Resistant Mechanisms for Single-Parameter Agents, no. MSR-TR-2004-40, May 2004
Andrew V. Goldberg, Jason D. Hartline, Anna R. Karlin, and Michael E. Saks, A Lower Bound on the Competitive Ratio of Truthful Auctions, in 21st Annual Symposium on Theoretical Aspects of Computer Science (STACS 2004), Springer, March 2004
Lidong Zhou and Robbert van Renesse, P6P: A Peer-to-Peer Approach to Internet Infrastructure, in 3rd International Workshop on Peer-To-Peer Systems (IPTPS '04), San Diego, CA, USA, February 2004
James E. Johnson, David E. Langworthy, Leslie Lamport, and Friedrich H. Vogt, Formal Specification of a Web Services Protocol, in First International Workshop on Web Services and Formal Methods (WS-FM 2004), Pisa, Italy, February 2004
Dennis Fetterly, Mark Manasse, Marc Najork, and Janet Wiener, A Large-Scale Study of the Evolution of Web Pages, in Software: Practice & Experience, vol. 34, no. 2, pp. 213-237, Wiley, February 2004
Danny Bickson and Dahlia Malkhi, Locality-Aware Content Distribution, no. Leibnitz Center TR 2004-52, January 2004
Ellen Gilkerson and Leslie Lamport, On Hair Color in France, in Annals of Improbable Research, vol. 10, no. 1, pp. 18–19, Annals of Improbable Results, January 2004
Jim Gray and Leslie Lamport, Consensus on Transaction Commit, no. MSR-TR-2003-96, January 2004

2003

Leonid Sigal, Michael Isard, Benjamin Sigelman, and Michael J. Black, Attractive People: Assembling Loose-Limbed Models using Non-parametric Belief Propagation, in Advances in Neural Information Processing Systems 16 (NIPS), MIT Press, Whistler, Canada, December 2003
Martín Abadi, Andrew D. Birrell, Mike Burrows, Frank Dabek, and Ted Wobber, Bankable Postage for Network Services, in Proceedings of the 8th Asian Computing Science Conference, Springer-Verlag, Mumbai, India, December 2003
Lili Qiu, Paramvir Bahl, Ananth Rao, and Lidong Zhou, Troubleshooting Multihop Wireless Networks, no. MSR-TR-2004-11, December 2003
Jim Gemmell, Roger Lueder, and Gordon Bell, The MyLifeBits Lifetime Store, in ACM SIGMM 2003 Workshop on Experiential Telepresence (ETP 2003), Berkeley, CA, November 2003
T. Barclay, W. Chong, and J. Gray, A Quick Look at SATA Disk Performance, no. MSR-TR-2003-70, October 2003
Tom Barclay, Wyman Chong, and Jim Gray, A Quick Look at Serial ATA (SATA) Disk Performance, no. MSR-TR-2003-70, October 2003
Jim Gemmell, Roger Lueder, and Gordon Bell, Living With a Lifetime Store, in ATR Workshop on Ubiquitous Experience Media, Keihanna Science City, Kyoto, Japan, September 2003
Leslie Lamport, Arbiter-Free Synchronization, in Distributed Computing, vol. 16, no. 2–3, pp. 219–237, Springer-Verlag, September 2003
Jim Gemmell, Roger Lueder, Joshua Blumenstock, Evan Solomon, and Gordon Bell, Telephone, Television and Radio in the Home of the Future, in Internet and Multimedia Systems and Applications (IMSA) 2003, Honolulu, Hawaii, August 2003
Cynthia Dwork, Andrew Goldberg, and Moni Naor, On Memory-Bound Functions for Fighting Spam, in Proceedings of the 23rd Annual International Cryptology Conference (CRYPTO 2003), Springer-Verlag, Santa Barbara, CA, August 2003
Siddharth Jain and Tom Barclay, Adding the EPSG:4326 Geographic Longitude-Latitude Projection to TerraServer, no. MSR-TR-2003-56, August 2003
Michael D. Schroeder, On the impact of academic distributed systems research on industrial practice, in Future Directions in Distributed Computing 2002, Springer-Verlag, July 2003
Michael Isard, Pampas: Real-Valued Graphical Models for Computer Vision, in IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Institute of Electrical and Electronics Engineers, Inc., Madison, WI, June 2003
Serge Abiteboul, Rakesh Agrawal, Phil Bernstein, Mike Carey, Stefano Ceri, Bruce Croft, David DeWitt, Mike Franklin, Hector Garcia Molina, Dieter Gawlick, Jim Gray, Laura Haas, Alon Halevy, Joe Hellerstein, Yannis Ioannidis, Martin Kersten, Michael Pazzani, Mike Lesk, David Maier, Jeff Naughton, Hans Schek, Timos Sellis, Avi Silberschatz, Mike Stonebraker, Rick Snodgrass, Jeff Ullman, Gerhard Weikum, Jennifer Widom, and Stan Zdonik, The Lowell Database Research Self Assessment, no. MSR-TR-2003-69, June 2003
Andrew V. Goldberg and Jason D. Hartline, Envy-Free Auctions for Digital Goods, in ACM Conference on Electronic Commerce (EC '03), Association for Computing Machinery, Inc., San Diego, CA, June 2003
Andrei Z. Broder, Marc Najork, and Janet L. Wiener, Efficient URL caching for World Wide Web crawling, in Proceedings of the 12th International World Wide Web Conference (WWW), Budapest, Hungary, May 2003
Douglas B. Terry and Venugopalan Ramasubramanian, Caching XML Web Services for Mobility, in ACM Queue, vol. 1, no. 3, pp. 70-78, Association for Computing Machinery, Inc., May 2003
Brannon Batson and Leslie Lamport, High-Level Specifications: Lessons from Industry, in Formal Methods for Components and Objects, Springer Verlag, March 2003
Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark Tuttle, and Yuan Yu, Checking Cache Coherence Protocols with TLA+, in Journal of Formal Methods in System Design, vol. 22, no. 2, pp. 125-131, Kluwer Academic , March 2003
Michael Isard, Mark Shand, and Alan Heirich, Distributed rendering of interactive soft shadows, in Parallel Computing, vol. 29, no. 3, pp. 311-323, Association for Computing Machinery, Inc., March 2003
Martín Abadi, Mike Burrows, Mark Manasse, and Ted Wobber, Moderately Hard, Memory-bound Functions, in Proceedings of the 10th Annual Network and Distributed System Security Symposium (NDSS), Internet Society, February 2003
Agrawal, Rakesh, Rajagopalan, Sridhar, Srikant, Ramakrishnan, Xu, and Yirong, Mining Newsgroups Using Networks Arising From Social Behavior, in Proceedings of the 12 WWW Conference, Budapest, HU, 2003
Andrew V. Goldberg and Jason D. Hartline, Competitiveness via Consensus, in 14th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA '03), ACM/SIAM, Baltimore, MD, January 2003
Philippe Golle, Stanisław Jarecki, and Ilya Mironov, Cryptographic Primitives Enforcing Communication and Storage Complexity., in Financial Cryptography (FC 2002), Springer, January 2003

2002

Jim Gemmell, Gordon Bell, Roger Lueder, Steven M. Drucker, and Curtis Wong, MyLifeBits: fulfilling the Memex vision, in ACM Multimedia, Association for Computing Machinery, Inc., December 2002
Leslie Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, Addison-Wesley, December 2002
Lidong Zhou, Fred B. Schneider, and Robbert van Renesse, COCA: A Secure Distributed On-line Certification Authority, in Transactions on Computer Systems (TOCS), vol. 20, no. 4, pp. 329-368, Association for Computing Machinery, Inc., November 2002
Lidong Zhou, Robbert van Renesse, and Michael Marsh, Implementing IPv6 as a Peer-to-Peer Overlay Network, in Proceedings of Workshop on Reliable Peer-to-Peer Distributed Systems (RPPDS '02), Institute of Electrical and Electronics Engineers, Inc., October 2002
K. Deshmukh, A. V. Goldberg, J. D. Hartline, and A. R. Karlin, Truthful and Competitive Double Auctions, in Proceedings of the 10th European Symposium on Algorithms (ESA '02), Springer-Verlag, September 2002
Leslie Lamport, John Matthews, Mark Tuttle, and Yuan Yu, Specifying and verifying systems with TLA+, in Proceedings of the Tenth ACM SIGOPS European Workshop, Association for Computing Machinery, Inc., Saint-Emilion, France, September 2002
Ilya Mironov, (Not So) Random Shuffles of RC4., in Advances in Cryptology—CRYPTO 2002, Springer-Verlag, August 2002
Gordon Bell and Jim Gemmell, A call for the home media network, in Commun. ACM, vol. 45, no. 7, pp. 71-75, Association for Computing Machinery, Inc., July 2002
Tom Barclay, Jim Gray, Eric Strand, Steve Ekblad, and Jeffrey Richter, TerraService.NET: An Introduction to Web Services, no. MSR-TR-2002-53, June 2002
Jim Gray, Wyman Chong, Tom Barclay, Alex Szalay, and Jan Vandenberg, TeraScale SneakerNet: Using Inexpensive Disks for Backup, Archiving, and Data Exchange, no. MSR-TR-2002-54, May 2002
Gordon Bell, The Lack of PC-based Video-Telephony: How I Lost a Technology Bet, no. MSR-TR-2002-49, May 2002

About the Lab

Publications by year

2009
2008
2007
2006
2005
2004
2003
2002