BibTeX records: Magnus O. Myreen

download as .bib file

@article{DBLP:journals/pacmpl/OwensNKMT17,
  author    = {Scott Owens and
               Michael Norrish and
               Ramana Kumar and
               Magnus O. Myreen and
               Yong Kiam Tan},
  title     = {Verifying efficient function calls in CakeML},
  journal   = {{PACMPL}},
  volume    = {1},
  number    = {{ICFP}},
  pages     = {18:1--18:27},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3110262},
  doi       = {10.1145/3110262},
  timestamp = {Tue, 12 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/pacmpl/OwensNKMT17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpp/FoxMTK17,
  author    = {Anthony C. J. Fox and
               Magnus O. Myreen and
               Yong Kiam Tan and
               Ramana Kumar},
  title     = {Verified compilation of CakeML to multiple machine-code targets},
  booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs
               and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
  pages     = {125--137},
  year      = {2017},
  crossref  = {DBLP:conf/cpp/2017},
  url       = {http://doi.acm.org/10.1145/3018610.3018621},
  doi       = {10.1145/3018610.3018621},
  timestamp = {Mon, 02 Jan 2017 14:41:55 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cpp/FoxMTK17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esop/GueneauMKN17,
  author    = {Arma{\"{e}}l Gu{\'{e}}neau and
               Magnus O. Myreen and
               Ramana Kumar and
               Michael Norrish},
  title     = {Verified Characteristic Formulae for CakeML},
  booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
               {ESOP} 2017, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
               2017, Proceedings},
  pages     = {584--610},
  year      = {2017},
  crossref  = {DBLP:conf/esop/2017},
  url       = {https://doi.org/10.1007/978-3-662-54434-1_22},
  doi       = {10.1007/978-3-662-54434-1_22},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/GueneauMKN17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/EricssonMP17,
  author    = {Adam Sandberg Ericsson and
               Magnus O. Myreen and
               Johannes {\AA}man Pohjola},
  title     = {A Verified Generational Garbage Collector for CakeML},
  booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
               2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
  pages     = {444--461},
  year      = {2017},
  crossref  = {DBLP:conf/itp/2017},
  url       = {https://doi.org/10.1007/978-3-319-66107-0_28},
  doi       = {10.1007/978-3-319-66107-0_28},
  timestamp = {Wed, 06 Sep 2017 14:53:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/EricssonMP17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BeckerDM17,
  author    = {Heiko Becker and
               Eva Darulova and
               Magnus O. Myreen},
  title     = {A Verified Certificate Checker for Floating-Point Error Bounds},
  journal   = {CoRR},
  volume    = {abs/1707.02115},
  year      = {2017},
  url       = {http://arxiv.org/abs/1707.02115},
  archivePrefix = {arXiv},
  eprint    = {1707.02115},
  timestamp = {Sat, 05 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/BeckerDM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jar/KumarAMO16,
  author    = {Ramana Kumar and
               Rob Arthan and
               Magnus O. Myreen and
               Scott Owens},
  title     = {Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and
               a Verified Implementation},
  journal   = {J. Autom. Reasoning},
  volume    = {56},
  number    = {3},
  pages     = {221--259},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10817-015-9357-x},
  doi       = {10.1007/s10817-015-9357-x},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jar/KumarAMO16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esop/OwensMKT16,
  author    = {Scott Owens and
               Magnus O. Myreen and
               Ramana Kumar and
               Yong Kiam Tan},
  title     = {Functional Big-Step Semantics},
  booktitle = {Programming Languages and Systems - 25th European Symposium on Programming,
               {ESOP} 2016, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
               April 2-8, 2016, Proceedings},
  pages     = {589--615},
  year      = {2016},
  crossref  = {DBLP:conf/esop/2016},
  url       = {https://doi.org/10.1007/978-3-662-49498-1_23},
  doi       = {10.1007/978-3-662-49498-1_23},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/OwensMKT16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfp/TanMKFON16,
  author    = {Yong Kiam Tan and
               Magnus O. Myreen and
               Ramana Kumar and
               Anthony C. J. Fox and
               Scott Owens and
               Michael Norrish},
  title     = {A new verified compiler backend for CakeML},
  booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
               2016},
  pages     = {60--73},
  year      = {2016},
  crossref  = {DBLP:conf/icfp/2016},
  url       = {http://doi.acm.org/10.1145/2951913.2951924},
  doi       = {10.1145/2951913.2951924},
  timestamp = {Tue, 30 Aug 2016 13:45:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/TanMKFON16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jar/DavisM15,
  author    = {Jared Davis and
               Magnus O. Myreen},
  title     = {The Reflective Milawa Theorem Prover is Sound (Down to the Machine
               Code that Runs it)},
  journal   = {J. Autom. Reasoning},
  volume    = {55},
  number    = {2},
  pages     = {117--183},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10817-015-9324-6},
  doi       = {10.1007/s10817-015-9324-6},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jar/DavisM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/TuerkMK15,
  author    = {Thomas Tuerk and
               Magnus O. Myreen and
               Ramana Kumar},
  title     = {Pattern Matches in {HOL:} - {A} New Representation and Improved Code
               Generation},
  booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
               2015, Nanjing, China, August 24-27, 2015, Proceedings},
  pages     = {453--468},
  year      = {2015},
  crossref  = {DBLP:conf/itp/2015},
  url       = {https://doi.org/10.1007/978-3-319-22102-1_30},
  doi       = {10.1007/978-3-319-22102-1_30},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/TuerkMK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jfp/MyreenO14,
  author    = {Magnus O. Myreen and
               Scott Owens},
  title     = {Proof-producing translation of higher-order logic into pure and stateful
               {ML}},
  journal   = {J. Funct. Program.},
  volume    = {24},
  number    = {2-3},
  pages     = {284--315},
  year      = {2014},
  url       = {https://doi.org/10.1017/S0956796813000282},
  doi       = {10.1017/S0956796813000282},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jfp/MyreenO14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/KumarAMO14,
  author    = {Ramana Kumar and
               Rob Arthan and
               Magnus O. Myreen and
               Scott Owens},
  title     = {{HOL} with Definitions: Semantics, Soundness, and a Verified Implementation},
  booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 14-17, 2014. Proceedings},
  pages     = {308--324},
  year      = {2014},
  crossref  = {DBLP:conf/itp/2014},
  url       = {https://doi.org/10.1007/978-3-319-08970-6_20},
  doi       = {10.1007/978-3-319-08970-6_20},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/KumarAMO14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/MyreenD14,
  author    = {Magnus O. Myreen and
               Jared Davis},
  title     = {The Reflective Milawa Theorem Prover Is Sound - (Down to the Machine
               Code That Runs It)},
  booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 14-17, 2014. Proceedings},
  pages     = {421--436},
  year      = {2014},
  crossref  = {DBLP:conf/itp/2014},
  url       = {https://doi.org/10.1007/978-3-319-08970-6_27},
  doi       = {10.1007/978-3-319-08970-6_27},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/MyreenD14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/KumarMNO14,
  author    = {Ramana Kumar and
               Magnus O. Myreen and
               Michael Norrish and
               Scott Owens},
  title     = {CakeML: a verified implementation of {ML}},
  booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  pages     = {179--192},
  year      = {2014},
  crossref  = {DBLP:conf/popl/2014},
  url       = {http://doi.acm.org/10.1145/2535838.2535841},
  doi       = {10.1145/2535838.2535841},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/KumarMNO14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpp/MyreenC13,
  author    = {Magnus O. Myreen and
               Gregorio Curello},
  title     = {Proof Pearl: {A} Verified Bignum Implementation in x86-64 Machine
               Code},
  booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
               2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
  pages     = {66--81},
  year      = {2013},
  crossref  = {DBLP:conf/cpp/2013},
  url       = {https://doi.org/10.1007/978-3-319-03545-1_5},
  doi       = {10.1007/978-3-319-03545-1_5},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpp/MyreenC13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/MyreenOK13,
  author    = {Magnus O. Myreen and
               Scott Owens and
               Ramana Kumar},
  title     = {Steps towards Verified Implementations of {HOL} Light},
  booktitle = {Interactive Theorem Proving - 4th International Conference, {ITP}
               2013, Rennes, France, July 22-26, 2013. Proceedings},
  pages     = {490--495},
  year      = {2013},
  crossref  = {DBLP:conf/itp/2013},
  url       = {https://doi.org/10.1007/978-3-642-39634-2_38},
  doi       = {10.1007/978-3-642-39634-2_38},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/MyreenOK13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SewellMK13,
  author    = {Thomas Arthur Leck Sewell and
               Magnus O. Myreen and
               Gerwin Klein},
  title     = {Translation validation for a verified {OS} kernel},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  pages     = {471--482},
  year      = {2013},
  crossref  = {DBLP:conf/pldi/2013},
  url       = {http://doi.acm.org/10.1145/2462156.2462183},
  doi       = {10.1145/2462156.2462183},
  timestamp = {Sun, 09 Jun 2013 12:25:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/SewellMK13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/MyreenG12,
  author    = {Magnus O. Myreen and
               Michael J. C. Gordon},
  title     = {Function extraction},
  journal   = {Sci. Comput. Program.},
  volume    = {77},
  number    = {4},
  pages     = {505--517},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.scico.2010.10.001},
  doi       = {10.1016/j.scico.2010.10.001},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/scp/MyreenG12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MyreenGS12,
  author    = {Magnus O. Myreen and
               Michael J. C. Gordon and
               Konrad Slind},
  title     = {Decompilation into logic - Improved},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
               UK, October 22-25, 2012},
  pages     = {78--81},
  year      = {2012},
  crossref  = {DBLP:conf/fmcad/2012},
  url       = {http://ieeexplore.ieee.org/document/6462558/},
  timestamp = {Sat, 29 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmcad/MyreenGS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MyreenO12,
  author    = {Magnus O. Myreen and
               Scott Owens},
  title     = {Proof-producing synthesis of {ML} from higher-order logic},
  booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
               ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  pages     = {115--126},
  year      = {2012},
  crossref  = {DBLP:conf/icfp/2012},
  url       = {http://doi.acm.org/10.1145/2364527.2364545},
  doi       = {10.1145/2364527.2364545},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/MyreenO12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/Myreen12,
  author    = {Magnus O. Myreen},
  title     = {Functional Programs: Conversions between Deep and Shallow Embeddings},
  booktitle = {Interactive Theorem Proving - Third International Conference, {ITP}
               2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings},
  pages     = {412--417},
  year      = {2012},
  crossref  = {DBLP:conf/itp/2012},
  url       = {https://doi.org/10.1007/978-3-642-32347-8_29},
  doi       = {10.1007/978-3-642-32347-8_29},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/Myreen12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/MyreenD11,
  author    = {Magnus O. Myreen and
               Jared Davis},
  title     = {A Verified Runtime for a Verified Theorem Prover},
  booktitle = {Interactive Theorem Proving - Second International Conference, {ITP}
               2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings},
  pages     = {265--280},
  year      = {2011},
  crossref  = {DBLP:conf/itp/2011},
  url       = {https://doi.org/10.1007/978-3-642-22863-6_20},
  doi       = {10.1007/978-3-642-22863-6_20},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/MyreenD11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cacm/SewellSONM10,
  author    = {Peter Sewell and
               Susmit Sarkar and
               Scott Owens and
               Francesco Zappa Nardelli and
               Magnus O. Myreen},
  title     = {x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors},
  journal   = {Commun. {ACM}},
  volume    = {53},
  number    = {7},
  pages     = {89--97},
  year      = {2010},
  url       = {http://doi.acm.org/10.1145/1785414.1785443},
  doi       = {10.1145/1785414.1785443},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cacm/SewellSONM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/FoxM10,
  author    = {Anthony C. J. Fox and
               Magnus O. Myreen},
  title     = {A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture},
  booktitle = {Interactive Theorem Proving, First International Conference, {ITP}
               2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
  pages     = {243--258},
  year      = {2010},
  crossref  = {DBLP:conf/itp/2010},
  url       = {https://doi.org/10.1007/978-3-642-14052-5_18},
  doi       = {10.1007/978-3-642-14052-5_18},
  timestamp = {Sun, 04 Jun 2017 10:07:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/FoxM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/Myreen10,
  author    = {Magnus O. Myreen},
  title     = {Separation Logic Adapted for Proofs by Rewriting},
  booktitle = {Interactive Theorem Proving, First International Conference, {ITP}
               2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
  pages     = {485--489},
  year      = {2010},
  crossref  = {DBLP:conf/itp/2010},
  url       = {https://doi.org/10.1007/978-3-642-14052-5_34},
  doi       = {10.1007/978-3-642-14052-5_34},
  timestamp = {Sun, 04 Jun 2017 10:07:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/Myreen10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/Myreen10,
  author    = {Magnus O. Myreen},
  title     = {Verified just-in-time compiler on x86},
  booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
               2010},
  pages     = {107--118},
  year      = {2010},
  crossref  = {DBLP:conf/popl/2010},
  url       = {http://doi.acm.org/10.1145/1706299.1706313},
  doi       = {10.1145/1706299.1706313},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/Myreen10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Myreen10,
  author    = {Magnus O. Myreen},
  title     = {Reusable Verification of a Copying Collector},
  booktitle = {Verified Software: Theories, Tools, Experiments, Third International
               Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  pages     = {142--156},
  year      = {2010},
  crossref  = {DBLP:conf/vstte/2010},
  url       = {https://doi.org/10.1007/978-3-642-15057-9_10},
  doi       = {10.1007/978-3-642-15057-9_10},
  timestamp = {Tue, 23 May 2017 01:06:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vstte/Myreen10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Myreen09,
  author    = {Magnus Oskar Myreen},
  title     = {Formal verification of machine-code programs},
  school    = {University of Cambridge, {UK}},
  year      = {2009},
  url       = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.611450},
  timestamp = {Fri, 26 Aug 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/phd/ethos/Myreen09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/MyreenG09,
  author    = {Magnus O. Myreen and
               Michael J. C. Gordon},
  title     = {Transforming Programs into Recursive Functions},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {240},
  pages     = {185--200},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.05.052},
  doi       = {10.1016/j.entcs.2009.05.052},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/MyreenG09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cc/MyreenSG09,
  author    = {Magnus O. Myreen and
               Konrad Slind and
               Michael J. C. Gordon},
  title     = {Extensible Proof-Producing Compilation},
  booktitle = {Compiler Construction, 18th International Conference, {CC} 2009, Held
               as Part of the Joint European Conferences on Theory and Practice of
               Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings},
  pages     = {2--16},
  year      = {2009},
  crossref  = {DBLP:conf/cc/2009},
  url       = {https://doi.org/10.1007/978-3-642-00722-4_2},
  doi       = {10.1007/978-3-642-00722-4_2},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cc/MyreenSG09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlglaveFIMSSN09,
  author    = {Jade Alglave and
               Anthony C. J. Fox and
               Samin Ishtiaq and
               Magnus O. Myreen and
               Susmit Sarkar and
               Peter Sewell and
               Francesco Zappa Nardelli},
  title     = {The semantics of power and {ARM} multiprocessor machine code},
  booktitle = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of
               Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20,
               2009},
  pages     = {13--24},
  year      = {2009},
  crossref  = {DBLP:conf/popl/2009damp},
  url       = {http://doi.acm.org/10.1145/1481839.1481842},
  doi       = {10.1145/1481839.1481842},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/AlglaveFIMSSN09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/SarkarSNORBMA09,
  author    = {Susmit Sarkar and
               Peter Sewell and
               Francesco Zappa Nardelli and
               Scott Owens and
               Tom Ridge and
               Thomas Braibant and
               Magnus O. Myreen and
               Jade Alglave},
  title     = {The semantics of x86-CC multiprocessor machine code},
  booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
               21-23, 2009},
  pages     = {379--391},
  year      = {2009},
  crossref  = {DBLP:conf/popl/2009},
  url       = {http://doi.acm.org/10.1145/1480881.1480929},
  doi       = {10.1145/1480881.1480929},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/SarkarSNORBMA09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tphol/MyreenG09,
  author    = {Magnus O. Myreen and
               Michael J. C. Gordon},
  title     = {Verified {LISP} Implementations on ARM, x86 and PowerPC},
  booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference,
               TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
  pages     = {359--374},
  year      = {2009},
  crossref  = {DBLP:conf/tphol/2009},
  url       = {https://doi.org/10.1007/978-3-642-03359-9_25},
  doi       = {10.1007/978-3-642-03359-9_25},
  timestamp = {Tue, 23 May 2017 01:12:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tphol/MyreenG09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MyreenGS08,
  author    = {Magnus O. Myreen and
               Michael J. C. Gordon and
               Konrad Slind},
  title     = {Machine-Code Verification for Multiple Architectures - An Application
               of Decompilation into Logic},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon,
               USA, 17-20 November 2008},
  pages     = {1--8},
  year      = {2008},
  crossref  = {DBLP:conf/fmcad/2008},
  url       = {https://doi.org/10.1109/FMCAD.2008.ECP.24},
  doi       = {10.1109/FMCAD.2008.ECP.24},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmcad/MyreenGS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsen/MyreenFG07,
  author    = {Magnus O. Myreen and
               Anthony C. J. Fox and
               Michael J. C. Gordon},
  title     = {Hoare Logic for {ARM} Machine Code},
  booktitle = {International Symposium on Fundamentals of Software Engineering, International
               Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
  pages     = {272--286},
  year      = {2007},
  crossref  = {DBLP:conf/fsen/2007},
  url       = {https://doi.org/10.1007/978-3-540-75698-9_18},
  doi       = {10.1007/978-3-540-75698-9_18},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsen/MyreenFG07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MyreenG07,
  author    = {Magnus O. Myreen and
               Michael J. C. Gordon},
  title     = {Hoare Logic for Realistically Modelled Machine Code},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               13th International Conference, {TACAS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  pages     = {568--582},
  year      = {2007},
  crossref  = {DBLP:conf/tacas/2007},
  url       = {https://doi.org/10.1007/978-3-540-71209-1_44},
  doi       = {10.1007/978-3-540-71209-1_44},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/MyreenG07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tap/BackEM07,
  author    = {Ralph{-}Johan Back and
               Johannes Eriksson and
               Magnus Myreen},
  title     = {Testing and Verifying Invariant Based Programs in the {SOCOS} Environment},
  booktitle = {Tests and Proofs, First International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  pages     = {61--78},
  year      = {2007},
  crossref  = {DBLP:conf/tap/2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4_4},
  doi       = {10.1007/978-3-540-73770-4_4},
  timestamp = {Mon, 30 Oct 2017 11:35:07 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tap/BackEM07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BackM05,
  author    = {Ralph{-}Johan Back and
               Magnus Myreen},
  title     = {Tool Support for Invariant Based Programming},
  booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
               15-17 December 2005, Taipei, Taiwan},
  pages     = {711--718},
  year      = {2005},
  crossref  = {DBLP:conf/apsec/2005},
  url       = {https://doi.org/10.1109/APSEC.2005.104},
  doi       = {10.1109/APSEC.2005.104},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apsec/BackM05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpp/2017,
  editor    = {Yves Bertot and
               Viktor Vafeiadis},
  title     = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs
               and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3018610},
  doi       = {10.1145/3018610},
  isbn      = {978-1-4503-4705-1},
  timestamp = {Mon, 02 Jan 2017 14:41:55 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cpp/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esop/2017,
  editor    = {Hongseok Yang},
  title     = {Programming Languages and Systems - 26th European Symposium on Programming,
               {ESOP} 2017, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
               2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10201},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-662-54434-1},
  doi       = {10.1007/978-3-662-54434-1},
  isbn      = {978-3-662-54433-4},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itp/2017,
  editor    = {Mauricio Ayala{-}Rinc{\'{o}}n and
               C{\'{e}}sar A. Mu{\~{n}}oz},
  title     = {Interactive Theorem Proving - 8th International Conference, {ITP}
               2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10499},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66107-0},
  doi       = {10.1007/978-3-319-66107-0},
  isbn      = {978-3-319-66106-3},
  timestamp = {Wed, 06 Sep 2017 14:53:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esop/2016,
  editor    = {Peter Thiemann},
  title     = {Programming Languages and Systems - 25th European Symposium on Programming,
               {ESOP} 2016, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
               April 2-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9632},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49498-1},
  doi       = {10.1007/978-3-662-49498-1},
  isbn      = {978-3-662-49497-4},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfp/2016,
  editor    = {Jacques Garrigue and
               Gabriele Keller and
               Eijiro Sumii},
  title     = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
               2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2951913},
  doi       = {10.1145/2951913},
  isbn      = {978-1-4503-4219-3},
  timestamp = {Tue, 30 Aug 2016 13:45:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itp/2015,
  editor    = {Christian Urban and
               Xingyuan Zhang},
  title     = {Interactive Theorem Proving - 6th International Conference, {ITP}
               2015, Nanjing, China, August 24-27, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9236},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-22102-1},
  doi       = {10.1007/978-3-319-22102-1},
  isbn      = {978-3-319-22101-4},
  timestamp = {Sun, 21 May 2017 00:18:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itp/2014,
  editor    = {Gerwin Klein and
               Ruben Gamboa},
  title     = {Interactive Theorem Proving - 5th International Conference, {ITP}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 14-17, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8558},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08970-6},
  doi       = {10.1007/978-3-319-08970-6},
  isbn      = {978-3-319-08969-0},
  timestamp = {Sun, 21 May 2017 00:18:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2014,
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  title     = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2535838},
  isbn      = {978-1-4503-2544-8},
  timestamp = {Thu, 09 Jan 2014 08:21:22 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/2014},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/cpp/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itp/2013,
  editor    = {Sandrine Blazy and
               Christine Paulin{-}Mohring and
               David Pichardie},
  title     = {Interactive Theorem Proving - 4th International Conference, {ITP}
               2013, Rennes, France, July 22-26, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7998},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39634-2},
  doi       = {10.1007/978-3-642-39634-2},
  isbn      = {978-3-642-39633-5},
  timestamp = {Sun, 21 May 2017 00:18:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2013,
  editor    = {Hans{-}Juergen Boehm and
               Cormac Flanagan},
  title     = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2491956},
  isbn      = {978-1-4503-2014-6},
  timestamp = {Sun, 09 Jun 2013 12:25:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2012,
  editor    = {Gianpiero Cabodi and
               Satnam Singh},
  title     = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
               UK, October 22-25, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6450168},
  isbn      = {978-1-4673-4832-4},
  timestamp = {Wed, 17 Feb 2016 13:08:35 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fmcad/2012},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/icfp/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itp/2012,
  editor    = {Lennart Beringer and
               Amy P. Felty},
  title     = {Interactive Theorem Proving - Third International Conference, {ITP}
               2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7406},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32347-8},
  doi       = {10.1007/978-3-642-32347-8},
  isbn      = {978-3-642-32346-1},
  timestamp = {Sun, 21 May 2017 00:18:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itp/2011,
  editor    = {Marko C. J. D. van Eekelen and
               Herman Geuvers and
               Julien Schmaltz and
               Freek Wiedijk},
  title     = {Interactive Theorem Proving - Second International Conference, {ITP}
               2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6898},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22863-6},
  doi       = {10.1007/978-3-642-22863-6},
  isbn      = {978-3-642-22862-9},
  timestamp = {Sun, 21 May 2017 00:18:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itp/2010,
  editor    = {Matt Kaufmann and
               Lawrence C. Paulson},
  title     = {Interactive Theorem Proving, First International Conference, {ITP}
               2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6172},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14052-5},
  doi       = {10.1007/978-3-642-14052-5},
  isbn      = {978-3-642-14051-8},
  timestamp = {Sun, 04 Jun 2017 10:07:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/itp/2010},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/popl/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vstte/2010,
  editor    = {Gary T. Leavens and
               Peter W. O'Hearn and
               Sriram K. Rajamani},
  title     = {Verified Software: Theories, Tools, Experiments, Third International
               Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6217},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15057-9},
  doi       = {10.1007/978-3-642-15057-9},
  isbn      = {978-3-642-15056-2},
  timestamp = {Tue, 23 May 2017 01:06:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vstte/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cc/2009,
  editor    = {Oege de Moor and
               Michael I. Schwartzbach},
  title     = {Compiler Construction, 18th International Conference, {CC} 2009, Held
               as Part of the Joint European Conferences on Theory and Practice of
               Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5501},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00722-4},
  doi       = {10.1007/978-3-642-00722-4},
  isbn      = {978-3-642-00721-7},
  timestamp = {Fri, 26 May 2017 00:49:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cc/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2009damp,
  editor    = {Leaf Petersen and
               Manuel M. T. Chakravarty},
  title     = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of
               Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20,
               2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-417-1},
  timestamp = {Thu, 28 Jan 2010 10:46:18 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/2009damp},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2009,
  editor    = {Zhong Shao and
               Benjamin C. Pierce},
  title     = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
               21-23, 2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {http://dl.acm.org/citation.cfm?id=1480881},
  isbn      = {978-1-60558-379-2},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tphol/2009,
  editor    = {Stefan Berghofer and
               Tobias Nipkow and
               Christian Urban and
               Makarius Wenzel},
  title     = {Theorem Proving in Higher Order Logics, 22nd International Conference,
               TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5674},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03359-9},
  doi       = {10.1007/978-3-642-03359-9},
  isbn      = {978-3-642-03358-2},
  timestamp = {Tue, 23 May 2017 01:12:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tphol/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2008,
  editor    = {Alessandro Cimatti and
               Robert B. Jones},
  title     = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon,
               USA, 17-20 November 2008},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4689158},
  isbn      = {978-1-4244-2735-2},
  timestamp = {Wed, 17 Feb 2016 13:08:35 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fmcad/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsen/2007,
  editor    = {Farhad Arbab and
               Marjan Sirjani},
  title     = {International Symposium on Fundamentals of Software Engineering, International
               Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4767},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75698-9},
  doi       = {10.1007/978-3-540-75698-9},
  isbn      = {978-3-540-75697-2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsen/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2007,
  editor    = {Orna Grumberg and
               Michael Huth},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               13th International Conference, {TACAS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4424},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71209-1},
  doi       = {10.1007/978-3-540-71209-1},
  isbn      = {978-3-540-71208-4},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tap/2007,
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Tests and Proofs, First International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4},
  doi       = {10.1007/978-3-540-73770-4},
  isbn      = {978-3-540-73769-8},
  timestamp = {Mon, 30 Oct 2017 11:35:07 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tap/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apsec/2005,
  title     = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
               15-17 December 2005, Taipei, Taiwan},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10689},
  isbn      = {0-7695-2465-6},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/apsec/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier