BibTeX records: Ilya Sergey

download as .bib file

@article{DBLP:journals/darts/DelbiancoSNB17,
  author    = {Germ{\'{a}}n Andr{\'{e}}s Delbianco and
               Ilya Sergey and
               Aleksandar Nanevski and
               Anindya Banerjee},
  title     = {Concurrent Data Structures Linked in Time (Artifact)},
  journal   = {{DARTS}},
  volume    = {3},
  number    = {2},
  pages     = {04:1--04:4},
  year      = {2017},
  url       = {https://doi.org/10.4230/DARTS.3.2.4},
  doi       = {10.4230/DARTS.3.2.4},
  timestamp = {Mon, 03 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/darts/DelbiancoSNB17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jfp/SergeyVJB17,
  author    = {Ilya Sergey and
               Dimitrios Vytiniotis and
               Simon L. Peyton Jones and
               Joachim Breitner},
  title     = {Modular, higher order cardinality analysis in theory and practice},
  journal   = {J. Funct. Program.},
  volume    = {27},
  pages     = {e11},
  year      = {2017},
  url       = {https://doi.org/10.1017/S0956796817000016},
  doi       = {10.1017/S0956796817000016},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jfp/SergeyVJB17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DelbiancoSNB17,
  author    = {Germ{\'{a}}n Andr{\'{e}}s Delbianco and
               Ilya Sergey and
               Aleksandar Nanevski and
               Anindya Banerjee},
  title     = {Concurrent Data Structures Linked in Time},
  booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
               June 19-23, 2017, Barcelona, Spain},
  pages     = {8:1--8:30},
  year      = {2017},
  crossref  = {DBLP:conf/ecoop/2017},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.8},
  doi       = {10.4230/LIPIcs.ECOOP.2017.8},
  timestamp = {Tue, 27 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/DelbiancoSNB17},
  bibsource = {dblp computer science bibliography, http://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 = {Mon, 20 Nov 2017 10:52:06 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fc/SergeyH17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/snapl/WilcoxST17,
  author    = {James R. Wilcox and
               Ilya Sergey and
               Zachary Tatlock},
  title     = {Programming Language Abstractions for Modularly Verified Distributed
               Systems},
  booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
               7-10, 2017, Asilomar, CA, {USA}},
  pages     = {19:1--19:12},
  year      = {2017},
  crossref  = {DBLP:conf/snapl/2017},
  url       = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.19},
  doi       = {10.4230/LIPIcs.SNAPL.2017.19},
  timestamp = {Tue, 30 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/snapl/WilcoxST17},
  bibsource = {dblp computer science bibliography, http://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 = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/SergeyH17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Sergey16,
  author    = {Ilya Sergey},
  title     = {Experience report: growing and shrinking polygons for random testing
               of computational geometry algorithms},
  booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
               2016},
  pages     = {193--199},
  year      = {2016},
  crossref  = {DBLP:conf/icfp/2016},
  url       = {http://doi.acm.org/10.1145/2951913.2951927},
  doi       = {10.1145/2951913.2951927},
  timestamp = {Tue, 30 Aug 2016 13:45:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/Sergey16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SergeyNBD16,
  author    = {Ilya Sergey and
               Aleksandar Nanevski and
               Anindya Banerjee and
               Germ{\'{a}}n Andr{\'{e}}s Delbianco},
  title     = {Hoare-style specifications as correctness conditions for non-linearizable
               concurrent objects},
  booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
               October 30 - November 4, 2016},
  pages     = {92--110},
  year      = {2016},
  crossref  = {DBLP:conf/oopsla/2016},
  url       = {http://doi.acm.org/10.1145/2983990.2983999},
  doi       = {10.1145/2983990.2983999},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/SergeyNBD16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/DelbiancoSNB16,
  author    = {Germ{\'{a}}n Andr{\'{e}}s Delbianco and
               Ilya Sergey and
               Aleksandar Nanevski and
               Anindya Banerjee},
  title     = {Concurrent Data Structures Linked in Time},
  journal   = {CoRR},
  volume    = {abs/1604.08080},
  year      = {2016},
  url       = {http://arxiv.org/abs/1604.08080},
  archivePrefix = {arXiv},
  eprint    = {1604.08080},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/DelbiancoSNB16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/PodkopaevSN16,
  author    = {Anton Podkopaev and
               Ilya Sergey and
               Aleksandar Nanevski},
  title     = {Operational Aspects of {C/C++} Concurrency},
  journal   = {CoRR},
  volume    = {abs/1606.01400},
  year      = {2016},
  url       = {http://arxiv.org/abs/1606.01400},
  archivePrefix = {arXiv},
  eprint    = {1606.01400},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/PodkopaevSN16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esop/SergeyNB15,
  author    = {Ilya Sergey and
               Aleksandar Nanevski and
               Anindya Banerjee},
  title     = {Specifying and Verifying Concurrent Algorithms with Histories and
               Subjectivity},
  booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
               {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
               Proceedings},
  pages     = {333--358},
  year      = {2015},
  crossref  = {DBLP:conf/esop/2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8_14},
  doi       = {10.1007/978-3-662-46669-8_14},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/SergeyNB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SergeyNB15,
  author    = {Ilya Sergey and
               Aleksandar Nanevski and
               Anindya Banerjee},
  title     = {Mechanized verification of fine-grained concurrent programs},
  booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15-17,
               2015},
  pages     = {77--87},
  year      = {2015},
  crossref  = {DBLP:conf/pldi/2015},
  url       = {http://doi.acm.org/10.1145/2737924.2737964},
  doi       = {10.1145/2737924.2737964},
  timestamp = {Fri, 05 Jun 2015 07:23:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/SergeyNB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/SergeyNBD15,
  author    = {Ilya Sergey and
               Aleksandar Nanevski and
               Anindya Banerjee and
               Germ{\'{a}}n Andr{\'{e}}s Delbianco},
  title     = {Hoare-style Specifications as Correctness Conditions for Non-linearizable
               Concurrent Objects},
  journal   = {CoRR},
  volume    = {abs/1509.06220},
  year      = {2015},
  url       = {http://arxiv.org/abs/1509.06220},
  archivePrefix = {arXiv},
  eprint    = {1509.06220},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/SergeyNBD15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jfp/JohnsonSEMH14,
  author    = {J. Ian Johnson and
               Ilya Sergey and
               Christopher Earl and
               Matthew Might and
               David Van Horn},
  title     = {Pushdown flow analysis with abstract garbage collection},
  journal   = {J. Funct. Program.},
  volume    = {24},
  number    = {2-3},
  pages     = {218--283},
  year      = {2014},
  url       = {https://doi.org/10.1017/S0956796814000100},
  doi       = {10.1017/S0956796814000100},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jfp/JohnsonSEMH14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esop/NanevskiLSD14,
  author    = {Aleksandar Nanevski and
               Ruy Ley{-}Wild and
               Ilya Sergey and
               Germ{\'{a}}n Andr{\'{e}}s Delbianco},
  title     = {Communicating State Transition Systems for Fine-Grained Concurrent
               Resources},
  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     = {290--310},
  year      = {2014},
  crossref  = {DBLP:conf/esop/2014},
  url       = {https://doi.org/10.1007/978-3-642-54833-8_16},
  doi       = {10.1007/978-3-642-54833-8_16},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/NanevskiLSD14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Garcia-PerezNS14,
  author    = {{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
               Pablo Nogueira and
               Ilya Sergey},
  title     = {Deriving interpretations of the gradually-typed lambda calculus},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
               and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
               California, {USA}},
  pages     = {157--168},
  year      = {2014},
  crossref  = {DBLP:conf/pepm/2014},
  url       = {http://doi.acm.org/10.1145/2543728.2543742},
  doi       = {10.1145/2543728.2543742},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/Garcia-PerezNS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/SergeyVJ14,
  author    = {Ilya Sergey and
               Dimitrios Vytiniotis and
               Simon L. Peyton Jones},
  title     = {Modular, higher-order cardinality analysis in theory and practice},
  booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  pages     = {335--348},
  year      = {2014},
  crossref  = {DBLP:conf/popl/2014},
  url       = {http://doi.acm.org/10.1145/2535838.2535861},
  doi       = {10.1145/2535838.2535861},
  timestamp = {Thu, 09 Jan 2014 08:21:22 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/SergeyVJ14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/JohnsonSEMH14,
  author    = {J. Ian Johnson and
               Ilya Sergey and
               Christopher Earl and
               Matthew Might and
               David Van Horn},
  title     = {Pushdown flow analysis with abstract garbage collection},
  journal   = {CoRR},
  volume    = {abs/1406.5106},
  year      = {2014},
  url       = {http://arxiv.org/abs/1406.5106},
  archivePrefix = {arXiv},
  eprint    = {1406.5106},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/JohnsonSEMH14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/SergeyNB14,
  author    = {Ilya Sergey and
               Aleksandar Nanevski and
               Anindya Banerjee},
  title     = {Specifying and Verifying Concurrent Algorithms with Histories and
               Subjectivity},
  journal   = {CoRR},
  volume    = {abs/1410.0306},
  year      = {2014},
  url       = {http://arxiv.org/abs/1410.0306},
  archivePrefix = {arXiv},
  eprint    = {1410.0306},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/SergeyNB14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DevrieseSCP13,
  author    = {Dominique Devriese and
               Ilya Sergey and
               Dave Clarke and
               Frank Piessens},
  title     = {Fixing idioms: a recursion primitive for applicative DSLs},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
               2013},
  pages     = {97--106},
  year      = {2013},
  crossref  = {DBLP:conf/pepm/2013},
  url       = {http://doi.acm.org/10.1145/2426890.2426910},
  doi       = {10.1145/2426890.2426910},
  timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/DevrieseSCP13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SergeyDMMDCP13,
  author    = {Ilya Sergey and
               Dominique Devriese and
               Matthew Might and
               Jan Midtgaard and
               David Darais and
               Dave Clarke and
               Frank Piessens},
  title     = {Monadic abstract interpreters},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  pages     = {399--410},
  year      = {2013},
  crossref  = {DBLP:conf/pldi/2013},
  url       = {http://doi.acm.org/10.1145/2491956.2491979},
  doi       = {10.1145/2491956.2491979},
  timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/SergeyDMMDCP13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:series/lncs/ClarkeOSW13,
  author    = {Dave Clarke and
               Johan {\"{O}}stlund and
               Ilya Sergey and
               Tobias Wrigstad},
  title     = {Ownership Types: {A} Survey},
  booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
  pages     = {15--58},
  year      = {2013},
  crossref  = {DBLP:series/lncs/7850},
  url       = {https://doi.org/10.1007/978-3-642-36946-9_3},
  doi       = {10.1007/978-3-642-36946-9_3},
  timestamp = {Wed, 22 Nov 2017 09:15:21 +0100},
  biburl    = {http://dblp.org/rec/bib/series/lncs/ClarkeOSW13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/SergeyC12,
  author    = {Ilya Sergey and
               Dave Clarke},
  title     = {A correspondence between type checking via reduction and type checking
               via evaluation},
  journal   = {Inf. Process. Lett.},
  volume    = {112},
  number    = {1-2},
  pages     = {13--20},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ipl.2011.10.008},
  doi       = {10.1016/j.ipl.2011.10.008},
  timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/ipl/SergeyC12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esop/SergeyC12,
  author    = {Ilya Sergey and
               Dave Clarke},
  title     = {Gradual Ownership Types},
  booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
               {ESOP} 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     = {579--599},
  year      = {2012},
  crossref  = {DBLP:conf/esop/2012},
  url       = {https://doi.org/10.1007/978-3-642-28869-2_29},
  doi       = {10.1007/978-3-642-28869-2_29},
  timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/esop/SergeyC12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfp/EarlSMH12,
  author    = {Christopher Earl and
               Ilya Sergey and
               Matthew Might and
               David Van Horn},
  title     = {Introspective pushdown analysis of higher-order programs},
  booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
               ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  pages     = {177--188},
  year      = {2012},
  crossref  = {DBLP:conf/icfp/2012},
  url       = {http://doi.acm.org/10.1145/2364527.2364576},
  doi       = {10.1145/2364527.2364576},
  timestamp = {Fri, 07 Sep 2012 13:25:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/EarlSMH12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mpc/SergeyMC12,
  author    = {Ilya Sergey and
               Jan Midtgaard and
               Dave Clarke},
  title     = {Calculating Graph Algorithms for Dominance and Shortest Path},
  booktitle = {Mathematics of Program Construction - 11th International Conference,
               {MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
  pages     = {132--156},
  year      = {2012},
  crossref  = {DBLP:conf/mpc/2012},
  url       = {https://doi.org/10.1007/978-3-642-31113-0_8},
  doi       = {10.1007/978-3-642-31113-0_8},
  timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mpc/SergeyMC12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-1813,
  author    = {Christopher Earl and
               Ilya Sergey and
               Matthew Might and
               David Van Horn},
  title     = {Introspective Pushdown Analysis of Higher-Order Programs},
  journal   = {CoRR},
  volume    = {abs/1207.1813},
  year      = {2012},
  url       = {http://arxiv.org/abs/1207.1813},
  archivePrefix = {arXiv},
  eprint    = {1207.1813},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1207-1813},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ldta/SergeyC11,
  author    = {Ilya Sergey and
               Dave Clarke},
  title     = {From type checking by recursive descent to type checking with an abstract
               machine},
  booktitle = {Language Descriptions, Tools and Applications, {LDTA} 2011, Saarbr{\"{u}}cken,
               Germany, March 26-27, 2011. Proceeding},
  pages     = {2},
  year      = {2011},
  crossref  = {DBLP:conf/ldta/2011},
  url       = {http://doi.acm.org/10.1145/1988783.1988785},
  doi       = {10.1145/1988783.1988785},
  timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ldta/SergeyC11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ClarkeS09,
  author    = {Dave Clarke and
               Ilya Sergey},
  title     = {A semantics for context-oriented programming with layers},
  booktitle = {International Workshop on Context-Oriented Programming, {COP} 2009,
               Genova, Italy, July 7, 2009},
  pages     = {10:1--10:6},
  year      = {2009},
  crossref  = {DBLP:conf/ecoop/2009cop},
  url       = {http://doi.acm.org/10.1145/1562112.1562122},
  doi       = {10.1145/1562112.1562122},
  timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/ClarkeS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2017,
  editor    = {Peter M{\"{u}}ller},
  title     = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
               June 19-23, 2017, Barcelona, Spain},
  series    = {LIPIcs},
  volume    = {74},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-035-4},
  isbn      = {978-3-95977-035-4},
  timestamp = {Mon, 26 Jun 2017 09:52:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/2017},
  bibsource = {dblp computer science bibliography, http://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 = {Mon, 20 Nov 2017 10:52:06 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fc/2017w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/snapl/2017,
  editor    = {Benjamin S. Lerner and
               Rastislav Bod{\'{\i}}k and
               Shriram Krishnamurthi},
  title     = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
               7-10, 2017, Asilomar, CA, {USA}},
  series    = {LIPIcs},
  volume    = {71},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-032-3},
  isbn      = {978-3-95977-032-3},
  timestamp = {Mon, 29 May 2017 16:05:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/snapl/2017},
  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/oopsla/2016,
  editor    = {Eelco Visser and
               Yannis Smaragdakis},
  title     = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
               October 30 - November 4, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2983990},
  doi       = {10.1145/2983990},
  isbn      = {978-1-4503-4444-9},
  timestamp = {Tue, 25 Oct 2016 15:06:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esop/2015,
  editor    = {Jan Vitek},
  title     = {Programming Languages and Systems - 24th European Symposium on Programming,
               {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9032},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8},
  doi       = {10.1007/978-3-662-46669-8},
  isbn      = {978-3-662-46668-1},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/2015},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/pldi/2015},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/esop/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pepm/2014,
  editor    = {Wei{-}Ngan Chin and
               Jurriaan Hage},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
               and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
               California, {USA}},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2543728},
  isbn      = {978-1-4503-2619-3},
  timestamp = {Thu, 09 Jan 2014 10:44:12 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/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/pepm/2013,
  editor    = {Elvira Albert and
               Shin{-}Cheng Mu},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
               2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2426890},
  isbn      = {978-1-4503-1842-6},
  timestamp = {Fri, 18 Jan 2013 18:11:28 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/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}
}
@book{DBLP:series/lncs/7850,
  editor    = {Dave Clarke and
               James Noble and
               Tobias Wrigstad},
  title     = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
  series    = {Lecture Notes in Computer Science},
  volume    = {7850},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36946-9},
  doi       = {10.1007/978-3-642-36946-9},
  isbn      = {978-3-642-36945-2},
  timestamp = {Wed, 22 Nov 2017 09:15:21 +0100},
  biburl    = {http://dblp.org/rec/bib/series/lncs/7850},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esop/2012,
  editor    = {Helmut Seidl},
  title     = {Programming Languages and Systems - 21st European Symposium on Programming,
               {ESOP} 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    = {7211},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28869-2},
  doi       = {10.1007/978-3-642-28869-2},
  isbn      = {978-3-642-28868-5},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/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/mpc/2012,
  editor    = {Jeremy Gibbons and
               Pablo Nogueira},
  title     = {Mathematics of Program Construction - 11th International Conference,
               {MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7342},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31113-0},
  doi       = {10.1007/978-3-642-31113-0},
  isbn      = {978-3-642-31112-3},
  timestamp = {Mon, 22 May 2017 17:11:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mpc/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ldta/2011,
  editor    = {Claus Brabrand and
               Eric Van Wyk},
  title     = {Language Descriptions, Tools and Applications, {LDTA} 2011, Saarbr{\"{u}}cken,
               Germany, March 26-27, 2011. Proceeding},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0665-2},
  timestamp = {Tue, 21 Jun 2011 12:19:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ldta/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2009cop,
  editor    = {Pascal Costanza and
               Richard P. Gabriel and
               Robert Hirschfeld and
               Jorge Vallejos},
  title     = {International Workshop on Context-Oriented Programming, {COP} 2009,
               Genova, Italy, July 7, 2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {http://doi.acm.org/10.1145/1562112},
  doi       = {10.1145/1562112},
  isbn      = {978-1-60558-538-3},
  timestamp = {Wed, 09 Sep 2015 17:07:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/2009cop},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier