[www-pubs] r209535 - Added the Strato paper from Lehigh.

[Hal Finkel]

----- Original Message -----
> From: "John Criswell" <criswell at illinois.edu>
> To: llvm-commits at cs.uiuc.edu
> Sent: Friday, May 23, 2014 1:53:08 PM
> Subject: Re: [www-pubs] r209535 - Added the Strato paper from Lehigh.
> 
> Dear All,
> 
> If someone could take a second and review this patch, I'd appreciate
> it.

I think that post-commit review is fine for these.

"Dowsing for Overflows:" -- Non-ASCII characters?

LGTM (although should fix the characters if that's not intended).

 -Hal

> 
> -- John  T.
> 
> On 5/23/14, 1:35 PM, John Criswell wrote:
> > Author: criswell
> > Date: Fri May 23 13:35:13 2014
> > New Revision: 209535
> >
> > URL: http://llvm.org/viewvc/llvm-project?rev=209535&view=rev
> > Log:
> > Added the Strato paper from Lehigh.
> > Added Usenix Security 2013 papers which I know use LLVM.
> >
> > Modified:
> >      www-pubs/trunk/pubs.js
> >
> > Modified: www-pubs/trunk/pubs.js
> > URL:
> > http://llvm.org/viewvc/llvm-project/www-pubs/trunk/pubs.js?rev=209535&r1=209534&r2=209535&view=diff
> > ==============================================================================
> > --- www-pubs/trunk/pubs.js (original)
> > +++ www-pubs/trunk/pubs.js Fri May 23 13:35:13 2014
> > @@ -42,6 +42,30 @@ var PUBS =
> >       year: 2013,
> >     },
> >   
> > +  { url: "http://www.cse.lehigh.edu/~gtan/paper/strato.pdf",
> > +    author: "Bin Zeng, Gang Tan, and Ulfar Erlingsson",
> > +    title: "Strato: A Retargetable Framework for Low-level
> > Inlined-reference Monitors",
> > +    published: "Proceedings of the Twenty Second Usenix Security
> > Symposium",
> > +    month: 8,
> > +    year: 2013,
> > +  },
> > +
> > +  { url:
> > "http://0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com/12295-sec13-paper_haller.pdf",
> > +    author: "Istvan Haller, Asia Slowinska, Matthias
> > Neugschwandtner, Herbert Bos",
> > +    title: "Dowsing for Overflows: A Guided Fuzzer to Find Buffer
> > Boundary Violations",
> > +    published: "Proceedings of the Twenty Second Usenix Security
> > Symposium",
> > +    month: 8,
> > +    year: 2013,
> > +  },
> > +
> > +  { url:
> > "http://0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com/12341-sec13-paper_davidson.pdf",
> > +    author: "Drew Davidson, Benjamin Moench, Somesh Jha, and
> > Thomas Ristenpart",
> > +    title: "FIE on Firmware: Finding Vulnerabilities in Embedded
> > Systems Using Symbolic Execution",
> > +    published: "Proceedings of the Twenty Second Usenix Security
> > Symposium",
> > +    month: 8,
> > +    year: 2013,
> > +  },
> > +
> >     { url:
> >     "http://www.cs.rutgers.edu/~santosh.nagarakatte/pldi2013.pdf",
> >       author: "Jianzhou Zhao, Santosh Nagarakatte, Milo M K Martin,
> >       and Steve Zdancewic",
> >       title: "Formal Verification of SSA Optimizations for LLVM",
> >
> >
> > _______________________________________________
> > llvm-commits mailing list
> > llvm-commits at cs.uiuc.edu
> > http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
> 
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
> 

-- 
Hal Finkel
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory