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/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},
  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},
  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},
  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},
  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},
  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},
  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 = {Mon, 05 Jun 2017 01:00:00 +0200},
  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 = {Thu, 15 Jun 2017 01:00:00 +0200},
  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 = {Tue, 16 May 2017 14:24:27 +0200},
  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 = {Fri, 26 May 2017 01:00:00 +0200},
  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 = {Fri, 19 May 2017 01:25:18 +0200},
  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 = {Sun, 04 Jun 2017 01:00:00 +0200},
  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},
  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 = {Tue, 21 Jun 2011 12:19:07 +0200},
  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, 09 Sep 2015 17:07:29 +0200},
  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/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 = {Tue, 16 May 2017 14:24:27 +0200},
  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