Cleanup round 1: delete obsolete "new"s and "to appears"; consisently

italicize venues with <cite>, add std conf abbrevs.

www/doc/expubs.html

@@ -14,7 +14,7 @@
 Liuba Shrira and Hong Tian.
 <a href="http://www.cs.brandeis.edu/~liuba/paps/mx-ecoop.ps.gz">
 "MX: Mobile Object Exchange for Collaborative Applications".</a>
-Eurpean Conference on Object-Oriented Programming (ECOOP),
+<cite>European Conference on Object-Oriented Programming (ECOOP 2003)</cite>,
 Darmstadt, Germany, July 2003.
 </span>
 </li>
@@ -26,8 +26,9 @@ Magnus Bjornsson and Liuba Shrira.
 <a href="http://www.cs.brandeis.edu/~liuba/paps/buddy-oopsla.ps.gz">
 "Buddy-Cache, High Performance Object Storage for Collaborative Strong
 Consistency Applications in a WAN".</a>
+<cite>
 ACM Conference on Object-Oriented Programming, Systems, Languages, and
-Applications (OOPSLA), Seattle, Washington, November 2002.
+Applications (OOPSLA 2002)</cite>, Seattle, Washington, November 2002.
 </span>
 </li>
 <br>
@@ -37,9 +38,8 @@ Applications (OOPSLA), Seattle, Washington, November 2002.
 Hema Tahilramani Kaur, Shiv Kalyanaraman, Andreas Weiss, Shifalika Kanwar and Ayesha Gandhi.
 <a href="http://www.ecse.rpi.edu/Homepages/shivkuma/research/papers/bananas-te-2003.pdf"
 >BANANAS: An Evolutionary Framework for Explicit and Multipath Routing in the Internet</a>
-In <i>Workshop on Future Directions in Network Architecture (FDNA-2003)</i>,
-August 2003. To Appear.
-<img src="/new.gif">
+<i>Workshop on Future Directions in Network Architecture (FDNA 2003),
+in conjunction with SIGCOMM 2003</i>, August 2003.
 </span>
 </li>
 <br>
@@ -49,19 +49,18 @@ August 2003. To Appear.
 Yair Amir and Claudiu Danilov.
 <a href="http://www.cnds.jhu.edu/pub/papers/dsn03_overlay.pdf"
 >Reliable Communication in Overlay Networks.</a>
-In <i>Proceedings of the IEEE International Conference on
-Dependable Systems and Networks</i>,
-June 2003. To Appear.
+<i>Proceedings of the IEEE International Conference on Dependable Systems and Networks</i>,
+June 2003.
 </span>
 </li>
 <br>
 
 <li>
 <span>
-D. Andersen, H. Balakrishnan, F. Kaaschoek, and R. Morris.
+D. Andersen, H. Balakrishnan, F. Kaashoek, and R. Morris.
 <a href="http://nms.lcs.mit.edu/papers/ron-sosp2001.pdf"
 >Resilient Overlay Networks.</a>
-In <i>Proceedings of the 18th Symposium on Operating Systems Principles</i>,
+<i>Proceedings of the 18th Symposium on Operating Systems Principles (SOSP 2001)</i>,
 2001.
 </span>
 </li>
@@ -73,8 +72,9 @@ D. Andersen, D. Bansal, D. Curtis, S. Seshan, and H. Balakrishnan.
 <a href="http://www.sds.lcs.mit.edu/papers/cm-osdi2000/"
 >System Support for Bandwidth Management and Content Adaptation
 in Internet Applications.</a>
-In <i>Proceedings of the 4th
-Symposium on Operating System Design and Implementation</i>,
+<i>Proceedings of the Fourth
+Symposium on Operating System Design and Implementation (OSDI 2000)
+</i>,
 October 2000.
 </span>
 </li>
@@ -85,8 +85,8 @@ October 2000.
 Godmar Back, Wilson C. Hsieh, and Jay Lepreau.
 <a href="http://www.cs.utah.edu/flux/papers/kaffeos-osdi00-base.html"
 >Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java.</a>
-In <i>Proceedings of the 4th
-Symposium on Operating Systems Design and Implementation</i>,
+<i>Proceedings of the Fourth
+Symposium on Operating Systems Design and Implementation (OSDI 2000)</i>,
 October 2000.
 </span>
 </li>
@@ -97,8 +97,8 @@ October 2000.
 Omar Bakr and Idit Keidar.
 <a href="http://www.ee.technion.ac.il/~idish/Abstracts/bakr-keidar.html"
 >Evaluating the Running Time of a Communication Round over the Internet.</a>
-In <i>Proceedings of the 21st ACM Symposium on 
-Principles of Distributed Computing</i>,
+<i>Proceedings of the 21st ACM Symposium on 
+Principles of Distributed Computing (PODC 2002)</i>,
 July 2002.
 </span>
 </li>
@@ -122,8 +122,8 @@ Prosenjit Chatterjee, Hemanthkumar Sivaraj, and Ganesh Gopalakrishnan.
 <a href="http://www.cs.utah.edu/formal_verification/papers/cav02paper.pdf"
 >Shared memory consistency protocol verification 
 against weak memory models: refinement via model-checking.</a>
-In <i>Proceedings of the 14th International Conference 
-on Computer Aided Verification</i>,
+<i>Proceedings of the 14th International Conference 
+on Computer Aided Verification (CAV 2002)</i>,
 July, 2002.
 </span>
 </li>
@@ -133,7 +133,7 @@ July, 2002.
 Mike Hibler, Leigh Stoller, Jay Lepreau, Robert Ricci, and Chad Barb.
 <a href="http://www.cs.utah.edu/flux/papers/frisbee-usenix03-base.html"
 >Fast, Scalable Disk Imaging with Frisbee.</a>
-At USENIX 2003. To appear.
+<cite>2003 USENIX Annual Technical Conference</cite>, June 2003.
 </li>
 <br>
 
@@ -141,7 +141,7 @@ At USENIX 2003. To appear.
 Michael Hicks, Adithya Nagarajan, and Robbert van Renesse.
 <a href="http://www.cs.umd.edu/projects/medianet/"
 >User-specified Adaptive Scheduling in a Streaming Media Network.</a>
-Appeared at IEEE OPENARCH 2003.
+<cite>Sixth IEEE Conference on Open Architectures and Network Programming (OpenARCH 2003)</cite>
 </li>
 <br>
 
@@ -151,8 +151,8 @@ L. J. Latecki, K. Kulkarni, and J. Mulik.
 <a href="http://www.cis.temple.edu/~latecki/Papers/ICME03.pdf"
 >Better Audio Performance when Video Stream 
 is Monitored by TCP Congestion Control.</a>
-At <i>IEEE Int. Conference on Multimedia and Expo.</i>,
-July 2003. To appear.
+At <i>IEEE Intl. Conference on Multimedia and Expo.</i>,
+July 2003.
 </span>
 </li>
 <br>
@@ -162,7 +162,7 @@ July 2003. To appear.
 Robert Palmer and Ganesh Gopalakrishnan.
 <a href="http://www.cs.utah.edu/formal_verification/papers/pdmc-submission.pdf"
 >Partial Order Reduction Assisted Parallel Model-Checking.</a>
-In <i>Short Presentations in Workshop on Parallel and 
+<i>Short Presentations in Workshop on Parallel and 
 Distributed Model Checking</i>,
 August 2002.
 </span>
@@ -175,7 +175,7 @@ L. Peterson, Y. Gottlieb, S. Schwab, S. Rho, M. Hibler,
 P. Tullmann, J. Lepreau, and J. Hartman.
 <a href="http://www.cs.utah.edu/flux/papers/nodeos-jsac01-base.html"
 >An OS Interface for Active Routers.</a>
-In <i>IEEE Journal on Selected Areas in Communications</i>,
+<i>IEEE Journal on Selected Areas in Communications</i>,
 March 2001.
 </span>
 </li>
@@ -187,7 +187,7 @@ Robbert van Renesse, Kenneth P. Birman, and Werner Vogels.
 <a href="http://www.cs.cornell.edu/ken/Astrolabe.pdf"
 >Astrolabe: A Robust and Scalable Technology
 for Distributed Systems Monitoring, Management, and Data Mining.</a>
-In <i>ACM Transactions on Computer Systems</i>,
+<i>ACM Transactions on Computer Systems</i>,
 May 2003.
 </span>
 </li>
@@ -197,8 +197,8 @@ May 2003.
 Robert Ricci, Chris Alfeld, and Jay Lepreau.
 <a href="http://www.cs.utah.edu/flux/papers/assign-tr02-base.html"
 >A Solver for the Network Testbed Mapping Problem.</a>
-In <i>SIGCOMM Computer Communications Review</i>,
-May 2003.
+<i>SIGCOMM Computer Communications Review (CCR)</i>,
+33(2), April 2003.
 </li>
 <br>
 
@@ -207,7 +207,7 @@ May 2003.
 Alex C. Snoeren, Kenneth Conley, and David K. Gifford.
 <a href="http://nms.lcs.mit.edu/~snoeren/papers/xml-sosp01.html"
 >Mesh Based Content Routing using XML.</a>
-In <i>Proceedings of the 18th Symposium on Operating Systems Principles</i>,
+<i>Proceedings of the 18th Symposium on Operating Systems Principles (SOSP 2001)</i>,
 2001.
 </span>
 </li> 
@@ -218,8 +218,7 @@ In <i>Proceedings of the 18th Symposium on Operating Systems Principles</i>,
 Tim Stack, Eric Eide, and Jay Lepreau.
 <a href="http://www.cs.utah.edu/flux/papers/bees-openarch03-base.html"
 >Bees: A Secure, Resource-Controlled, Java-Based Execution Environment.</a>
-Appeared at <i>OPENARCH 2003</i>,
-April 2003.
+<i>Sixth IEEE Conference on Open Architectures and Network Programming (OpenARCH 2003)</i>, April 2003.
 <span>
 </li>
 <br>
@@ -229,7 +228,7 @@ April 2003.
 P. Tullmann, M. Hibler, and J. Lepreau.
 <a href="http://www.cs.utah.edu/flux/papers/janos-jsac01-base.html"
 >Janos: A Java-Oriented OS for Active Network Nodes.</a>
-In <i>IEEE Journal on Selected Areas in Communications</i>,
+<i>IEEE Journal on Selected Areas in Communications</i>,
 March 2001.
 </span>
 </li>
@@ -241,8 +240,8 @@ B. White, J. Lepreau, L. Stoller, R. Ricci,
 S. Guruprasad, M. Newbold, M. Hibler, C. Barb, and A. Joglekar.
 <a href="http://www.cs.utah.edu/flux/papers/netbed-osdi02-base.html"
 >An Integrated Experimental Environment for Distributed Systems and Networks.</a>
-In <i>Proceedings of the 5th
-Symposium on Operating System Design and Implementation</i>,
+<i>Proceedings of the 5th
+Symposium on Operating System Design and Implementation (OSDI 2002)</i>,
 December 2002.
 </li>
 <br>
@@ -252,7 +251,7 @@ December 2002.
 Y. Xia, D. Harrison, S. Kalyanaraman, K. Ramachandran, and A. Venkatesan.
 <a href="http://www.rpi.edu/~xiay/pub/icc03.ps.gz"
 >An Accumulation-based Congestion Control Model.</a>
-In <i>IEEE International Conference on Communications</i>,
+<i>IEEE International Conference on Communications</i>,
 May, 2003.
 </span>
 </li>
@@ -264,8 +263,8 @@ Haifeng Yu and Amin Vahdat.
 <a href="http://www.cs.duke.edu/~yhf/osdifinal.pdf"
 >Design and Evaluation of a Continuous Consistency Model for 
 Replicated Services.</a>
-In <i>Proceedings of the 4th
-Symposium on Operating System Design and Implementation</i>,
+<i>Proceedings of the 4th
+Symposium on Operating System Design and Implementation (OSDI 2000)</i>,
 October 2000.
 </span>
 </li>
@@ -276,7 +275,7 @@ October 2000.
 Haifeng Yu and Amin Vahdat.
 <a href="http://www.cs.duke.edu/~vahdat/ps/avail-sosp01.pdf"
 >The Costs and Limits of Availability for Replicated Services.</a>
-In <i>Proceedings of the 18th Symposium on Operating Systems Principles</i>,
+<i>Proceedings of the 18th Symposium on Operating Systems Principles (SOSP 2001)</i>,
 2001.
 </span>
 </li>