http:^^http.cs.berkeley.edu^~aiken^

来自「This data set contains WWW-pages collect」· EDU^~AIKEN^ 代码 · 共 107 行

Date: Thu, 21 Nov 1996 19:59:51 GMT
Server: NCSA/1.4
Content-type: text/html
Last-modified: Mon, 21 Oct 1996 17:36:53 GMT
Content-length: 5111

<title>Alex Aiken</title>
<h1>Alex Aiken</h1>
<h2>Associate Professor (EECS)</h2>
<hr>
<TABLE>
<TR><TH><!WA0><a href="http://HTTP.CS.Berkeley.EDU/~aiken/pictures/alexboy.gif"><!WA1><img align=top src="http://HTTP.CS.Berkeley.EDU/~aiken/pictures/alexboy.gif"></a><TH>
<!WA2><a href="http://HTTP.CS.Berkeley.EDU/~aiken/pictures/aiken.gif"><!WA3><img align=top src="http://HTTP.CS.Berkeley.EDU/~aiken/pictures/aiken.gif"></a>
<TR><TH>In the good old days<TH>Now (more or less)
</TABLE>
<hr>
<h2>Contact Information</h2>
<dl>
<dt> <em>Phone - </em>  [phone]
<dt> <em>Fax - </em>    [phone]
<dt> <em>Email - </em>  <!WA4><A HREF="mailto:[e-mail]">[e-mail]</A>
<dt> <em>Address - </em>
<dd> <!WA5><a href="http://http.cs.berkeley.edu/">Computer Science Division</a>
<dd> 773 Soda Hall
<dd> <!WA6><a href="http://www.berkeley.edu/">University of California, Berkeley</a>
<dd> <!WA7><a href="http://www.ci.berkeley.ca.us/">Berkeley</a>, CA  94720-1776  USA
</dl>
<br>
Current <!WA8><a href="http://HTTP.CS.Berkeley.EDU/~aiken/plan.html">schedule</a> 
<hr>
<h2>Areas of Research</h2>
My main area of interest is programming languages, especially program analysis and compiler optimization.  Recently, I have been working on constraint-based program analysis algorithms, including constraint theories, complexity, algorithms, and implementation issues.  A demonstration constraint-based type inference system, <!WA9><a href="http://HTTP.CS.Berkeley.EDU/~aiken/software.html"> Illyria</a>, is available.

<p> I'm also interesed in so-called "end user programming", or how to
make programming accessible to non-programmers.  Toward this end, I'm
involved in developing two special purpose languages: <!WA10><a
href="http://s2k-ftp.CS.Berkeley.EDU:8000/tioga/tioga.html">
Tioga</a>, a database visualization system that makes it easy for
people without visualization expertise to turn relational data into pictures,
and <!WA11><a href="http://HTTP.CS.Berkeley.EDU/~aiken/TREE"> TREE</a>, a project to make conversion between data formats
simple without the use of arcane sed, awk, and perl scripts.
<hr>
<h2>Biographical Sketch</h2>
  Alex Aiken received his Bachelors degree in Computer Science and Music from 
  <!WA12><a href="http://www.cs.bgsu.edu/"> Bowling Green State University</a> 
  in 1983 and his Ph.D. from 
  <!WA13><a href="http://www.cs.cornell.edu/"> Cornell University</a>
  in 1988.  Alex was a Research Staff Member at the <!WA14><a href="http://www.almaden.ibm.com/"> IBM Almaden
 Research Center</a> before joining the Berkeley faculty in 1993.  He is
  married to <!WA15><a href="http://www-db.stanford.edu/people/widom.html">
  Jennifer Widom</a>, and they have a young son <!WA16><a href="http://www-db.stanford.edu/~widom/tim-7-96.gif"> Tim</a>.  Jennifer has <!WA17><a href="http://www-db.stanford.edu/~widom/photos.html"> photos</a> from the couple's travels in the pre-baby days.

