Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/oopsla/oopsla2015.bht:"
download as .bib file
@inproceedings{DBLP:conf/oopsla/0001SCA15,
author = {Rahul Sharma and
Eric Schkufza and
Berkeley R. Churchill and
Alex Aiken},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Conditionally correct superoptimization},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {147--162},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814278},
doi = {10.1145/2814270.2814278},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/0001SCA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/0003KLS15,
author = {Martin Aigner and
Christoph M. Kirsch and
Michael Lippautz and
Ana Sokolova},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Fast, multicore-scalable, low-fragmentation memory allocation through
large virtual memory and global data structures},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {451--469},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814294},
doi = {10.1145/2814270.2814294},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/0003KLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AchourR15,
author = {Sara Achour and
Martin C. Rinard},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Approximate computation with outlier detection in Topaz},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {711--730},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814314},
doi = {10.1145/2814270.2814314},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AchourR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AlvesGDLGRP15,
author = {P{\'{e}}ricles Alves and
Fabian Gruber and
Johannes Doerfert and
Alexandros Lamprineas and
Tobias Grosser and
Fabrice Rastello and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Runtime pointer disambiguation},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {589--606},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814285},
doi = {10.1145/2814270.2814285},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AlvesGDLGRP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BastaniAA15,
author = {Osbert Bastani and
Saswat Anand and
Alex Aiken},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Interactively verifying absence of explicit information flows in Android
apps},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {299--315},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814274},
doi = {10.1145/2814270.2814274},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BastaniAA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BenderLP15,
author = {John Bender and
Mohsen Lesani and
Jens Palsberg},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Declarative fence insertion},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {367--385},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814318},
doi = {10.1145/2814270.2814318},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BenderLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BielikRV15,
author = {Pavol Bielik and
Veselin Raychev and
Martin T. Vechev},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Scalable race detection for Android applications},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {332--348},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814303},
doi = {10.1145/2814270.2814303},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BielikRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BiswasZBL15,
author = {Swarnendu Biswas and
Minjia Zhang and
Michael D. Bond and
Brandon Lucia},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Valor: efficient, software-only region conflict exceptions},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {241--259},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814292},
doi = {10.1145/2814270.2814292},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BiswasZBL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BlackshearCS15,
author = {Sam Blackshear and
Bor{-}Yuh Evan Chang and
Manu Sridharan},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Selective control-flow abstraction via jumping},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {163--182},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814293},
doi = {10.1145/2814270.2814293},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BlackshearCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BostonSGC15,
author = {Brett Boston and
Adrian Sampson and
Dan Grossman and
Luis Ceze},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Probability type inference for flexible approximate programming},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {470--487},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814301},
doi = {10.1145/2814270.2814301},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BostonSGC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BrandauerCW15,
author = {Stephan Brandauer and
Dave Clarke and
Tobias Wrigstad},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Disjointness domains for fine-grained aliasing},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {898--916},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814280},
doi = {10.1145/2814270.2814280},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BrandauerCW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BrutschyFTP15,
author = {Lucas Brutschy and
Pietro Ferrara and
Omer Tripp and
Marco Pistoia},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {ShamDroid: gracefully degrading functionality in the presence of limited
resource access},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {316--331},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814296},
doi = {10.1145/2814270.2814296},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BrutschyFTP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CohenP15,
author = {Nachshon Cohen and
Erez Petrank},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Automatic memory reclamation for lock-free data structures},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {260--279},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814298},
doi = {10.1145/2814270.2814298},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CohenP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CrafaP15,
author = {Silvia Crafa and
Luca Padovani},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {The chemical approach to typestate-oriented programming},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {917--934},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814287},
doi = {10.1145/2814270.2814287},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CrafaP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DaraisMH15,
author = {David Darais and
Matthew Might and
David Van Horn},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Galois transformers and modular abstract interpreters: reusable metatheory
for program analysis},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {552--571},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814308},
doi = {10.1145/2814270.2814308},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/DaraisMH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DemskyL15,
author = {Brian Demsky and
Patrick Lam},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {SATCheck: SAT-directed stateless model checking for {SC} and {TSO}},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {20--36},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814297},
doi = {10.1145/2814270.2814297},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DemskyL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DietrichHS15,
author = {Jens Dietrich and
Nicholas Hollingum and
Bernhard Scholz},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Giga-scale exhaustive points-to analysis for Java in under a minute},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {535--551},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814307},
doi = {10.1145/2814270.2814307},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DietrichHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ErdwegBKKM15,
author = {Sebastian Erdweg and
Oliver Bracevac and
Edlira Kuci and
Matthias Krebs and
Mira Mezini},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {A co-contextual formulation of type rules and its application to incremental
type checking},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {880--897},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814277},
doi = {10.1145/2814270.2814277},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ErdwegBKKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ErdwegLW15,
author = {Sebastian Erdweg and
Moritz Lichter and
Manuel Weiel},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {A sound and optimal incremental build system with dynamic dependencies},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {89--106},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814316},
doi = {10.1145/2814270.2814316},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ErdwegLW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FelgentreffMBH15,
author = {Tim Felgentreff and
Todd D. Millstein and
Alan Borning and
Robert Hirschfeld},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Checks and balances: constraint solving without surprises in object-constraint
programming languages},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {767--782},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814311},
doi = {10.1145/2814270.2814311},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FelgentreffMBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FengWDL15,
author = {Yu Feng and
Xinyu Wang and
Isil Dillig and
Calvin Lin},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {{EXPLORER} : query- and demand-driven exploration of interprocedural
control flow properties},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {520--534},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814284},
doi = {10.1145/2814270.2814284},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FengWDL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FuBS15,
author = {Zhoulai Fu and
Zhaojun Bai and
Zhendong Su},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Automated backward error analysis for numerical code},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {639--654},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814317},
doi = {10.1145/2814270.2814317},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/FuBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GveroK15,
author = {Tihomir Gvero and
Viktor Kuncak},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Synthesizing Java expressions from free-form queries},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {416--432},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814295},
doi = {10.1145/2814270.2814295},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GveroK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HagueLO15,
author = {Matthew Hague and
Anthony Widjaja Lin and
C.{-}H. Luke Ong},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Detecting redundant {CSS} rules in {HTML5} applications: a tree rewriting
approach},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {1--19},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814288},
doi = {10.1145/2814270.2814288},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/HagueLO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HammerDHLFHH15,
author = {Matthew A. Hammer and
Jana Dunfield and
Kyle Headley and
Nicholas Labich and
Jeffrey S. Foster and
Michael W. Hicks and
David Van Horn},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Incremental computation with names},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {748--766},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814305},
doi = {10.1145/2814270.2814305},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/HammerDHLFHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HottelierB15,
author = {Thibaud Hottelier and
Rastislav Bod{\'{\i}}k},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Synthesis of layout engines from relational constraints},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {74--88},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814291},
doi = {10.1145/2814270.2814291},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/HottelierB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HuAN15,
author = {Yongjian Hu and
Tanzirul Azim and
Iulian Neamtiu},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Versatile yet lightweight record-and-replay for Android},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {349--366},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814320},
doi = {10.1145/2814270.2814320},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/HuAN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/JantzRKD15,
author = {Michael R. Jantz and
Forrest J. Robinson and
Prasad A. Kulkarni and
Kshitij A. Doshi},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Cross-layer memory management for managed language applications},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {488--504},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814322},
doi = {10.1145/2814270.2814322},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/JantzRKD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/JensenMRDV15,
author = {Casper Svenning Jensen and
Anders M{\o}ller and
Veselin Raychev and
Dimitar K. Dimitrov and
Martin T. Vechev},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Stateless model checking of event-driven applications},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {57--73},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814282},
doi = {10.1145/2814270.2814282},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/JensenMRDV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KurajKJ15,
author = {Ivan Kuraj and
Viktor Kuncak and
Daniel Jackson},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Programming with enumerable sets of structures},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {37--56},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814323},
doi = {10.1145/2814270.2814323},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KurajKJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LeSS15,
author = {Vu Le and
Chengnian Sun and
Zhendong Su},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Finding deep compiler bugs via guided stochastic program mutation},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {386--399},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814319},
doi = {10.1145/2814270.2814319},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LeSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LeeBZZVG15,
author = {Wen{-}Chuan Lee and
Tao Bao and
Yunhui Zheng and
Xiangyu Zhang and
Keval Vora and
Rajiv Gupta},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {{RAIVE:} runtime assessment of floating-point instability by vectorization},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {623--638},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814299},
doi = {10.1145/2814270.2814299},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LeeBZZVG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LopesO15,
author = {Cristina V. Lopes and
Joel Ossher},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {How scale affects structure in Java programs},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {675--694},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814300},
doi = {10.1145/2814270.2814300},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LopesO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LopezMMNSVY15,
author = {Hugo A. L{\'{o}}pez and
Eduardo R. B. Marques and
Francisco Martins and
Nicholas Ng and
C{\'{e}}sar Santos and
Vasco Thudichum Vasconcelos and
Nobuko Yoshida},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Protocol-based verification of message-passing parallel programs},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {280--298},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814302},
doi = {10.1145/2814270.2814302},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/LopezMMNSVY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MadhavanMGK15,
author = {Ravichandhran Madhavan and
Mika{\"{e}}l Mayer and
Sumit Gulwani and
Viktor Kuncak},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Automating grammar comparison},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {183--200},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814304},
doi = {10.1145/2814270.2814304},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MadhavanMGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MadsenTL15,
author = {Magnus Madsen and
Frank Tip and
Ondrej Lhot{\'{a}}k},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Static analysis of event-driven Node.js JavaScript applications},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {505--519},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814272},
doi = {10.1145/2814270.2814272},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MadsenTL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MarrD15,
author = {Stefan Marr and
St{\'{e}}phane Ducasse},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Tracing vs. partial evaluation: comparing meta-compilation approaches
for self-optimizing interpreters},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {821--839},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814275},
doi = {10.1145/2814270.2814275},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MarrD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MastrangeloPMLH15,
author = {Luis Mastrangelo and
Luca Ponzanelli and
Andrea Mocci and
Michele Lanza and
Matthias Hauswirth and
Nathaniel Nystrom},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Use at your own risk: the Java unsafe {API} in the wild},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {695--710},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814313},
doi = {10.1145/2814270.2814313},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MastrangeloPMLH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/NtzikG15,
author = {Gian Ntzik and
Philippa Gardner},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Reasoning about the {POSIX} file system: local update and global pathnames},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {201--220},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814306},
doi = {10.1145/2814270.2814306},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/NtzikG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OhYY15,
author = {Hakjoo Oh and
Hongseok Yang and
Kwangkeun Yi},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Learning a strategy for adapting a program analysis via bayesian optimisation},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {572--588},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814309},
doi = {10.1145/2814270.2814309},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/OhYY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OuD15,
author = {Peizhao Ou and
Brian Demsky},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {AutoMO: automatic inference of memory order parameters for {C/C++11}},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {221--240},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814286},
doi = {10.1145/2814270.2814286},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/OuD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PolozovG15,
author = {Oleksandr Polozov and
Sumit Gulwani},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {FlashMeta: a framework for inductive program synthesis},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {107--126},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814310},
doi = {10.1145/2814270.2814310},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PolozovG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SrinivasanR15,
author = {Venkatesh Srinivasan and
Thomas W. Reps},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Partial evaluation of machine code},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {860--879},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814321},
doi = {10.1145/2814270.2814321},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SrinivasanR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SteindorferV15,
author = {Michael J. Steindorfer and
Jurgen J. Vinju},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Optimizing hash-array mapped tries for fast and lean immutable {JVM}
collections},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {783--800},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814312},
doi = {10.1145/2814270.2814312},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SteindorferV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ToffolaPG15,
author = {Luca Della Toffola and
Michael Pradel and
Thomas R. Gross},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Performance problems you can fix: a dynamic analysis of memoization
opportunities},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {607--622},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814290},
doi = {10.1145/2814270.2814290},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ToffolaPG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ToroT15,
author = {Mat{\'{\i}}as Toro and
{\'{E}}ric Tanter},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Customizable gradual polymorphic effects for Scala},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {935--953},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814315},
doi = {10.1145/2814270.2814315},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/ToroT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/UpadhyayaR15,
author = {Ganesha Upadhyaya and
Hridesh Rajan},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Effectively mapping linguistic abstractions for message-passing concurrency
to threads on the Java virtual machine},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {840--859},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814289},
doi = {10.1145/2814270.2814289},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/UpadhyayaR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/UrecheBSO15,
author = {Vlad Ureche and
Aggelos Biboudis and
Yannis Smaragdakis and
Martin Odersky},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Automating ad hoc data representation transformations},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {801--820},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814271},
doi = {10.1145/2814270.2814271},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/UrecheBSO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/VoelterDKE15,
author = {Markus Voelter and
Arie van Deursen and
Bernd Kolb and
Stephan Eberle},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Using {C} language extensions for developing embedded software: a
case study},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {655--674},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814276},
doi = {10.1145/2814270.2814276},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/VoelterDKE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WangPW15,
author = {Haichuan Wang and
David A. Padua and
Peng Wu},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Vectorization of apply to reduce interpretation overhead of {R}},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {400--415},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814273},
doi = {10.1145/2814270.2814273},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WangPW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WickersonBBD15,
author = {John Wickerson and
Mark Batty and
Bradford M. Beckmann and
Alastair F. Donaldson},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Remote-scope promotion: clarified, rectified, and verified},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {731--747},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814283},
doi = {10.1145/2814270.2814283},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WickersonBBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZhangCOS15,
author = {Haoyuan Zhang and
Zewei Chu and
Bruno C. d. S. Oliveira and
Tijs van der Storm},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Scrap your boilerplate with object algebras},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {127--146},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814279},
doi = {10.1145/2814270.2814279},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ZhangCOS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZhengBB15,
author = {Yudi Zheng and
Lubom{\'{\i}}r Bulej and
Walter Binder},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Accurate profiling in the presence of dynamic compilation},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {433--450},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814281},
doi = {10.1145/2814270.2814281},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/ZhengBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2015,
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270},
doi = {10.1145/2814270},
isbn = {978-1-4503-3689-5},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-23 13:06 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
