BibTeX records: Tiark Rompf

download as .bib file

@article{DBLP:journals/darts/WangR17,
  author    = {Fei Wang and
               Tiark Rompf},
  title     = {Towards Strong Normalization for Dependent Object Types {(DOT)} (Artifact)},
  journal   = {{DARTS}},
  volume    = {3},
  number    = {2},
  pages     = {05:1--05:3},
  year      = {2017},
  url       = {https://doi.org/10.4230/DARTS.3.2.5},
  doi       = {10.4230/DARTS.3.2.5},
  timestamp = {Mon, 03 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/darts/WangR17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WangR17,
  author    = {Fei Wang and
               Tiark Rompf},
  title     = {Towards Strong Normalization for Dependent Object Types {(DOT)}},
  booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
               June 19-23, 2017, Barcelona, Spain},
  pages     = {27:1--27:25},
  year      = {2017},
  crossref  = {DBLP:conf/ecoop/2017},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.27},
  doi       = {10.4230/LIPIcs.ECOOP.2017.27},
  timestamp = {Tue, 27 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/WangR17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pepm/RompfB17,
  author    = {Tiark Rompf and
               Kevin J. Brown},
  title     = {Functional parallels of sequential imperatives (short paper)},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {83--88},
  year      = {2017},
  crossref  = {DBLP:conf/pepm/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018891},
  timestamp = {Wed, 28 Dec 2016 13:32:22 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/RompfB17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/AminR17,
  author    = {Nada Amin and
               Tiark Rompf},
  title     = {Type soundness proofs with definitional interpreters},
  booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  pages     = {666--679},
  year      = {2017},
  crossref  = {DBLP:conf/popl/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3009866},
  timestamp = {Wed, 28 Dec 2016 13:17:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/AminR17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/AminR17a,
  author    = {Nada Amin and
               Tiark Rompf},
  title     = {LMS-Verify: abstraction without regret for verified systems programming},
  booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  pages     = {859--873},
  year      = {2017},
  crossref  = {DBLP:conf/popl/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3009867},
  timestamp = {Wed, 28 Dec 2016 13:17:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/AminR17a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dbpl/2017,
  editor    = {Tiark Rompf and
               Alexander Alexandrov},
  title     = {Proceedings of The 16th International Symposium on Database Programming
               Languages, {DBPL} 2017, Munich, Germany, September 1, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3122831},
  doi       = {10.1145/3122831},
  isbn      = {978-1-4503-5354-0},
  timestamp = {Fri, 08 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dbpl/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/EssertelTDBOR17,
  author    = {Gr{\'{e}}gory M. Essertel and
               Ruby Y. Tahboub and
               James M. Decker and
               Kevin J. Brown and
               Kunle Olukotun and
               Tiark Rompf},
  title     = {Flare: Native Compilation for Heterogeneous Workloads in Apache Spark},
  journal   = {CoRR},
  volume    = {abs/1703.08219},
  year      = {2017},
  url       = {http://arxiv.org/abs/1703.08219},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/EssertelTDBOR17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AminGORS16,
  author    = {Nada Amin and
               Samuel Gr{\"{u}}tter and
               Martin Odersky and
               Tiark Rompf and
               Sandro Stucki},
  title     = {The Essence of Dependent Object Types},
  booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
               Philip Wadler on the Occasion of His 60th Birthday},
  pages     = {249--272},
  year      = {2016},
  crossref  = {DBLP:conf/birthday/2016wadler},
  url       = {https://doi.org/10.1007/978-3-319-30936-1_14},
  doi       = {10.1007/978-3-319-30936-1_14},
  timestamp = {Tue, 23 May 2017 01:06:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/AminGORS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Rompf16,
  author    = {Tiark Rompf},
  title     = {The Essence of Multi-stage Evaluation in {LMS}},
  booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
               Philip Wadler on the Occasion of His 60th Birthday},
  pages     = {318--335},
  year      = {2016},
  crossref  = {DBLP:conf/birthday/2016wadler},
  url       = {https://doi.org/10.1007/978-3-319-30936-1_17},
  doi       = {10.1007/978-3-319-30936-1_17},
  timestamp = {Tue, 23 May 2017 01:06:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/Rompf16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cgo/BrownLRSSAO16,
  author    = {Kevin J. Brown and
               HyoukJoong Lee and
               Tiark Rompf and
               Arvind K. Sujeeth and
               Christopher De Sa and
               Christopher R. Aberger and
               Kunle Olukotun},
  title     = {Have abstraction and eat performance, too: optimized heterogeneous
               computing with parallel patterns},
  booktitle = {Proceedings of the 2016 International Symposium on Code Generation
               and Optimization, {CGO} 2016, Barcelona, Spain, March 12-18, 2016},
  pages     = {194--205},
  year      = {2016},
  crossref  = {DBLP:conf/cgo/2016},
  url       = {http://doi.acm.org/10.1145/2854038.2854042},
  doi       = {10.1145/2854038.2854042},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cgo/BrownLRSSAO16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gis/TahboubR16,
  author    = {Ruby Y. Tahboub and
               Tiark Rompf},
  title     = {On supporting compilation in spatial query engines: (vision paper)},
  booktitle = {Proceedings of the 24th {ACM} {SIGSPATIAL} International Conference
               on Advances in Geographic Information Systems, {GIS} 2016, Burlingame,
               California, USA, October 31 - November 3, 2016},
  pages     = {9:1--9:4},
  year      = {2016},
  crossref  = {DBLP:conf/gis/2016},
  url       = {http://doi.acm.org/10.1145/2996913.2996945},
  doi       = {10.1145/2996913.2996945},
  timestamp = {Thu, 09 Mar 2017 14:12:26 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/gis/TahboubR16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gpce/Rompf16,
  author    = {Tiark Rompf},
  title     = {Lightweight modular staging {(LMS):} generate all the things! (keynote)},
  booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
               Generative Programming: Concepts and Experiences, {GPCE} 2016, Amsterdam,
               The Netherlands, October 31 - November 1, 2016},
  pages     = {1},
  year      = {2016},
  crossref  = {DBLP:conf/gpce/2016},
  url       = {http://doi.acm.org/10.1145/2993236.2993237},
  doi       = {10.1145/2993236.2993237},
  timestamp = {Tue, 25 Oct 2016 11:25:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gpce/Rompf16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OsvaldEWAR16,
  author    = {Leo Osvald and
               Gr{\'{e}}gory M. Essertel and
               Xilun Wu and
               Lilliam I. Gonz{\'{a}}lez Alay{\'{o}}n and
               Tiark Rompf},
  title     = {Gentrification gone too far? affordable 2nd-class values for fun and
               (co-)effect},
  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     = {234--251},
  year      = {2016},
  crossref  = {DBLP:conf/oopsla/2016},
  url       = {http://doi.acm.org/10.1145/2983990.2984009},
  doi       = {10.1145/2983990.2984009},
  timestamp = {Sun, 02 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/OsvaldEWAR16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RompfA16,
  author    = {Tiark Rompf and
               Nada Amin},
  title     = {Type soundness for dependent object types {(DOT)}},
  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     = {624--641},
  year      = {2016},
  crossref  = {DBLP:conf/oopsla/2016},
  url       = {http://doi.acm.org/10.1145/2983990.2984008},
  doi       = {10.1145/2983990.2984008},
  timestamp = {Tue, 25 Oct 2016 15:06:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/RompfA16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/scala/OfenbeckRP16,
  author    = {Georg Ofenbeck and
               Tiark Rompf and
               Markus P{\"{u}}schel},
  title     = {RandIR: differential testing for embedded compilers},
  booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
               2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
  pages     = {21--30},
  year      = {2016},
  crossref  = {DBLP:conf/scala/2016},
  url       = {http://doi.acm.org/10.1145/2998392.2998397},
  doi       = {10.1145/2998392.2998397},
  timestamp = {Tue, 11 Apr 2017 11:20:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/scala/OfenbeckRP16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/scala/Rompf16,
  author    = {Tiark Rompf},
  title     = {Reflections on {LMS:} exploring front-end alternatives},
  booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
               2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
  pages     = {41--50},
  year      = {2016},
  crossref  = {DBLP:conf/scala/2016},
  url       = {http://doi.acm.org/10.1145/2998392.2998399},
  doi       = {10.1145/2998392.2998399},
  timestamp = {Tue, 11 Apr 2017 11:20:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/scala/Rompf16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pepm/2016,
  editor    = {Martin Erwig and
               Tiark Rompf},
  title     = {Proceedings of the 2016 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2016, St. Petersburg, FL, USA, January
               20 - 22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2847538},
  isbn      = {978-1-4503-4097-7},
  timestamp = {Fri, 08 Jan 2016 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RompfA15,
  author    = {Tiark Rompf and
               Nada Amin},
  title     = {Functional pearl: a {SQL} to {C} compiler in 500 lines of code},
  booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
               1-3, 2015},
  pages     = {2--9},
  year      = {2015},
  crossref  = {DBLP:conf/icfp/2015},
  url       = {http://doi.acm.org/10.1145/2784731.2784760},
  doi       = {10.1145/2784731.2784760},
  timestamp = {Tue, 08 Sep 2015 09:21:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/RompfA15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfp/StuckiRUB15,
  author    = {Nicolas Stucki and
               Tiark Rompf and
               Vlad Ureche and
               Phil Bagwell},
  title     = {{RRB} vector: a practical general purpose immutable sequence},
  booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
               1-3, 2015},
  pages     = {342--354},
  year      = {2015},
  crossref  = {DBLP:conf/icfp/2015},
  url       = {http://doi.acm.org/10.1145/2784731.2784739},
  doi       = {10.1145/2784731.2784739},
  timestamp = {Tue, 08 Sep 2015 09:21:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/StuckiRUB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/snapl/RompfBLSJAOSKDK15,
  author    = {Tiark Rompf and
               Kevin J. Brown and
               HyoukJoong Lee and
               Arvind K. Sujeeth and
               Manohar Jonnalagedda and
               Nada Amin and
               Georg Ofenbeck and
               Alen Stojanov and
               Yannis Klonatos and
               Mohammad Dashti and
               Christoph Koch and
               Markus P{\"{u}}schel and
               Kunle Olukotun},
  title     = {Go Meta! {A} Case for Generative Programming and DSLs in Performance
               Critical Systems},
  booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
               3-6, 2015, Asilomar, California, {USA}},
  pages     = {238--261},
  year      = {2015},
  crossref  = {DBLP:conf/snapl/2015},
  url       = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.238},
  doi       = {10.4230/LIPIcs.SNAPL.2015.238},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/snapl/RompfBLSJAOSKDK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015fhpc,
  editor    = {Tiark Rompf and
               Geoffrey Mainland},
  title     = {Proceedings of the 4th {ACM} {SIGPLAN} Workshop on Functional High-Performance
               Computing, FHPC@ICFP 2015, Vancouver, BC, Canada, September 3, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2808091},
  doi       = {10.1145/2808091},
  isbn      = {978-1-4503-3807-3},
  timestamp = {Tue, 15 Dec 2015 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/2015fhpc},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/RompfA15,
  author    = {Tiark Rompf and
               Nada Amin},
  title     = {From {F} to {DOT:} Type Soundness Proofs with Definitional Interpreters},
  journal   = {CoRR},
  volume    = {abs/1510.05216},
  year      = {2015},
  url       = {http://arxiv.org/abs/1510.05216},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/RompfA15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cacm/OderskyR14,
  author    = {Martin Odersky and
               Tiark Rompf},
  title     = {Unifying functional and object-oriented programming with Scala},
  journal   = {Commun. {ACM}},
  volume    = {57},
  number    = {4},
  pages     = {76--86},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2591013},
  doi       = {10.1145/2591013},
  timestamp = {Wed, 23 Apr 2014 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cacm/OderskyR14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/pvldb/KlonatosKRC14,
  author    = {Yannis Klonatos and
               Christoph Koch and
               Tiark Rompf and
               Hassan Chafi},
  title     = {Building Efficient Query Engines in a High-Level Language},
  journal   = {{PVLDB}},
  volume    = {7},
  number    = {10},
  pages     = {853--864},
  year      = {2014},
  url       = {http://www.vldb.org/pvldb/vol7/p853-klonatos.pdf},
  timestamp = {Thu, 03 Mar 2016 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/pvldb/KlonatosKRC14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/pvldb/KlonatosKRC14a,
  author    = {Yannis Klonatos and
               Christoph Koch and
               Tiark Rompf and
               Hassan Chafi},
  title     = {Errata for "Building Efficient Query Engines in a High-Level
               Language" {(PVLDB} 7(10): 853-864)},
  journal   = {{PVLDB}},
  volume    = {7},
  number    = {13},
  pages     = {1784},
  year      = {2014},
  url       = {http://www.vldb.org/pvldb/vol7/p1784-klonatos.pdf},
  timestamp = {Thu, 03 Mar 2016 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/pvldb/KlonatosKRC14a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tecs/SujeethBLRCOO14,
  author    = {Arvind K. Sujeeth and
               Kevin J. Brown and
               HyoukJoong Lee and
               Tiark Rompf and
               Hassan Chafi and
               Martin Odersky and
               Kunle Olukotun},
  title     = {Delite: {A} Compiler Architecture for Performance-Oriented Embedded
               Domain-Specific Languages},
  journal   = {{ACM} Trans. Embedded Comput. Syst.},
  volume    = {13},
  number    = {4s},
  pages     = {134:1--134:25},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2584665},
  doi       = {10.1145/2584665},
  timestamp = {Thu, 07 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tecs/SujeethBLRCOO14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fpl/GeorgeLNRBSOOI14,
  author    = {Nithin George and
               HyoukJoong Lee and
               David Novo and
               Tiark Rompf and
               Kevin J. Brown and
               Arvind K. Sujeeth and
               Martin Odersky and
               Kunle Olukotun and
               Paolo Ienne},
  title     = {Hardware system synthesis from Domain-Specific Languages},
  booktitle = {24th International Conference on Field Programmable Logic and Applications,
               {FPL} 2014, Munich, Germany, 2-4 September, 2014},
  pages     = {1--8},
  year      = {2014},
  crossref  = {DBLP:conf/fpl/2014},
  url       = {https://doi.org/10.1109/FPL.2014.6927454},
  doi       = {10.1109/FPL.2014.6927454},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fpl/GeorgeLNRBSOOI14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/micro/LeeBSRO14,
  author    = {HyoukJoong Lee and
               Kevin J. Brown and
               Arvind K. Sujeeth and
               Tiark Rompf and
               Kunle Olukotun},
  title     = {Locality-Aware Mapping of Nested Parallel Patterns on GPUs},
  booktitle = {47th Annual {IEEE/ACM} International Symposium on Microarchitecture,
               {MICRO} 2014, Cambridge, United Kingdom, December 13-17, 2014},
  pages     = {63--74},
  year      = {2014},
  crossref  = {DBLP:conf/micro/2014},
  url       = {https://doi.org/10.1109/MICRO.2014.23},
  doi       = {10.1109/MICRO.2014.23},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/micro/LeeBSRO14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AminRO14,
  author    = {Nada Amin and
               Tiark Rompf and
               Martin Odersky},
  title     = {Foundations of path-dependent types},
  booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
               Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
               part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  pages     = {233--249},
  year      = {2014},
  crossref  = {DBLP:conf/oopsla/2014},
  url       = {http://doi.acm.org/10.1145/2660193.2660216},
  doi       = {10.1145/2660193.2660216},
  timestamp = {Thu, 16 Oct 2014 09:05:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/AminRO14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/JonnalageddaCSRO14,
  author    = {Manohar Jonnalagedda and
               Thierry Coppey and
               Sandro Stucki and
               Tiark Rompf and
               Martin Odersky},
  title     = {Staged parser combinators for efficient data processing},
  booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
               Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
               part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  pages     = {637--653},
  year      = {2014},
  crossref  = {DBLP:conf/oopsla/2014},
  url       = {http://doi.acm.org/10.1145/2660193.2660241},
  doi       = {10.1145/2660193.2660241},
  timestamp = {Thu, 16 Oct 2014 09:05:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/JonnalageddaCSRO14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/StojanovORP14,
  author    = {Alen Stojanov and
               Georg Ofenbeck and
               Tiark Rompf and
               Markus P{\"{u}}schel},
  title     = {Abstracting Vector Architectures in Library Generators: Case Study
               Convolution Filters},
  booktitle = {ARRAY'14: Proceedings of the 2014 {ACM} {SIGPLAN} International Workshop
               on Libraries, Languages, and Compilers for Array Programming, Edinburgh,
               United Kingdom, June 12-13, 2014},
  pages     = {14--19},
  year      = {2014},
  crossref  = {DBLP:conf/pldi/2014array},
  url       = {http://doi.acm.org/10.1145/2627373.2627376},
  doi       = {10.1145/2627373.2627376},
  timestamp = {Wed, 22 Apr 2015 16:42:02 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/StojanovORP14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RompfSBLCO14,
  author    = {Tiark Rompf and
               Arvind K. Sujeeth and
               Kevin J. Brown and
               HyoukJoong Lee and
               Hassan Chafi and
               Kunle Olukotun},
  title     = {Surgical precision {JIT} compilers},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  pages     = {41--52},
  year      = {2014},
  crossref  = {DBLP:conf/pldi/2014},
  url       = {http://doi.acm.org/10.1145/2594291.2594316},
  doi       = {10.1145/2594291.2594316},
  timestamp = {Tue, 20 Dec 2016 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/RompfSBLCO14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tap/AminLR14,
  author    = {Nada Amin and
               K. Rustan M. Leino and
               Tiark Rompf},
  title     = {Computing with an {SMT} Solver},
  booktitle = {Tests and Proofs - 8th International Conference, {TAP} 2014, Held
               as Part of {STAF} 2014, York, UK, July 24-25, 2014. Proceedings},
  pages     = {20--35},
  year      = {2014},
  crossref  = {DBLP:conf/tap/2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3_2},
  doi       = {10.1007/978-3-319-09099-3_2},
  timestamp = {Fri, 19 May 2017 01:25:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tap/AminLR14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfp/2014wgp,
  editor    = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
               Tiark Rompf},
  title     = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
               {WGP} 2014, Gothenburg, Sweden, August 31, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2633628},
  doi       = {10.1145/2633628},
  isbn      = {978-1-4503-3042-8},
  timestamp = {Thu, 25 Jun 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/2014wgp},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StuckiAJR13,
  author    = {Sandro Stucki and
               Nada Amin and
               Manohar Jonnalagedda and
               Tiark Rompf},
  title     = {What are the Odds?: probabilistic programming in Scala},
  booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
               France, July 2, 2013},
  pages     = {11:1--11:9},
  year      = {2013},
  crossref  = {DBLP:conf/ecoop/2013scala},
  url       = {http://doi.acm.org/10.1145/2489837.2489848},
  doi       = {10.1145/2489837.2489848},
  timestamp = {Tue, 14 Jun 2016 20:47:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/StuckiAJR13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SujeethRBLCPWPJOO13,
  author    = {Arvind K. Sujeeth and
               Tiark Rompf and
               Kevin J. Brown and
               HyoukJoong Lee and
               Hassan Chafi and
               Victoria Popic and
               Michael Wu and
               Aleksandar Prokopec and
               Vojin Jovanovic and
               Martin Odersky and
               Kunle Olukotun},
  title     = {Composition and Reuse with Compiled Domain-Specific Languages},
  booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
               Montpellier, France, July 1-5, 2013. Proceedings},
  pages     = {52--78},
  year      = {2013},
  crossref  = {DBLP:conf/ecoop/2013},
  url       = {https://doi.org/10.1007/978-3-642-39038-8_3},
  doi       = {10.1007/978-3-642-39038-8_3},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/SujeethRBLCPWPJOO13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fpt/GeorgeNROI13,
  author    = {Nithin George and
               David Novo and
               Tiark Rompf and
               Martin Odersky and
               Paolo Ienne},
  title     = {Making domain-specific hardware synthesis tools cost-efficient},
  booktitle = {2013 International Conference on Field-Programmable Technology, {FPT}
               2013, Kyoto, Japan, December 9-11, 2013},
  pages     = {120--127},
  year      = {2013},
  crossref  = {DBLP:conf/fpt/2013},
  url       = {https://doi.org/10.1109/FPT.2013.6718341},
  doi       = {10.1109/FPT.2013.6718341},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fpt/GeorgeNROI13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gpce/OfenbeckRSOP13,
  author    = {Georg Ofenbeck and
               Tiark Rompf and
               Alen Stojanov and
               Martin Odersky and
               Markus P{\"{u}}schel},
  title     = {Spiral in scala: towards the systematic construction of generators
               for performance libraries},
  booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis,
               IN, {USA} - October 27 - 28, 2013},
  pages     = {125--134},
  year      = {2013},
  crossref  = {DBLP:conf/gpce/2013},
  url       = {http://doi.acm.org/10.1145/2517208.2517228},
  doi       = {10.1145/2517208.2517228},
  timestamp = {Fri, 25 Oct 2013 08:33:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gpce/OfenbeckRSOP13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gpce/SujeethGBLROO13,
  author    = {Arvind K. Sujeeth and
               Austin Gibbons and
               Kevin J. Brown and
               HyoukJoong Lee and
               Tiark Rompf and
               Martin Odersky and
               Kunle Olukotun},
  title     = {Forge: generating a high performance {DSL} implementation from a declarative
               specification},
  booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis,
               IN, {USA} - October 27 - 28, 2013},
  pages     = {145--154},
  year      = {2013},
  crossref  = {DBLP:conf/gpce/2013},
  url       = {http://doi.acm.org/10.1145/2517208.2517220},
  doi       = {10.1145/2517208.2517220},
  timestamp = {Fri, 25 Oct 2013 08:33:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gpce/SujeethGBLROO13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/RompfSABJLJOO13,
  author    = {Tiark Rompf and
               Arvind K. Sujeeth and
               Nada Amin and
               Kevin J. Brown and
               Vojin Jovanovic and
               HyoukJoong Lee and
               Manohar Jonnalagedda and
               Kunle Olukotun and
               Martin Odersky},
  title     = {Optimizing data structures in high-level programs: new directions
               for extensible compilers based on staging},
  booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
               2013},
  pages     = {497--510},
  year      = {2013},
  crossref  = {DBLP:conf/popl/2013},
  url       = {http://doi.acm.org/10.1145/2429069.2429128},
  doi       = {10.1145/2429069.2429128},
  timestamp = {Fri, 18 Jan 2013 17:48:28 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/RompfSABJLJOO13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cacm/RompfO12,
  author    = {Tiark Rompf and
               Martin Odersky},
  title     = {Lightweight modular staging: a pragmatic approach to runtime code
               generation and compiled DSLs},
  journal   = {Commun. {ACM}},
  volume    = {55},
  number    = {6},
  pages     = {121--130},
  year      = {2012},
  url       = {http://doi.acm.org/10.1145/2184319.2184345},
  doi       = {10.1145/2184319.2184345},
  timestamp = {Thu, 31 May 2012 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cacm/RompfO12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/lisp/RompfAMHO12,
  author    = {Tiark Rompf and
               Nada Amin and
               Adriaan Moors and
               Philipp Haller and
               Martin Odersky},
  title     = {Scala-Virtualized: linguistic reuse for deep embeddings},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {25},
  number    = {1},
  pages     = {165--207},
  year      = {2012},
  url       = {https://doi.org/10.1007/s10990-013-9096-9},
  doi       = {10.1007/s10990-013-9096-9},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/lisp/RompfAMHO12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KossakowskiARO12,
  author    = {Grzegorz Kossakowski and
               Nada Amin and
               Tiark Rompf and
               Martin Odersky},
  title     = {JavaScript as an Embedded {DSL}},
  booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
               Beijing, China, June 11-16, 2012. Proceedings},
  pages     = {409--434},
  year      = {2012},
  crossref  = {DBLP:conf/ecoop/2012},
  url       = {https://doi.org/10.1007/978-3-642-31057-7_19},
  doi       = {10.1007/978-3-642-31057-7_19},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/KossakowskiARO12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pepm/UrecheRSCO12,
  author    = {Vlad Ureche and
               Tiark Rompf and
               Arvind K. Sujeeth and
               Hassan Chafi and
               Martin Odersky},
  title     = {StagedSAC: a case study in performance-oriented {DSL} development},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
               USA, January 23-24, 2012},
  pages     = {73--82},
  year      = {2012},
  crossref  = {DBLP:conf/pepm/2012},
  url       = {http://doi.acm.org/10.1145/2103746.2103762},
  doi       = {10.1145/2103746.2103762},
  timestamp = {Thu, 12 May 2016 12:49:30 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/UrecheRSCO12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MoorsRHO12,
  author    = {Adriaan Moors and
               Tiark Rompf and
               Philipp Haller and
               Martin Odersky},
  title     = {Scala-virtualized},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
               USA, January 23-24, 2012},
  pages     = {117--120},
  year      = {2012},
  crossref  = {DBLP:conf/pepm/2012},
  url       = {http://doi.acm.org/10.1145/2103746.2103769},
  doi       = {10.1145/2103746.2103769},
  timestamp = {Thu, 12 May 2016 12:49:30 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/MoorsRHO12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/concurrency/HinkelmannJMRS11,
  author    = {Markus Hinkelmann and
               Andreas Jakoby and
               Nina Moebius and
               Tiark Rompf and
               Peer Stechert},
  title     = {A cryptographically \emph{t}-private auction system},
  journal   = {Concurrency and Computation: Practice and Experience},
  volume    = {23},
  number    = {12},
  pages     = {1399--1413},
  year      = {2011},
  url       = {https://doi.org/10.1002/cpe.1684},
  doi       = {10.1002/cpe.1684},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/concurrency/HinkelmannJMRS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/micro/LeeBSCROO11,
  author    = {HyoukJoong Lee and
               Kevin J. Brown and
               Arvind K. Sujeeth and
               Hassan Chafi and
               Tiark Rompf and
               Martin Odersky and
               Kunle Olukotun},
  title     = {Implementing Domain-Specific Languages for Heterogeneous Parallel
               Computing},
  journal   = {{IEEE} Micro},
  volume    = {31},
  number    = {5},
  pages     = {42--53},
  year      = {2011},
  url       = {https://doi.org/10.1109/MM.2011.68},
  doi       = {10.1109/MM.2011.68},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/micro/LeeBSCROO11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/BrownSLRCOO11,
  author    = {Kevin J. Brown and
               Arvind K. Sujeeth and
               HyoukJoong Lee and
               Tiark Rompf and
               Hassan Chafi and
               Martin Odersky and
               Kunle Olukotun},
  title     = {A Heterogeneous Parallel Framework for Domain-Specific Languages},
  booktitle = {2011 International Conference on Parallel Architectures and Compilation
               Techniques, {PACT} 2011, Galveston, TX, USA, October 10-14, 2011},
  pages     = {89--100},
  year      = {2011},
  crossref  = {DBLP:conf/IEEEpact/2011},
  url       = {https://doi.org/10.1109/PACT.2011.15},
  doi       = {10.1109/PACT.2011.15},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/IEEEpact/BrownSLRCOO11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/europar/ProkopecBRO11,
  author    = {Aleksandar Prokopec and
               Phil Bagwell and
               Tiark Rompf and
               Martin Odersky},
  title     = {A Generic Parallel Collection Framework},
  booktitle = {Euro-Par 2011 Parallel Processing - 17th International Conference,
               Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings,
               Part {II}},
  pages     = {136--147},
  year      = {2011},
  crossref  = {DBLP:conf/europar/2011-2},
  url       = {https://doi.org/10.1007/978-3-642-23397-5_14},
  doi       = {10.1007/978-3-642-23397-5_14},
  timestamp = {Wed, 24 May 2017 08:27:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/europar/ProkopecBRO11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icml/SujeethLBRCWAOO11,
  author    = {Arvind K. Sujeeth and
               HyoukJoong Lee and
               Kevin J. Brown and
               Tiark Rompf and
               Hassan Chafi and
               Michael Wu and
               Anand R. Atreya and
               Martin Odersky and
               Kunle Olukotun},
  title     = {OptiML: An Implicitly Parallel Domain-Specific Language for Machine
               Learning},
  booktitle = {Proceedings of the 28th International Conference on Machine Learning,
               {ICML} 2011, Bellevue, Washington, USA, June 28 - July 2, 2011},
  pages     = {609--616},
  year      = {2011},
  crossref  = {DBLP:conf/icml/2011},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icml/SujeethLBRCWAOO11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-0778,
  author    = {Tiark Rompf and
               Arvind K. Sujeeth and
               HyoukJoong Lee and
               Kevin J. Brown and
               Hassan Chafi and
               Martin Odersky and
               Kunle Olukotun},
  title     = {Building-Blocks for Performance Oriented DSLs},
  booktitle = {Proceedings {IFIP} Working Conference on Domain-Specific Languages,
               {DSL} 2011, Bordeaux, France, 6-8th September 2011.},
  pages     = {93--117},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1109-0323},
  url       = {https://doi.org/10.4204/EPTCS.66.5},
  doi       = {10.4204/EPTCS.66.5},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1109-0778},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gpce/RompfO10,
  author    = {Tiark Rompf and
               Martin Odersky},
  title     = {Lightweight modular staging: a pragmatic approach to runtime code
               generation and compiled DSLs},
  booktitle = {Generative Programming And Component Engineering, Proceedings of the
               Ninth International Conference on Generative Programming and Component
               Engineering, {GPCE} 2010, Eindhoven, The Netherlands, October 10-13,
               2010},
  pages     = {127--136},
  year      = {2010},
  crossref  = {DBLP:conf/gpce/2010},
  url       = {http://doi.acm.org/10.1145/1868294.1868314},
  doi       = {10.1145/1868294.1868314},
  timestamp = {Mon, 14 Feb 2011 12:14:54 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/gpce/RompfO10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ChafiDMRSHOO10,
  author    = {Hassan Chafi and
               Zach DeVito and
               Adriaan Moors and
               Tiark Rompf and
               Arvind K. Sujeeth and
               Pat Hanrahan and
               Martin Odersky and
               Kunle Olukotun},
  title     = {Language virtualization for heterogeneous parallel computing},
  booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
               October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
  pages     = {835--847},
  year      = {2010},
  crossref  = {DBLP:conf/oopsla/2010},
  url       = {http://doi.acm.org/10.1145/1869459.1869527},
  doi       = {10.1145/1869459.1869527},
  timestamp = {Wed, 27 Oct 2010 13:44:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/ChafiDMRSHOO10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RompfMO09,
  author    = {Tiark Rompf and
               Ingo Maier and
               Martin Odersky},
  title     = {Implementing first-class polymorphic delimited continuations by a
               type-directed selective CPS-transform},
  booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
               31 - September 2, 2009},
  pages     = {317--328},
  year      = {2009},
  crossref  = {DBLP:conf/icfp/2009},
  url       = {http://doi.acm.org/10.1145/1596550.1596596},
  doi       = {10.1145/1596550.1596596},
  timestamp = {Wed, 23 Sep 2009 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/RompfMO09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nss/HinkelmannJMRS09,
  author    = {Markus Hinkelmann and
               Andreas Jakoby and
               Nina Moebius and
               Tiark Rompf and
               Peer Stechert},
  title     = {A Cryptographically t-Private Auction System},
  booktitle = {Third International Conference on Network and System Security, {NSS}
               2009, Gold Coast, Queensland, Australia, October 19-21, 2009},
  pages     = {44--51},
  year      = {2009},
  crossref  = {DBLP:conf/nss/2009},
  url       = {https://doi.org/10.1109/NSS.2009.41},
  doi       = {10.1109/NSS.2009.41},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/nss/HinkelmannJMRS09},
  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/pepm/2017,
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3018882},
  doi       = {10.1145/3018882},
  isbn      = {978-1-4503-4721-1},
  timestamp = {Wed, 28 Dec 2016 13:32:22 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2017,
  editor    = {Giuseppe Castagna and
               Andrew D. Gordon},
  title     = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3009837},
  doi       = {10.1145/3009837},
  isbn      = {978-1-4503-4660-3},
  timestamp = {Wed, 28 Dec 2016 13:17:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2016wadler,
  editor    = {Sam Lindley and
               Conor McBride and
               Philip W. Trinder and
               Donald Sannella},
  title     = {A List of Successes That Can Change the World - Essays Dedicated to
               Philip Wadler on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9600},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-30936-1},
  doi       = {10.1007/978-3-319-30936-1},
  isbn      = {978-3-319-30935-4},
  timestamp = {Tue, 23 May 2017 01:06:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2016wadler},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cgo/2016,
  editor    = {Bj{\"{o}}rn Franke and
               Youfeng Wu and
               Fabrice Rastello},
  title     = {Proceedings of the 2016 International Symposium on Code Generation
               and Optimization, {CGO} 2016, Barcelona, Spain, March 12-18, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2854038},
  isbn      = {978-1-4503-3778-6},
  timestamp = {Wed, 02 Mar 2016 08:42:33 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cgo/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gis/2016,
  editor    = {Siva Ravada and
               Mohammed Eunus Ali and
               Shawn D. Newsam and
               Matthias Renz and
               Goce Trajcevski},
  title     = {Proceedings of the 24th {ACM} {SIGSPATIAL} International Conference
               on Advances in Geographic Information Systems, {GIS} 2016, Burlingame,
               California, USA, October 31 - November 3, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2996913},
  doi       = {10.1145/2996913},
  isbn      = {978-1-4503-4589-7},
  timestamp = {Thu, 09 Mar 2017 14:12:26 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/gis/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gpce/2016,
  editor    = {Bernd Fischer and
               Ina Schaefer},
  title     = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
               Generative Programming: Concepts and Experiences, {GPCE} 2016, Amsterdam,
               The Netherlands, October 31 - November 1, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2993236},
  doi       = {10.1145/2993236},
  isbn      = {978-1-4503-4446-3},
  timestamp = {Tue, 25 Oct 2016 11:25:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gpce/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/scala/2016,
  editor    = {Aggelos Biboudis and
               Manohar Jonnalagedda and
               Sandro Stucki and
               Vlad Ureche},
  title     = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
               2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2998392},
  doi       = {10.1145/2998392},
  isbn      = {978-1-4503-4648-1},
  timestamp = {Tue, 11 Apr 2017 11:20:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/scala/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015,
  editor    = {Kathleen Fisher and
               John H. Reppy},
  title     = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
               1-3, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2784731},
  isbn      = {978-1-4503-3669-7},
  timestamp = {Tue, 08 Sep 2015 09:21:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/snapl/2015,
  editor    = {Thomas Ball and
               Rastislav Bod{\'{\i}}k and
               Shriram Krishnamurthi and
               Benjamin S. Lerner and
               Greg Morrisett},
  title     = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
               3-6, 2015, Asilomar, California, {USA}},
  series    = {LIPIcs},
  volume    = {32},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-80-4},
  isbn      = {978-3-939897-80-4},
  timestamp = {Mon, 04 May 2015 13:22:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/snapl/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fpl/2014,
  title     = {24th International Conference on Field Programmable Logic and Applications,
               {FPL} 2014, Munich, Germany, 2-4 September, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6913605},
  timestamp = {Thu, 30 Oct 2014 13:36:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fpl/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/micro/2014,
  title     = {47th Annual {IEEE/ACM} International Symposium on Microarchitecture,
               {MICRO} 2014, Cambridge, United Kingdom, December 13-17, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7008946},
  isbn      = {978-1-4799-6998-2},
  timestamp = {Fri, 23 Dec 2016 12:56:23 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/micro/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2014,
  editor    = {Andrew P. Black and
               Todd D. Millstein},
  title     = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
               Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
               part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2660193},
  isbn      = {978-1-4503-2585-1},
  timestamp = {Thu, 16 Oct 2014 09:05:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2014array,
  editor    = {Laurie J. Hendren and
               Alex Rubinsteyn and
               Mary Sheeran and
               Jan Vitek},
  title     = {ARRAY'14: Proceedings of the 2014 {ACM} {SIGPLAN} International Workshop
               on Libraries, Languages, and Compilers for Array Programming, Edinburgh,
               United Kingdom, June 12-13, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2627373},
  isbn      = {978-1-4503-2937-8},
  timestamp = {Wed, 22 Apr 2015 16:42:02 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/2014array},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2014,
  editor    = {Michael F. P. O'Boyle and
               Keshav Pingali},
  title     = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2594291},
  isbn      = {978-1-4503-2784-8},
  timestamp = {Sat, 10 May 2014 14:18:27 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tap/2014,
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Tests and Proofs - 8th International Conference, {TAP} 2014, Held
               as Part of {STAF} 2014, York, UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3},
  doi       = {10.1007/978-3-319-09099-3},
  isbn      = {978-3-319-09098-6},
  timestamp = {Fri, 19 May 2017 01:25:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tap/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2013scala,
  title     = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
               France, July 2, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://doi.acm.org/10.1145/2489837},
  doi       = {10.1145/2489837},
  isbn      = {978-1-4503-2064-1},
  timestamp = {Tue, 14 Jun 2016 20:47:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/2013scala},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2013,
  editor    = {Giuseppe Castagna},
  title     = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
               Montpellier, France, July 1-5, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7920},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39038-8},
  doi       = {10.1007/978-3-642-39038-8},
  isbn      = {978-3-642-39037-1},
  timestamp = {Sun, 21 May 2017 00:20:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fpt/2013,
  title     = {2013 International Conference on Field-Programmable Technology, {FPT}
               2013, Kyoto, Japan, December 9-11, 2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6712172},
  timestamp = {Mon, 27 Jan 2014 14:50:16 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fpt/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gpce/2013,
  editor    = {Jaakko J{\"{a}}rvi and
               Christian K{\"{a}}stner},
  title     = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis,
               IN, {USA} - October 27 - 28, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2517208},
  isbn      = {978-1-4503-2373-4},
  timestamp = {Fri, 25 Oct 2013 08:33:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gpce/2013},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/popl/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2012,
  editor    = {James Noble},
  title     = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
               Beijing, China, June 11-16, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7313},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31057-7},
  doi       = {10.1007/978-3-642-31057-7},
  isbn      = {978-3-642-31056-0},
  timestamp = {Sun, 21 May 2017 00:20:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pepm/2012,
  editor    = {Oleg Kiselyov and
               Simon J. Thompson},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
               USA, January 23-24, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2103746},
  isbn      = {978-1-4503-1118-2},
  timestamp = {Thu, 12 May 2016 12:49:30 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/IEEEpact/2011,
  editor    = {Lawrence Rauchwerger and
               Vivek Sarkar},
  title     = {2011 International Conference on Parallel Architectures and Compilation
               Techniques, {PACT} 2011, Galveston, TX, USA, October 10-14, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6112806},
  isbn      = {978-1-4577-1794-9},
  timestamp = {Mon, 11 Aug 2014 17:11:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/IEEEpact/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/europar/2011-2,
  editor    = {Emmanuel Jeannot and
               Raymond Namyst and
               Jean Roman},
  title     = {Euro-Par 2011 Parallel Processing - 17th International Conference,
               Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings,
               Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6853},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23397-5},
  doi       = {10.1007/978-3-642-23397-5},
  isbn      = {978-3-642-23396-8},
  timestamp = {Wed, 24 May 2017 08:27:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/europar/2011-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icml/2011,
  editor    = {Lise Getoor and
               Tobias Scheffer},
  title     = {Proceedings of the 28th International Conference on Machine Learning,
               {ICML} 2011, Bellevue, Washington, USA, June 28 - July 2, 2011},
  publisher = {Omnipress},
  year      = {2011},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icml/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1109-0323,
  editor    = {Olivier Danvy and
               Chung{-}chieh Shan},
  title     = {Proceedings {IFIP} Working Conference on Domain-Specific Languages,
               {DSL} 2011, Bordeaux, France, 6-8th September 2011},
  series    = {{EPTCS}},
  volume    = {66},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.66},
  doi       = {10.4204/EPTCS.66},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1109-0323},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gpce/2010,
  editor    = {Eelco Visser and
               Jaakko J{\"{a}}rvi},
  title     = {Generative Programming And Component Engineering, Proceedings of the
               Ninth International Conference on Generative Programming and Component
               Engineering, {GPCE} 2010, Eindhoven, The Netherlands, October 10-13,
               2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0154-1},
  timestamp = {Mon, 14 Feb 2011 12:14:54 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/gpce/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2010,
  editor    = {William R. Cook and
               Siobh{\'{a}}n Clarke and
               Martin C. Rinard},
  title     = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
               October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0203-6},
  timestamp = {Wed, 27 Oct 2010 13:44:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfp/2009,
  editor    = {Graham Hutton and
               Andrew P. Tolmach},
  title     = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
               31 - September 2, 2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-332-7},
  timestamp = {Tue, 22 Sep 2009 22:06:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nss/2009,
  editor    = {Yang Xiang and
               Javier Lopez and
               Haining Wang and
               Wanlei Zhou},
  title     = {Third International Conference on Network and System Security, {NSS}
               2009, Gold Coast, Queensland, Australia, October 19-21, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5328291},
  isbn      = {978-0-7695-3838-9},
  timestamp = {Mon, 08 Dec 2014 17:31:20 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/nss/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier