Extracted from fox-bib.bib with M-x bibtex-extract-matching-entries fox-bib.bib keywords pcc Fri May 4 18:47:57 UTC 2001 @Unpublished{Colby?tcs, author = "Christopher Colby and Karl Crary and Robert Harper and Peter Lee and Frank Pfenning", title = "Automated Techniques for Provably Safe Mobile Code", note = "To appear in a special issue of Theoretical Computer Science on {\em Dependable Computing}", annote = "Preliminary version appeared in~\cite{Crary00discex}", urlabstract = "http://www.cs.cmu.edu/~rwh/papers/certcomp/tcs.abstract", urlps = "http://www.cs.cmu.edu/~fp/papers/tcs00.ps.gz", urlpdf = "http://www.cs.cmu.edu/~rwh/papers/certcomp/tcs.pdf", keywords = "lf, pcc, til", } @TechReport{Crary01tr113, author = "Karl Crary and Joseph C. Vanderwaart", title = "An Expressive, Scalable Type Theory for Certified Code", institution = "School of Computer Science, Carnegie Mellon University", year = "2001", number = "CMU-CS-01-113", month = may, urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/2001/abstracts/01-113.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/2001/CMU-CS-01-113.ps", urlpdf = "http://reports-archive.adm.cs.cmu.edu/anon/2001/CMU-CS-01-113.pdf", keywords = "pcc, languages", } @InProceedings{Colby00pldi, author = "Christopher Colby and Peter Lee and George C. Necula and Fred Blau and Mark Plesko and Kenneth Cline", title = "A Certifying Compiler for {J}ava", booktitle = "Proceedings of the Conference on Programming Language Design and Implementation", year = "2000", publisher = "ACM Press", address = "Vancouver, Canada", pages = "95--107", month = jun, urlps = "http://www.cs.berkeley.edu/~necula/pldi00b.ps.gz", keywords = "lf, pcc", } @InProceedings{Necula00cade, author = "George C. Necula and Peter Lee", title = "Proof Generation in the {Touchstone} Theorem Prover", editor = "David McAllester", pages = "25--44", booktitle = "Proceedings of the International Conference on Automated Deduction", year = "2000", publisher = "Springer-Verlag LNAI 1831", address = "Pittsburgh, Pennsylvania", month = jun, urlps = "http://www.cs.berkeley.edu/~necula/cade00.ps.gz", keywords = "lf, pcc", } @InProceedings{Crary00discex, author = "Karl Crary and Robert Harper and Peter Lee and Frank Pfenning", title = "Automated Techniques for Provably Safe Mobile Code", booktitle = "Proceedings of the {DARPA} Information Survivability Conference and Exposition", volume = "1", pages = "406--419", year = "2000", address = "Hilton Head Island, South Carolina", month = jan, publisher = "IEEE Computer Society Press", urlabstract = "http://www.computer.org/proceedings/discex/0490/volume%201/04900406abs.htm", urlpdf = "http://dlib.computer.org/conferen/discex/0490/pdf/04900406.pdf", keywords = "lf, pcc, til", } @InProceedings{Plesko99, author = "Mark Plesko and Frank Pfenning", title = "A Formalization of the Proof-Carrying Code Architecture in a Linear Logical Framework", editor = "A. Pnueli and P. Traverso", booktitle = "Proceedings of the {FLoC} Workshop on Run-Time Result Verification", year = "1999", address = "Trento, Italy", month = jul, urlps = "http://www.cs.cmu.edu/~fp/papers/pccllf99.ps.gz", keywords = "lf, pcc", } @PhdThesis{Necula98phd, author = "George C. Necula", title = "Compiling with Proofs", school = "Carnegie Mellon University", year = "1998", month = oct, note = "Available as Technical Report CMU-CS-98-154", urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-154.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-154.ps", urlpdf = "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-154.pdf", keywords = "lf, pcc", } @InCollection{Necula98lncs, author = "George C. Necula and Peter Lee", title = "Safe, Untrusted Agents using Proof-Carrying Code", booktitle = "Mobile Agents and Security", publisher = "Springer-Verlag LNCS 1419", year = "1998", editor = "Giovanni Vigna", month = aug, pages = "61--91", urlps = "http://www.cs.berkeley.edu/~necula/lncs98.ps.gz", keywords = "pcc", } @InProceedings{Necula98lics, author = "George C. Necula and Peter Lee", title = "Efficient Representation and Validation of Logical Proofs", booktitle = "Proceedings of the Symposium on Logic in Computer Science", editor = "Vaughan Pratt", pages = "93--104", year = "1998", publisher = "IEEE Computer Society Press", address = "Indianapolis, Indiana", month = jun, annote = "Extended version available as \cite{Necula97tr172}", urlps = "http://foxnet.cs.cmu.edu/papers/necula-lics98.ps", urlabstract = "http://foxnet.cs.cmu.edu/papers/necula-lics98.abstract", keywords = "lf, pcc", } @InProceedings{Necula98pldi, author = "George C. Necula and Peter Lee", title = "The Design and Implementation of a Certifying Compiler", editor = "Keith D. Cooper", pages = "333--344", booktitle = "Proceedings of the Conference on Programming Language Design and Implementation", year = "1998", publisher = "ACM Press", address = "Montreal, Canada", month = jun, urlps = "http://foxnet.cs.cmu.edu/papers/necula-pldi98.ps", urlabstract = "http://foxnet.cs.cmu.edu/papers/necula-pldi98.abstract", keywords = "lf, pcc", } @TechReport{Necula97tr172, author = "George C. Necula and Peter Lee", title = "Efficient Representation and Validation of Logical Proofs", institution = "School of Computer Science, Carnegie Mellon University", year = "1997", number = "CMU-CS-97-172", month = oct, urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/1997/abstracts/97-172.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-172.ps", keywords = "lf, pcc", } @InProceedings{Necula97popl, author = "George C. Necula", title = "Proof-Carrying Code", booktitle = "Proceedings of the Symposium on Principles of Programming Languages", year = "1997", publisher = "ACM Press", address = "Paris, France", month = jan, editor = "Neil D. Jones", pages = "106--119", urlps = "http://foxnet.cs.cmu.edu/papers/necula-popl97.ps", urlabstract = "http://foxnet.cs.cmu.edu/papers/necula-popl97.abstract", keywords = "lf, pcc", } @InProceedings{Necula96osdi, author = "George C. Necula and Peter Lee", title = "Safe Kernel Extensions Without Run-Time Checking", booktitle = "Proceedings of the Symposium on Operating System Design and Implementation", year = "1996", address = "Seattle, Washington", month = oct, pages = "229--243", urlps = "http://foxnet.cs.cmu.edu/papers/necula-osdi96.ps", urlhtml = "http://www.cs.cmu.edu/~petel/papers/pcc/osdi/", urlabstract = "http://foxnet.cs.cmu.edu/papers/necula-osdi96.abstract", keywords = "lf, pcc", } @TechReport{Necula96tr165, author = "George C. Necula and Peter Lee", title = "Proof-Carrying Code", institution = "School of Computer Science, Carnegie Mellon University", year = "1996", number = "CMU-CS-96-165", month = sep, urlps = "http://foxnet.cs.cmu.edu/papers/necula-ppctr.ps", urlabstract = "http://foxnet.cs.cmu.edu/papers/necula-ppctr.abstract", keywords = "lf, pcc", }