We are strongly committed to communicating our results to the research community. Below is a partial list of papers authored by Microsoft Research Silicon Valley researchers.

Sreenivas Gollapudi and Rina Panigrahy, The power of two min-hashes in similarity search among hierarchical data objects, In Symposium on Principles of Database Systems (PODS), Vancouver, Canada, June 9-12, 2008.

Atish Das Sarma, Sreneivas Gollapudi, and Rina Panigrahy, Estimating PageRank on Graph Streams, In Symposium on Principles of Database Systems (PODS), Vancouver, Canada, June 9-12, 2008.

Wei Lin, Mao Yang, Lintao Zhang, and Lidong Zhou, PacificA: Replication in Log-Based Distributed Storage Systems, Microsoft Research Technical Report, MSR-TR-2008-25, February, 2008, 14 pages.

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 20-22, 2008.

Martín Abadi, Andrew Birrell, Tim Harris, and Michael Isard, Semantics of transactional memory and automatic mutual exclusion, In ACM Symposium on Principles of Programming Languages (POPL), George C. Necula and Philip Wadler (eds.), San Francisco, California, USA, January 7-12, 2008, pages 63-74.

Sreenivas Gollapudi, Marc Najork, and Rina Panigrahy, Using Bloom Filters to Speed Up HITS-like Ranking Algorithms, In Workshop on Algorithms and Models for the Web Graph (WAW), San Diego, CA, December 11-12, 2007.

Marc Najork, Comparing the Effectiveness of HITS and SALSA, In ACM Conference on Information and Knowledge Management (CIKM), Lisboa, Portugal, November 6-9, 2007.

Úlfar Erlingsson, Low-level Software Security: Attacks and Defenses, Microsoft Research Technical Report, MSR-TR-2007-153, November, 2007, 43 pages.

Gordon Bell, Bell's Law for the birth and death of computer classes: A theory of the computer's evolution, Microsoft Research Technical Report, MSR-TR-2007-146, November, 2007, 26 pages.

Nathan Whitehead, Jordan Johnson, and Martín Abadi, Policies and Proofs for Code Auditing, In Automated Technology for Verification and Analysis (ATVA), Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura (eds.), Tokyo, Japan, October 22-25, 2007, pages 1-14.

Nicole Immorlica, Anna R. Karlin, Mohammad Mahdian, and Kunal Talwar, Balloon Popping With Applications to Ascending Auctions, In Annual IEEE Symposium on Foundations of Computer Science (FOCS), Providence, RI, October 21-23, 2007.

Frank McSherry and Kunal Talwar, Mechanism Design via Differential Privacy, In Annual IEEE Symposium on Foundations of Computer Science (FOCS), Providence, RI, October 21-23, 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), Thomas C. Bressoud and M. Frans Kaashoek (eds.), Stevenson, Washington, USA, October 14-17, 2007, pages 117-130.

Haryadi S. Gunawi, Vijayan Prabhakaran, Swetha Krishnan, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau, Improving File System Reliability with I/O Shepherding, In ACM Symposium on Operating Systems Principles (SOSP), Stevenson, Washington, October 14-17, 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 14-20, 2007.

Rina Panigrahy and Dilys Thomas, Finding Frequent Elements in non-bursty Streams, In Annual European Symposium on Algorithms (ESA), Eilat, Israel, October 8-10, 2007.

Jason Hartline, Nina Balcan, Avrim Blum, and Yishay Mansour, Reducing Mechanism Design to Algorithm Design via Machine Learning, In Journal of Computer and Systems Sciences (JCSS), October, 2007.

Danny Bickson, Dahlia Malkhi, and Lidong Zhou, P2P Rating, In 7th IEEE International Conference on Peer-to-Peer Computing, Galway, Ireland, September 2-5, 2007.

Jason Hartline and Anna Karlin, Algorithmic Game Theory, Profit Maximization in Mechanism Design, Cambridge University Press, Noam Nisan, Tim Roughgarden, Eva Tardos, and Vijay Vizarani (eds.), September, 2007.

Úlfar Erlingsson, Foundations of Security Analysis and Design, Low-Level Software Security: Attacks and Defenses, Springer, September, 2007, pages 92-134.

Liad Blumrosen and Noam Nisan, Algorithmic Game Theory, Combinatorial Auctions, Cambridge University Press, Noam Nisan, Tim Roughgarden, Eva Tardos, and Vijay Vizarani (eds.), September, 2007.

Yinglian Xie, Fang Yu, Kannan Achan, Eliot Gillum, Moises Goldszmidt, and Ted Wobber, How Dynamic are IP Addresses, In ACM SIGCOMM, Kyoto, Japan, August 27-31, 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 20-22, 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 12-15, 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), Portland, OR, August 12-15,, 2007.

John MacCormick, Chandramohan A. Thekkath, Marcus Jager, Kristof Roomp, and Lidong Zhou, Niobe: A Practical Replication Protocol, Microsoft Reseaerch Technical Report, MSR-TR-2007-112, August, 2007, 42 pages.

Úlfar Erlingsson and Martín Abadi, Operating system protection against side-channel attacks that exploit memory latency, Microsoft Research Technical Report, MSR-TR-2007-117, August, 2007, 7 pages.

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), Amsterdam, Netherlands, July 23-27, 2007.

Liad Blumrosen, Implementing the Maximum of Monotone Algorithms, In 22nd Conference on Artificial Intelligence (AAAI), Vancouver, British Columbia, Canada, July 22-26, 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 19-22, 2007, Invited paper.

Rajeev Motwani, Rina Panigrahy, and Ying Xu 0002, Estimating Sum by Weighted Sampling, In International Colloquium on Automata, Languages and Programming, (ICALP), Lars Arge and Christian Cachin and Tomasz Jurdzinski and Andrzej Tarlecki (eds.), Wroclaw, Poland, July 9-13, Proceedings, , 2007, pages 53-64.

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 9-11, 2007.

Martín Abadi and Phillip Rogaway, Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption), In J. Cryptology, Vol. 20, no 3, July, 2007, 395 pages.

Martín Abadi, Bruno Blanchet, and Cédric Fournet, Just fast keying in the Pi calculus, In ACM Transactions on Information System Security (TISSEC), Vol. 10, no 3, July, 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 18-23, 2007.

Benjamin Livshits and Úlfar Erlingsson, Using Web Application Construction Frameworks To Protect Against Code Injection Attacks, In Workshop on Programming Languages and Analysis for Security (PLAS 2007), San Diego, California, June 14, 2007.

Kunal Talwar and Udi Wieder, Balanced Allocations: The Weighted Case, In ACM Symposium on Theory of Computing (STOC), San Diego, CA, June 11-13, 2007.

Ganesh Ananthanarayanan, Venkata N. Padmanabhan, Lenin Ravindranath, and Chandramohan A. Thekkath, COMBINE: Leveraging the Power of Wireless Peers through Collaborative Downloading, In International Conference on Mobile Systems, Applications, and Services (MobiSys), San Juan, Puerto Rico, June 11-14, 2007.

Julia Chuzhoy, Venkatesan Guruswami, Sanjeev Khanna, and Kunal Talwar, Hardness of Routing with Congestion in Directed Graphs, In 39th ACM Symposium on Theory of Computing (STOC), San Diego, California, June 11-13,, 2007.

Thomas Holenstein, Parallel repetition: simplifications and the no-signaling case, In Annual ACM symposium on Theory of computing (STOC), San Diego, California, USA, June 11-13, 2007, pages 411-419.

Shuchi Chawla, Jason Hartline, and Robert Kleinberg, Algorithmic Pricing via Virtual Valuations, In ACM Conference on Electronic Commerce (EC 2007), San Diego, CA, June 11-15, 2007.

Boaz Barak, Kamalika Chaudhuri, Cynthia Dwork, Satyen Kale, Frank McSherry, and Kunal Talwar, Privacy, accuracy, and consistency too: a holistic solution to contingency table release, In Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Leonid Libkin (eds.), Beijing, China, June 11-13, 2007, pages 273-282.

Cynthia Dwork, Frank McSherry, and Kunal Talwar, The price of privacy and the limits of LP decoding, In Proceedings of the 39th Annual ACM Symposium on Theory of Computing (STOC), David S. Johnson and Uriel Feige (eds.), San Diego, California, USA, June 11-13, 2007, pages 85-94.

Udi Wieder, Balanced Allocations with Heterogeneous Bins, In ACM Symposium on Parallel Algorithms and Architectures (SPAA), San Diego, CA, June 9-11, 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), Phillip B. Gibbons and Christian Scheideler (eds.), San Diego, California, June 9-11, 2007, pages 16-24.

Robert Endre Tarjan and Renato Fonseca F. Werneck, Dynamic Trees in Practice, In International Workshop on Experimental Algorithms (WEA), Camil Demetrescu (eds.), Rome, Italy, June 6-8, 2007, pages 80-93.

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 6-8, 2007.

Andrew V. Goldberg, Haim Kaplan, and Renato F. Werneck, Better Landmarks within Reach, In Workshop on Experimental Algorithms (WEA), Rome, Italy, June 6-8, 2007, A preliminary version has been presented at the 9th DIMACS Implementation Challenge Workshop.

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 4-8, 2007.

Benjamin Livshits and Úlfar Erlingsson, Towards Security By Construction For Web 2.0 Applications, In Workshop on Web 2.0 Security and Privacy (W2SP 2007), The Claremont Resort, Oakland, California, May 24, 2007.

Lars Backstrom, Cynthia Dwork, and Jon M. Kleinberg, Wherefore art thou r3579x?: anonymized social networks, hidden patterns, and structural steganography, In International conference on World Wide Web (WWW), Carey L. Williamson and Mary Ellen Zurko and Peter F. Patel-Schneider and Prashant J. Shenoy (eds.), Banff, Alberta, Canada, May 8-12, 2007, pages 181-190.

Michael Isard and Andrew Birrell, Concurrent Programming with Automatic Mutual Exclusion, In Usenix Workshop on Hot Topics in Operating Systems (HotOs), San Diego, CA, May 7-9, 2007.

Ulfar Erlingsson, Benjamin Livshits, and Yinglian Xie, End-to-End Web Application Security, In Usenix Workshop on Hot Topics in Operating Systems (HotOs), San Diego, CA, May 7-9, 2007.

Steve Chien and Alistair Sinclair, Algebras with Polynomial Identities and Computing the Determinant, In SIAM Journal of Computing, Vol. 37, no 1, May, 2007, pages 252-266.

Martín Abadi and Boon Thau Loo, Towards a Declarative Language and System for Secure Networking, In International Workshop on Networking Meets Databases (NetDB '07), Cambridge, MA, April 10, 2007.

Dimitris Achlioptas and Frank McSherry, Fast computation of low-rank matrix approximations, In Journal of the ACM, Vol. 54, no 2, April, 2007.

Dahlia Malkhi, Lev Novik, and Chris Purcell, P2P Replica Synchronization with Vector Sets, In ACM Operating Systems Review, Vol. 41, no 2, April, 2007, 11 pages.

Roy Levin, A Perspective on Computing Research Management, In Operating Systems Review, Vol. 41, no 2, April, 2007, pages 3-9.

Michael Isard, Autopilot: Automatic Data Center Management, In Operating Systems Review, Vol. 41, no 2, April, 2007, pages 60-67.

Andrew Birrell, Michael Isard, Chuck Thacker, and Ted Wobber, A Design for High-Performance Flash Disks, In Operating Systems Review, Vol. 41, no 2, April, 2007, pages 88-93.

Martín Abadi, Access Control in a Core Calculus of Dependency, In Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, In Electronic Notes in Theoretical Computer Science, Vol. 172, April, 2007, pages 5-31.

Ted Wobber, Martín Abadi, Andrew Birrell, Dan Simon, and Aydan Yumerefendi, Authorizing applications in Singularity, In European Conference on Computer Systems (EuroSys), Lisbon, Portugal, March 21-23, 2007.

Galen Hunt, Chris Hawblitzel, Orion Hodson, James Larus, Bjarne Steensgaard, and Ted Wobber, Sealing OS processes to improve dependability and safety, In European Conference on Computer Systems (EuroSys), Lisbon, Portugal, March 21-23, 2007.

Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, and Dennis Fetterly, Dryad: Distributed Data-Parallel Programs from Sequential Building Blocks, In European Conference on Computer Systems (EuroSys), Lisbon, Portugal, March 21-23, 2007, also as MSR-TR-2006-140.

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 11-15, 2007, Also as MSR-TR-2006-64.

Gordon Bell and Jim Gemmell, A Digital Life, In Scientific American, March, 2007.

Ganesh Ananthanarayanan, Venkata N. Padmanabhan, Chandramohan A. Thekkath, and Lenin Ravindranath, Collaborative Downloading for Multi-homed Wireless Devices, In IEEE Workshop on Mobile Computing Systems and Applications (HotMobile), Tucson, AZ, February 26-27, 2007.

Stuart Ozer, David Kim, and David Baker, Reporting@Home: Delivering Dynamic Graphical Feedback to Participants and Researchers in Community Computing Projects, Microsoft Research Technical Report, MSR-TR-2007-17, February, 2007, 7 pages.

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), Masayuki Abe (eds.), San Francisco, CA, February, 2007.

Cynthia Dwork and Moni Naor, Zaps and Their Applications, In SIAM Journal of Computation, Vol. 36, no 6, February, 2007, pages 1513-1543.

Andrew V. Goldberg, Point-to-Point Shortest Path Algorithms with Preprocessing, In Current Trends in Theory and Practice of Computer Science (SOFSEM), Harrachov, Czech Republic, January 20-26, 2007, Invited Lecture.

Cynthia Dwork, Ask a Better Question, Get a Better Answer A New Approach to Private Data Analysis, In 11th International Conference on Database Theory (ICDT 2007), Thomas Schwentick and Dan Suciu (eds.), Barcelona, Spain, January 10-12, 2007, pages 18-27.

Steve Chien and Alistair Sinclair, Convergence to approximate Nash equilibria in congestion games, In Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Nikhil Bansal and Kirk Pruhs and Clifford Stein (eds.), New Orleans, Louisiana, January 7-9, 2007, pages 169-178.

Ittai Abraham, Gregory Chockler, Idit Keidar, and Dahlia Malkhi, Wait-Free Regular Storage from Byzantine Components, In Information Processsing Letters, Vol. 101, no 2, January, 2007, pages 60-65.

Ittai Abraham, Cyril Gavoille, Dahlia Malkhi, Noam Nisan, and Mikkel Thorup, Compact Name-Independent Routing with Minimum Stretch, In ACM Transactions on Algorithms, 2007.

Shuchi Chawla, Jason D. Hartline, Uday Rajan, and R. Ravi, Bayesian Optimal No-deficit Mechanism Design, In Workshop on Internet and Network Economics (WINE), Patras, Greece, December 15-17, 2006.

Vuk Ercegovac and Douglas B. Terry, Quantifying the Efficiency, Scalability, and Robustness of WinFS Replication, Microsoft Research Technical Report, MSR-TR-2006-189, December, 2006, 13 pages.

Brian Davison, Marc Najork, and and Tim Converse, SIGIR Workshop Report: Adversarial Information Retrieval on the Web, In ACM SIGIR Forum (AIRWeb 2006), Vol. 40, no 2, December, 2006, pages 27-30.

Leslie Lamport, Implementing Dataflow With Threads, Microsoft Research Technical Report, MSR-TR-2006-181, December, 2006, 42 pages.

Vik Singh, Jim Gray, Ani R. Thakar, Alexander S. Szalay, Jordan Raddick, Bill Boroski, Svetlana Lebedeva, and Brian Yanny, SkyServer Traffic Report --- The First Five Years, Microsoft Research Technical Report, MSR-TR-2006-190, December, 2006, 15 pages.

Jim Gray, Alex Szalay, Tamás Budavári, Ani R. Thakar, Maria A. Nieto-Santisteban, and Robert Lupton , Cross-Matching Multiple Spatial Observations and Dealing with Missing Data, Microsoft Research Technical Report, MSR-TR-2006-175, December, 2006, 7 pages.

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), Irvine, California, November 29-30, 2006.

Martín Abadi, Ricardo Corin, and Cédric Fournet, Computational Secrecy by Typing for the Pi Calculus, In Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006), University of New South Wales, Sydney, Australia, November 8-10, 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 6-8, 2006.

L. Bordeaux, Y. Hamadi, and L. Zhang, Propositional Satisfiability and Constraint Programming: A Comparative Survey, In ACM Computing Surveys, Vol. 38, no 4, November 1, 2006.

Dan Teodosiu, Nikolaj Bjorner, Joe Porkka, Mark Manasse, and Y. Gurevich , Optimizing File Replication over Limited-Bandwidth Networks using Remote Differential Compression, Microsoft Research Technical Report, MSR-TR-2006-157, November, 2006, 16 pages.

Martin Hutle, Dahlia Malkhi, Ulrich Schmid, and Lidong Zhou, Chasing the Weakest System Model for Implementing Omega and Consensus (Brief Announcement), In In Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 06), Dallas, TX, USA, November, 2006.

Martín Abadi and Véronique Cortier, Deciding Knowledge in Security Protocols under Equational Theories, In Theoretical Computer Science, Vol. 367, no 1--2, November, 2006, pages 2-32.

Mahim Mishra, Timothy J. Callahan, Tiberiu Chelcea, Girish Venkataramani, Mihai Budiu, and Seth C. Goldstein, Tartan: Evaluating Spatial Computation For Whole Program Execution, In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), San Jose, CA, October 21-25, 2006.

Mihai Budiu, Úlfar Erlingsson, and Martín Abadi, Architectural Support for Software-Based Protection, In Workshop on Architectural and System Support for Improving Software Dependability (ASID), San Jose, CA, October 21, 2006, A version appeared as MSR-TR-2006-115.

Joseph Bonneau and Ilya Mironov, Cache-Collision Timing Attacks Against AES, In Cryptographic Hardware and Embedded Systems (CHES 2006), Louis Goubin and Mitsuru Matsui (eds.), Yokohama, Japan, October, 2006, pages 201-215.

Philippe Golle, Frank McSherry, and Ilya Mironov, Data Collection With Self-Enforcing Privacy, In ACM Conference on Computer and Communications Security (CCS 2006), Rebecca Wright and Sabrina De Capitani di Vimercati and Vitaly Shmatikov (eds.), Alexandria, VA, October, 2006, pages 69-78.

Leslie Lamport, Fast Paxos, In Distributed Computing, Vol. 19, no 2, October, 2006, pages 79-103.

Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, and Dennis Fetterly, Dryad: Distributed Data-Parallel Programs from Sequential Building Blocks, Microsoft Research Technical Report, MSR-TR-2006-140, October, 2006, 14 pages.

Muthukarrupan Annamalai, Andrew Birrell, Dennis Fetterly, and Ted Wobber, Implementing Portable Desktops: A New Option and Comparisons, Microsoft Research Technical Report, MSR-TR-2006-151, October, 2006, 20 pages.

Avik Chaudhuri and Martín Abadi, Formal Analysis of Dynamic, Distributed File-System Access Controls, In Formal Techniques for Networked and Distributed Systems (FORTE 2006), Paris, France, September 26-29, 2006, pages 99-114.

Leslie Lamport, Checking a Multithreaded Algorithm with +CAL, In International Symposium on Distributed Computing (DISC), Stockholm, Sweden, September 18-20, 2006.

Martín Abadi, Access control in a core calculus of dependency, In International Conference on Functional Programming (ICFP), Portland, Oregon, September 18-20, 2006, 263 - 273 pages.

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), Pisa, Italy, September 15, 2006.

Stuart Ozer, Alex Szalay, Katalin Szlavecz, Andreas Terzis, Răzvan Musăloiu-E., and Joshua Cogan, Using Data-Cubes in Science: an Example from Environmental Monitoring of the Soil Ecosystem, Microsoft Research Technical Report, MSR-TR-2006-134, September 6, 2006, 6 pages.

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), Seattle, WA, August 12-15, 2006.

Naga K. Govindaraju, Scott Larsen, Jim Gray, and Dinesh Manocha, A Memory Model for Scientific Algorithms on Graphics Processors, Microsoft Research Technical Report, MSR-TR-2006-108, August, 2006, 10 pages.

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 30-August 2, 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 30-August 2, 2006.

Ilya Mironov, Kobbi Nissim, and Anton Mityagin, Hard Instances of the Constrained Discrete Logarithm Problem, In 7th Algorithmic Number Theory Symposium (ANTS 06), Florian Heß and Sebastian Pauli and Michael Pohst (eds.), Berlin, Germany, July 23-28, 2006, pages 582-598.

Lintao Zhang, Solving QBF with Combined Conjunctive and Disjunctive Normal Form, In National Conference on Artificial Intelligence (AAAI), Boston, MA, July 16-20, 2006.

Kamalika Chaudhuri, Satish Rao, Samantha Riesenfeld, and Kunal Talwar, A Push-Relabel Algorithm for Approximating Degree Bounded MSTs., In 33rd International Colloquium on Automata, Languages and Programming, Part I (ICALP 2006), Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener (eds.), Venice, Italy, July 10-14, 2006, pages 191-201.

Cynthia Dwork, Differential Privacy, In 33rd International Colloquium on Automata, Languages and Programming, part II (ICALP 2006), Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener (eds.), Venice, Italy, July 10-14, 2006, pages 1-12.

Avik Chaudhuri and Martín Abadi, Secrecy by Typing and File-Access Control, In 19th IEEE Computer Security Foundations Workshop (CSFW), S. Servolo Island, Venice, Italy, July 5-7, 2006, pages 112-123.

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" (ICDCS), Lisboa, Portugal, July 4-7, 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.

Úlfar Erlingsson and John MacCormick, Ad hoc Extensibility and Access Control, In ACM Operating Systems Review, Vol. 40, no 3, July, 2006, Also as MSR-TR-2005-143.

Lev Novik, Irena Hudis, Douglas B. Terry, Sanjay Anand, Vivek Jhaveri, Ashish Shah, and Yunxin Wu, Peer-to-Peer Replication in WinFS, Microsoft Research Technical Report, MSR-TR-2006-78, June, 2006, 17 pages.

Maxim Babenko and Andrew V. Goldberg, Experimental Evaluation of a Parametric Flow Algorithm, Microsoft Research Technical Report, MSR-TR-2006-77, June, 2006, 12 pages.

Katalin Szlavecz, Andreas Terzis, Răzvan Musăloiu-E., Joshua Cogan, Sam Small, Stuart Ozer, Randal Burns, Jim Gray, and Alexander S. Szalay, Life Under Your Feet: An End-to-End Soil Ecology Sensor Network, Database, Web Server, and Analysis Service, In 3rd Workshop on Embedded Networked Sensors (EmNets 2006), Harvard University, Cambridge, Massachusetts, USA, May 30-31, 2006, pages 51-055, An expanded version appeared as MSR-TR-2006-90..

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), Serge Vaudenay (eds.), Saint Petersburg, Russia, May 28-June 1, 2006, pages 486-503.

Alexandros Ntoulas, Marc Najork, Mark Manasse, and Dennis Fetterly, Detecting Spam Web Pages Through Content Analysis, In International conference on World Wide Web (WWW), Edinburgh, Scotland, May 23-26, 2006.

Lintao Zhang, Solving QBF with Combined Conjunctive and Disjunctive Normal Form, Microsoft Research Technical Report, MSR-TR-2006-58, May, 2006, 7 pages.

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, May, 2006, pages 242-269.

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 25-29, 2006, Best Paper Award.

Ilya Mironov, Collision-resistant no more: Hash-and-sign paradigm revisited, In Public Key Cryptography (PKC 2006), Moti Yung and Yevgeniy Dodis and Aggelos Kiayias and Tal Malkin (eds.), New York, NY, April 24-26, 2006, pages 140-156.

Leslie Lamport, Chapter in Software Specification Methods: An Overview Using a Case Study, TLA+, Hermes, Henri Habrias and Marc Frappier (eds.), April, 2006.

