#title Publish or Perish

<contents>
      
* About me - Wei Hu
I am a <literal><strike>first</strike> <strike>second</strike> <strike>third</strike> <strike>fourth</strike> fifth</literal> year [[http://www.monzy.com/intro/drama_lyrics.html][PhD]] [[http://www.cs.virginia.edu/people/grads.html][student]] in [[http://www.cs.virginia.edu/][CS Dept]], [[http://www.virginia.edu][UVa]].   I am working with [[http://www.cs.virginia.edu/people/faculty.html][Prof.]] [[http://www.cs.virginia.edu/~jwd/][Jack W. Davidson]]. <br>
The projects I am currently involved with are [[http://www.cs.virginia.edu/~dww4s/strata.html][Strata]], [[http://dependability.cs.virginia.edu/info][Dependability]], [[http://www.cs.virginia.edu/genesis/][Genesis]], and [[http://www.cs.virginia.edu/nvariant/][N-Variant Systems]].<br>
I am also interested in [[http://www.tortolaproject.com/][Tortola]] and [[http://www.cs.virginia.edu/critical/][Protection of Security-Critical Data]].
* Courses
** Taken

 -[[http://www.cs.virginia.edu/~skadron/cs654][CS 654]] [[http://www.cs.wisc.edu/~arch/www/][Computer Architecture]] ([[https://toolkit.itc.virginia.edu/cgi-local/tk/UVa_SEAS_2004_Fall_C_S654-1/][Fall 04]])<br>
*[[http://books.elsevier.com/us/mk/us/subindex.asp?isbn=1558605967]["Do you ever have the feeling that computer architectures come and go, but CA:AQA is forever?"]]* <br>

 -[[http://www.cs.virginia.edu/~jwd/cs696/][CS 696]] Computer Science Perspective

 -[[http://www.cs.virginia.edu/malware/][CS 851]] Malware

 -[[http://www.virginia.edu/provost/caelc/services.html#courses][ENGR 600]] Effective Communication in English

 -[[http://www.virginia.edu/provost/caelc/services.html#courses][LING 105]] American Pronunciation

 - [[http://www.cs.virginia.edu/~robins/cs660/][CS 660]] Theory <br>

 - [[http://www.cs.virginia.edu/~hazelwood/courses/cs771][CS 771]] Compilers <br>

 - LING 110 Accent Modification <br>

 - [[http://www.cs.virginia.edu/~soffa/cs851/][CS 851]] New Paradigmes Of Program Execution<br>

 -[[https://toolkit.itc.virginia.edu/cgi-local/tk/UVa_CLAS_2005_Fall_LING111-1/][LING 111]] Classroom Communication for International Teaching Assistants<br>

 -[[http://www.cs.virginia.edu/~jones/cs551S/][CS 651]] Information Assurance<br>

 -[[https://toolkit.itc.virginia.edu/cgi-local/tk/UVa_CLAS_2006_Spring_LING103-1][LING 103]] Academic Writing<br>

 -[[http://www.cs.virginia.edu/~weimer/2006-655/][CS 655]] Programming Languages<br>

 -CS 851 Spec Topics In Compilation<br>

** Audited

 -[[http://www.cs.virginia.edu/~robins/cs661/][CS 661]] Analysis of Algorithms

 -[[http://www.cs.virginia.edu/kim/courses/cs851/][CS 851]] Virtual Machines<br>

 -[[http://www.cs.virginia.edu/~shelat/651/www/][CS 651]] Principles Of [[http://www-cse.ucsd.edu/~mihir/papers/gb.html][Cryptography]]<br>
 
** Taking (Spring '09)

 -Research Meeting<br>
 1400-1500 R OLS 228

** Dabbling

 -[[http://www.cs.virginia.edu/pipermail/cs-security/][Security Reading Group]]<br>
 1300-1400 W

 -[[http://www.cs.virginia.edu/theory/][Theory Lunch]]<br>
 1230-1330 R

 -[[http://www.cs.virginia.edu/~shelat/661/?page_id=14][CS 661]] Algorithms<br>
 1530-1645 TR OLS 011

* [[bookmark.htm][Interests]]
** Research Interests
*** Systems
 - [[http://pauillac.inria.fr/~xleroy/teaching.html][Programming Language]] [[http://pauillac.inria.fr/~xleroy/talks.html][Design and Implementation]]
 - Computer Architecture
 - Computer and Communications Security
 - Operating Systems Design and Implementation

*** Theory
 - Principles of Programming Languages
 - [[http://www.cs.princeton.edu/theory/complexity/][Foundations of Computer Science]]
 - Discrete Algorithms
 - [[coq.html][Logic in Computer Science]]

** Technical Interests
*** Open Source Software
 - GNU Emacs, Debian|Gentoo|LFS GNU/[[http://people.redhat.com/~drepper/][Linux]], FreeBSD, GCC, [[http://ximbiot.com/cvs/wiki/index.php?title=Main_Page][CVS]], [[http://nouveau.freedesktop.org/wiki/FrontPage#Docs][X]], ...

*** [[http://www.cs.caltech.edu/~mvanier/hacking/rants/cars.html][Programming]]
 - C, [[http://www.nobugs.org/developer/parsingcpp/][C++]], Java,
[[http://www.r6rs.org/][S]]c[[http://www.cs.indiana.edu/eip/compile/][h]]e[[http://www.iro.umontreal.ca/~boucherd/mslug/meetings/20041020/minutes-en.html][m]]e, [[http://en.wikibooks.org/wiki/Haskell][H]]a[[http://babel.ls.fi.upm.es/~pablo/#notes][s]]k[[http://www.haskell.org/haskellwiki/Applications_and_libraries][e]]l[[http://www-users.cs.york.ac.uk/~mfn/hhi/index.html][l]], OCa[[http://min-caml.sourceforge.net/index-e.html][ml]],
[[http://www.davidflanagan.com/javascript5/][JavaScript]], ...