[llvm-dev] Updating LLVM Publications Page

[John Regehr via llvm-dev]

> On a related note, it's not important to me that every paper in the 
> world using LLVM is listed on the page.  What interests me more is 
> having the page advertise the fact that LLVM is used in a wide variety 
> of research projects, including communities that have not traditionally 
> used compiler techniques, and that it show a strong LLVM presence in the 
> research community.  If we can get back into the habit of keeping it 
> updated, I think it'll be a nice feature of the web page.

Maybe we can design the page using colors or something to help people 
see the different areas: security, formal verification, operating 
systems, HPC, embedded systems, etc.

John