<hr>
<h2>Projects</h2>
<UL>
<LI> Constraint-Based Program Analysis
<LI> <!WA18><a href="http://http.cs.berkeley.edu/projects/titanium"> Titanium</a>:
	Compiler support for explicit parallel programming.
<LI> <!WA19><a href="http://s2k-ftp.CS.Berkeley.EDU:8000/tioga/tioga.html">
Tioga</a>: Database visualization.
<LI> <!WA20><a href="http://HTTP.CS.Berkeley.EDU/~aiken/TREE"> TREE</a>: Transformational Editing by Example.
<LI> <!WA21><a href="http://HTTP.CS.Berkeley.EDU/~aiken/cool"> Cool</a>: A freely available course project for teaching compilers to undergraduates.
</UL>
<hr>

<h2>Courses</h2>
<UL> 
<LI> <!WA22><a href="http://HTTP.CS.Berkeley.EDU/~aiken/seminar/seminar.html"> CS298</a> (Fall 1996) Programming Systems Seminar
<LI> <!WA23><a href="http://www.cs.berkeley.edu/~aiken/cs164temp"> CS164</a> (Fall 1996) Programming Languages and Compilers
<LI> <!WA24><a href="http://www.cs.berkeley.edu/~aiken/cs164"> CS164</a> (Fall 1995) 
Programming Languages and Compilers
<LI> <!WA25><a href="ftp://s2k-ftp.cs.berkeley.edu/pub/personal/aiken/cs294"> CS294</a> (Spring 1994) Topics in Program Analysis
<LI> <!WA26><a href="ftp://s2k-ftp.cs.berkeley.edu/pub/personal/aiken/cs164"> CS164</a>  (Fall 1994) Programming Languages and Compilers
<LI> <!WA27><a href="http://HTTP.CS.Berkeley.EDU/~aiken/cs264/index.html"> CS264</a> (Spring 1995) Implementation of Programming Languages
</UL>
<hr>
<h2>Demos of Research Prototypes</h2>
<UL> 
<LI>The Illyria <!WA28><a href="http://HTTP.CS.Berkeley.EDU/~aiken/Illyria-demo.html"> subtype inference system</a>.
<LI> <!WA29><a href="http://kiwi.cs.berkeley.edu/~nogc"> Memory management</a> without a 
garbage collector.
</UL>
<hr>
<h2> Graduate Students</h2>
<UL>
<LI> <!WA30><A HREF="http://http.cs.berkeley.edu/~darcy/"> Joe Darcy</a>, <em>
	<!WA31><A HREF="mailto:[e-mail]">[e-mail]</a></em>
<LI> <!WA32><A href="http://http.cs.berkeley.edu/~manuel/"> Manuel Fahndrich</a>, <em>
	<!WA33><A HREF="mailto:[e-mail]">[e-mail]</A> </em>
<LI> <!WA34><A HREF="http://http.cs.berkeley.edu/~dgay/"> David Gay</a>, <em>
	<!WA35><A HREF="mailto:[e-mail]">[e-mail]</a></em>
<LI> Margret Jacoby, <em> 
	<!WA36><A HREF="mailto:[e-mail]">[e-mail]</A></em>
<LI> <!WA37><A HREF="http://http.cs.berkeley.edu/~raph/"> Raph Levien</a>, <em> 
	<!WA38><A HREF="mailto:[e-mail]">[e-mail]</A> </em>
<LI> <!WA39><A HREF="http://http.cs.berkeley.edu/~zhendong/"> Zhendong Su</a>, <em> 
	<!WA40><A HREF="mailto:[e-mail]">[e-mail]</A> </em>
</UL>
<hr>
<h2>Other Links</h2>
<UL>
<LI> Selected <!WA41><a href="http://HTTP.CS.Berkeley.EDU/~aiken/pubs.html"> publications</a>
<LI> Distributed <!WA42><a href="http://HTTP.CS.Berkeley.EDU/~aiken/software.html"> software</a>
<LI> POPL '95 <!WA43><a href = "http://HTTP.CS.Berkeley.EDU/~aiken/popl95.ps">Lecture</a> on Constraint-Based Program Analysis
</UL>
<hr>