http:^^www.cs.rice.edu^~lts^

This data set contains WWW-pages collected from computer science departments of various universities

Date: Tue, 26 Nov 1996 00:13:50 GMT
Server: NCSA/1.4.2
Content-type: text/html
Last-modified: Wed, 20 Nov 1996 22:24:25 GMT
Content-length: 4655

<Title>Taylor Simpson</Title>

<table>
<td> <!WA0><img src="http://www.cs.rice.edu/CS/images/ricelogo.gif">
<td>
<h1 align=center>
Taylor Simpson
</h1>
<h3 align=center>
Post Doctoral Research Associate<br>
Department of Computer Science<br>
Rice University<br><br>
</h3>
</table>
<hr>
<!WA1><a href=http://www.cs.rice.edu/~lts/taylor.gif><!WA2><img align=middle src=http://www.cs.rice.edu/~lts/face.gif></a>

<hr><br>
<h3>Research Interests</h3>

Optimizing Compilers<br>
Data-flow Analysis<br>
Static Single Assignment Form<br>
Global Value Numbering<br>
Code Motion<br>
Redundancy Elimination<br>
Register Allocation<br><br>

<hr><br>
<h3>Background</h3>
<p>
After earning a B.S. in
<!WA3><a href=http://www.davidson.edu/academic/math/>Mathematics</a> from
<!WA4><a href=http://www.davidson.edu>Davidson College</a> in 1986 and an M.S. in
<!WA5><a href=http://www.csc.ncsu.edu>Computer Studies</a> from
<!WA6><a href=http://www.ncsu.edu>N. C. State University</a> in 1988,
I worked at
<!WA7><a href=http://www.shellus.com>Shell Oil Company</a> where I developed
workstation-based interactive graphics applications used for seismic
interpretation.
</p>

<p>
My resume is available in <!WA8><a href=http://www.cs.rice.edu/~lts/resume.ps>PostScript</a> or
<!WA9><a href=http://www.cs.rice.edu/~lts/resume.html>HTML</a>.
</p>

<h3>Related Work</h3>
<p>
In 1992, I entered the Ph.D. program in the <!WA10><a href=http://www.cs.rice.edu>
Computer Science Department</a> at <!WA11><a href=http://www.rice.edu>Rice
University</a> and soon joined the
<!WA12><a href=http://www.cs.rice.edu/MSCP/MSCP.html>Massively Scalar Compiler
Project</a>.
My first project was to rewrite the <!WA13><a
href=ftp://cs.rice.edu/public/preston/optimizer/dead.ps.gz>dead code
elimination</a> pass of the compiler in
<!WA14><a href=http://www.cs.rice.edu/MSCP/nuweb.html>nuweb</a>.
</p>

<p>
I have written a <!WA15><a href=http://www.cs.rice.edu/MSCP/nuweb.html>nuweb</a>
version of the <!WA16><a href=http://www.cs.rice.edu/~lts/gval/gval.html>global value numbering</a> algorithm
described by Alpern, Wegman, and Zadeck in <em>Detecting
Equality of Variables in Programs</em>.
I have also implemented extensions to the algorithm to handle commutative
operations, to eliminate redundant stores (<em>i. e.,</em> stores where
the value in memory will not change), and to remove operations based on
available expressions.
</p>

<p>
Preston Briggs, Tim Harvey, and I have made several improvements to the
<!WA17><a href=ftp://cs.rice.edu/public/preston/optimizer/SSA.ps.gz>SSA
construction</a> algorithm.
</p>

<p>
I have written a <!WA18><a href=http://www.cs.rice.edu/MSCP/nuweb.html>nuweb</a>
version of several types of
<!WA19><a href=ftp://cs.rice.edu/public/preston/optimizer/valnum.ps.gz>value
numbering</a>.
The implementation includes value numbering over the dominator tree as
well as <!WA20><a href=http://www.cs.rice.edu/~lts/research.html#scc>SCC-based value numbering</a>.
</p>

<p>
Currently, I am working on improvements to graph coloring register
allocation.
</p>

<hr><br>
<h3>Current Research</h3>

<UL>
<LI> <!WA21><a href=http://www.cs.rice.edu/~lts/research.html#valnum><em>Value Numbering</em></a>
<LI> <!WA22><a href=http://www.cs.rice.edu/~lts/research.html#scc><em>SCC-Based Value Numbering</em></a>
<LI> <!WA23><a href=http://www.cs.rice.edu/~lts/research.html#vdcm><em>Value-Driven Code Motion</em></a>
<LI> <!WA24><a href=http://www.cs.rice.edu/~lts/research.html#osr><em>Operator Strength Reduction</em></a>
<LI> <!WA25><a href=http://www.cs.rice.edu/~lts/research.html#thesis><em>Value-Driven Redundancy Elimination</em></a>
</UL>

<hr><br>
<h3>Talks</h3>

From time to time, I give talks on various subjects that interest me.
Here is a sample:

<UL>
<LI> <!WA26><a href=http://www.cs.rice.edu/~lts/data_flow.ps.gz>Introduction to Data-Flow Analysis</a>
<LI> <!WA27><a href=http://www.cs.rice.edu/~lts/dependence.ps.gz>Introduction to Dependence Analysis</a>
<LI> <!WA28><a href=http://www.cs.rice.edu/~lts/ssa.ps.gz>Computing Static Single Assignment Form</a>
<LI> <!WA29><a href=http://www.cs.rice.edu/~lts/gval.ps.gz>Detecting Equality of Variables in Programs</a>
<LI> <!WA30><a href=http://www.cs.rice.edu/~lts/dvnt.ps.gz>Value Numbering</a>
<LI> <!WA31><a href=http://www.cs.rice.edu/~lts/affiliates.ps.gz>Value-Driven Reduncancy Elimination</a>
<LI> <!WA32><a href=http://www.cs.rice.edu/~lts/proposal_talk.ps.gz>Thesis Proposal</a>
</UL>

<hr><br>
<h3>Links</h3>

Here are some other <!WA33><a href=http://www.cs.rice.edu/~lts/links.html>links</a> you might want to check out:

<UL>
<LI> <!WA34><a href=http://www.cs.rice.edu/~lts/links.html#compilers>Compilers</a>
<LI> <!WA35><a href=http://www.cs.rice.edu/~lts/links.html#rice>Rice University</a>
<LI> <!WA36><a href=http://www.cs.rice.edu/~lts/links.html#www>WWW</a>
<LI> <!WA37><a href=http://www.cs.rice.edu/~lts/links.html#car_info>Car Information</a>
<LI> <!WA38><a href=http://www.cs.rice.edu/~lts/links.html#car_manufacturers>Car Manufacturers</a>
<LI> <!WA39><a href=http://www.cs.rice.edu/~lts/links.html#games>Games</a>
<LI> <!WA40><a href=http://www.cs.rice.edu/~lts/links.html#golf>Golf</a>
<LI> <!WA41><a href=http://www.cs.rice.edu/~lts/links.html#beer>Beer</a>
</UL>

<hr><br>
<h3>How to reach me</h3>

Taylor Simpson<br>
Rice University<br>
6100 Main St., MS 41<br>
Houston, TX 77005-1892<br><br>

<!WA42><a href=http://www.ruf.rice.edu/~deanengr/ceb.html>Duncan Hall</a>
Room 2063<br><br>
<!WA43><a href=mailto:[e-mail]><em>[e-mail]</em></a><br><br>

[phone]<br>
FAX [phone]

<hr><br>
<!WA44><a href=http://www.cs.rice.edu/MSCP/MSCP.html>
<!WA45><IMG SRC="http://softlib.rice.edu/MSCP/home_page_marker.gif"> </a>