BibTeX records: Aquinas Hobor

download as .bib file

@inproceedings{DBLP:conf/acsac/NikolicKSSH18,
  author    = {Ivica Nikolic and
               Aashish Kolluri and
               Ilya Sergey and
               Prateek Saxena and
               Aquinas Hobor},
  title     = {Finding The Greedy, Prodigal, and Suicidal Contracts at Scale},
  booktitle = {Proceedings of the 34th Annual Computer Security Applications Conference,
               {ACSAC} 2018, San Juan, PR, USA, December 03-07, 2018},
  pages     = {653--663},
  year      = {2018},
  crossref  = {DBLP:conf/acsac/2018},
  url       = {https://doi.org/10.1145/3274694.3274743},
  doi       = {10.1145/3274694.3274743},
  timestamp = {Wed, 05 Dec 2018 09:44:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsac/NikolicKSSH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/LeHL18,
  author    = {Xuan Bach Le and
               Aquinas Hobor and
               Anthony W. Lin},
  title     = {Complexity Analysis of Tree Share Structure},
  booktitle = {Programming Languages and Systems - 16th Asian Symposium, {APLAS}
               2018, Wellington, New Zealand, December 2-6, 2018, Proceedings},
  pages     = {89--108},
  year      = {2018},
  crossref  = {DBLP:conf/aplas/2018},
  url       = {https://doi.org/10.1007/978-3-030-02768-1\_5},
  doi       = {10.1007/978-3-030-02768-1\_5},
  timestamp = {Thu, 22 Nov 2018 12:10:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/LeHL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LeH18,
  author    = {Xuan Bach Le and
               Aquinas Hobor},
  title     = {Logical Reasoning for Disjoint Permissions},
  booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
               {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
               14-20, 2018, Proceedings},
  pages     = {385--414},
  year      = {2018},
  crossref  = {DBLP:conf/esop/2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1\_14},
  doi       = {10.1007/978-3-319-89884-1\_14},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/LeH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Sergey0H18,
  author    = {Ilya Sergey and
               Amrit Kumar and
               Aquinas Hobor},
  title     = {Temporal Properties of Smart Contracts},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
               Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
  pages     = {323--338},
  year      = {2018},
  crossref  = {DBLP:conf/isola/2018-4},
  url       = {https://doi.org/10.1007/978-3-030-03427-6\_25},
  doi       = {10.1007/978-3-030-03427-6\_25},
  timestamp = {Tue, 30 Oct 2018 11:27:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/Sergey0H18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-00687,
  author    = {Ilya Sergey and
               Amrit Kumar and
               Aquinas Hobor},
  title     = {Scilla: a Smart Contract Intermediate-Level LAnguage},
  journal   = {CoRR},
  volume    = {abs/1801.00687},
  year      = {2018},
  url       = {http://arxiv.org/abs/1801.00687},
  archivePrefix = {arXiv},
  eprint    = {1801.00687},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1801-00687},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-06038,
  author    = {Ivica Nikolic and
               Aashish Kolluri and
               Ilya Sergey and
               Prateek Saxena and
               Aquinas Hobor},
  title     = {Finding The Greedy, Prodigal, and Suicidal Contracts at Scale},
  journal   = {CoRR},
  volume    = {abs/1802.06038},
  year      = {2018},
  url       = {http://arxiv.org/abs/1802.06038},
  archivePrefix = {arXiv},
  eprint    = {1802.06038},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1802-06038},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-00477,
  author    = {Shweta Shinde and
               Shengyi Wang and
               Pinghai Yuan and
               Aquinas Hobor and
               Abhik Roychoudhury and
               Prateek Saxena},
  title     = {BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves},
  journal   = {CoRR},
  volume    = {abs/1807.00477},
  year      = {2018},
  url       = {http://arxiv.org/abs/1807.00477},
  archivePrefix = {arXiv},
  eprint    = {1807.00477},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1807-00477},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-11605,
  author    = {Aashish Kolluri and
               Ivica Nikolic and
               Ilya Sergey and
               Aquinas Hobor and
               Prateek Saxena},
  title     = {Exploiting The Laws of Order in Smart Contracts},
  journal   = {CoRR},
  volume    = {abs/1810.11605},
  year      = {2018},
  url       = {http://arxiv.org/abs/1810.11605},
  archivePrefix = {arXiv},
  eprint    = {1810.11605},
  timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1810-11605},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/SergeyH17,
  author    = {Ilya Sergey and
               Aquinas Hobor},
  title     = {A Concurrent Perspective on Smart Contracts},
  booktitle = {Financial Cryptography and Data Security - {FC} 2017 International
               Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
               7, 2017, Revised Selected Papers},
  pages     = {478--493},
  year      = {2017},
  crossref  = {DBLP:conf/fc/2017w},
  url       = {https://doi.org/10.1007/978-3-319-70278-0\_30},
  doi       = {10.1007/978-3-319-70278-0\_30},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fc/SergeyH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LeNCH17,
  author    = {Xuan Bach Le and
               Thanh{-}Toan Nguyen and
               Wei{-}Ngan Chin and
               Aquinas Hobor},
  title     = {A Certified Decision Procedure for Tree Shares},
  booktitle = {Formal Methods and Software Engineering - 19th International Conference
               on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
               13-17, 2017, Proceedings},
  pages     = {226--242},
  year      = {2017},
  crossref  = {DBLP:conf/icfem/2017},
  url       = {https://doi.org/10.1007/978-3-319-68690-5\_14},
  doi       = {10.1007/978-3-319-68690-5\_14},
  timestamp = {Wed, 18 Oct 2017 21:39:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/LeNCH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SergeyH17,
  author    = {Ilya Sergey and
               Aquinas Hobor},
  title     = {A Concurrent Perspective on Smart Contracts},
  journal   = {CoRR},
  volume    = {abs/1702.05511},
  year      = {2017},
  url       = {http://arxiv.org/abs/1702.05511},
  archivePrefix = {arXiv},
  eprint    = {1702.05511},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/SergeyH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/RaadHVG16,
  author    = {Azalea Raad and
               Aquinas Hobor and
               Jules Villard and
               Philippa Gardner},
  title     = {Verifying Concurrent Graph Algorithms},
  booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
               2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
  pages     = {314--334},
  year      = {2016},
  crossref  = {DBLP:conf/aplas/2016},
  url       = {https://doi.org/10.1007/978-3-319-47958-3\_17},
  doi       = {10.1007/978-3-319-47958-3\_17},
  timestamp = {Fri, 19 May 2017 01:25:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/RaadHVG16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/LuuCOSH16,
  author    = {Loi Luu and
               Duc{-}Hiep Chu and
               Hrishi Olickel and
               Prateek Saxena and
               Aquinas Hobor},
  title     = {Making Smart Contracts Smarter},
  booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, Vienna, Austria, October 24-28, 2016},
  pages     = {254--269},
  year      = {2016},
  crossref  = {DBLP:conf/ccs/2016},
  url       = {https://doi.org/10.1145/2976749.2978309},
  doi       = {10.1145/2976749.2978309},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/LuuCOSH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LeHL16,
  author    = {Xuan Bach Le and
               Aquinas Hobor and
               Anthony W. Lin},
  title     = {Decidability and Complexity of Tree Share Formulas},
  booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
               and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
               Chennai, India},
  pages     = {19:1--19:14},
  year      = {2016},
  crossref  = {DBLP:conf/fsttcs/2016},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.19},
  doi       = {10.4230/LIPIcs.FSTTCS.2016.19},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/LeHL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/LuuCOSH16,
  author    = {Loi Luu and
               Duc{-}Hiep Chu and
               Hrishi Olickel and
               Prateek Saxena and
               Aquinas Hobor},
  title     = {Making Smart Contracts Smarter},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2016},
  pages     = {633},
  year      = {2016},
  url       = {http://eprint.iacr.org/2016/633},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/LuuCOSH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/LuuSPSH15,
  author    = {Loi Luu and
               Ratul Saha and
               Inian Parameshwaran and
               Prateek Saxena and
               Aquinas Hobor},
  title     = {On Power Splitting Games in Distributed Computation: The Case of Bitcoin
               Pooled Mining},
  booktitle = {{IEEE} 28th Computer Security Foundations Symposium, {CSF} 2015, Verona,
               Italy, 13-17 July, 2015},
  pages     = {397--411},
  year      = {2015},
  crossref  = {DBLP:conf/csfw/2015},
  url       = {https://doi.org/10.1109/CSF.2015.34},
  doi       = {10.1109/CSF.2015.34},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/LuuSPSH15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SharmaWCHC15,
  author    = {Asankhaya Sharma and
               Shengyi Wang and
               Andreea Costea and
               Aquinas Hobor and
               Wei{-}Ngan Chin},
  title     = {Certified Reasoning with Infinity},
  booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  pages     = {496--513},
  year      = {2015},
  crossref  = {DBLP:conf/fm/2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9\_31},
  doi       = {10.1007/978-3-319-19249-9\_31},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/SharmaWCHC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SharmaHC15,
  author    = {Asankhaya Sharma and
               Aquinas Hobor and
               Wei{-}Ngan Chin},
  title     = {Specifying Compatible Sharing in Data Structures},
  booktitle = {Formal Methods and Software Engineering - 17th International Conference
               on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
               3-5, 2015, Proceedings},
  pages     = {349--365},
  year      = {2015},
  crossref  = {DBLP:conf/icfem/2015},
  url       = {https://doi.org/10.1007/978-3-319-25423-4\_23},
  doi       = {10.1007/978-3-319-25423-4\_23},
  timestamp = {Tue, 03 Oct 2017 16:28:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/SharmaHC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/LuuSPSH15,
  author    = {Loi Luu and
               Ratul Saha and
               Inian Parameshwaran and
               Prateek Saxena and
               Aquinas Hobor},
  title     = {On Power Splitting Games in Distributed Computation: The Case of Bitcoin
               Pooled Mining},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2015},
  pages     = {155},
  year      = {2015},
  url       = {http://eprint.iacr.org/2015/155},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/LuuSPSH15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LeGHC14,
  author    = {Ton Chanh Le and
               Cristian Gherghina and
               Aquinas Hobor and
               Wei{-}Ngan Chin},
  title     = {A Resource-Based Logic for Termination and Non-termination Proofs},
  booktitle = {Formal Methods and Software Engineering - 16th International Conference
               on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
               November 3-5, 2014. Proceedings},
  pages     = {267--283},
  year      = {2014},
  crossref  = {DBLP:conf/icfem/2014},
  url       = {https://doi.org/10.1007/978-3-319-11737-9\_18},
  doi       = {10.1007/978-3-319-11737-9\_18},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/LeGHC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HoborV13,
  author    = {Aquinas Hobor and
               Jules Villard},
  title     = {The ramifications of sharing in data structures},
  booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
               2013},
  pages     = {523--536},
  year      = {2013},
  crossref  = {DBLP:conf/popl/2013},
  url       = {https://doi.org/10.1145/2429069.2429131},
  doi       = {10.1145/2429069.2429131},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/HoborV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-6412,
  author    = {Aquinas Hobor and
               Cristian Gherghina},
  title     = {Barriers in Concurrent Separation Logic: Now With Tool Support!},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  number    = {2},
  year      = {2012},
  url       = {https://doi.org/10.2168/LMCS-8(2:2)2012},
  doi       = {10.2168/LMCS-8(2:2)2012},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1203-6412},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/DockinsH12,
  author    = {Robert Dockins and
               Aquinas Hobor},
  title     = {Time Bounds for General Function Pointers},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {286},
  pages     = {139--155},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.entcs.2012.08.010},
  doi       = {10.1016/j.entcs.2012.08.010},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/DockinsH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/LeGH12,
  author    = {Xuan Bach Le and
               Cristian Gherghina and
               Aquinas Hobor},
  title     = {Decision Procedures over Sophisticated Fractional Permissions},
  booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
               2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  pages     = {368--385},
  year      = {2012},
  crossref  = {DBLP:conf/aplas/2012},
  url       = {https://doi.org/10.1007/978-3-642-35182-2\_26},
  doi       = {10.1007/978-3-642-35182-2\_26},
  timestamp = {Fri, 02 Nov 2018 09:39:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/LeGH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2012ftfjp,
  editor    = {Wei{-}Ngan Chin and
               Aquinas Hobor},
  title     = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
               Programs, FTfJP 2012, Beijing, China, June 12, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2318202},
  doi       = {10.1145/2318202},
  isbn      = {978-1-4503-1272-1},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2012ftfjp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/HenzH11,
  author    = {Martin Henz and
               Aquinas Hobor},
  title     = {Teaching Experience: Logic and Formal Methods with Coq},
  booktitle = {Certified Programs and Proofs - First International Conference, {CPP}
               2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
  pages     = {199--215},
  year      = {2011},
  crossref  = {DBLP:conf/cpp/2011},
  url       = {https://doi.org/10.1007/978-3-642-25379-9\_16},
  doi       = {10.1007/978-3-642-25379-9\_16},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/HenzH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HoborG11,
  author    = {Aquinas Hobor and
               Cristian Gherghina},
  title     = {Barriers in Concurrent Separation Logic},
  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     = {276--296},
  year      = {2011},
  crossref  = {DBLP:conf/esop/2011},
  url       = {https://doi.org/10.1007/978-3-642-19718-5\_15},
  doi       = {10.1007/978-3-642-19718-5\_15},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/HoborG11},
  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/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/dagstuhl/DockinsH10,
  author    = {Robert Dockins and
               Aquinas Hobor},
  title     = {A Theory of Termination via Indirection},
  booktitle = {Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010},
  year      = {2010},
  crossref  = {DBLP:conf/dagstuhl/2010P10351},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2010/2805/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/DockinsH10},
  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}
}
@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}
}
@proceedings{DBLP:conf/acsac/2018,
  title     = {Proceedings of the 34th Annual Computer Security Applications Conference,
               {ACSAC} 2018, San Juan, PR, USA, December 03-07, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3274694},
  doi       = {10.1145/3274694},
  isbn      = {978-1-4503-6569-7},
  timestamp = {Wed, 05 Dec 2018 09:44:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsac/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2018,
  editor    = {Sukyoung Ryu},
  title     = {Programming Languages and Systems - 16th Asian Symposium, {APLAS}
               2018, Wellington, New Zealand, December 2-6, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11275},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-02768-1},
  doi       = {10.1007/978-3-030-02768-1},
  isbn      = {978-3-030-02767-4},
  timestamp = {Thu, 22 Nov 2018 12:10:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2018,
  editor    = {Amal Ahmed},
  title     = {Programming Languages and Systems - 27th European Symposium on Programming,
               {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
               14-20, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10801},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1},
  doi       = {10.1007/978-3-319-89884-1},
  isbn      = {978-3-319-89883-4},
  timestamp = {Mon, 16 Apr 2018 12:35:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2018-4,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation.
               Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
               Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11247},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03427-6},
  doi       = {10.1007/978-3-030-03427-6},
  isbn      = {978-3-030-03426-9},
  timestamp = {Tue, 30 Oct 2018 11:27:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2018-4},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fc/2017w,
  editor    = {Michael Brenner and
               Kurt Rohloff and
               Joseph Bonneau and
               Andrew Miller and
               Peter Y. A. Ryan and
               Vanessa Teague and
               Andrea Bracciali and
               Massimiliano Sala and
               Federico Pintore and
               Markus Jakobsson},
  title     = {Financial Cryptography and Data Security - {FC} 2017 International
               Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
               7, 2017, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10323},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-70278-0},
  doi       = {10.1007/978-3-319-70278-0},
  isbn      = {978-3-319-70277-3},
  timestamp = {Wed, 30 May 2018 15:38:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fc/2017w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2017,
  editor    = {Zhenhua Duan and
               Luke Ong},
  title     = {Formal Methods and Software Engineering - 19th International Conference
               on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
               13-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10610},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68690-5},
  doi       = {10.1007/978-3-319-68690-5},
  isbn      = {978-3-319-68689-9},
  timestamp = {Wed, 18 Oct 2017 21:39:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2016,
  editor    = {Atsushi Igarashi},
  title     = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
               2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10017},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47958-3},
  doi       = {10.1007/978-3-319-47958-3},
  isbn      = {978-3-319-47957-6},
  timestamp = {Fri, 19 May 2017 01:25:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2016,
  editor    = {Edgar R. Weippl and
               Stefan Katzenbeisser and
               Christopher Kruegel and
               Andrew C. Myers and
               Shai Halevi},
  title     = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, Vienna, Austria, October 24-28, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2976749},
  isbn      = {978-1-4503-4139-4},
  timestamp = {Mon, 24 Oct 2016 15:38:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2016,
  editor    = {Akash Lal and
               S. Akshay and
               Saket Saurabh and
               Sandeep Sen},
  title     = {36th {IARCS} Annual Conference on Foundations of Software Technology
               and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
               Chennai, India},
  series    = {LIPIcs},
  volume    = {65},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-027-9},
  isbn      = {978-3-95977-027-9},
  timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2015,
  editor    = {C{\'{e}}dric Fournet and
               Michael W. Hicks and
               Luca Vigan{\`{o}}},
  title     = {{IEEE} 28th Computer Security Foundations Symposium, {CSF} 2015, Verona,
               Italy, 13-17 July, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7243288},
  isbn      = {978-1-4673-7538-2},
  timestamp = {Mon, 22 Aug 2016 18:03:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2015,
  editor    = {Nikolaj Bj{\o}rner and
               Frank S. de Boer},
  title     = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9109},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9},
  doi       = {10.1007/978-3-319-19249-9},
  isbn      = {978-3-319-19248-2},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2015,
  editor    = {Michael J. Butler and
               Sylvain Conchon and
               Fatiha Za{\"{\i}}di},
  title     = {Formal Methods and Software Engineering - 17th International Conference
               on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
               3-5, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9407},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-25423-4},
  doi       = {10.1007/978-3-319-25423-4},
  isbn      = {978-3-319-25422-7},
  timestamp = {Tue, 03 Oct 2017 16:28:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2014,
  editor    = {Stephan Merz and
               Jun Pang},
  title     = {Formal Methods and Software Engineering - 16th International Conference
               on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
               November 3-5, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8829},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-11737-9},
  doi       = {10.1007/978-3-319-11737-9},
  isbn      = {978-3-319-11736-2},
  timestamp = {Sun, 21 May 2017 00:19:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2013,
  editor    = {Roberto Giacobazzi and
               Radhia Cousot},
  title     = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
               2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2429069},
  isbn      = {978-1-4503-1832-7},
  timestamp = {Fri, 18 Jan 2013 17:48:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2012,
  editor    = {Ranjit Jhala and
               Atsushi Igarashi},
  title     = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
               2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7705},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35182-2},
  doi       = {10.1007/978-3-642-35182-2},
  isbn      = {978-3-642-35181-5},
  timestamp = {Fri, 02 Nov 2018 09:39:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/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/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/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/dagstuhl/2010P10351,
  editor    = {Amal Ahmed and
               Nick Benton and
               Lars Birkedal and
               Martin Hofmann},
  title     = {Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {10351},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/portals/10351/},
  timestamp = {Thu, 09 Apr 2015 17:11:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2010P10351},
  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/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}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier