BibTeX records: Andrew W. Appel

download as .bib file

@article{DBLP:journals/jar/CaoBGDA18,
  author    = {Qinxiang Cao and
               Lennart Beringer and
               Samuel Gruetter and
               Josiah Dodds and
               Andrew W. Appel},
  title     = {VST-Floyd: {A} Separation Logic Tool to Verify Correctness of {C}
               Programs},
  journal   = {J. Autom. Reasoning},
  volume    = {61},
  number    = {1-4},
  pages     = {367--422},
  year      = {2018},
  url       = {https://doi.org/10.1007/s10817-018-9457-5},
  doi       = {10.1007/s10817-018-9457-5},
  timestamp = {Fri, 01 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/CaoBGDA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ManskyAN17,
  author    = {William Mansky and
               Andrew W. Appel and
               Aleksey Nogin},
  title     = {A verified messaging system},
  journal   = {{PACMPL}},
  volume    = {1},
  number    = {{OOPSLA}},
  pages     = {87:1--87:28},
  year      = {2017},
  url       = {https://doi.org/10.1145/3133911},
  doi       = {10.1145/3133911},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/ManskyAN17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/CaoCA17,
  author    = {Qinxiang Cao and
               Santiago Cuellar and
               Andrew W. Appel},
  title     = {Bringing Order to the Separation Logic Jungle},
  booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
               2017, Suzhou, China, November 27-29, 2017, Proceedings},
  pages     = {190--211},
  year      = {2017},
  crossref  = {DBLP:conf/aplas/2017},
  url       = {https://doi.org/10.1007/978-3-319-71237-6\_10},
  doi       = {10.1007/978-3-319-71237-6\_10},
  timestamp = {Mon, 20 Nov 2017 11:27:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/CaoCA17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/YeGSBPA17,
  author    = {Katherine Q. Ye and
               Matthew Green and
               Naphat Sanguansin and
               Lennart Beringer and
               Adam Petcher and
               Andrew W. Appel},
  title     = {Verified Correctness and Security of mbedTLS {HMAC-DRBG}},
  booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
               November 03, 2017},
  pages     = {2007--2020},
  year      = {2017},
  crossref  = {DBLP:conf/ccs/2017},
  url       = {https://doi.org/10.1145/3133956.3133974},
  doi       = {10.1145/3133956.3133974},
  timestamp = {Tue, 06 Nov 2018 11:07:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/YeGSBPA17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BelangerA17,
  author    = {Olivier Savary B{\'{e}}langer and
               Andrew W. Appel},
  title     = {Shrink fast correctly!},
  booktitle = {Proceedings of the 19th International Symposium on Principles and
               Practice of Declarative Programming, Namur, Belgium, October 09 -
               11, 2017},
  pages     = {49--60},
  year      = {2017},
  crossref  = {DBLP:conf/ppdp/2017},
  url       = {https://doi.org/10.1145/3131851.3131859},
  doi       = {10.1145/3131851.3131859},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/BelangerA17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-08542,
  author    = {Katherine Q. Ye and
               Matthew Green and
               Naphat Sanguansin and
               Lennart Beringer and
               Adam Petcher and
               Andrew W. Appel},
  title     = {Verified Correctness and Security of mbedTLS {HMAC-DRBG}},
  journal   = {CoRR},
  volume    = {abs/1708.08542},
  year      = {2017},
  url       = {http://arxiv.org/abs/1708.08542},
  archivePrefix = {arXiv},
  eprint    = {1708.08542},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1708-08542},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/Appel16,
  author    = {Andrew W. Appel},
  title     = {Modular Verification for Computer Security},
  booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
               Portugal, June 27 - July 1, 2016},
  pages     = {1--8},
  year      = {2016},
  crossref  = {DBLP:conf/csfw/2016},
  url       = {https://doi.org/10.1109/CSF.2016.8},
  doi       = {10.1109/CSF.2016.8},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/Appel16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Appel15,
  author    = {Andrew W. Appel},
  title     = {Verification of a Cryptographic Primitive: {SHA-256}},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {37},
  number    = {2},
  pages     = {7:1--7:31},
  year      = {2015},
  url       = {https://doi.org/10.1145/2701415},
  doi       = {10.1145/2701415},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/Appel15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Appel15,
  author    = {Andrew W. Appel},
  title     = {Verification of a cryptographic primitive: {SHA-256} (abstract)},
  booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15-17,
               2015},
  pages     = {153},
  year      = {2015},
  crossref  = {DBLP:conf/pldi/2015},
  url       = {https://doi.org/10.1145/2737924.2774972},
  doi       = {10.1145/2737924.2774972},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/Appel15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/StewartBCA15,
  author    = {Gordon Stewart and
               Lennart Beringer and
               Santiago Cuellar and
               Andrew W. Appel},
  title     = {Compositional CompCert},
  booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  pages     = {275--287},
  year      = {2015},
  crossref  = {DBLP:conf/popl/2015},
  url       = {https://doi.org/10.1145/2676726.2676985},
  doi       = {10.1145/2676726.2676985},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/StewartBCA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/BeringerPYA15,
  author    = {Lennart Beringer and
               Adam Petcher and
               Katherine Q. Ye and
               Andrew W. Appel},
  title     = {Verified Correctness and Security of OpenSSL {HMAC}},
  booktitle = {24th {USENIX} Security Symposium, {USENIX} Security 15, Washington,
               D.C., USA, August 12-14, 2015.},
  pages     = {207--221},
  year      = {2015},
  crossref  = {DBLP:conf/uss/2015},
  url       = {https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/beringer},
  timestamp = {Fri, 19 Aug 2016 15:38:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/BeringerPYA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0034962,
  author    = {Andrew W. Appel},
  title     = {Program Logics - for Certified Compilers},
  publisher = {Cambridge University Press},
  year      = {2014},
  url       = {http://www.cambridge.org/de/academic/subjects/computer-science/programming-languages-and-applied-logic/program-logics-certified-compilers?format=HB},
  isbn      = {978-1-10-704801-0},
  timestamp = {Fri, 10 Apr 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/books/daglib/0034962},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/KrollSA14,
  author    = {Joshua A. Kroll and
               Gordon Stewart and
               Andrew W. Appel},
  title     = {Portable Software Fault Isolation},
  booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
               Austria, 19-22 July, 2014},
  pages     = {18--32},
  year      = {2014},
  crossref  = {DBLP:conf/csfw/2014},
  url       = {https://doi.org/10.1109/CSF.2014.10},
  doi       = {10.1109/CSF.2014.10},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/KrollSA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BeringerSDA14,
  author    = {Lennart Beringer and
               Gordon Stewart and
               Robert Dockins and
               Andrew W. Appel},
  title     = {Verified Compilation for Shared-Memory {C}},
  booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming,
               {ESOP} 2014, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
               2014, Proceedings},
  pages     = {107--127},
  year      = {2014},
  crossref  = {DBLP:conf/esop/2014},
  url       = {https://doi.org/10.1007/978-3-642-54833-8\_7},
  doi       = {10.1007/978-3-642-54833-8\_7},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/BeringerSDA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/DoddsA13,
  author    = {Josiah Dodds and
               Andrew W. Appel},
  title     = {Mostly Sound Type System Improves a Foundational Program Verifier},
  booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
               2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
  pages     = {17--32},
  year      = {2013},
  crossref  = {DBLP:conf/cpp/2013},
  url       = {https://doi.org/10.1007/978-3-319-03545-1\_2},
  doi       = {10.1007/978-3-319-03545-1\_2},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/DoddsA13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AppelDL12,
  author    = {Andrew W. Appel and
               Robert Dockins and
               Xavier Leroy},
  title     = {A List-Machine Benchmark for Mechanized Metatheory},
  journal   = {J. Autom. Reasoning},
  volume    = {49},
  number    = {3},
  pages     = {453--491},
  year      = {2012},
  url       = {https://doi.org/10.1007/s10817-011-9226-1},
  doi       = {10.1007/s10817-011-9226-1},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/AppelDL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/StewartBA12,
  author    = {Gordon Stewart and
               Lennart Beringer and
               Andrew W. Appel},
  title     = {Verified heap theorem prover by paramodulation},
  booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
               ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  pages     = {3--14},
  year      = {2012},
  crossref  = {DBLP:conf/icfp/2012},
  url       = {https://doi.org/10.1145/2364527.2364531},
  doi       = {10.1145/2364527.2364531},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/StewartBA12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Appel12,
  author    = {Andrew W. Appel},
  title     = {Verified Software Toolchain},
  booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
               VA, USA, April 3-5, 2012. Proceedings},
  pages     = {2},
  year      = {2012},
  crossref  = {DBLP:conf/nfm/2012},
  url       = {https://doi.org/10.1007/978-3-642-28891-3\_2},
  doi       = {10.1007/978-3-642-28891-3\_2},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/Appel12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/AmtoftDZABHOC12,
  author    = {Torben Amtoft and
               Josiah Dodds and
               Zhi Zhang and
               Andrew W. Appel and
               Lennart Beringer and
               John Hatcliff and
               Xinming Ou and
               Andrew Cousino},
  title     = {A Certificate Infrastructure for Machine-Checked Proofs of Conditional
               Information Flow},
  booktitle = {Principles of Security and Trust - First International Conference,
               {POST} 2012, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
               - April 1, 2012, Proceedings},
  pages     = {369--389},
  year      = {2012},
  crossref  = {DBLP:conf/post/2012},
  url       = {https://doi.org/10.1007/978-3-642-28641-4\_20},
  doi       = {10.1007/978-3-642-28641-4\_20},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/post/AmtoftDZABHOC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/Appel11,
  author    = {Andrew W. Appel},
  title     = {Security Seals on Voting Machines: {A} Case Study},
  journal   = {{ACM} Trans. Inf. Syst. Secur.},
  volume    = {14},
  number    = {2},
  pages     = {18:1--18:29},
  year      = {2011},
  url       = {https://doi.org/10.1145/2019599.2019603},
  doi       = {10.1145/2019599.2019603},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tissec/Appel11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Appel11,
  author    = {Andrew W. Appel},
  title     = {VeriSmall: Verified Smallfoot Shape Analysis},
  booktitle = {Certified Programs and Proofs - First International Conference, {CPP}
               2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
  pages     = {231--246},
  year      = {2011},
  crossref  = {DBLP:conf/cpp/2011},
  url       = {https://doi.org/10.1007/978-3-642-25379-9\_18},
  doi       = {10.1007/978-3-642-25379-9\_18},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/Appel11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Appel11,
  author    = {Andrew W. Appel},
  title     = {Verified Software Toolchain - (Invited Talk)},
  booktitle = {Programming Languages and Systems - 20th European Symposium on Programming,
               {ESOP} 2011, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
               March 26-April 3, 2011. Proceedings},
  pages     = {1--17},
  year      = {2011},
  crossref  = {DBLP:conf/esop/2011},
  url       = {https://doi.org/10.1007/978-3-642-19718-5\_1},
  doi       = {10.1007/978-3-642-19718-5\_1},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/Appel11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/StewartA11,
  author    = {Gordon Stewart and
               Andrew W. Appel},
  title     = {Local actions for a curry-style operational semantics},
  booktitle = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
               Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
  pages     = {31--42},
  year      = {2011},
  crossref  = {DBLP:conf/plpv/2011},
  url       = {https://doi.org/10.1145/1929529.1929535},
  doi       = {10.1145/1929529.1929535},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/plpv/StewartA11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AhmedARSTW10,
  author    = {Amal Ahmed and
               Andrew W. Appel and
               Christopher D. Richards and
               Kedar N. Swadi and
               Gang Tan and
               Daniel C. Wang},
  title     = {Semantic foundations for typed assembly languages},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {32},
  number    = {3},
  pages     = {7:1--7:67},
  year      = {2010},
  url       = {https://doi.org/10.1145/1709093.1709094},
  doi       = {10.1145/1709093.1709094},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/AhmedARSTW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HoborDA10,
  author    = {Aquinas Hobor and
               Robert Dockins and
               Andrew W. Appel},
  title     = {A Logical Mix of Approximation and Separation},
  booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
               Shanghai, China, November 28 - December 1, 2010. Proceedings},
  pages     = {439--454},
  year      = {2010},
  crossref  = {DBLP:conf/aplas/2010},
  url       = {https://doi.org/10.1007/978-3-642-17164-2\_30},
  doi       = {10.1007/978-3-642-17164-2\_30},
  timestamp = {Fri, 19 May 2017 01:25:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/HoborDA10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BlazyRA10,
  author    = {Sandrine Blazy and
               Beno{\^{\i}}t Robillard and
               Andrew W. Appel},
  title     = {Formal Verification of Coalescing Graph-Coloring Register Allocation},
  booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
               {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
               2010. Proceedings},
  pages     = {145--164},
  year      = {2010},
  crossref  = {DBLP:conf/esop/2010},
  url       = {https://doi.org/10.1007/978-3-642-11957-6\_9},
  doi       = {10.1007/978-3-642-11957-6\_9},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/BlazyRA10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HoborDA10,
  author    = {Aquinas Hobor and
               Robert Dockins and
               Andrew W. Appel},
  title     = {A theory of indirection via approximation},
  booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
               2010},
  pages     = {171--184},
  year      = {2010},
  crossref  = {DBLP:conf/popl/2010},
  url       = {https://doi.org/10.1145/1706299.1706322},
  doi       = {10.1145/1706299.1706322},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/HoborDA10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BellAW10,
  author    = {Christian J. Bell and
               Andrew W. Appel and
               David Walker},
  title     = {Concurrent Separation Logic for Pipelined Parallelization},
  booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
               France, September 14-16, 2010. Proceedings},
  pages     = {151--166},
  year      = {2010},
  crossref  = {DBLP:conf/sas/2010},
  url       = {https://doi.org/10.1007/978-3-642-15769-1\_10},
  doi       = {10.1007/978-3-642-15769-1\_10},
  timestamp = {Wed, 24 May 2017 08:27:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/BellAW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/DockinsHA09,
  author    = {Robert Dockins and
               Aquinas Hobor and
               Andrew W. Appel},
  title     = {A Fresh Look at Separation Algebras and Share Accounting},
  booktitle = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009,
               Seoul, Korea, December 14-16, 2009. Proceedings},
  pages     = {161--177},
  year      = {2009},
  crossref  = {DBLP:conf/aplas/2009},
  url       = {https://doi.org/10.1007/978-3-642-10672-9\_13},
  doi       = {10.1007/978-3-642-10672-9\_13},
  timestamp = {Fri, 19 May 2017 01:25:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/DockinsHA09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/AppelGHKRTV09,
  author    = {Andrew W. Appel and
               Maia Ginsburg and
               Harri Hursti and
               Brian W. Kernighan and
               Christopher D. Richards and
               Gang Tan and
               Penny Venetis},
  title     = {The New Jersey Voting-machine Lawsuit and the {AVC} Advantage {DRE}
               Voting Machine},
  booktitle = {2009 Electronic Voting Technology Workshop / Workshop on Trustworthy
               Elections, {EVT/WOTE} '09, Montreal, Canada, August 10-11, 2009},
  year      = {2009},
  crossref  = {DBLP:conf/uss/2009evt},
  url       = {https://www.usenix.org/conference/evtwote-09/new-jersey-voting-machine-lawsuit-and-avc-advantage-dre-voting-machine},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/AppelGHKRTV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/DockinsAH08,
  author    = {Robert Dockins and
               Andrew W. Appel and
               Aquinas Hobor},
  title     = {Multimodal Separation Logic for Reasoning About Operational Semantics},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {218},
  pages     = {5--20},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.10.002},
  doi       = {10.1016/j.entcs.2008.10.002},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/DockinsAH08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HoborAN08,
  author    = {Aquinas Hobor and
               Andrew W. Appel and
               Francesco Zappa Nardelli},
  title     = {Oracle Semantics for Concurrent Separation Logic},
  booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
               {ESOP} 2008, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
               6, 2008. Proceedings},
  pages     = {353--367},
  year      = {2008},
  crossref  = {DBLP:conf/esop/2008},
  url       = {https://doi.org/10.1007/978-3-540-78739-6\_27},
  doi       = {10.1007/978-3-540-78739-6\_27},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/HoborAN08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/AppelL07,
  author    = {Andrew W. Appel and
               Xavier Leroy},
  title     = {A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract)},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {174},
  number    = {5},
  pages     = {95--108},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.01.020},
  doi       = {10.1016/j.entcs.2007.01.020},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/AppelL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AppelMRV07,
  author    = {Andrew W. Appel and
               Paul{-}Andr{\'{e}} Melli{\`{e}}s and
               Christopher D. Richards and
               J{\'{e}}r{\^{o}}me Vouillon},
  title     = {A very modal model of a modern, major, general type system},
  booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
               2007},
  pages     = {109--122},
  year      = {2007},
  crossref  = {DBLP:conf/popl/2007},
  url       = {https://doi.org/10.1145/1190216.1190235},
  doi       = {10.1145/1190216.1190235},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/AppelMRV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AppelB07,
  author    = {Andrew W. Appel and
               Sandrine Blazy},
  title     = {Separation Logic for Small-Step cminor},
  booktitle = {Theorem Proving in Higher Order Logics, 20th International Conference,
               TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},
  pages     = {5--21},
  year      = {2007},
  crossref  = {DBLP:conf/tphol/2007},
  url       = {https://doi.org/10.1007/978-3-540-74591-4\_3},
  doi       = {10.1007/978-3-540-74591-4\_3},
  timestamp = {Mon, 05 Jun 2017 12:43:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tphol/AppelB07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0707-4389,
  author    = {Andrew W. Appel and
               Sandrine Blazy},
  title     = {Separation Logic for Small-step Cminor},
  journal   = {CoRR},
  volume    = {abs/0707.4389},
  year      = {2007},
  url       = {http://arxiv.org/abs/0707.4389},
  archivePrefix = {arXiv},
  eprint    = {0707.4389},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0707-4389},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0022396,
  author    = {Andrew W. Appel},
  title     = {Compiling with Continuations (corr. version)},
  publisher = {Cambridge University Press},
  year      = {2006},
  isbn      = {978-0-521-03311-4},
  timestamp = {Thu, 24 Mar 2011 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/daglib/0022396},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/TanA06,
  author    = {Gang Tan and
               Andrew W. Appel},
  title     = {A Compositional Logic for Control Flow},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
               Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
               Proceedings},
  pages     = {80--94},
  year      = {2006},
  crossref  = {DBLP:conf/vmcai/2006},
  url       = {https://doi.org/10.1007/11609773\_6},
  doi       = {10.1007/11609773\_6},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/TanA06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/OuGA05,
  author    = {Xinming Ou and
               Sudhakar Govindavajhala and
               Andrew W. Appel},
  title     = {MulVAL: {A} Logic-based Network Security Analyzer},
  booktitle = {Proceedings of the 14th {USENIX} Security Symposium, Baltimore, MD,
               USA, July 31 - August 5, 2005},
  year      = {2005},
  crossref  = {DBLP:conf/uss/2005},
  url       = {https://www.usenix.org/conference/14th-usenix-security-symposium/mulval-logic-based-network-security-analyzer},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/OuGA05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AppelF04,
  author    = {Andrew W. Appel and
               Amy P. Felty},
  title     = {Dependent types ensure partial correctness of theorem provers},
  journal   = {J. Funct. Program.},
  volume    = {14},
  number    = {1},
  pages     = {3--19},
  year      = {2004},
  url       = {https://doi.org/10.1017/S0956796803004921},
  doi       = {10.1017/S0956796803004921},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/AppelF04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AppelF04,
  author    = {Andrew W. Appel and
               Amy P. Felty},
  title     = {Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf},
  journal   = {{TPLP}},
  volume    = {4},
  number    = {1-2},
  pages     = {1--39},
  year      = {2004},
  url       = {https://doi.org/10.1017/S1471068403001698},
  doi       = {10.1017/S1471068403001698},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/AppelF04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Appel04,
  author    = {Andrew W. Appel},
  title     = {Social processes and proofs of theorems and programs, revisited},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2004 Conference on Programming
               Language Design and Implementation 2004, Washington, DC, USA, June
               9-11, 2004},
  pages     = {170},
  year      = {2004},
  crossref  = {DBLP:conf/pldi/2004},
  url       = {https://doi.org/10.1145/996841.996842},
  doi       = {10.1145/996841.996842},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/Appel04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/TanASW04,
  author    = {Gang Tan and
               Andrew W. Appel and
               Kedar N. Swadi and
               Dinghao Wu},
  title     = {Construction of a Semantic Model for a Typed Assembly Language},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
               Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
  pages     = {30--43},
  year      = {2004},
  crossref  = {DBLP:conf/vmcai/2004},
  url       = {https://doi.org/10.1007/978-3-540-24622-0\_4},
  doi       = {10.1007/978-3-540-24622-0\_4},
  timestamp = {Thu, 21 Jun 2018 07:46:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/TanASW04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0403010,
  author    = {Andrew W. Appel and
               Amy P. Felty},
  title     = {Polymorphic lemmas and definitions in Lambda Prolog and Twelf},
  journal   = {CoRR},
  volume    = {cs.LO/0403010},
  year      = {2004},
  url       = {http://arxiv.org/abs/cs.LO/0403010},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-LO-0403010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AppelMSV03,
  author    = {Andrew W. Appel and
               Neophytos G. Michael and
               Aaron Stump and
               Roberto Virga},
  title     = {A Trustworthy Proof Checker},
  journal   = {J. Autom. Reasoning},
  volume    = {31},
  number    = {3-4},
  pages     = {231--260},
  year      = {2003},
  url       = {https://doi.org/10.1023/B:JARS.0000021013.61329.58},
  doi       = {10.1023/B:JARS.0000021013.61329.58},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/AppelMSV03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BauerAF03,
  author    = {Lujo Bauer and
               Andrew W. Appel and
               Edward W. Felten},
  title     = {Mechanisms for secure modular programming in Java},
  journal   = {Softw., Pract. Exper.},
  volume    = {33},
  number    = {5},
  pages     = {461--480},
  year      = {2003},
  url       = {https://doi.org/10.1002/spe.516},
  doi       = {10.1002/spe.516},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/BauerAF03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discex/BauerSFA03,
  author    = {Lujo Bauer and
               Michael A. Schneider and
               Edward W. Felten and
               Andrew W. Appel},
  title     = {Access Control on the Web Using Proof-carrying Authorization},
  booktitle = {3rd {DARPA} Information Survivability Conference and Exposition {(DISCEX-III}
               2003), 22-24 April 2003, Washington, DC, {USA}},
  pages     = {117--119},
  year      = {2003},
  crossref  = {DBLP:conf/discex/2003},
  url       = {https://doi.org/10.1109/DISCEX.2003.1194942},
  doi       = {10.1109/DISCEX.2003.1194942},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/discex/BauerSFA03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChenWAF03,
  author    = {Juan Chen and
               Dinghao Wu and
               Andrew W. Appel and
               Hai Fang},
  title     = {A provably sound {TAL} for back-end optimization},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2003 Conference on Programming
               Language Design and Implementation 2003, San Diego, California, USA,
               June 9-11, 2003},
  pages     = {208--219},
  year      = {2003},
  crossref  = {DBLP:conf/pldi/2003},
  url       = {https://doi.org/10.1145/781131.781155},
  doi       = {10.1145/781131.781155},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/ChenWAF03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/WuAS03,
  author    = {Dinghao Wu and
               Andrew W. Appel and
               Aaron Stump},
  title     = {Foundational proof checkers with small witnesses},
  booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, 27-29 August 2003,
               Uppsala, Sweden},
  pages     = {264--274},
  year      = {2003},
  crossref  = {DBLP:conf/ppdp/2003},
  url       = {https://doi.org/10.1145/888251.888276},
  doi       = {10.1145/888251.888276},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/WuAS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LeeA03,
  author    = {Eunyoung Lee and
               Andrew W. Appel},
  title     = {Policy-enforced linking of untrusted components},
  booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
               Software Engineering 2003 held jointly with 9th European Software
               Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
               1-5, 2003},
  pages     = {371--374},
  year      = {2003},
  crossref  = {DBLP:conf/sigsoft/2003},
  url       = {https://doi.org/10.1145/940071.940124},
  doi       = {10.1145/940071.940124},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/LeeA03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/GovindavajhalaA03,
  author    = {Sudhakar Govindavajhala and
               Andrew W. Appel},
  title     = {Using Memory Errors to Attack a Virtual Machine},
  booktitle = {2003 {IEEE} Symposium on Security and Privacy (S{\&}P 2003), 11-14
               May 2003, Berkeley, CA, {USA}},
  pages     = {154--165},
  year      = {2003},
  crossref  = {DBLP:conf/sp/2003},
  url       = {https://doi.org/10.1109/SECPRI.2003.1199334},
  doi       = {10.1109/SECPRI.2003.1199334},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/GovindavajhalaA03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/Appel2002,
  author    = {Andrew W. Appel and
               Jens Palsberg},
  title     = {Modern Compiler Implementation in Java, 2nd edition},
  publisher = {Cambridge University Press},
  year      = {2002},
  isbn      = {0-521-82060-X},
  timestamp = {Thu, 14 Apr 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/books/cu/Appel2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AhmedAV02,
  author    = {Amal J. Ahmed and
               Andrew W. Appel and
               Roberto Virga},
  title     = {A Stratified Semantics of General References {A} Stratified Semantics
               of General References},
  booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
               22-25 July 2002, Copenhagen, Denmark, Proceedings},
  pages     = {75},
  year      = {2002},
  crossref  = {DBLP:conf/lics/2002},
  url       = {https://doi.org/10.1109/LICS.2002.1029818},
  doi       = {10.1109/LICS.2002.1029818},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/AhmedAV02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ShufGFAS02,
  author    = {Yefim Shuf and
               Manish Gupta and
               Hubertus Franke and
               Andrew W. Appel and
               Jaswinder Pal Singh},
  title     = {Creating and preserving locality of java applications at allocation
               and garbage collection times},
  booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming Systems, Languages and Applications, {OOPSLA} 2002, Seattle,
               Washington, USA, November 4-8, 2002.},
  pages     = {13--25},
  year      = {2002},
  crossref  = {DBLP:conf/oopsla/2002},
  url       = {https://doi.org/10.1145/582419.582422},
  doi       = {10.1145/582419.582422},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/ShufGFAS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AppelM01,
  author    = {Andrew W. Appel and
               David A. McAllester},
  title     = {An indexed model of recursive types for foundational proof-carrying
               code},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {23},
  number    = {5},
  pages     = {657--683},
  year      = {2001},
  url       = {https://doi.org/10.1145/504709.504712},
  doi       = {10.1145/504709.504712},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/AppelM01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Appel01,
  author    = {Andrew W. Appel},
  title     = {Foundational Proof-Carrying Code},
  booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
               Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages     = {247--256},
  year      = {2001},
  crossref  = {DBLP:conf/lics/2001},
  url       = {https://doi.org/10.1109/LICS.2001.932501},
  doi       = {10.1109/LICS.2001.932501},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/Appel01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AppelG01,
  author    = {Andrew W. Appel and
               Lal George},
  title     = {Optimal Spilling for {CISC} Machines with Few Registers},
  booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
               20-22, 2001},
  pages     = {243--253},
  year      = {2001},
  crossref  = {DBLP:conf/pldi/2001},
  url       = {https://doi.org/10.1145/378795.378854},
  doi       = {10.1145/378795.378854},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/AppelG01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/WangA01,
  author    = {Daniel C. Wang and
               Andrew W. Appel},
  title     = {Type-preserving garbage collectors},
  booktitle = {Conference Record of {POPL} 2001: The 28th {ACM} {SIGPLAN-SIGACT}
               Symposium on Principles of Programming Languages, London, UK, January
               17-19, 2001},
  pages     = {166--178},
  year      = {2001},
  crossref  = {DBLP:conf/popl/2001},
  url       = {https://doi.org/10.1145/360204.360218},
  doi       = {10.1145/360204.360218},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/WangA01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AppelF00,
  author    = {Andrew W. Appel and
               Edward W. Felten},
  title     = {Technological access control interferes with noninfringing scholarship},
  journal   = {Commun. {ACM}},
  volume    = {43},
  number    = {9},
  pages     = {21--23},
  year      = {2000},
  url       = {https://doi.org/10.1145/348941.348968},
  doi       = {10.1145/348941.348968},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/AppelF00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ShaoA00,
  author    = {Zhong Shao and
               Andrew W. Appel},
  title     = {Efficient and safe-for-space closure conversion},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {22},
  number    = {1},
  pages     = {129--161},
  year      = {2000},
  url       = {https://doi.org/10.1145/345099.345125},
  doi       = {10.1145/345099.345125},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/ShaoA00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/WallachAF00,
  author    = {Dan S. Wallach and
               Andrew W. Appel and
               Edward W. Felten},
  title     = {{SAFKASI:} a security mechanism for language-based systems},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {9},
  number    = {4},
  pages     = {341--378},
  year      = {2000},
  url       = {https://doi.org/10.1145/363516.363520},
  doi       = {10.1145/363516.363520},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tosem/WallachAF00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MichaelA00,
  author    = {Neophytos G. Michael and
               Andrew W. Appel},
  title     = {Machine Instruction Syntax and Semantics in Higher Order Logic},
  booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
               Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  pages     = {7--24},
  year      = {2000},
  crossref  = {DBLP:conf/cade/2000},
  url       = {https://doi.org/10.1007/10721959\_2},
  doi       = {10.1007/10721959\_2},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/MichaelA00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AppelF00,
  author    = {Andrew W. Appel and
               Amy P. Felty},
  title     = {A Semantic Model of Types and Machine Instuctions for Proof-Carrying
               Code},
  booktitle = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Boston, Massachusetts, USA,
               January 19-21, 2000},
  pages     = {243--253},
  year      = {2000},
  crossref  = {DBLP:conf/popl/2000},
  url       = {https://doi.org/10.1145/325694.325727},
  doi       = {10.1145/325694.325727},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/AppelF00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BlumeA99,
  author    = {Matthias Blume and
               Andrew W. Appel},
  title     = {Hierarchical modularity},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {21},
  number    = {4},
  pages     = {813--847},
  year      = {1999},
  url       = {https://doi.org/10.1145/325478.325518},
  doi       = {10.1145/325478.325518},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/BlumeA99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AppelF99,
  author    = {Andrew W. Appel and
               Edward W. Felten},
  title     = {Proof-Carrying Authentication},
  booktitle = {{CCS} '99, Proceedings of the 6th {ACM} Conference on Computer and
               Communications Security, Singapore, November 1-4, 1999.},
  pages     = {52--62},
  year      = {1999},
  crossref  = {DBLP:conf/ccs/1999},
  url       = {https://doi.org/10.1145/319709.319718},
  doi       = {10.1145/319709.319718},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/AppelF99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AppelF99,
  author    = {Andrew W. Appel and
               Amy P. Felty},
  title     = {Lightweight Lemmas in lambda-Prolog},
  booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
               New Mexico, USA, November 29 - December 4, 1999},
  pages     = {411--425},
  year      = {1999},
  crossref  = {DBLP:conf/iclp/1999},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/AppelF99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1999,
  editor    = {Andrew W. Appel and
               Alex Aiken},
  title     = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, San Antonio, TX, USA, January
               20-22, 1999},
  publisher = {{ACM}},
  year      = {1999},
  url       = {http://dl.acm.org/citation.cfm?id=292540},
  isbn      = {1-58113-095-3},
  timestamp = {Mon, 21 May 2012 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/Appel1998,
  author    = {Andrew W. Appel},
  title     = {Modern Compiler Implementation in Java},
  publisher = {Cambridge University Press},
  year      = {1998},
  isbn      = {0-521-58388-8},
  timestamp = {Mon, 12 Jan 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/cu/Appel1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/Appel1998c,
  author    = {Andrew W. Appel},
  title     = {Modern Compiler Implementation in {C}},
  publisher = {Cambridge University Press},
  year      = {1998},
  isbn      = {0-521-58390-X},
  timestamp = {Mon, 12 Jan 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/cu/Appel1998c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/Appel1998ml,
  author    = {Andrew W. Appel},
  title     = {Modern Compiler Implementation in {ML}},
  publisher = {Cambridge University Press},
  year      = {1998},
  isbn      = {0-521-58274-1},
  timestamp = {Mon, 12 Jan 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/cu/Appel1998ml},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Appel88,
  author    = {Andrew W. Appel},
  title     = {{SSA} is Functional Programming},
  journal   = {{SIGPLAN} Notices},
  volume    = {33},
  number    = {4},
  pages     = {17--20},
  year      = {1998},
  url       = {https://doi.org/10.1145/278283.278285},
  doi       = {10.1145/278283.278285},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigplan/Appel88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infovis/KornA98,
  author    = {Jeffrey L. Korn and
               Andrew W. Appel},
  title     = {Traversal-Based Visualization of Data Structures},
  booktitle = {1998 {IEEE} Symposium on Information Visualization (InfoVis '98),
               19-20 October 1998, Research Triangle Park, NC, USA, Proceedings},
  pages     = {11--18},
  year      = {1998},
  crossref  = {DBLP:conf/infovis/1998},
  url       = {https://doi.org/10.1109/INFVIS.1998.729554},
  doi       = {10.1109/INFVIS.1998.729554},
  timestamp = {Mon, 28 Jan 2019 11:55:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/infovis/KornA98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/Appel1997,
  author    = {Andrew W. Appel},
  title     = {Modern Compiler Implementation in Java: Basic Techniques},
  publisher = {Cambridge University Press},
  year      = {1997},
  isbn      = {0-521-58654-2},
  timestamp = {Mon, 12 Jan 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/cu/Appel1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/Appel1997c,
  author    = {Andrew W. Appel},
  title     = {Modern Compiler Implementation in {C:} Basic Techniques},
  publisher = {Cambridge University Press},
  year      = {1997},
  isbn      = {0-521-58653-4},
  timestamp = {Mon, 12 Jan 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/cu/Appel1997c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/Appel1997ml,
  author    = {Andrew W. Appel},
  title     = {Modern Compiler Implementation in {ML:} Basic Techniques},
  publisher = {Cambridge University Press},
  year      = {1997},
  isbn      = {0-521-58775-1},
  timestamp = {Mon, 12 Jan 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/cu/Appel1997ml},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AppelJ97,
  author    = {Andrew W. Appel and
               Trevor Jim},
  title     = {Shrinking lambda Expressions in Linear Time},
  journal   = {J. Funct. Program.},
  volume    = {7},
  number    = {5},
  pages     = {515--540},
  year      = {1997},
  url       = {http://journals.cambridge.org/action/displayAbstract?aid=44115},
  timestamp = {Fri, 10 Jun 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/AppelJ97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsl/WangAKS97,
  author    = {Daniel C. Wang and
               Andrew W. Appel and
               Jeffrey L. Korn and
               Christopher S. Serra},
  title     = {The Zephyr Abstract Syntax Description Language},
  booktitle = {Proceedings of the Conference on Domain-Specific Languages, DSL'97,
               Santa Barbara, California, USA, October 15-17, 1997},
  pages     = {213--228},
  year      = {1997},
  crossref  = {DBLP:conf/dsl/1997},
  url       = {http://www.usenix.org/publications/library/proceedings/dsl97/wang.html},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsl/WangAKS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BlumeA97,
  author    = {Matthias Blume and
               Andrew W. Appel},
  title     = {Lambda-Splitting: {A} Higher-Order Approach to Cross-Module Optimizations},
  booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
               Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
               9-11, 1997.},
  pages     = {112--124},
  year      = {1997},
  crossref  = {DBLP:conf/icfp/1997},
  url       = {https://doi.org/10.1145/258948.258960},
  doi       = {10.1145/258948.258960},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/BlumeA97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AppelS96,
  author    = {Andrew W. Appel and
               Zhong Shao},
  title     = {Empirical and Analytic Study of Stack Versus Heap Cost for Languages
               with Closures},
  journal   = {J. Funct. Program.},
  volume    = {6},
  number    = {1},
  pages     = {47--74},
  year      = {1996},
  url       = {https://doi.org/10.1017/S095679680000157X},
  doi       = {10.1017/S095679680000157X},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/AppelS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Appel96,
  author    = {Andrew W. Appel},
  title     = {Intensional Equality ;=) for Continuations},
  journal   = {{SIGPLAN} Notices},
  volume    = {31},
  number    = {2},
  pages     = {55--57},
  year      = {1996},
  url       = {https://doi.org/10.1145/226060.226069},
  doi       = {10.1145/226060.226069},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigplan/Appel96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GeorgeA96,
  author    = {Lal George and
               Andrew W. Appel},
  title     = {Iterated Register Coalescing},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {18},
  number    = {3},
  pages     = {300--324},
  year      = {1996},
  url       = {https://doi.org/10.1145/229542.229546},
  doi       = {10.1145/229542.229546},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/GeorgeA96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GeorgeA96,
  author    = {Lal George and
               Andrew W. Appel},
  title     = {Iterated Register Coalescing},
  booktitle = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Papers Presented at the Symposium,
               St. Petersburg Beach, Florida, USA, January 21-24, 1996},
  pages     = {208--218},
  year      = {1996},
  crossref  = {DBLP:conf/popl/1996},
  url       = {https://doi.org/10.1145/237721.237777},
  doi       = {10.1145/237721.237777},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/GeorgeA96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/TolmachA95,
  author    = {Andrew P. Tolmach and
               Andrew W. Appel},
  title     = {A Debugger for Standard {ML}},
  journal   = {J. Funct. Program.},
  volume    = {5},
  number    = {2},
  pages     = {155--200},
  year      = {1995},
  url       = {https://doi.org/10.1017/S0956796800001313},
  doi       = {10.1017/S0956796800001313},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/TolmachA95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/GoncalvesA95,
  author    = {Marcelo J. R. Gon{\c{c}}alves and
               Andrew W. Appel},
  title     = {Cache Performance of Fast-Allocating Programs},
  booktitle = {Proceedings of the seventh international conference on Functional
               programming languages and computer architecture, {FPCA} 1995, La Jolla,
               California, USA, June 25-28, 1995},
  pages     = {293--305},
  year      = {1995},
  crossref  = {DBLP:conf/fpca/1995},
  url       = {https://doi.org/10.1145/224164.224219},
  doi       = {10.1145/224164.224219},
  timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fpca/GoncalvesA95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShaoA95,
  author    = {Zhong Shao and
               Andrew W. Appel},
  title     = {A Type-Based Compiler for Standard {ML}},
  booktitle = {Proceedings of the {ACM} SIGPLAN'95 Conference on Programming Language
               Design and Implementation (PLDI), La Jolla, California, USA, June
               18-21, 1995},
  pages     = {116--129},
  year      = {1995},
  crossref  = {DBLP:conf/pldi/1995},
  url       = {https://doi.org/10.1145/207110.207123},
  doi       = {10.1145/207110.207123},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/ShaoA95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Appel94,
  author    = {Andrew W. Appel},
  title     = {Loop Headers in Lambda-Calculus or {CPS}},
  journal   = {Lisp and Symbolic Computation},
  volume    = {7},
  number    = {4},
  pages     = {337--343},
  year      = {1994},
  timestamp = {Thu, 26 Jun 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/Appel94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Appel94,
  author    = {Andrew W. Appel},
  title     = {Axiomatic Bootstrapping: {A} Guide for Compiler Hackers},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {16},
  number    = {6},
  pages     = {1699--1718},
  year      = {1994},
  url       = {https://doi.org/10.1145/197320.197336},
  doi       = {10.1145/197320.197336},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/Appel94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ShaoA94,
  author    = {Zhong Shao and
               Andrew W. Appel},
  title     = {Space-Efficient Closure Representations},
  booktitle = {{LISP} and Functional Programming},
  pages     = {150--161},
  year      = {1994},
  url       = {https://doi.org/10.1145/182409.156783},
  doi       = {10.1145/182409.156783},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lfp/ShaoA94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ShaoRA94,
  author    = {Zhong Shao and
               John H. Reppy and
               Andrew W. Appel},
  title     = {Unrolling Lists},
  booktitle = {{LISP} and Functional Programming},
  pages     = {185--195},
  year      = {1994},
  url       = {https://doi.org/10.1145/182409.182453},
  doi       = {10.1145/182409.182453},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lfp/ShaoRA94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AppelM94,
  author    = {Andrew W. Appel and
               David B. MacQueen},
  title     = {Separate Compilation for Standard {ML}},
  booktitle = {Proceedings of the {ACM} SIGPLAN'94 Conference on Programming Language
               Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24,
               1994},
  pages     = {13--23},
  year      = {1994},
  crossref  = {DBLP:conf/pldi/1994},
  url       = {https://doi.org/10.1145/178243.178245},
  doi       = {10.1145/178243.178245},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/AppelM94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Appel93,
  author    = {Andrew W. Appel},
  title     = {A Critique of Standard {ML}},
  journal   = {J. Funct. Program.},
  volume    = {3},
  number    = {4},
  pages     = {391--429},
  year      = {1993},
  url       = {https://doi.org/10.1017/S0956796800000836},
  doi       = {10.1017/S0956796800000836},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/Appel93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ShaoA93,
  author    = {Zhong Shao and
               Andrew W. Appel},
  title     = {Smartest Recompilation},
  booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Charleston, South Carolina,
               USA, January 1993},
  pages     = {439--450},
  year      = {1993},
  crossref  = {DBLP:conf/popl/1993},
  url       = {https://doi.org/10.1145/158511.158702},
  doi       = {10.1145/158511.158702},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/ShaoA93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/Appel1992,
  author    = {Andrew W. Appel},
  title     = {Compiling with Continuations},
  publisher = {Cambridge University Press},
  year      = {1992},
  isbn      = {0-521-41695-7},
  timestamp = {Tue, 13 Jan 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/cu/Appel1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/AppelS92,
  author    = {Andrew W. Appel and
               Zhong Shao},
  title     = {Callee-Save Registers in Continuation-Passing Style},
  journal   = {Lisp and Symbolic Computation},
  volume    = {5},
  number    = {3},
  pages     = {191--221},
  year      = {1992},
  timestamp = {Thu, 26 Jun 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/AppelS92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Appel92,
  author    = {Andrew W. Appel},
  title     = {Is {POPL} mathematics or science?},
  journal   = {{SIGPLAN} Notices},
  volume    = {27},
  number    = {4},
  pages     = {87--89},
  year      = {1992},
  url       = {https://doi.org/10.1145/131080.131091},
  doi       = {10.1145/131080.131091},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigplan/Appel92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/AppelL91,
  author    = {Andrew W. Appel and
               Kai Li},
  title     = {Virtual Memory Primitives for User Programs},
  booktitle = {{ASPLOS-IV} Proceedings - Forth International Conference on Architectural
               Support for Programming Languages and Operating Systems, Santa Clara,
               California, USA, April 8-11, 1991.},
  pages     = {96--107},
  year      = {1991},
  crossref  = {DBLP:conf/asplos/1991},
  url       = {https://doi.org/10.1145/106972.106984},
  doi       = {10.1145/106972.106984},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/AppelL91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdd/TolmachA91,
  author    = {Andrew P. Tolmach and
               Andrew W. Appel},
  title     = {Debuggable Concurrency Extensions for Standard {ML}},
  booktitle = {Proceedings of the {ACM/ONR} Workshop on Parallel and Distributed
               Debugging, Santa Cruz, California, USA, May 20-21, 1991},
  pages     = {120--131},
  year      = {1991},
  crossref  = {DBLP:conf/pdd/1991},
  url       = {https://doi.org/10.1145/122759.122770},
  doi       = {10.1145/122759.122770},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pdd/TolmachA91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/AppelM91,
  author    = {Andrew W. Appel and
               David B. MacQueen},
  title     = {Standard {ML} of New Jersey},
  booktitle = {Programming Language Implementation and Logic Programming, 3rd International
               Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
  pages     = {1--13},
  year      = {1991},
  crossref  = {DBLP:conf/plilp/91},
  url       = {https://doi.org/10.1007/3-540-54444-5\_83},
  doi       = {10.1007/3-540-54444-5\_83},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/plilp/AppelM91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Appel90,
  author    = {Andrew W. Appel},
  title     = {A Runtime System},
  journal   = {Lisp and Symbolic Computation},
  volume    = {3},
  number    = {4},
  pages     = {343--380},
  year      = {1990},
  timestamp = {Thu, 26 Jun 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/Appel90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/TolmachA90,
  author    = {Andrew P. Tolmach and
               Andrew W. Appel},
  title     = {Debugging Standard {ML} Without Reverse Engineering},
  booktitle = {{LISP} and Functional Programming},
  pages     = {1--12},
  year      = {1990},
  url       = {https://doi.org/10.1145/91556.91564},
  doi       = {10.1145/91556.91564},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lfp/TolmachA90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/AlonsoA90,
  author    = {Rafael Alonso and
               Andrew W. Appel},
  title     = {An Advisor for Flexible Working Sets},
  booktitle = {Proceedings of the 1990 {ACM} {SIGMETRICS} conference on Measurement
               and modeling of computer systems, University of Colorado, Boulder,
               Colorado, USA, May 22-25, 1990},
  pages     = {153--162},
  year      = {1990},
  crossref  = {DBLP:conf/sigmetrics/1990},
  url       = {https://doi.org/10.1145/98457.98753},
  doi       = {10.1145/98457.98753},
  timestamp = {Tue, 06 Nov 2018 11:07:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmetrics/AlonsoA90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Appel89,
  author    = {Andrew W. Appel},
  title     = {Runtime Tags Aren't Necessary},
  journal   = {Lisp and Symbolic Computation},
  volume    = {2},
  number    = {2},
  pages     = {153--162},
  year      = {1989},
  timestamp = {Thu, 26 Jun 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/Appel89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Appel89,
  author    = {Andrew W. Appel},
  title     = {Simple Generational Garbage Collection and Fast Allocation},
  journal   = {Softw., Pract. Exper.},
  volume    = {19},
  number    = {2},
  pages     = {171--183},
  year      = {1989},
  url       = {https://doi.org/10.1002/spe.4380190206},
  doi       = {10.1002/spe.4380190206},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/Appel89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Appel89a,
  author    = {Andrew W. Appel},
  title     = {Allocation without Locking},
  journal   = {Softw., Pract. Exper.},
  volume    = {19},
  number    = {7},
  pages     = {703--705},
  year      = {1989},
  url       = {https://doi.org/10.1002/spe.4380190704},
  doi       = {10.1002/spe.4380190704},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/Appel89a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/AppelB89,
  author    = {Andrew W. Appel and
               Aage Bendiksen},
  title     = {Vectorized garbage collection},
  journal   = {The Journal of Supercomputing},
  volume    = {3},
  number    = {3},
  pages     = {151--160},
  year      = {1989},
  url       = {https://doi.org/10.1007/BF00127826},
  doi       = {10.1007/BF00127826},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tjs/AppelB89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AppelJ89,
  author    = {Andrew W. Appel and
               Trevor Jim},
  title     = {Continuation-Passing, Closure-Passing Style},
  booktitle = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles
               of Programming Languages, Austin, Texas, USA, January 11-13, 1989},
  pages     = {293--302},
  year      = {1989},
  crossref  = {DBLP:conf/popl/1989},
  url       = {https://doi.org/10.1145/75277.75303},
  doi       = {10.1145/75277.75303},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/AppelJ89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AppelJ88,
  author    = {Andrew W. Appel and
               Guy J. Jacobson},
  title     = {The World's Fastest Scrabble Program},
  journal   = {Commun. {ACM}},
  volume    = {31},
  number    = {5},
  pages     = {572--578},
  year      = {1988},
  url       = {https://doi.org/10.1145/42411.42420},
  doi       = {10.1145/42411.42420},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/AppelJ88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/Appel88,
  author    = {Andrew W. Appel},
  title     = {Simulating digital circuits with one bit per wire},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {7},
  number    = {9},
  pages     = {987--993},
  year      = {1988},
  url       = {https://doi.org/10.1109/43.7796},
  doi       = {10.1109/43.7796},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/Appel88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AppelEL88,
  author    = {Andrew W. Appel and
               John R. Ellis and
               Kai Li},
  title     = {Real-Time Concurrent Collection on Stock Multiprocessors},
  booktitle = {Proceedings of the {ACM} SIGPLAN'88 Conference on Programming Language
               Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24,
               1988},
  pages     = {11--20},
  year      = {1988},
  crossref  = {DBLP:conf/pldi/1988},
  url       = {https://doi.org/10.1145/53990.53992},
  doi       = {10.1145/53990.53992},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/AppelEL88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Appel88,
  author    = {Andrew W. Appel},
  title     = {Real-time concurrent collection on stock multiprocessors (with retrospective)},
  booktitle = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language
               Design and Implementation 1979-1999, {A} Selection},
  pages     = {205--216},
  year      = {1988},
  crossref  = {DBLP:conf/pldi/2004best},
  url       = {https://doi.org/10.1145/989393.989417},
  doi       = {10.1145/989393.989417},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/Appel88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Appel87,
  author    = {Andrew W. Appel},
  title     = {Garbage Collection can be Faster than Stack Allocation},
  journal   = {Inf. Process. Lett.},
  volume    = {25},
  number    = {4},
  pages     = {275--279},
  year      = {1987},
  url       = {https://doi.org/10.1016/0020-0190(87)90175-X},
  doi       = {10.1016/0020-0190(87)90175-X},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/Appel87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/AppelS87,
  author    = {Andrew W. Appel and
               Kenneth J. Supowit},
  title     = {Generalization of the Sethi-Ullman Algorithm for Register Allocation},
  journal   = {Softw., Pract. Exper.},
  volume    = {17},
  number    = {6},
  pages     = {417--421},
  year      = {1987},
  url       = {https://doi.org/10.1002/spe.4380170607},
  doi       = {10.1002/spe.4380170607},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/AppelS87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AppelM87,
  author    = {Andrew W. Appel and
               David B. MacQueen},
  title     = {A Standard {ML} compiler},
  booktitle = {Functional Programming Languages and Computer Architecture, Portland,
               Oregon, USA, September 14-16, 1987, Proceedings},
  pages     = {301--324},
  year      = {1987},
  crossref  = {DBLP:conf/fpca/1987},
  url       = {https://doi.org/10.1007/3-540-18317-5\_17},
  doi       = {10.1007/3-540-18317-5\_17},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fpca/AppelM87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Appel85,
  author    = {Andrew W. Appel},
  title     = {Semantics-Directed Code Generation},
  booktitle = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
               of Programming Languages, New Orleans, Louisiana, USA, January 1985},
  pages     = {315--324},
  year      = {1985},
  crossref  = {DBLP:conf/popl/1985},
  url       = {https://doi.org/10.1145/318593.318661},
  doi       = {10.1145/318593.318661},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/Appel85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2017,
  editor    = {Bor{-}Yuh Evan Chang},
  title     = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
               2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10695},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-71237-6},
  doi       = {10.1007/978-3-319-71237-6},
  isbn      = {978-3-319-71236-9},
  timestamp = {Mon, 20 Nov 2017 11:27:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2017,
  editor    = {Bhavani M. Thuraisingham and
               David Evans and
               Tal Malkin and
               Dongyan Xu},
  title     = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
               November 03, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3133956},
  doi       = {10.1145/3133956},
  isbn      = {978-1-4503-4946-8},
  timestamp = {Tue, 06 Nov 2018 11:07:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2017,
  editor    = {Wim Vanhoof and
               Brigitte Pientka},
  title     = {Proceedings of the 19th International Symposium on Principles and
               Practice of Declarative Programming, Namur, Belgium, October 09 -
               11, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3131851},
  isbn      = {978-1-4503-5291-8},
  timestamp = {Mon, 20 Nov 2017 13:57:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2016,
  title     = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
               Portugal, June 27 - July 1, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7518122},
  isbn      = {978-1-5090-2607-4},
  timestamp = {Mon, 19 Sep 2016 15:37:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2015,
  editor    = {David Grove and
               Steve Blackburn},
  title     = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15-17,
               2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2737924},
  isbn      = {978-1-4503-3468-6},
  timestamp = {Fri, 05 Jun 2015 07:23:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2015,
  editor    = {Sriram K. Rajamani and
               David Walker},
  title     = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2676726},
  isbn      = {978-1-4503-3300-9},
  timestamp = {Sat, 20 Dec 2014 16:56:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uss/2015,
  editor    = {Jaeyeon Jung and
               Thorsten Holz},
  title     = {24th {USENIX} Security Symposium, {USENIX} Security 15, Washington,
               D.C., USA, August 12-14, 2015},
  publisher = {{USENIX} Association},
  year      = {2015},
  url       = {https://www.usenix.org/conference/usenixsecurity15},
  timestamp = {Fri, 19 Aug 2016 15:38:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2014,
  title     = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
               Austria, 19-22 July, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6954678},
  isbn      = {978-1-4799-4290-9},
  timestamp = {Fri, 13 May 2016 11:46:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2014,
  editor    = {Zhong Shao},
  title     = {Programming Languages and Systems - 23rd European Symposium on Programming,
               {ESOP} 2014, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
               2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8410},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54833-8},
  doi       = {10.1007/978-3-642-54833-8},
  isbn      = {978-3-642-54832-1},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2013,
  editor    = {Georges Gonthier and
               Michael Norrish},
  title     = {Certified Programs and Proofs - Third International Conference, {CPP}
               2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8307},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-03545-1},
  doi       = {10.1007/978-3-319-03545-1},
  isbn      = {978-3-319-03544-4},
  timestamp = {Thu, 25 May 2017 00:42:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2012,
  editor    = {Peter Thiemann and
               Robby Bruce Findler},
  title     = {{ACM} {SIGPLAN} International Conference on Functional Programming,
               ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2364527},
  isbn      = {978-1-4503-1054-3},
  timestamp = {Fri, 07 Sep 2012 13:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2012,
  editor    = {Alwyn Goodloe and
               Suzette Person},
  title     = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
               VA, USA, April 3-5, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7226},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28891-3},
  doi       = {10.1007/978-3-642-28891-3},
  isbn      = {978-3-642-28890-6},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/post/2012,
  editor    = {Pierpaolo Degano and
               Joshua D. Guttman},
  title     = {Principles of Security and Trust - First International Conference,
               {POST} 2012, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
               - April 1, 2012, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7215},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28641-4},
  doi       = {10.1007/978-3-642-28641-4},
  isbn      = {978-3-642-28640-7},
  timestamp = {Wed, 24 May 2017 08:30:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/post/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2011,
  editor    = {Jean{-}Pierre Jouannaud and
               Zhong Shao},
  title     = {Certified Programs and Proofs - First International Conference, {CPP}
               2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7086},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-25379-9},
  doi       = {10.1007/978-3-642-25379-9},
  isbn      = {978-3-642-25378-2},
  timestamp = {Thu, 25 May 2017 00:42:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2011,
  editor    = {Gilles Barthe},
  title     = {Programming Languages and Systems - 20th European Symposium on Programming,
               {ESOP} 2011, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
               March 26-April 3, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6602},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19718-5},
  doi       = {10.1007/978-3-642-19718-5},
  isbn      = {978-3-642-19717-8},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2011,
  editor    = {Ranjit Jhala and
               Wouter Swierstra},
  title     = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
               Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0487-0},
  timestamp = {Mon, 14 Feb 2011 10:52:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/plpv/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2010,
  editor    = {Kazunori Ueda},
  title     = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
               Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6461},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17164-2},
  doi       = {10.1007/978-3-642-17164-2},
  isbn      = {978-3-642-17163-5},
  timestamp = {Fri, 19 May 2017 01:25:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2010,
  editor    = {Andrew D. Gordon},
  title     = {Programming Languages and Systems, 19th European Symposium on Programming,
               {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6012},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11957-6},
  doi       = {10.1007/978-3-642-11957-6},
  isbn      = {978-3-642-11956-9},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2010,
  editor    = {Manuel V. Hermenegildo and
               Jens Palsberg},
  title     = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
               2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://dl.acm.org/citation.cfm?id=1706299},
  isbn      = {978-1-60558-479-9},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2010,
  editor    = {Radhia Cousot and
               Matthieu Martel},
  title     = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
               France, September 14-16, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6337},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15769-1},
  doi       = {10.1007/978-3-642-15769-1},
  isbn      = {978-3-642-15768-4},
  timestamp = {Wed, 24 May 2017 08:27:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2009,
  editor    = {Zhenjiang Hu},
  title     = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009,
               Seoul, Korea, December 14-16, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5904},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10672-9},
  doi       = {10.1007/978-3-642-10672-9},
  isbn      = {978-3-642-10671-2},
  timestamp = {Fri, 19 May 2017 01:25:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uss/2009evt,
  editor    = {David Jefferson and
               Joseph Lorenzo Hall and
               Tal Moran},
  title     = {2009 Electronic Voting Technology Workshop / Workshop on Trustworthy
               Elections, {EVT/WOTE} '09, Montreal, Canada, August 10-11, 2009},
  publisher = {{USENIX} Association},
  year      = {2009},
  url       = {https://www.usenix.org/legacy/events/evtwote09/},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/2009evt},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2008,
  editor    = {Sophia Drossopoulou},
  title     = {Programming Languages and Systems, 17th European Symposium on Programming,
               {ESOP} 2008, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
               6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4960},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78739-6},
  doi       = {10.1007/978-3-540-78739-6},
  isbn      = {978-3-540-78738-9},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2007,
  editor    = {Martin Hofmann and
               Matthias Felleisen},
  title     = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
               2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {http://dl.acm.org/citation.cfm?id=1190216},
  isbn      = {1-59593-575-4},
  timestamp = {Tue, 05 Nov 2013 17:32:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2007,
  editor    = {Klaus Schneider and
               Jens Brandt},
  title     = {Theorem Proving in Higher Order Logics, 20th International Conference,
               TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4732},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74591-4},
  doi       = {10.1007/978-3-540-74591-4},
  isbn      = {978-3-540-74590-7},
  timestamp = {Mon, 05 Jun 2017 12:43:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tphol/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2006,
  editor    = {E. Allen Emerson and
               Kedar S. Namjoshi},
  title     = {Verification, Model Checking, and Abstract Interpretation, 7th International
               Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3855},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11609773},
  doi       = {10.1007/11609773},
  isbn      = {3-540-31139-4},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uss/2005,
  editor    = {Patrick D. McDaniel},
  title     = {Proceedings of the 14th {USENIX} Security Symposium, Baltimore, MD,
               USA, July 31 - August 5, 2005},
  publisher = {{USENIX} Association},
  year      = {2005},
  url       = {https://www.usenix.org/legacy/publications/library/proceedings/sec05/},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2004,
  editor    = {William Pugh and
               Craig Chambers},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2004 Conference on Programming
               Language Design and Implementation 2004, Washington, DC, USA, June
               9-11, 2004},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-807-5},
  timestamp = {Wed, 18 Aug 2004 15:27:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2004,
  editor    = {Bernhard Steffen and
               Giorgio Levi},
  title     = {Verification, Model Checking, and Abstract Interpretation, 5th International
               Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2937},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b94790},
  doi       = {10.1007/b94790},
  isbn      = {3-540-20803-8},
  timestamp = {Thu, 21 Jun 2018 07:46:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/discex/2003,
  title     = {3rd {DARPA} Information Survivability Conference and Exposition {(DISCEX-III}
               2003), 22-24 April 2003, Washington, DC, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8503},
  isbn      = {0-7695-1897-4},
  timestamp = {Mon, 28 Jul 2014 17:06:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/discex/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2003,
  editor    = {Ron Cytron and
               Rajiv Gupta},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2003 Conference on Programming
               Language Design and Implementation 2003, San Diego, California, USA,
               June 9-11, 2003},
  publisher = {{ACM}},
  year      = {2003},
  url       = {https://doi.org/10.1145/781131},
  doi       = {10.1145/781131},
  isbn      = {1-58113-662-5},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2003,
  title     = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, 27-29 August 2003,
               Uppsala, Sweden},
  publisher = {{ACM}},
  year      = {2003},
  isbn      = {1-58113-705-2},
  timestamp = {Thu, 08 Jan 2004 11:35:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2003,
  editor    = {Jukka Paakki and
               Paola Inverardi},
  title     = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
               Software Engineering 2003 held jointly with 9th European Software
               Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
               1-5, 2003},
  publisher = {{ACM}},
  year      = {2003},
  timestamp = {Thu, 10 Dec 2015 15:03:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2003,
  title     = {2003 {IEEE} Symposium on Security and Privacy (S{\&}P 2003), 11-14
               May 2003, Berkeley, CA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8543},
  isbn      = {0-7695-1940-7},
  timestamp = {Thu, 08 Jan 2015 16:59:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sp/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2002,
  title     = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
               22-25 July 2002, Copenhagen, Denmark, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8005},
  isbn      = {0-7695-1483-9},
  timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2002,
  editor    = {Mamdouh Ibrahim and
               Satoshi Matsuoka},
  title     = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming Systems, Languages and Applications, {OOPSLA} 2002, Seattle,
               Washington, USA, November 4-8, 2002},
  publisher = {{ACM}},
  year      = {2002},
  url       = {http://dl.acm.org/citation.cfm?id=582419},
  isbn      = {1-58113-471-1},
  timestamp = {Tue, 11 Jun 2013 10:00:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2001,
  title     = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
               Massachusetts, USA, June 16-19, 2001, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7424},
  isbn      = {0-7695-1281-X},
  timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2001,
  editor    = {Michael Burke and
               Mary Lou Soffa},
  title     = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
               20-22, 2001},
  publisher = {{ACM}},
  year      = {2001},
  url       = {http://dl.acm.org/citation.cfm?id=378795},
  isbn      = {1-58113-414-2},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2001,
  editor    = {Chris Hankin and
               Dave Schmidt},
  title     = {Conference Record of {POPL} 2001: The 28th {ACM} {SIGPLAN-SIGACT}
               Symposium on Principles of Programming Languages, London, UK, January
               17-19, 2001},
  publisher = {{ACM}},
  year      = {2001},
  url       = {http://dl.acm.org/citation.cfm?id=360204},
  isbn      = {1-58113-336-7},
  timestamp = {Mon, 18 Mar 2013 08:39:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2000,
  editor    = {David A. McAllester},
  title     = {Automated Deduction - CADE-17, 17th International Conference on Automated
               Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1831},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10721959},
  doi       = {10.1007/10721959},
  isbn      = {3-540-67664-3},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2000,
  editor    = {Mark N. Wegman and
               Thomas W. Reps},
  title     = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Boston, Massachusetts, USA,
               January 19-21, 2000},
  publisher = {{ACM}},
  year      = {2000},
  url       = {http://dl.acm.org/citation.cfm?id=325694},
  isbn      = {1-58113-125-9},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/1999,
  editor    = {Juzar Motiwalla and
               Gene Tsudik},
  title     = {{CCS} '99, Proceedings of the 6th {ACM} Conference on Computer and
               Communications Security, Singapore, November 1-4, 1999},
  publisher = {{ACM}},
  year      = {1999},
  url       = {http://dl.acm.org/citation.cfm?id=319709},
  isbn      = {1-58113-148-8},
  timestamp = {Fri, 09 Dec 2011 14:34:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1999,
  editor    = {Danny De Schreye},
  title     = {Logic Programming: The 1999 International Conference, Las Cruces,
               New Mexico, USA, November 29 - December 4, 1999},
  publisher = {{MIT} Press},
  year      = {1999},
  isbn      = {0-262-54104-1},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/infovis/1998,
  title     = {1998 {IEEE} Symposium on Information Visualization (InfoVis '98),
               19-20 October 1998, Research Triangle Park, NC, USA, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5905},
  isbn      = {0-8186-9093-3},
  timestamp = {Mon, 28 Jan 2019 11:55:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/infovis/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsl/1997,
  editor    = {Chris Ramming},
  title     = {Proceedings of the Conference on Domain-Specific Languages, DSL'97,
               Santa Barbara, California, USA, October 15-17, 1997},
  publisher = {{USENIX}},
  year      = {1997},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsl/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/1997,
  editor    = {Simon L. {Peyton Jones} and
               Mads Tofte and
               A. Michael Berman},
  title     = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
               Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
               9-11, 1997},
  publisher = {{ACM}},
  year      = {1997},
  isbn      = {0-89791-918-1},
  timestamp = {Tue, 11 Jun 2013 13:53:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1996,
  editor    = {Hans{-}Juergen Boehm and
               Guy L. Steele Jr.},
  title     = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Papers Presented at the Symposium,
               St. Petersburg Beach, Florida, USA, January 21-24, 1996},
  publisher = {{ACM} Press},
  year      = {1996},
  url       = {http://dl.acm.org/citation.cfm?id=237721},
  isbn      = {0-89791-769-3},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpca/1995,
  editor    = {John Williams},
  title     = {Proceedings of the seventh international conference on Functional
               programming languages and computer architecture, {FPCA} 1995, La Jolla,
               California, USA, June 25-28, 1995},
  publisher = {{ACM}},
  year      = {1995},
  url       = {https://doi.org/10.1145/224164},
  doi       = {10.1145/224164},
  isbn      = {0-89791-719-7},
  timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fpca/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/1995,
  editor    = {David W. Wall},
  title     = {Proceedings of the {ACM} SIGPLAN'95 Conference on Programming Language
               Design and Implementation (PLDI), La Jolla, California, USA, June
               18-21, 1995},
  publisher = {{ACM}},
  year      = {1995},
  url       = {http://dl.acm.org/citation.cfm?id=207110},
  isbn      = {0-89791-697-2},
  timestamp = {Mon, 21 May 2012 16:19:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/1994,
  editor    = {Vivek Sarkar and
               Barbara G. Ryder and
               Mary Lou Soffa},
  title     = {Proceedings of the {ACM} SIGPLAN'94 Conference on Programming Language
               Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24,
               1994},
  publisher = {{ACM}},
  year      = {1994},
  url       = {http://dl.acm.org/citation.cfm?id=178243},
  isbn      = {0-89791-662-X},
  timestamp = {Mon, 21 May 2012 16:19:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1993,
  editor    = {Mary S. Van Deusen and
               Bernard Lang},
  title     = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Charleston, South Carolina,
               USA, January 1993},
  publisher = {{ACM} Press},
  year      = {1993},
  url       = {http://dl.acm.org/citation.cfm?id=158511},
  isbn      = {0-89791-560-7},
  timestamp = {Mon, 21 May 2012 16:19:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/1991,
  editor    = {David A. Patterson},
  title     = {{ASPLOS-IV} Proceedings - Forth International Conference on Architectural
               Support for Programming Languages and Operating Systems, Santa Clara,
               California, USA, April 8-11, 1991},
  publisher = {{ACM} Press},
  year      = {1991},
  url       = {http://dl.acm.org/citation.cfm?id=106972},
  isbn      = {0-89791-380-9},
  timestamp = {Tue, 12 Feb 2013 14:39:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdd/1991,
  editor    = {Barton P. Miller and
               Charles E. McDowell},
  title     = {Proceedings of the {ACM/ONR} Workshop on Parallel and Distributed
               Debugging, Santa Cruz, California, USA, May 20-21, 1991},
  publisher = {{ACM}},
  year      = {1991},
  url       = {http://dl.acm.org/citation.cfm?id=122759},
  isbn      = {0-89791-457-0},
  timestamp = {Mon, 15 Jun 2015 11:59:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pdd/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/91,
  editor    = {Jan Maluszynski and
               Martin Wirsing},
  title     = {Programming Language Implementation and Logic Programming, 3rd International
               Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54444-5},
  doi       = {10.1007/3-540-54444-5},
  isbn      = {3-540-54444-5},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/plilp/91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmetrics/1990,
  editor    = {Gary J. Nutt},
  title     = {Proceedings of the 1990 {ACM} {SIGMETRICS} conference on Measurement
               and modeling of computer systems, University of Colorado, Boulder,
               Colorado, USA, May 22-25, 1990},
  publisher = {{ACM}},
  year      = {1990},
  url       = {https://doi.org/10.1145/98457},
  doi       = {10.1145/98457},
  isbn      = {0-89791-359-0},
  timestamp = {Tue, 06 Nov 2018 11:07:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmetrics/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1989,
  title     = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles
               of Programming Languages, Austin, Texas, USA, January 11-13, 1989},
  publisher = {{ACM} Press},
  year      = {1989},
  url       = {http://dl.acm.org/citation.cfm?id=75277},
  isbn      = {0-89791-294-2},
  timestamp = {Mon, 21 May 2012 16:19:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1989},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/1988,
  editor    = {Richard L. Wexelblat},
  title     = {Proceedings of the {ACM} SIGPLAN'88 Conference on Programming Language
               Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24,
               1988},
  publisher = {{ACM}},
  year      = {1988},
  url       = {http://dl.acm.org/citation.cfm?id=53990},
  isbn      = {0-89791-269-1},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2004best,
  editor    = {Kathryn S. McKinley},
  title     = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language
               Design and Implementation 1979-1999, {A} Selection},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-623-4},
  timestamp = {Thu, 19 Aug 2004 09:15:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2004best},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpca/1987,
  editor    = {Gilles Kahn},
  title     = {Functional Programming Languages and Computer Architecture, Portland,
               Oregon, USA, September 14-16, 1987, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {274},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/3-540-18317-5},
  doi       = {10.1007/3-540-18317-5},
  isbn      = {3-540-18317-5},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fpca/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1985,
  editor    = {Mary S. Van Deusen and
               Zvi Galil and
               Brian K. Reid},
  title     = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
               of Programming Languages, New Orleans, Louisiana, USA, January 1985},
  publisher = {{ACM} Press},
  year      = {1985},
  url       = {http://dl.acm.org/citation.cfm?id=318593},
  isbn      = {0-89791-147-4},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1985},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier