<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html lang="en-us">
<head>
<meta http-equiv="Content-type" content="text/html; charset=ISO-8859-1">
<meta http-equiv="Content-Style-Type" content="text/css">
<title>Zhichen Xu, Ph.D.</title>
</head>

<body bgcolor="#FFFFFF" text="#000000" link="#003366" alink="#003366" vlink="#660066" marginheight="60" marginwidth="60" leftmargin="60" topmargin="60">
<table border="0" cellpadding="0" cellspacing="0" width="740">
   <tr>
      <td width="560" align="left" valign="top">
         
         <table border="0" cellpadding="0" cellspacing="0" width="560">
            <tr>
               <td align="left" valign="top">
               
						<!-- content here -->
						<table border="0" cellspacing="0" cellpadding="0" summary="Header table" width="560">
						<tr><td width="108"><img border="0" src="zhichen.jpg" width="160" height="213"></td> 
							<td width="180" valign="middle">         
								<p>  <p> <p> <P>
								Advanced Development of Social Search &nbsp;
								<br> Yahoo! Inc &nbsp;                                                               
								<br>701 First Avenue &nbsp;                                                                
								<br>Sunnyvale, CA 94089&nbsp;                                                               
								<br> zhichen@yahoo-inc.com&nbsp;
							</td>                                                            
							<td width="299">Ph.D in Computer Sciences, <a href="http://www.cs.wisc.edu/~zhichen" class="udrline" target="_blank" title="Clicking this link will open a new window">UW-Madison</a>&nbsp;
								(Thesis advisors: <a href="http://www.cs.wisc.edu/~bart" class="udrline" target="_blank" title="Clicking this link will open a new window">Bart Miller</a> and <a href="http://www.cs.wisc.edu/~reps" class="udrline" target="_blank" title="Clicking this link will open a new window">Tom
								Reps</a>)                            
								<p>B.S. in Computer Sciences, <a href="http://www.fudan.edu.cn" class="udrline" target="_blank" title="Clicking this link will open a new window"> Fudan University</a>
							</td>                                                           
							</tr>
						</table>
    
	<!--  END HTML HEADER TABLE -->
	<!-- BEGIN SPACER TABLE -->
    
	<table border="0" cellspacing="0" cellpadding="0" width="560" summary="Structural Table" height="108">
	<tr><td width="560" height="108" nowrap>

	Zhichen is technical lead of advanced development of social search at Yahoo! Inc.
	His current project is <a href="http://myweb2.search.yahoo.com"> My Web 2.0 </a>, 
	a social search engine. Zhichen is the main and co-inventor of much of the main 
	technologies underneath 
	 My Web2.0 such as the access-control policy, and collaborative tag suggestion algorithms.<p>
	
	Before joining Yahoo!, he was a research scientist at Hewlett-Packard Laboratories. 
	He has initiated a number of projects include 
	<a href="http://www.cs.duke.edu/csl/usenix/03hotos/tech/xu.html">Pstore</a>,
        a semantic-aware file store; 
	<a href="http://portal.acm.org/citation.cfm?id=774763.774777&amp;dl=ACM&amp;dl=ACM&amp;idx=774763&amp;part=periodical&amp;WantType=periodical&amp;title=ACM%20SIGCOMM%20Computer%20Communication%20Review">Psearch</a>,
        scalable distributed content indexing; and <a href="http://www.hpl.hp.com/techreports/2003/HPL-2003-42R1.pdf">OASIS</a>,
        overlay for adaptive and Scalable Internet Services. 
	His is among the first to look into P2P information retrieval.<p>

	Zhichen holds a Ph.D. degree in Computer Sciences from UW-Madison.
        His dissertation proposes techniques to perform 
	<a href="http://www.paradyn.org/papers/index.html#safety" class="udrline" target="_blank" title="Clicking this link will open a new window"> safety checking of machine code
        </a> without the support from the high-level
        languages and compilers. These techniques can be used for
        checking the safety properties of web plug-ins, dynamically
        loaded OS modules, type-specific extensions to object relational
        databases, and Java native methods. He has also contributed
        to the parallel performance monitoring and debugging tools, <a href="http://www.cs.wisc.edu/~paradyn/" class="udrline" target="_blank" title="Clicking this link will open a new window">Paradyn</a>, where he proposed and
        implemented techniques that can dynamically instrument
        multi-threaded and distributed shared memory applications. He
	has extensive experience in integrated software development 
	environments, and techniques to predict
        the performance of parallel programs.&nbsp; 
	Zhichen has co-authored over 30 papers in the areas of social tagging, computer networks, distributed systems,
	programming languages, program safety, peer-to-peer (P2P) computing, information retrieval. 
	Many appear in top conferences such as PLDI, SIGCOMM, SIGIR, HotOS, HotNets.
	He has over 40 <a href="http://appft1.uspto.gov/netacgi/nph-Parser?Sect1=PTO2&Sect2=HITOFF&u=%2Fnetahtml%2FPTO%2Fsearch-adv.html&r=0&p=1&f=S&l=50&Query=Zhichen&d=PG01">patent applications pending</a>.  
	Zhichen is a program co-chair of AEPP'05. Zhichen has served in program committees 
	of ICDCS'[03,04,05,06], ISADS'05, IPTPS'04, INFOSCALE'06, ICPP'04, and NSF ITR panelist.

      </td>
		</tr>
	</table>
<!--    
<h2>Projects</h2>                                              
                                                  
<p><a href="http://www.usenix.org/events/hotos03/tech/xu.html" class="udrline" target="_blank" title="Clicking this link will open a new window">Pstore</a>: a
semantic-aware file store</p>                                              
<p><a href="http://citeseer.nj.nec.com/tang02psearch.html" class="udrline" target="_blank" title="Clicking this link will open a new window">Psearch</a>:
P2p distributed content indexing for efficient and accurate content search</p>                                              
<p><a href="http://www.hpl.hp.com/personal/Zhichen_Xu/" class="udrline">OASIS</a>:
Overlay for Adaptive and Scalable Internet Services</p>                                              
-->

<h2><a href="http://www.best.com/~smurman/soga/misc/research.html" class="udrline" target="_blank" title="Clicking this link will open a new window">Selected Papers</a>&nbsp;</h2>                                              
                                                  
    <p>This web page contains links to files of articles that may
be covered by copyright. You may browse the articles at your convenience. Retrieving, copying, or distributing these
files may violate copyright law.</p>                                              
<p><a href="http://citeseer.nj.nec.com/cs?q=zhichen+xu&amp;cs=1" class="udrline" target="_blank" title="Clicking this link will open a new window">Citations</a>
and&nbsp; <a href="http://citeseer.nj.nec.com/impact.html" class="udrline" target="_blank" title="Clicking this link will open a new window">estimated
impact of conferences and journals&nbsp;</a> according to Citeseer.</p>                                              
                                                  
    <table border="0" width="530">                     
  <tr>
    <td width="83"><b> SIGIR'05 workshop</b></td>                  
    <td width="433">   
         
      <p align="left">Yan Chen, Zhichen Xu, Chengxiang Zhai
      .&nbsp; A scalable Semantic Indexing Framework for Peer-to-Peer Information Retrieval.
       <font face="Times New Roman"><i> SIGIR 2005 workshop: Heterogeneous and Distributed Information Retrieval, August 19th, 2005 - Salvador, Brazil
      </i></font> <font face="Times New Roman"><i>
      2004</i></font></td>                  
  </tr>
  <tr>
    <td width="83"><b>------</b></td>                  
    <td width="433">   
         
      <p align="left">Zhichen Xu, Puneet Sharma, Sung-Ju Lee,  Sujata Banerjee
      .&nbsp; Landmarks Reloaded: Scalable Network Proximity Estimation Using a Landmark Hierarchy.
       <font face="Times New Roman"><i> HPL Technical Report,
      </i></font> <font face="Times New Roman"><i>
      2003</i></font></td>                  
  </tr>
  <tr>
    <td width="83"><b>ICME'04</b></td>                  
    <td width="433">   
         
      <p align="left">Bo Shen, Zhichen Xu, Susie Wee, John Apostoloulos
      .&nbsp; Semantic-Enhanced Distribution & Adaptation Networks,
       <font face="Times New Roman"><i> Invited paper, International Conference on Multimedia and Expo (ICME'04)
      </i></font>, <font face="Times New Roman"><i>Taipei Taiwan,
      June 2004</i></font></td>                  
  </tr>
  <tr>
    <td width="83"><b>SIGIR'04</b></td>                  
    <td width="433">   
         
      <p align="left">Chunqiang Tang, Sandhya Dwarkdas, Zhichen Xu
      .&nbsp; On Sclaing Latent Semantic Indexing for Large Peer-to-Peer Systems. 
       <font face="Times New Roman"><i>27th Annual International ACM SIGIR Conference
      </i></font>, <font face="Times New Roman"><i>Sheffield,
      UK, July 2004</i></font></td>                  
  </tr>
  <tr>
    <td width="83"><b>FTDCS'04</b></td>                  
    <td width="433">   
         
      <p align="left">Zheng Zhang, Mallik Mahalingam, Zhichen Xu, Wenting
      Tang.&nbsp; Scalable, Structured Data Placement over P2P Storage
      Utilities. <font face="Times New Roman"><i>10th International Workshop on
      Future Trends in Distributed Computing Systems - FTDCS 2004</i></font>, <font face="Times New Roman"><i>Suzhou,
      China, May 26-28, 2004</i></font></td>                  
  </tr>
  <tr>
    <td width="83"><b>IEEE TPDS</b></td>                  
    <td width="433">   
         
      Li Xiao, Zhichen Xu, and Xiaodong Zhang, Low-Cost and
      Reliable Mutual Anonymity Protocols in Peer-to-Peer Networks. <span style="font-family: Times New Roman; mso-fareast-font-family: Times New Roman; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA">Special
      issue on Security Issues in Distributed Computing Systems of <b>IEEE
      Transactions on Parallel and Distributed Systems</b>, 2003.</span></td>                  
  </tr>
  <tr>
    <td width="83"><b>SIGCOMM'03</b></td>                  
    <td width="433">   
         
      Chunqiang Tang, Zhichen Xu, and Sandhya Dwarkadas, ``<a href="p175-tang.pdf">Peer-to-Peer
      Information Retrieval Using Self-Organizing Semantic Overlay Networks'</a>',&nbsp;&nbsp; <a href="http://www.acm.org/sigcomm/sigcomm2003/" class="udrline" target="_blank" title="Clicking this link will open a new window">ACM
      SIGCOMM 2003</a>, Karlsruhe, Germany, August 2003. To appear.</td>                  
  </tr>
  <tr>
    <td width="83"><b>WIAPP'03</b></td>                  
    <td width="433">   
         
      Sujata Banerjee, Zhichen Xu, Sung-Ju Lee, and Chunqiang
      Tang.``Service Multicast for Media Distribution
      Networks'',&nbsp; <a href="http://www.cs.ucdavis.edu/~aksoy/wiapp03/" class="udrline" target="_blank" title="Clicking this link will open a new window">2003
      IEEE Workshop on Internet Applications (WIAPP'03)</a>, San Jose, CA, June
      2003.</td>                  
  </tr>
  <tr>
    <td width="83"><b>NOSSDAV'03</b></td>                  
    <td width="433">   
         
      Zhichen Xu, Chunqiang Tang, Sujata Banerjee, and Sung-Ju
      Lee.``Receiver Initiated Just-in-Time Tree Adaptation for Rich Media
      Distribution'',&nbsp; <a href="http://www.nossdav.org/2003/" class="udrline" target="_blank" title="Clicking this link will open a new window">The 13th
      International Workshop on Network and Operating Systems Support for
      Digital Audio and Video (NOSSDAV)</a>, Monterey, California, June 2003.
      Co-located with <a href="http://iwqos03.cs.berkeley.edu/" class="udrline" target="_blank" title="Clicking this link will open a new window">IWQoS</a>.</td>                  
  </tr>
  <tr>
    <td width="83"><b>HotOS-IX'03</b></td>                  
    <td width="433">   
         
      Zhichen Xu, Magnus Karlsson, Chunqiang Tang, and Christos
      Karamanolis: &quot;Towards a Semantic-Aware File Store&quot;. <a href="http://www.usenix.org/events/hotos03" class="udrline" target="_blank" title="Clicking this link will open a new window">9th
      Workshop on Hot Topics in Operating Systems</a> (HotOS IX). May 18-21,
      2003</td>                  
  </tr>
  <tr>
    <td width="83"><b>Infocom'03</b></td>                  
    <td width="433">   
         
      <p style="margin: 0"><a href="infocom'03.ppt" class="udrline">Zhichen Xu</a>, Mallik Mahalingam, and Magnus Karlsson:
      &quot;<a href="eway-camera_ready.pdf" class="udrline">Turining     
      Heterogeneity into an Advantage in Overlay Routing&quot;.</a> <i>IEEE Infocom     
      2003.</i>&nbsp;</td>                  
  </tr>
  <tr>
    <td width="83"><b>ICDCS'03</b></td>                  
    <td width="433">Zhichen Xu, Chunqiang Tang, and Zheng Zhang: &quot;<a href="290xu.pdf" class="udrline">Building 
      Topology-Aware Overlays using Global Soft-State&quot;</a>.<i> The 23rd International 
      Conference on Distributed Computing Systems.</i> May 19-22, 2003 
      Providence, Rhode Island USA</td>                  
  </tr>
  <tr>
    <td width="83"><b>ICDCS'03</b></td>                  
    <td width="433">Li Xiao, Zhichen Xu and Xiaodong Zhang: &quot;<a href="xiao-336.pdf" class="udrline">Efficient Mutual 
      Anonymity Protocols for Peer-to-Peer Systems</a>&quot;. <i>The 23rd International 
      Conference on Distributed Computing Systems. </i>May 19-22, 2003 
      Providence, Rhode Island USA</td>                  
  </tr>
  <tr>               
    <td width="83"><b>FTDCS'2003</b></td>                  
    <td width="433">Chunqiang Tang and Zhichen Xu. ``<a href="http://lib.hpl.hp.com/techpubs/2002/HPL-2002-304.html" class="udrline">pFilter: Global
      Information Filtering and Dissemination</a>'',&nbsp;<i> <a href="http://degi.rrp.upr.edu/ftdcs2003/" class="udrline" target="_blank" title="Clicking this link will open a new window">the
      9th International Workshop on Future Trends of Distributed Computing
      Systems</a>,</i> San Juan, Puerto Rico, May 2003. Expanded version
      available as HP Technical Report HPL-2002-304</td>                  
  </tr>           
  <tr>               
    <td width="83"><b>FTDCS'2003</b></td>                  
    <td width="433">Mallik Mahalingam, Chunqiang Tang and Zhichen Xu. ``<a href="http://lib.hpl.hp.com/techpubs/2002/HPL-2002-199.html" class="udrline">Towards a Semantic, Deep Archival File
      System</a>''. <a href="http://degi.rrp.upr.edu/ftdcs2003/" class="udrline" target="_blank" title="Clicking this link will open a new window"><i>The
      9th International Workshop on Future Trends of Distributed Computing
      Systems</i></a>, San Juan, Puerto Rico, May 2003.&nbsp;</td>                  
  </tr>           
  <tr>
    <td width="83"><b>HotNets-I'02</b></td>                  
    <td width="433">Chunqiang Tang, Zhichen Xu, and Mallik Mahalingam: &quot;<a href="http://lib.hpl.hp.com/techpubs/2002/HPL-2002-198.html" class="udrline">pSearch:   
      Information Retrieval in Structured Overlays&quot;.</a>  <i>First       
      Workshop on Hot Topics in Networks (HotNets-I). 28-29 October 2002. Princeton, New Jersey, USA.</i>  
      <a href="http://www.acm.org/sigcomm/HotNets-I" class="udrline" target="_blank" title="Clicking this link will open a new window">www.acm.org/sigcomm/HotNets-I</a>    
      </td>                   
  </tr>
  <tr>             
    <td width="83"><b>P2P2002</b></td>                  
    <td width="433">Artur Andrzejak and Zhichen Xu:&nbsp; &quot;<a href="http://lib.hpl.hp.com/techpubs/2002/HPL-2002-209.html" class="udrline">Scalable, Efficient Range Queries          
      for Grid Information Services</a>&quot;.<i> The Second IEEE International Conference          
      on Peer-to-Peer Computing (P2P2002), 5-7 September 2002, Link&ouml;ping,          
      Sweden.</i></td>                     
  </tr>              
  <tr>              
    <td width="83"><b>NASA</b> <b>Mass Storage'02</b></td>                      
    <td width="433">M. Mahalingam, C. Karamanolis, M. Karlsson, Z. Xu. &quot;<a href="http://lib.hpl.hp.com/techpubs/2001/HPL-2001-237R1.html" class="udrline">Locating Logical Volumes                      
in Large-Scale Networks</a>&quot;.<i>&nbsp;</i> <i>Tenth NASA Goddard Conference on Mass                 
      Storage Systems and Technologies&quot; that is held in cooperation with                 
      the Nineteenth IEEE Symposium on Mass Storage Systems at the Inn and                 
      Conference Center,</i> University of Maryland University College, 3501                 
      University Boulevard East, Adelphi, Maryland, USA, on April 15 - 18, 2002.</td>                       
  </tr>               
  <tr>                
    <td width="83"><b>IPDPS'02</b></td>                     
    <td width="433">L. Xiao,&nbsp; X. Zhang and Z. Xu. &quot;<a href="http://www.cs.wm.edu/hpcs/WWW/HTML/publications/abs02-4.html" class="udrline" target="_blank" title="Clicking this link will open a new window">On Reliable and Scalable                  
      Peer-to-Peer Web Document Sharing</a>&quot;.<i> Proceedings of 2002 International                  
      Parallel and Distributed Processing Symposium, (IPDPS'02).</i></td>                       
  </tr>                
  <tr>                       
    <td width="83"><b>ESOP'01</b></td>                       
    <td width="433">                                 
                                 
<p>Zhichen Xu, Thomas Reps, and Barton Miller, "<a href="ftp://grilled.cs.wisc.edu                                                             
/technical_papers/typestate.ps" class="udrline">Typestate Checking of Machine Code</a>". 10th <i>European                                                             
Symposium on Programming</i>. Genova, Italy, April 2001. Lecture Notes in                                                            
Computer Science 2028, G. Goos, J. Hartmanis and J. van Leeuwen (Eds.) <a href="http://personal.hpl.hp.com/zhichen/slides/esop.ppt" class="udrline">slides</a></p>                                                         
                                                         
    </td>                        
  </tr>                        
  <tr>                        
    <td width="83"><b>PLDI'00</b></td>                       
    <td width="433"><p>Zhichen Xu, Barton Miller and Thomas Reps, &quot;<a href="ftp://grilled.cs.wisc.edu/technical_papers/safety.ps" class="udrline">Safety                                                          
Checking of Machine Code</a>&quot;. <i>SIGPLAN Conference on Programming                                                          
Language Design and Implementation. </i>Vancouver B.C., Canada.                                                          
June 2000. <a href="http://personal.hpl.hp.com/zhichen/slides/pldi00.ppt" class="udrline">slides</a>.</p>                                                     
                                                           
    </td>                       
  </tr>                       
  <tr>                       
    <td width="83"><b>PPoPP'99</b></td>                      
    <td width="433">                                                    
Zhichen Xu, Barton Miller and Oscar Naim, &quot;<a href="http://www.cs.wisc.edu/paradyn/papers/threads.ps" class="udrline" target="_blank" title="Clicking this link will open a new window">Dynamic                                                             
Instrumentation of Threaded Applications</a>&quot;. 7<i>th SIGPLAN Symposium on                                                             
Principles and Practice of Parallel Programming.</i> Atlanta,                                                             
Georgia. May 1999.   <a href="http://personal.hpl.hp.com/zhichen/slides/threads.ppt" class="udrline">slides</a>                                                         
      </td>                        
  </tr>                        
  <tr>                        
    <td width="83"><b>PPoPP'97</b></td>                       
    <td width="433">                                                       
                                                       
<p>Zhichen Xu, James Larus and Barton Miller. &quot;<a href="ftp://ftp.cs.wisc.edu/wwt/ppopp97_memprof.ps" class="udrline">Shared-Memory                                                             
Performance Profiling</a>&quot;. <i>6th SIGPLAN Symposium on Principles and                                                             
Practice of Parallel Programming</i>. Las Vegas, Nevada. June                                                             
1997.</td>                        
  </tr>                        
  <tr>                        
    <td width="83"><b>FACT'97</b></td>                       
    <td width="433">                                                          
                                                          
<p>Jeffrey K. Hollingsworth, Barton P. Miller, Marcelo J. R.
Goncalves, Oscar Naim, Zhichen Xu and Ling Zheng. &quot;<a href="http://www.cs.wisc.edu/~zhichen/papers/pact97.fr.ps.gz" class="udrline" target="_blank" title="Clicking this link will open a new window">MDL:                                                             
A Language and Compiler for Dynamic Program Instrumentation</a>&quot;. <i>1997                                                             
International Conference on Parallel Architectures and Compilation Techniques</i>.                                                             
San Francisco, California. November 1997.</td>                         
  </tr>                        
  <tr>                
    <td width="83"><b>MASCOTS'96</b></td>                
    <td width="433">                                               
                                               
<p>Zhichen Xu, &quot;<a href="http://www.cs.wisc.edu/~zhichen/papers/mascots96.ps.gz" class="udrline" target="_blank" title="Clicking this link will open a new window">Simulation                                                         
of heterogeneous networks of workstations</a>&quot;. <i>International Workshop                                                         
on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.</i>                                                        
San Jose, California. February 1996.</p>                                                        
                                                        
    </td>                 
  </tr>                
  <tr>                
    <td width="83"><b>JPDC</b></td>                
    <td width="433">                                               
                                               
Zhichen Xu, Xiaodong Zhang and Ling Sun, &quot;<a href="http://www.cs.wisc.edu/~zhichen/papers/jpdc.ps.gz" class="udrline" target="_blank" title="Clicking this link will open a new window">Semi-Empirical                                                             
Performance Predictions</a>&quot;. Journal of Parallel and Distributed Computing                                                             
, <b>39</b>, 1, 1996                                                       
                                                       
    </td>                 
  </tr>                
  <tr>                
    <td width="83"><b>ICS'95</b></td>                       
    <td width="433">                                                          
                                                          
<p>Xiaodong Zhang, and Zhichen Xu, &quot;<a href="http://www.cs.wisc.edu/~zhichen/papers/ics95.ps.gz" class="udrline" target="_blank" title="Clicking this link will open a new window">Multiprocessor                                                             
scalability prediction through detailed program execution analysis</a>&quot;. 9<i>th                                                             
ACM International Conference on Supercomputing.</i> Barcelona,                                                             
Spain. July 1995. <span class="color990000">(best paper)</span>                                                          
</td>                        
  </tr>                
  <tr>                
    <td width="83"><b>Sigmetrics'95</b></td>               
    <td width="433">                                                     
Xiaodong Zhang and Zhichen Xu, &quot;<a href="http://www.cs.wisc.edu/~zhichen/papers/metrics95.ps.gz" class="udrline" target="_blank" title="Clicking this link will open a new window">A                                                         
semi-empirical approach to scalability study</a>&quot;. <i>SIGMETRICS Conference                                                         
on Measurement and Modeling of Computer Systems.</i> 1995.</td>                  
  </tr>                
  <tr>                
    <td width="83"><b>SPDP'94</b></td>                
    <td width="433">                       
                       
<p>X. Zhang, Zhichen Xu and L. Sun, &quot;<a href="http://rabbit.cs.utsa.edu/abs6-1.html" class="udrline" target="_blank" title="Clicking this link will open a new window">Performance                                                         
predictions on implicit communication systems</a>&quot;. <i>IEEE Symposium of                                                         
Parallel and Distributed Processing.</i> Dallas, Texas. October 1994.</p>                         
                         
    </td>                 
  </tr>                
<!--
  <tr>                
    <td width="83"><b>COMSAC'92</b></td>               
    <td width="433">                      
                      
<p>Zhichen Xu, Xiaohong Guo, and Jiahua Qian, &quot;FSA/KB: an object-oriented                                                         
knowledge base system&quot;. Accepted by the <i>IEEE 16th Annual International                                                         
Computer Software Application Conference.</i> September 1992.</td>                  
  </tr>                
-->
</table>                        
                            
<blockquote>                                                     
<h2 class="bold">Ph.D. Dissertation</h2>                                                    
</blockquote>                                                     
                                                     
<p>                                                          
                                                          
Zhichen Xu, "<a href="http://personal.hpl.hp.com/zhichen/xu_thesis.pdf" class="udrline">                                                               
Safety-Checking of Machine Code</a>".                                                               
Ph.D. Dissertation, University of Wisconsin, Madison, December 2000. <a href="http://personal.hpl.hp.com/zhichen/slides/defense.ppt" class="udrline">slides</a>,
<a href="Safety-UCDavis.ppt" class="udrline">UC Davis talk</a></p>                                                     
                                                         
<h2 class="bold"><a href="research_experience.htm" class="udrline">Research                                             
 & Industry Experience</a></h2>                                                          


<h2 class="bold"><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/how-to.html" class="udrline" target="_blank" title="Clicking this link will open a new window">Advice on Research and Writing</a></h2> 
      <!-- End Content Area -->
      <!--stopindex-->
   </tr>
</table>
</body>
</html>