Jim Gray and Alex Szalay, The World Wide Telescope, In MSDN Magazine, Vol. 21, no 5, April, 2006.

Russell Sears, Catharine Van Ingen, and Jim Gray, To BLOB or Not To BLOB: Large Object Storage in a Database or a Filesystem, Microsoft Research Technical Report, MSR-TR-2006-45, April, 2006.

Jim Gray, María A. Nieto-Santisteban, and Alexander S. Szalay, The Zones Algorithm for Finding Points-Near-a-Point or Cross-Matching Spatial Datasets, Microsoft Research Technical Report, MSR-TR-2006-52, April, 2006.

Martín Abadi, Mathieu Baudet, and Bogdan Warinschi, Guessing Attacks and the Computational Soundness of Static Equivalence, In Foundations of Software Science and Computation Structures (FOSSACS) 2006, Luca Aceto and Anna Ingólfsdóttir (eds.), Vienna, Austria, March 25-31, 2006, pages 398-412.

Jim Gray and Alex Szalay, Science In An Exponential World, In Nature, Vol. 440, no 23, March 23, 2006.

Miklós Ajtai, Cynthia Dwork, and Larry J. Stockmeyer, An Architecture for Provably Secure Computation, In Theoretical Informatics, 7th Latin American Symposium (LATIN 2006), José R. Correa and Alejandro Hevia and Marcos A. Kiwi (eds.), Valdivia, Chile, March 20-24, 2006, pages 56-67.

Nir Ailon, Steve Chien, and Cynthia Dwork, On Clusters In Markov Chains, In Latin American Theoretical Informatics Symposium (LATIN), Valdivia, Chile, March 20-24, 2006.

Cynthia Dwork, Frank McSherry, Kobbi Nissim, and Adam Smith, Calibrating Noise to Sensitivity in Private Data Analysis, In Third Theory of Cryptography Conference (TCC 2006), Shai Halevi and Tal Rabin (eds.), New York, NY, USA, March 4-7, 2006, pages 265-284.

Martin Abadi, Cormac Flanagan, and Stephen N. Freund, Types for safe locking: Static race detection for Java, In ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 28, no 2, March, 2006, pages 207-255.

Allan Heydon, Roy Levin, Timothy Mann, and Yuan Yu, Software Configuration Management Using Vesta, Springer Verlag, February, 2006, 262 pages.

Gerd Heber and Jim Gray, Supporting Finite Element Analysis with a Relational Database Backend Part II: Database Design and Access, Microsoft Research Technical Report, MSR-TR-2006-21, February, 2006, 17 pages.

Anupam Gupta and Kunal Talwar, Approximating Unique Games, In ACM-SIAM Symposium on Discrete Algorithms (SODA), Miami, FL, January 22-24, 2006.

Gagan Aggarwal and Jason D. Hartline, Knapsack Auctions, In ACM/SIAM Symposium on Discrete Algorithms (SODA), Miami, FL, January 22-24, 2006.

A.V. Goldberg, Haim Kaplan, and Renato Werneck, Reaching for A*: Efficient Point-to-Point Shortest Path Algorithms, In SIAM Workshop on Algorithms Engineering and Experimentation (ALENEX 06), Miami, FL, January 21, 2006, also as MSR-TR-2005-132.

Leslie Lamport, Measuring Celebrity, In Annals of Improbable Research, Vol. 12, no 1, January/February, 2006, pages 14-15.

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.

J.K. Adelman-McCarthy et al., The Fourth Data Release of the Sloan Digital Sky Survey, In Astrophysics, Vol. 162, January, 2006, pages 38-48.

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, January, 2006, pages 110-112, Letter to NSF Cyberinfrastructure Directorate.

Úlfar Erlingsson, Mark Manasse, and Frank McSherry, A cool and practical alternative to traditional hash tables, In 7th Workshop on Distributed Data and Structures (WDAS'06), Santa Clara, CA, 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, January, 2006, pages 88-95, also as MSR-TR-2006-23.

Uriel Feige, Abraham Flaxman, Jason D. Hartline, and Robert Kleinberg, On the Competitive Ratio of the Random Sampling Auction, In Workshop on Internet and Network Economics (WINE), Hong Kong, China, December 15-17, 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 13, 2005.

Jim Gray and Catharine Van Ingen, Empirical Measurements of Disk Failure Rates and Error Rates, Microsoft Research Technical Report, MSR-TR-2005-166, December, 2005, 3 pages.

Catharine Van Ingen, Fun with Numbers: Storage Provisioning, Microsoft Research Technical Report, MSR-TR-2005-167, December, 2005, 5 pages.

Catharine Van Ingen, Where Have All the IOPs Gone?, Microsoft Research Technical Report, MSR-TR-2005-181, December, 2005, 13 pages.

Naga K. Govindaraju, Jim Gray, Ritesh Kumar, and Dinesh Manocha, GPUTeraSort: High Performance Graphics Coprocessor Sorting for Large Database Management, Microsoft Research Technical Report, MSR-TR-2005-183, December, 2005, 14 pages.

Ittai Abraham, Cyril Gavoille, A.V. Goldberg, and Dahlia Malkhi, Routing in Networks with Low Doubling Dimension, Microsoft Research Technical Report, MSR-TR-2005-175, December, 2005, 20 pages.

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 7-11, 2005, pages 340-353.

Anmol Sheth, K. Tejaswi, P. Mehta, C. Parekh, R. Bansal, Shabbir N. Merchant, T. Singh, Uday B. Desai, Chandramohan A. Thekkath, and K. Toyama, SenSlide: a sensor network based landslide prediction aystem., In SenSys, Jason Redi and Hari Balakrishnan and Feng Zhao (eds.), San Diego, California, November 2-4, 2005, pages 280-281.

Martín Abadi, Mihai Budiu, Úlfar Erlingsson, and Jay Ligatti, A Theory of Secure Control-Flow, In International Conference on Formal Engineering Methods (ICFEM), Manchester, UK, November 1-4, 2005, pages 111-124.

Ilya Mironov, Hash functions: Theory, attacks, and applications, Microsoft Research Technical Report, MSR-TR-2005-187, November, 2005, 22 pages.

Gerd Heber, Chris Pelkie, Andrew Dolgert, Jim Gray, and David Thompson, Supporting Finite Element Analysis with a Relational Database Backend; Part III: OpenDX --- Where the Numbers Come Alive, Microsoft Research Technical Report, MSR-TR-2005-151, 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), Birghton, UK, October 23-26, 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), Brighton, UK, October 23-26, 2005, 2005.

Maria-Florina Balcan, Avrim Blum, Jason D. Hartline, and Yishay Mansour, Mechanism Design via Machine Learning, In IEEE Symposium on Foundations of Computer Science (FOCS), Pittsburgh, PA, October 22-25, 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 3-6, 2005.

Galen Hunt, James R. Larus, Martín 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, Microsoft Research Technical Report, MSR-TR-2005-135, October, 2005, 44 pages.

Maria A. Nieto-Santisteban, Aniruddha R. Thakar, Alexander S. Szalay, and Jim Gray, Large-Scale Query and XMatch, Entering the Parallel Zone, In Astronomical Data Analysis Software and Systems XV, San Lorenzo de El Escorial, Madrid, Spain, October, 2005, To Appear in the ASP conference series.

Dahlia Malkhi and Douglas B. Terry, Concise Version Vectors in WinFS, In 19th Intl. Symposium on Distributed Computing (DISC 05), Cracow, Poland, September 26-28, 2005.

Ittai Abraham, Dahlia Malkhi, and Gurmeet Manku, Papillon: Greedy Routing in Rings, In Brief Announcement in the 19th Intl. Symposium on Distributed Computing (DISC 05), Cracow, Poland, September 26-28, 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 26-28, 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), Cracow, Poland, September 26-28, 2005.

Fred B. Schneider and Lidong Zhou, Implementing Trustworthy Services Using Replicated State Machines, In IEEE Security & Privacy, Vol. 3, no 5, September, 2005, pages 34-43.

Jim Gray, Alex Szalay, and Gyorgy Fekete, Using Table Valued Functions in SQL Server 2005 To Implement a Spatial Data Library, Microsoft Research Technical Report, MSR-TR-2005-122, September, 2005.

Alex Szalay, Jim Gray, Gyorgy Fekete, Peter Kunszt, Peter Kukol, and Ani Thakar, Indexing the Sphere with the Hierarchical Triangular Mesh, Microsoft Research Technical Report, MSR-TR-2005-123, September, 2005.

Kamalika Chaudhuri, Satish Rao, Samantha Riesenfeld, and Kunal Talwar, What Would Edmonds Do? Augmenting Paths and Witnesses for Degree-Bounded MSTs, In 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2005) and 9th International Workshop on Randomization and Computation (RANDOM 2005), Chandra Chekuri and Klaus Jansen and José D. P. Rolim and Luca Trevisan (eds.), Berkeley, CA, USA, August 22-24, 2005, pages 26-39.

Uriel Feige and Kunal Talwar, Approximating the Bandwidth of Caterpillars, In 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2005) and 9th International Workshop on Randomization and Computation (RANDOM 2005), Chandra Chekuri and Klaus Jansen and José D. P. Rolim and Luca Trevisan (eds.), Berkeley, CA, USA, August 22-24, 2005, pages 62-73.

Jason D. Hartline and Vladlen Koltun, Near-Optimal Pricing in Near-Linear Time, In 9th International Workshop Algorithms and Data Structures (WADS 2005), Frank K. H. A. Dehne and Alejandro López-Ortiz and Jörg-Rüdiger Sack (eds.), Waterloo, Canada, August 15-17, 2005, pages 422-431.

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), Salvador, Brazil, August 15-19, 2005.

Cynthia Dwork, Moni Naor, and Hoeteck Wee, Pebbling and Proofs of Work, In Twenty-Fifth Annual International Cryptology Conference (CRYPTO 05), University of California, Santa Barbara, August 14-18, 2005.

Lidong Zhou, Fred B. Schneider, and Robbert Van Renesse, APSS: proactive secret sharing in asynchronous systems, In ACM Transactions on Information System Security, Vol. 8, no 3, August, 2005, pages 259-286.

Shuchi Chawla, Cynthia Dwork, Frank McSherry, and Kunal Talwar, On Privacy-Preserving Histograms, In Uncertainty in Artificial Intelligence (UAI), Edinburgh, Scotland, July 26-29, 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 17-20, 2005.

Murali Rangan, Ed Swierk, and Douglas B. Terry, Contextual Replication for Mobile Users, In International Conference on Mobile Business (ICMB'05), Sydney, Australia, July 11-13, 2005, pages 457-463.

Kamal Jain, Mohammad Taghi Hajiaghayi, and Kunal Talwar, The Generalized Deadlock Resolution Problem, In 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005), Luís Caires and Giuseppe F. Italiano and Luís Monteiro and Catuscia Palamidessi and Moti Yung (eds.), Lisbon, Portugal, July 11-15, 2005, pages 853-865.

M. S. Manasse, C. A. Thekkath, and A. Silverberg, A Reed-Solomon Code for Disk Storage, and Efficient Recovery Computations for Erasure-Coded Disk Storage, In Proceedings in Informatics, July, 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 28-July 1, 2005.

Dimitris Achlioptas and Frank McSherry, On Spectral Learning of Mixtures of Distributions, In 18th Annual Conference on Learning Theory (COLT 2005), Peter Auer and Ron Meir (eds.), Bertinoro, Italy, June 27-30, 2005, pages 458-469.

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), San Diego, USA, June 20-25, 2005.

Lintao Zhang, On Subsumption Removal and On-the-Fly CNF Simplification., In 8th International Conference on the Theory and Applications of Satisfiability Testing (SAT 2005), Fahiem Bacchus and Toby Walsh (eds.), St. Andrews, UK, June 19-23, 2005, pages 482-489.

Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, and Martin C. Rinard, Optimizations for Compiling Declarative Models into Boolean Formulas., In 8th International Conference on the Theory and Applications of Satisfiability Testing (SAT 2005), Fahiem Bacchus and Toby Walsh (eds.), St. Andrews, UK, June 19-23, 2005, pages 187-202.

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 13-16, 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), Santa Fe, N.M., June 12-15, 2005.

Martín Abadi, Andrew Birrell, and Ted Wobber, Access control in a world of software diversity, In Proceedings of Tenth Workshop on Hot Topics in Operating Systems (HotOs), Santa Fe, NM, June 12-15, 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), Columbus, OH USA, June 6-10, 2005, pages 815-824.

Jason D. Hartline and Robert McGrew, From optimal limited to unlimited supply auctions, In Proceedings 6th ACM Conference on Electronic Commerce (EC-2005), Vancouver, BC, Canada, June 5-8, 2005, pages 175-182.

Jim Gray, A Measure of Transaction Processing 20 Years Later, In IEEE Data Engineering Bulletin, Vol. 28, no 2, June, 2005, pages 3-4, also as MSR-TR-2005-57.

Úlfar Erlingsson, Tom Roeder, and Ted Wobber, Virtual Environments for Unreliable Extensions, Microsoft Research Technical Report, MSR-TR-2005-82, June, 2005.

Ittai Abraham and Dahlia Malkhi, Robust Locality-Aware Lookup Networks, In Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations, Özalp Babaoglu and Márk Jelasity and Alberto Montresor and Christof Fetzer and Stefano Leonardi and Aad P. A. van Moorsel and Maarten van Steen (eds.), Bertinoro, Italy, May 31-June 2, 2005, pages 392-402.

Gagan Aggarwal, Amos Fiat, Andrew V. Goldberg, Jason D. Hartline, Nicole Immorlica, and Madhu Sudan, Derandomization of auctions, In Proceedings of the 37th Annual ACM Symposium on Theory of Computing (STOC 2005), Harold N. Gabow and Ronald Fagin (eds.), Baltimore, MD, USA, May 22-24, 2005, pages 619-625.

Byron Dom, Krishna Bharat, Andrei Z. Broder, Marc Najork, Jan O. Pedersen, and Yoshinobu Tonomura, How search engines shape the web, In World Wide Web, (WWW 2005), Allan Ellis and Tatsuya Hagino (eds.), Chiba, Japan, May 10-14, 2005, 879 pages, special interest tracks and posters.

Frank McSherry, A uniform approach to accelerated PageRank computation, In Proceedings of the 14th international conference on World Wide Web, (WWW 2005), Allan Ellis and Tatsuya Hagino (eds.), Chiba, Japan, May 10-14, 2005, pages 575-582.

Steve Chien and Nicole Immorlica, Semantic similarity between search engine queries using temporal correlation, In Proceedings of the 14th international conference on World Wide Web, (WWW 2005), Allan Ellis and Tatsuya Hagino (eds.), Chiba, Japan, May 10-14, 2005, pages 2-11.

Minwen Ji, Tom Rodeheffer, Marcos Aguilera, and Mark Lillibridge, Generating unforgeable evidence for secure communications, Hewlett-Packard Laboratories Technical Report, HPL-2005-71, 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, May, 2005, pages 299-327.

Gregory Chockler and Dahlia Malkhi, Active Disk Paxos with infinitely many processes, In Distributed Computing, April, 2005, Special Issue PODC 2002.

Gerd Heber and Jim Gray, Supporting Finite Element Analysis with a Relational Database Backend Part I: There is Life beyond Files, Microsoft Research Technical Report, MSR-TR-2005-49, April, 2005.

Jim Gray, Thousands of DebitCredit Transactions-Per-Second: Easy and Inexpensive, Microsoft Research Technical Report, MSR-TR-2005-39, April, 2005.

Mihai Budiu and Seth Copen Goldstein, Inter-Iteration Scalar Replacement in the Presence of Conditional Control-Flow, In Workshop on Optimizations for DSP and Embedded Systems (ODES), San Jose, CA, March 20, 2005, pages 20-29.

Mihai Budiu, Pedro V. Artigas, and Seth Copen Goldstein, Dataflow: A Complement to Superscalar, In IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), Austin, TX, March 20-22, 2005, pages 177-186.

Leslie Lamport, Real Time is Really Simple, Microsoft Research Technical Report, MSR-TR-2005-30, March, 2005.

Leslie Lamport, Generalized Consensus and Paxos, Microsoft Research Technical Report, MSR-TR-2005-33, March, 2005, 60 pages.

Jason D. Hartline, Edwin S. Hong, Alexander E. Mohr, William R. Pentney, and Emily Rocke, Characterizing History Independent Data Structures, In Algorithmica, Vol. 42, no 1, March, 2005, pages 57-74.

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 24-25, 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 24-28, 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 14-18, 2005.

Cynthia Dwork, Sub-linear Queries Statistical Databases: Privacy with Power, In Cryptographers' Track, RSA Conference (CT-RSA '05), Alfred Menezes (eds.), San Francisco, CA, USA, February 14-18, 2005, pages 1-6.

Shuchi Chawla, Cynthia Dwork, Frank McSherry, Adam Smith, and Hoeteck Wee, Toward Privacy in Public Databases, In Second Theory of Cryptography Conference, (TCC 2005), Joe Kilian (eds.), Cambridge, MA, USA, February 10-12, 2005, pages 363-385.

William O'Mullane, Nolan Li, Maria A. Nieto-Santisteban, Ani Thakar, Alexander S. Szalay, and Jim Gray, Batch is back: CasJobs, serving multi-TB data on the Web, Microsoft Research Technical Report, MSR-TR-2005-19, February, 2005.

Andrew V. Goldberg and Jason D. Hartline, Collusion-resistant mechanisms for single-parameter agents, In Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms, (SODA 2005), Vancouver, British Columbia, Canada, January 23-25, 2005, pages 620-629.

Venkatesan Guruswami, Jason D. Hartline, Anna R. Karlin, David Kempe, Claire Kenyon, and Frank McSherry, On profit-maximizing envy-free pricing, In Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms, (SODA 2005), Vancouver, British Columbia, Canada, January 23-25, 2005, pages 1164-1173.

Avrim Blum and Jason D. Hartline, Near-optimal online auctions, In ACM/SIAM Symposium on Discrete Algorithms (SODA), Vancouver, British Columbia, Canada, January 23-25, 2005, pages 1156-1163.

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 23-25, 2005.

A. V. Goldberg and R. Werneck, Computing Point-to-Point Shortest Paths from External Memory, In SIAM Workshop on Algorithms Engineering and Experimentation (ALENEX '05), Vancouver, Canada, January 22, 2005.

Maria A. Nieto-Santisteban, Alexander S. Szalay, Aniruddha R. Thakar, William J. O'Mullane, Jim Gray, and James Annis, When Database Systems Meet The Grid, ACM CIDR 2005 address = Asilomar, CA, January, 2005, also as MSR-TR-2004-81.

Jim Gray, David T. Liu, Maria A. Nieto-Santisteban, Alexander S. Szalay, Gerd Heber, and David DeWitt, Scientific Data Management in the Coming Decade, In ACM SIGMOD Record, Vol. 34, no 4, January, 2005, pages 35-41, also as MSR-TR-2005-10.

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), December 6-8, 2004, pages 105-120.

Peter Kukol and Jim Gray, Sequential File Programming Patterns and Performance with .NET, Microsoft Research Technical Report, MSR-TR-2004-136, December, 2004.

Andrew D. Birrell, Computer systems theory, technology, and applications, Implementing condition variables with semaphores, Springer-Verlag, Andrew Herbert and Karen Spärck Jones (eds.), December, 2004, pages 29-37.

Mark Manasse, Danny Sleator, Victor K. Wei, and Nick Baxter, A Tribute to a Mathemagician, The Panex Puzzle, A. K. Peters, Barry Cipra et al. (eds.), November, 2004, pages 145-162.

Cynthia Dwork, Moni Naor, and Amit Sahai, Concurrent zero-knowledge, In J. ACM, Vol. 51, no 6, November, 2004, pages 851-898.

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), San Jose, CA, USA, October 25-29, 2004, pages 344-354.

Steve Chien and Alistair Sinclair, Algebras with Polynomial Identities and Computing the Determinant, In 45th Annual Symposium on Foundations of Computer Science (FOCS '04), Rome, Italy, October 17-19, 2004, pages 352-361.

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 15, 2004, pages 48-55.

Gordon Bell, A new relevance for multimedia when we record everything personal, In Proceedings of the 12th ACM International Conference on Multimedia, Henning Schulzrinne and Nevenka Dimitrova and Angela Sasse and Sue B. Moon and Rainer Lienhart (eds.), New York, NY, USA, October 10-16, 2004, 1 pages.

I. Abraham, C. Gavoille, and D. Malkhi, Routing with Improved Communication-Space Trade-Off, In Eighteenth International Symposium on Distributed Computing (DISC 2004), October 4-7, 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 1, 2004.

Jim Gray and Alexander S. Szalay, Where the Rubber Meets the Sky: Bridging the Gap between Databases and Science, In IEEE Data Engineering Bulletin, Vol. 27, no 4, October, 2004, pages 3-11, also as MSR-TR-2004-110.

Tom Barclay, Jim Gray, and Wyman Chong, TerraServer Bricks --- A High Availability Cluster Alternative, Microsoft Research Technical Report, MSR-TR-2004-107, October, 2004, 21 pages.

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, October, 2004, pages 228-246.

Anirban Dasgupta, John Hopcroft, and Frank McSherry, Spectral Analysis of Random Graphs with Skewed Degree Distributions, In 45th Annual Symposium on Foundations of Computer Science (FOCS), Rome, Italy, October, 2004, pages 602-610.

Bob Atkinson, Tom Blank, Michael Isard, James D (JJ) Johnston, and Kirk Olynyk, An Internet Protocol (IP) Sound System, In AES 117th Convention, San Francisco, USA, October, 2004.

Martín Abadi and Ted Wobber, A Logical Account of NGSCB, In Proceedings of Formal Techniques for Networked and Distributed Systems (Forte '04), Madrid, Spain, September 27-30, 2004.

Jim Gray, Computer Science: Reflections on the Field, Reflections from the Field, How do you know?, September, 2004, pages 80-88.

Gordon Bell, A Time and Place for Standards, In ACM Queue, September, 2004, pages 67-74.

Cynthia Dwork and Kobbi Nissim, Privacy-Preserving Datamining on Vertically Partitioned Databases, In 24th Annual International Cryptology Conference (CRYPTO 2004), Matthew K. Franklin (eds.), Santa Barbara, California, USA, August 15-19, 2004, pages 528-544.

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 9-13, 2004, Best student paper award.

Michael D. Schroeder, Using Sharing to Simplify System Management, In Computer Systems: Theory, Technology, and Applications, A. Herbert and K. Sparck Jones (eds.), New York, August, 2004, pages 259-268.

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 25-28, 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 25-28, 2004.

Gordon Bell, Jim Gemmell, and Roger Lueder, Challenges in using lifetime personal information stores, In SIGIR 2004: Proceedings of the 27th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Mark Sanderson and Kalervo Järvelin and James Allan and Peter Bruza (eds.), Sheffield, UK, July 25-29, 2004, 1 pages.

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), Rajeev Alur and Doron Peled (eds.), Boston, MA, USA, July 13-17, 2004, pages 457-461.

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 8-9, 2004.

Roy Levin, A Technology Transfer Retrospective, In Computer Systems: Theory, Technology, and Applications, Andrew Herbert and Karen Spärck-Jones (eds.), July, 2004.

Leslie Lamport, Lower Bounds for Asynchronous Consensus, Microsoft Research Technical Report, MSR-TR-2004-72, July, 2004, 61 pages.

Tom Barclay and Jim Gray, TerraServer Cluster and SAN Experience, Microsoft Research Technical Report, MSR-TR-2004-67, July, 2004, 17 pages.

Leslie Lamport and Mike Massa, Cheap Paxos, In International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy, June 28-July 1, 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), Washington DC, USA, June 27-July 2, 2004, pages 421-428.

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 '04), Paris, France, June 17-18, 2004, pages 1-6.

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 13-15, 2004, pages 561-568.

Cynthia Dwork, Moni Naor, and Omer Reingold, Immunizing Encryption Schemes from Decryption Errors, In International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2004), Christian Cachin and Jan Camenisch (eds.), Interlaken, Switzerland, May 2-6, 2004, pages 342-360.

Jim Gray and Peter Kukol, Sequential Disk IO Tests for GBps Land Speed Record, Microsoft Research Technical Report, MSR-TR-2004-62, May, 2004.

Andrew Goldberg and Jason Hartline, Collusion-Resistant Mechanisms for Single-Parameter Agents, Technical Report, MSR-TR-2004-40, May, 2004.

Cynthia Dwork, Fighting Spam: The Science, In Theoretical Informatics, 6th Latin American Symposium (LATIN 2004), Martin Farach-Colton (eds.), Buenos Aires, Argentina, April 5-8, 2004, pages 3-4.

Alexander S. Szalay, Gyorgy Fekete, William O'Mullane, Maria A. Nieto-Santisteban, Aniruddha R. Thakar, Gerd Heber, and Arnold H. Rots, There Goes the Neighborhood: Relational Algebra for Spatial Data Search, Microsoft Research Technical Report, MSR-TR-2004-32, April, 2004.

Chris Nyberg, Jim Gray, and Charles Koester, A Minute with Nsort on a 32P NEC Windows Itanium2 Server, April, 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), Volker Diekert and Michel Habib (eds.), March 25-27, 2004, pages 644-655.

Jim Gray, Computer Systems Theory, Technology and Applications, A Tribute to Roger Needham, Distributed Computing Economics, Springer Verlag, March, 2004, pages 93-101, also as MSR-TR-2003-24.

Kevork Abazajian et al, The Second Data Release of the Sloan Digital Sky Survey, In Astronomy, Vol. 128, March, 2004, pages 502-512.

Jim Gray, The Revolution in Database Architecture, Microsoft Research Technical Report, MSR-TR-2004-31, March, 2004, Extended abstract of keynote talk at ACM SIGMOD 2004 Paris, France - June 2004.

A. V. Goldberg and A. V. Karzanov, Maximum Skew-Symmetric Flows and Matchings, In Math. Programming, Vol. 100, March, 2004, pages 537-568.

Andrew V. Goldberg and Chris Harrelson, Computing the Shortest Path: A^* Search Meets Graph Theory, Technical Report, MSR-TR-2004-24, 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 24-25, 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 23-24, 2004.

Cynthia Dwork, Ronen Shaltiel, Adam Smith, and Luca Trevisan, List-Decoding of Linear Functions and Analysis of a Two-Round Zero-Knowledge Argument, In First Theory of Cryptography Conference (TCC 2004), Moni Naor (eds.), Cambridge, MA, USA, February 19-21, 2004, pages 101-120.

Maria A. Nieto-Santisteban, William O'Mullane, Jim Gray, Nolan Li, Tamas Budavari, Alexander S. Szalay, and Aniruddha R. Thakar, Extending the SDSS Batch Query System to the National Virtual Observatory Grid, Microsoft Research Technical Report, MSR-TR-2004-12, February, 2004.

Adrian C. Pope, Takahiko Matsubara, Alexander S. Szalay, Michael R. Blanton, Daniel J. Eisenstein, Jim Gray, Bhuvnesh Jain, Neta A. Bahcall, Jon Brinkmann, Tamas Budavari, Andrew J. Connolly, Joshua A. Frieman, James E. Gunn, David Johnston, Stephen M. Kent, Robert H. Lupton, Avery Meiksin, Robert C. Nichol, Donald P. Schneider, Ryan Scranton, Michael A. Strauss, Istvan Szapudi, Max Tegmark, Michael S. Vogeley, David H. Weinberg, and Idit Zehavi, Cosmological Parameters from Eigenmode Analysis of Sloan Digital Sky Survey Galaxy Redshifts, In Astrophysics, Vol. 607, February, 2004, pages 655-660.

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, February, 2004, pages 213-237.

Steve Chien, A determinant-based algorithm for counting perfect matchings in a general graph, In Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, (SODA 2004), J. Ian Munro (eds.), New Orleans, Louisiana, USA, January 11-14, 2004, pages 728-735.

Danny Bickson and Dahlia Malkhi, Locality-Aware Content Distribution, School of Computer Science and Engineering, The Hebrew University Technical Report, 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, January/February, 2004, pages 18-19.

Jim Gray and Leslie Lamport, Consensus on Transaction Commit, Microsoft Research Technical Report, MSR-TR-2003-96, January, 2004, 32 pages, To Appear in ACM Transactions on Database Systems.

Martín Abadi, Andrew Birrell, Mike Burrows, Frank Dabek, and Ted Wobber, Bankable Postage for Network Services, In Proceedings of the 8th Asian Computing Science Conference (ASIAN '03), Mumbai, India, December 10-12, 2003.

Gordon Bell, Sink or Swim: Know When It's Time to Bail, In ACM Queue, Vol. 1, no 9, December, 2003, pages 60-67.

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), Whistler, Canada, December, 2003, pages 1539-1546.

Jim Gemmell, Roger Lueder, and Gordon Bell, The MyLifeBits Lifetime Store, In ACM SIGMM 2003 Workshop on Experiential Telepresence (ETP 2003), Berkeley, CA, November 7, 2003.

J. Gray and A. S. Szalay, The Grid 2: Blueprint for a New Computing Infrastructure, Scientific Data Federation, November, 2003, pages 95-108.

Dennis Fetterly, Mark Manasse, and Marc Najork, On the Evolution of Clusters of Near-Duplicate Web Pages, In Proceedings of the 1st Latin American Web Congress, Santiago, Chile, November, 2003.

Nieto-Santisteban, M., Szalay, A.S., and Gray, J., ImgCutout, an Engine of Instantaneous Astronomical Discovery, In Astronomical Data Analysis Software and Systems XIII, ASP Conference Series, Strasbourgh, France, October 12-15, 2003, pages 666-670.

O'Mullane, W., Gray, J., Li, N., Budavari, T., Nieto Santisteban, M., and Szalay, A.S., Batch Query System with Interactive local storage for SDSS and the VO, In Astronomical Data Analysis Software and Systems XIII, ASP Conference Series, Strasbourgh, France, October 12-15, 2003, pages 372-376.

Fekete, G., Szalay, A.S., and Gray, J., HTM2: Spatial Toolkit for the Virtual Observatory, In Astronomical Data Analysis Software and Systems XIII, ASP Conference Series, Strasbourgh, France, October 12-15, 2003, pages 289-292.

Budavari, T., Szalay, A.S, Malik, T., Thakar, A., O'Mullane, W., Williams, R., Gray, J., Mann, R., and Yasuda, N., Open SkyQuery -- VO Compliant Dynamic Federation of Astronomical Archives, In Astronomical Data Analysis Software and Systems XIII, ASP Conference Series, Strasbourgh, France, October 12-15, 2003, pages 177-179.

Aniruddha R. Thakar, Alexander S. Szalay, and Jim Gray, From FITS to SQL -- Loading and Publishing the SDSS Data, In Astronomical Data Analysis Software and Systems XIII, ASP Conference Series, Strasbourgh, France, October 12-15, 2003, pages 38-41.

T. Barclay, W. Chong, and J. Gray, A Quick Look at SATA Disk Performance, Microsoft Research Technical Report, MSR-TR-2003-70, Oct, 2003.

Michael D. Schroeder, On the impact of academic distributed systems research on industrial practice, In Future Directions in Distributed Computing, André Schiper, Alex A. Shvartsman, Hakim Weatherspoon, Ben Y. Zhao (eds.), Lecture Notes in Computer Science 2584, October, 2003.

Leslie Lamport, Lower Bounds for Asynchronous Consensus, In Future Directions in Distributed Computing, André Schiper, Alex A. Shvartsman, Hakim Weatherspoon, Ben Y. Zhao (eds.), October, 2003.

David Lie, Chandramohan A. Thekkath, and Mark Horowitz, Implementing an Untrusted Operating System on Trusted Hardware, In 19th ACM Symposium on Operating Systems Principles (SOSP), October, 2003, pages 178-192.

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 9-10, 2003, pages 69-76.

Leslie Lamport, Arbiter-Free Synchronization, In Distributed Computing, Vol. 16, no 2--3, September, 2003, pages 219-237.

A.R. Thakar, A.S. Szalay, P.Z. Kunszt, and J. Gray, The Sloan Digital Sky Survey Science Archive: Migrating a Multi-Terabyte Astronomical Archive from Object to Relational DBMS, In Computing in Science and Engineering, Vol. 5, no 5, Sept, 2003, pages 16-29.

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 13-15, 2003, pages 263-268.

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), Santa Barbara, CA, August, 2003, pages 426-444.

Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Michael Burrows, and Michael Isard, A Cooperative Internet Backup Scheme., In Proceedings of the 2003 USENIX Annual Technical Conference, San Antonio, Texas, USA, June 9-14, 2003, pages 29-41.

Serdar Tasiran, Yuan Yu, and Brannon Batson, Using a formal specification and a model checker to monitor and direct simulation., In Proceedings of the 40th Design Automation Conference (DAC), Anaheim, CA, USA, June 2-6, 2003, pages 356-361.

David Patterson, A Conversation with Jim Gray, In ACM Queue, Vol. 1, no 4, June, 2003.

Jim Gray, Many Grids, to fit many tastes and requirements, In Grid Midleware Spectra, Vol. 1, no 1, June, 2003, pages 20-27.

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, Microsoft Research Technical Report, 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), San Diego, CA, June, 2003.

Michael Isard, Pampas: Real-Valued Graphical Models for Computer Vision, In IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Madison, WI, June, 2003, pages 613-620.

Douglas B. Terry and Venugopalan Ramasubramanian, Caching XML Web Services for Mobility, In ACM Queue, Vol. 1, no 3, May, 2003, pages 70-78.

David Lie, John Mitchell, Chandramohan A. Thekkath, and Mark Horowitz, Specifying and verifying hardware for tamper-resistant software, In Proceedings of the 2003 IEEE Symposium on Security and Privacy, May, 2003.

Dennis Fetterly, Mark Manasse, Marc Najork, and Janet Wiener, A Large-Scale Study of the Evolution of Web Pages, In Proceedings of the 12th International World Wide Web Conference, Budapest, Hungary, May, 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.

Marcos K. Aguilera, Minwen Ji, Mark Lillibridge, John MacCormick, Erwin Oertli, Dave Andersen, Mike Burrows, Timothy Mann, and Chandramohan A. Thekkath, Block-Level Security for Network-Attached Disks, In Proceedings of the 2nd Conference on File and Storage Technologies (FAST), April, 2003, pages 159-174.

Brannon Batson and Leslie Lamport, High-Level Specifications: Lessons from Industry, In Formal Methods for Components and Objects, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever (eds.), March, 2003, pages 242-262.

Jim Gray and Richard Waymire, SQLServer Megaservers: Scalability, Availability, Manageability, Microsoft White Paper, March, 2003.

D.P. Schneider et al, The Sloan Digital Sky Survey Quasar Catalog. II. First Data Release, In Astronomy, Vol. 126, March, 2003, 41 pages.

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, March, 2003, pages 125-131.

Michael Isard, Mark Shand, and Alan Heirich, Distributed rendering of interactive soft shadows, In Parallel Computing, Vol. 29, no 3, March, 2003, pages 311-323.

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), February, 2003.

Andrew V. Goldberg and Jason D. Hartline, Competitiveness via Consensus, In 14th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA '03), Baltimore, MD, January, 2003.

Siddharth Jain and Tom Barclay, Adding the EPSG:4326 Geographic Longitude-Latitude Projection to TerraServer, Microsoft Research Technical Report, MSR-TR-2003-56, august, 2003, 11 pages.

Jim Gemmell, Gordon Bell, Roger Lueder, Steven M. Drucker, and Curtis Wong, MyLifeBits: fulfilling the Memex vision, In ACM Multimedia, December, 2002, pages 235-238.

Leslie Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, Addison-Wesley, December, 2002.

Steve Chien, Cynthia Dwork, Ravi Kumar, Dan Simon, and D. Sivakumar, Link Evolution: Analysis and Algorithms, In Workshop on Algorithms for the Web (WAW '02), November 16, 2002.

Jim Gray and Alex Szalay, The World Wide Telescope: An Archetype for Online Science, In Communications of the ACM (CACM), Vol. 45, no 11, Nov, 2002, pages 50-54, also as MSR-TR-2002-75.

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, November, 2002, pages 329-368.

Thakar, A.R., Szalay, A.S., Vandenberg, J., Gray, J., and Stoughton, C., Data Organization of the SDSS Data Release 1, In Astronomical Data Analysis Software and Systems XII, ASP Conference Series, Baltimore, MD, October 13-16, 2002, pages 217-220.

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), October 13, 2002, pages 347-351.

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), September 17-21, 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, Saint-Emilion, France, September, 2002, pages 45-48.

Jim Gray, Alexander S. Szalay, Ani R. Thakar, Christopher Stoughton, and Jan Vandenberg, Online Scientific Data Curation, Publication, and Archiving, In SPIE Astronomy Telescopes and Instruments, Waikoloa, Hawaii, August 22-28, 2002.

Alexander S. Szalay, Jim Gray, and Jan Vandenberg, Petabyte Scale Data Mining: Dream or Reality?, In SPIE Astronomy Telescopes and Instruments, Waikoloa, Hawaii, August 22-28, 2002.

Alexander S. Szalay, Tamás Budavária, Tanu Malik, Jim Gray, and Ani Thakar, Web Services for the Virtual Observatory, In SPIE Astronomy Telescopes and Instruments, Waikoloa, Hawaii, August 22-28, 2002.

Alexander S. Szalay, Tamás Budavari, Andrew Connolly, Jim Gray, Takahiko Matsubara, Adrian Pope, and István Szapudi, Spatial Clustering of Galaxies in Large Datasets, In SPIE Astronomy Telescopes and Instruments, Waikoloa, Hawaii, August 22-28, 2002.

Gordon Bell and Jim Gemmell, A call for the home media network, In Commun. ACM, Vol. 45, no 7, July, 2002, pages 71-75.

Serdar Tasiran, Yuan Yu, Brannon Batson, and Scott Kreider, Using formal specifications to monitor and guide simulation: Verifying the cache coherence engine of the Alpha 21364 microprocessor, In Proceedings of the 3rd IEEE International Workshop on Microprocessor Test and Verification (MTV '02), June 6-7, 2002.

Tom Barclay, Jim Gray, Eric Strand, Steve Ekblad, and Jeffrey Richter, TerraService.NET: An Introduction to Web Services, Microsoft Research Technical Report, MSR-TR-2002-53, June, 2002, 13 pages.

Andrew V. Goldberg and Jason D. Hartline, Competitiveness via Consensus, Microsoft Research Technical Report, MSR-TR-2002-73, June, 2002.

Jim Gray, Wyman Chong, Tom Barclay, Alex Szalay, and Jan Vandenberg, TeraScale SneakerNet: Using Inexpensive Disks for Backup, Archiving, and Data Exchange, Microsoft Research Technical Report, MSR-TR-2002-54, May, 2002, pages 1-8.

Gordon Bell, Bob Barbour, Paul McMenamin, Dave Allen, and Maurice D. Mulvenna, An Industrial Perspective on Soft Issues: Successes, Opportunities, and Challenges (Panel), In Soft-Ware 2002: Computing in an Imperfect World, First International Conference, Soft-Ware 2002, David W. Bustard and Weiru Liu and Roy Sterritt (eds.), Belfast, Northern Ireland, April 8-10, 2002, pages 357-357.

J. Gray, A.S. Szalay, A. Thakar, P. Kunszt, C. Stoughton, D. Slutz, and J. Vandenberg, Data Mining the SDSS SkyServer Database, In Distributed Data and Structures 4: Records of the 4th International Meeting, Paris, France, March, 2002, pages 189-210, also as MSR-TR-2002-01.

Gordon Bell and Jim Gray, What's next in high-performance computing?, In Commun. ACM, Vol. 45, no 2, February, 2002, pages 91-95.