Search dblp for Publications

export results for "toc:db/conf/oopsla/onward2016.bht:"

 download as .bib file

@inproceedings{DBLP:conf/oopsla/AfshariS16,
  author       = {Mehrdad Afshari and
                  Zhendong Su},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Building white-box abstractions by program refinement},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {74--81},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986025},
  doi          = {10.1145/2986012.2986025},
  timestamp    = {Tue, 27 Dec 2022 12:44:40 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/AfshariS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Cardozo16,
  author       = {Nicol{\'{a}}s Cardozo},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Emergent software services},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {15--28},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986016},
  doi          = {10.1145/2986012.2986016},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/Cardozo16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ChisGKNRS16,
  author       = {Andrei Chis and
                  Tudor G{\^{\i}}rba and
                  Juraj Kubelka and
                  Oscar Nierstrasz and
                  Stefan Reichhart and
                  Aliaksei Syrel},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Moldable, context-aware searching with Spotter},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {128--144},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986023},
  doi          = {10.1145/2986012.2986023},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/ChisGKNRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Emerich16,
  author       = {Johannes Emerich},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {How are programs found? speculating about language ergonomics with
                  Curry-Howard},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {212--223},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986030},
  doi          = {10.1145/2986012.2986030},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/Emerich16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ForsH16,
  author       = {Niklas Fors and
                  G{\"{o}}rel Hedin},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Bloqqi: modular feature-based block diagram programming},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {57--73},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986026},
  doi          = {10.1145/2986012.2986026},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/ForsH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Gabriel16,
  author       = {Richard P. Gabriel},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {in the control room of the banquet},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {250--268},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986028},
  doi          = {10.1145/2986012.2986028},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/Gabriel16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/IndelaKND16,
  author       = {Soumya Indela and
                  Mukul Kulkarni and
                  Kartik Nayak and
                  Tudor Dumitras},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Helping Johnny encrypt: toward semantic interfaces for cryptographic
                  frameworks},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {180--196},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986024},
  doi          = {10.1145/2986012.2986024},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/IndelaKND16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/IngallsFHKLRTM16,
  author       = {Daniel Ingalls and
                  Tim Felgentreff and
                  Robert Hirschfeld and
                  Robert Krahn and
                  Jens Lincke and
                  Marko R{\"{o}}der and
                  Antero Taivalsaari and
                  Tommi Mikkonen},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {A world of active objects for work and play: the first ten years of
                  lively},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {238--249},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986029},
  doi          = {10.1145/2986012.2986029},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/IngallsFHKLRTM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KurajJ16,
  author       = {Ivan Kuraj and
                  Daniel Jackson},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Exploring the role of sequential computation in distributed systems:
                  motivating a programming paradigm shift},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {145--164},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986015},
  doi          = {10.1145/2986012.2986015},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/KurajJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Kuramitsu16,
  author       = {Kimio Kuramitsu},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Nez: practical open grammar language},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {29--42},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986019},
  doi          = {10.1145/2986012.2986019},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/Kuramitsu16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MarterBLH16,
  author       = {Tim Marter and
                  Paul Babucke and
                  Philipp Lembken and
                  Stefan Hanenberg},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Lightweight programming experiments without programmers and programs:
                  an example study on the effect of similarity and number of object
                  identifiers on the readability of source code using natural texts},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {1--14},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986020},
  doi          = {10.1145/2986012.2986020},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/MarterBLH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/McCutchenIJ16,
  author       = {Matt McCutchen and
                  Shachar Itzhaky and
                  Daniel Jackson},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Object spreadsheets: a new computational model for end-user development
                  of data-centric web applications},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {112--127},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986018},
  doi          = {10.1145/2986012.2986018},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/McCutchenIJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MillerHMB16,
  author       = {Heather Miller and
                  Philipp Haller and
                  Normen M{\"{u}}ller and
                  Jocelyn Boullier},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Function passing: a model for typed, distributed functional programming},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {82--97},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986014},
  doi          = {10.1145/2986012.2986014},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/MillerHMB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MilojkovicN16,
  author       = {Nevena Milojkovic and
                  Oscar Nierstrasz},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Exploring cheap type inference heuristics in dynamically typed languages},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {43--56},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986017},
  doi          = {10.1145/2986012.2986017},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/MilojkovicN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/NobleBBHM16,
  author       = {James Noble and
                  Andrew P. Black and
                  Kim B. Bruce and
                  Michael Homer and
                  Mark S. Miller},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {The left hand of equals},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {224--237},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986031},
  doi          = {10.1145/2986012.2986031},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/NobleBBHM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ReinHT16,
  author       = {Patrick Rein and
                  Robert Hirschfeld and
                  Marcel Taeumel},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Gramada: immediacy in programming language development},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {165--179},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986022},
  doi          = {10.1145/2986012.2986022},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/ReinHT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/YadidY16,
  author       = {Shir Yadid and
                  Eran Yahav},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Extracting code from programming tutorial videos},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {98--111},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986021},
  doi          = {10.1145/2986012.2986021},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/YadidY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZilbersteinY16,
  author       = {Meital Zilberstein and
                  Eran Yahav},
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {Leveraging a corpus of natural language descriptions for program similarity},
  booktitle    = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  pages        = {197--211},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012.2986013},
  doi          = {10.1145/2986012.2986013},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/ZilbersteinY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2016onward,
  editor       = {Eelco Visser and
                  Emerson R. Murphy{-}Hill and
                  Cristina V. Lopes},
  title        = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
                  Reflections on Programming and Software, Onward! 2016, Amsterdam,
                  The Netherlands, November 2-4, 2016},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2986012},
  doi          = {10.1145/2986012},
  isbn         = {978-1-4503-4076-2},
  timestamp    = {Tue, 27 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/2016onward.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics