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/oopsla2010.bht:"
download as .bib file
@inproceedings{DBLP:conf/oopsla/AdamczykH10,
author = {Paul Adamczyk and
Munawar Hafiz},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {The Tower of Babel did not fail},
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 = {947--957},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869537},
doi = {10.1145/1869459.1869537},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AdamczykH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AltmanAFM10,
author = {Erik R. Altman and
Matthew Arnold and
Stephen Fink and
Nick Mitchell},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Performance analysis of idle programs},
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 = {739--753},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869519},
doi = {10.1145/1869459.1869519},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AltmanAFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ArnoldL10,
author = {Kenneth C. Arnold and
Henry Lieberman},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Managing ambiguity in programming by finding unambiguous examples},
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 = {877--884},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869531},
doi = {10.1145/1869459.1869531},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ArnoldL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AuerbachBCR10,
author = {Joshua S. Auerbach and
David F. Bacon and
Perry Cheng and
Rodric M. Rabbah},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Lime: a Java-compatible and synthesizable language for heterogeneous
architectures},
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 = {89--108},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869469},
doi = {10.1145/1869459.1869469},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AuerbachBCR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BebenitaBFLSTV10,
author = {Michael Bebenita and
Florian Brandner and
Manuel F{\"{a}}hndrich and
Francesco Logozzo and
Wolfram Schulte and
Nikolai Tillmann and
Herman Venter},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {{SPUR:} a trace-based {JIT} compiler for {CIL}},
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 = {708--725},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869517},
doi = {10.1145/1869459.1869517},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BebenitaBFLSTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BurckhardtBL10,
author = {Sebastian Burckhardt and
Alexandro Baldassin and
Daan Leijen},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Concurrent programming with revisions and isolation types},
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 = {691--707},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869515},
doi = {10.1145/1869459.1869515},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BurckhardtBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CameronNW10,
author = {Nicholas Cameron and
James Noble and
Tobias Wrigstad},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Tribal ownership},
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 = {618--633},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869510},
doi = {10.1145/1869459.1869510},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/CameronNW10.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
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},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869527},
doi = {10.1145/1869459.1869527},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ChafiDMRSHOO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ChibaIZ10,
author = {Shigeru Chiba and
Atsushi Igarashi and
Salikh Zakirov},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Mostly modular compilation of crosscutting concerns by contextual
predicate dispatch},
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 = {539--554},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869503},
doi = {10.1145/1869459.1869503},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ChibaIZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DavisK10,
author = {Samuel Davis and
Gregor Kiczales},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Registration-based language abstractions},
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 = {754--773},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869521},
doi = {10.1145/1869459.1869521},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DavisK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DilligDA10,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Symbolic heap abstraction with demand-driven axiomatization of memory
invariants},
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 = {397--410},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869493},
doi = {10.1145/1869459.1869493},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/DilligDA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DumitrasNT10,
author = {Tudor Dumitras and
Priya Narasimhan and
Eli Tilevich},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {To upgrade or not to upgrade: impact of online upgrades across multiple
administrative domains},
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 = {865--876},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869530},
doi = {10.1145/1869459.1869530},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DumitrasNT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Forrest10,
author = {Stephanie Forrest},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {The case for evolvable software},
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 = {1},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869539},
doi = {10.1145/1869459.1869539},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Forrest10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GabelYYGS10,
author = {Mark Gabel and
Junfeng Yang and
Yuan Yu and
Mois{\'{e}}s Goldszmidt and
Zhendong Su},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Scalable and systematic detection of buggy inconsistencies in source
code},
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 = {175--190},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869475},
doi = {10.1145/1869459.1869475},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/GabelYYGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GabrielS10,
author = {Richard P. Gabriel and
Kevin J. Sullivan},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Better science through art},
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 = {885--900},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869533},
doi = {10.1145/1869459.1869533},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GabrielS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Hanenberg10,
author = {Stefan Hanenberg},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {An experiment about static and dynamic type systems: doubts about
the positive impact of static type systems on development time},
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 = {22--35},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869462},
doi = {10.1145/1869459.1869462},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Hanenberg10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Hanenberg10a,
author = {Stefan Hanenberg},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Faith, hope, and love: an essay on software science's neglect of human
factors},
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 = {933--946},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869536},
doi = {10.1145/1869459.1869536},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Hanenberg10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HerzeelC10,
author = {Charlotte Herzeel and
Pascal Costanza},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Dynamic parallelization of recursive code: part 1: managing control
flow interactions with the continuator},
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 = {377--396},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869491},
doi = {10.1145/1869459.1869491},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/HerzeelC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HodaKNM10,
author = {Rashina Hoda and
Philippe Kruchten and
James Noble and
Stuart Marshall},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Agility in context},
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 = {74--88},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869467},
doi = {10.1145/1869459.1869467},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/HodaKNM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ItzhakyGIS10,
author = {Shachar Itzhaky and
Sumit Gulwani and
Neil Immerman and
Mooly Sagiv},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {A simple inductive synthesis methodology and its applications},
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 = {36--46},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869463},
doi = {10.1145/1869459.1869463},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ItzhakyGIS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/JinTLL10,
author = {Guoliang Jin and
Aditya V. Thakur and
Ben Liblit and
Shan Lu},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Instrumentation and sampling strategies for cooperative concurrency
bug isolation},
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 = {241--255},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869481},
doi = {10.1145/1869459.1869481},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/JinTLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KapurCW10,
author = {Puneet Kapur and
Bradley Cossette and
Robert J. Walker},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Refactoring references for library migration},
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 = {726--738},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869518},
doi = {10.1145/1869459.1869518},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KapurCW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KatsV10,
author = {Lennart C. L. Kats and
Eelco Visser},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {The spoofax language workbench: rules for declarative specification
of languages and IDEs},
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 = {444--463},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869497},
doi = {10.1145/1869459.1869497},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KatsV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KatsVW10,
author = {Lennart C. L. Kats and
Eelco Visser and
Guido Wachsmuth},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Pure and declarative syntax definition: paradise lost and regained},
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 = {918--932},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869535},
doi = {10.1145/1869459.1869535},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KatsVW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Kell10,
author = {Stephen Kell},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Component adaptation and assembly using interface relations},
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 = {322--340},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869487},
doi = {10.1145/1869459.1869487},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Kell10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KleinFF10,
author = {Casey Klein and
Matthew Flatt and
Robert Bruce Findler},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Random testing for higher-order, stateful programs},
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 = {555--566},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869505},
doi = {10.1145/1869459.1869505},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KleinFF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KloseO10,
author = {Karl Klose and
Klaus Ostermann},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Modular logic metaprogramming},
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 = {484--503},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869499},
doi = {10.1145/1869459.1869499},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KloseO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KouP10,
author = {Stephen Kou and
Jens Palsberg},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {From {OO} to {FPGA:} fitting round objects into square hardware?},
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 = {109--124},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869470},
doi = {10.1145/1869459.1869470},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KouP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KulkarniLS10,
author = {Aditya Kulkarni and
Yu David Liu and
Scott F. Smith},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Task types for pervasive atomicity},
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 = {671--690},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869514},
doi = {10.1145/1869459.1869514},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KulkarniLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LernerVG10,
author = {Benjamin S. Lerner and
Herman Venter and
Dan Grossman},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Supporting dynamic, third-party code customizations in JavaScript
using aspects},
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 = {361--376},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869490},
doi = {10.1145/1869459.1869490},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LernerVG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiZH10,
author = {Wei Li and
Charles Zhang and
Songlin Hu},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {G-Finder: routing programming questions closer to the experts},
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 = {62--73},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869466},
doi = {10.1145/1869459.1869466},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LiZH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiangTNS10,
author = {Percy Liang and
Omer Tripp and
Mayur Naik and
Mooly Sagiv},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {A dynamic evaluation of the precision of static heap abstractions},
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 = {411--427},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869494},
doi = {10.1145/1869459.1869494},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LiangTNS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MatsakisG10,
author = {Nicholas D. Matsakis and
Thomas R. Gross},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {A time-aware type system for data-race protection and guaranteed initialization},
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 = {634--651},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869511},
doi = {10.1145/1869459.1869511},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MatsakisG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/McCarthy10,
author = {Jay A. McCarthy},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {The two-state solution: native and serializable continuations accord},
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 = {567--582},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869506},
doi = {10.1145/1869459.1869506},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/McCarthy10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/McIlroyS10,
author = {Ross McIlroy and
Joe Sventek},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Hera-JVM: a runtime system for heterogeneous multi-core architectures},
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 = {205--222},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869478},
doi = {10.1145/1869459.1869478},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/McIlroyS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Mendez-LojoMP10,
author = {Mario M{\'{e}}ndez{-}Lojo and
Augustine Mathew and
Keshav Pingali},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Parallel inclusion-based points-to analysis},
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 = {428--443},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869495},
doi = {10.1145/1869459.1869495},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Mendez-LojoMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MercadalECL10,
author = {Julien Mercadal and
Quentin Enard and
Charles Consel and
Nicolas Loriant},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {A domain-specific approach to architecturing error handling in pervasive
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 = {47--61},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869465},
doi = {10.1145/1869459.1869465},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MercadalECL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/NguyenNWNKN10,
author = {Hoan Anh Nguyen and
Tung Thanh Nguyen and
Gary Wilson Jr. and
Anh Tuan Nguyen and
Miryung Kim and
Tien N. Nguyen},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {A graph-based approach to {API} usage adaptation},
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 = {302--321},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869486},
doi = {10.1145/1869459.1869486},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/NguyenNWNKN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OgataMKTO10,
author = {Kazunori Ogata and
Dai Mikurube and
Kiyokuni Kawachiya and
Scott Trent and
Tamiya Onodera},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {A study of Java's non-Java memory},
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 = {191--204},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869477},
doi = {10.1145/1869459.1869477},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/OgataMKTO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OliveiraMO10,
author = {Bruno C. d. S. Oliveira and
Adriaan Moors and
Martin Odersky},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Type classes as objects and implicits},
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 = {341--360},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869489},
doi = {10.1145/1869459.1869489},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/OliveiraMO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OssherBSAACDVFK10,
author = {Harold Ossher and
Rachel K. E. Bellamy and
Ian Simmonds and
David Amid and
Ateret Anaby{-}Tavor and
Matthew Callery and
Michael Desmond and
Jacqueline de Vries and
Amit Fisher and
Sophia Krasikov},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Flexible modeling tools for pre-requirements analysis: conceptual
architecture and research challenges},
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 = {848--864},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869529},
doi = {10.1145/1869459.1869529},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/OssherBSAACDVFK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Pierce10,
author = {Benjamin C. Pierce},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Art, science, and fear},
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 = {2},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869540},
doi = {10.1145/1869459.1869540},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Pierce10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PurandareDE10,
author = {Rahul Purandare and
Matthew B. Dwyer and
Sebastian G. Elbaum},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Monitor optimization via stutter-equivalent loop transformation},
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 = {270--285},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869483},
doi = {10.1145/1869459.1869483},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/PurandareDE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/QiM10,
author = {Xin Qi and
Andrew C. Myers},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Homogeneous family sharing},
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 = {520--538},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869502},
doi = {10.1145/1869459.1869502},
timestamp = {Mon, 13 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/QiM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/QuillienW10,
author = {Jenny Quillien and
Dave West},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Rubber ducks, nightmares, and unsaturated predicates: proto-scientific
schemata are good for agile},
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 = {901--917},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869534},
doi = {10.1145/1869459.1869534},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/QuillienW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RajanKR10,
author = {Hridesh Rajan and
Steven M. Kautz and
Wayne Rowcliffe},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Concurrency by modularity: design patterns, a case in point},
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 = {790--805},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869523},
doi = {10.1145/1869459.1869523},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RajanKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ReichenbachISAG10,
author = {Christoph Reichenbach and
Neil Immerman and
Yannis Smaragdakis and
Edward Aftandilian and
Samuel Z. Guyer},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {What can the {GC} compute efficiently?: a language for heap assertions
at {GC} time},
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 = {256--269},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869482},
doi = {10.1145/1869459.1869482},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ReichenbachISAG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RinardHMS10,
author = {Martin C. Rinard and
Henry Hoffmann and
Sasa Misailovic and
Stelios Sidiroglou},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Patterns and statistical analysis for understanding reduced resource
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 = {806--821},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869525},
doi = {10.1145/1869459.1869525},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RinardHMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RobersonB10,
author = {Michael Roberson and
Chandrasekhar Boyapati},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Efficient modular glass box software model checking},
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 = {4--21},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869461},
doi = {10.1145/1869459.1869461},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RobersonB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SchaferM10,
author = {Max Sch{\"{a}}fer and
Oege de Moor},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Specifying and implementing refactorings},
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 = {286--301},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869485},
doi = {10.1145/1869459.1869485},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SchaferM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ServettoZ10,
author = {Marco Servetto and
Elena Zucca},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {MetaFJig: a meta-circular composition language for Java-like classes},
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 = {464--483},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869498},
doi = {10.1145/1869459.1869498},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ServettoZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ShiPYLZCZ10,
author = {Yao Shi and
Soyeon Park and
Zuoning Yin and
Shan Lu and
Yuanyuan Zhou and
Wenguang Chen and
Weimin Zheng},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Do {I} use the wrong definition?: DeFuse: definition-use invariants
for detecting concurrency and sequential bugs},
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 = {160--174},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869474},
doi = {10.1145/1869459.1869474},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ShiPYLZCZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SorensenG10,
author = {Andrew Sorensen and
Henry J. Gardner},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Programming with time: cyber-physical programming with impromptu},
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 = {822--834},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869526},
doi = {10.1145/1869459.1869526},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SorensenG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/StadenC10,
author = {Stephan van Staden and
Cristiano Calcagno},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Reasoning about multiple related abstractions with MultiStar},
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 = {504--519},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869501},
doi = {10.1145/1869459.1869501},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/StadenC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Stanley10,
author = {Kenneth O. Stanley},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {To achieve our highest goals, we must be willing to abandon them},
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 = {3},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869541},
doi = {10.1145/1869459.1869541},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Stanley10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SwaineTDFF10,
author = {James Swaine and
Kevin Tew and
Peter A. Dinda and
Robert Bruce Findler and
Matthew Flatt},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Back to the futures: incremental parallelization of existing sequential
runtime systems},
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 = {583--597},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869507},
doi = {10.1145/1869459.1869507},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SwaineTDFF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TianJZS10,
author = {Kai Tian and
Yunlian Jiang and
Eddy Z. Zhang and
Xipeng Shen},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {An input-centric paradigm for program dynamic optimizations},
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 = {125--139},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869471},
doi = {10.1145/1869459.1869471},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TianJZS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/UpadhyayaMP10,
author = {Gautam Upadhyaya and
Samuel P. Midkiff and
Vijay S. Pai},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Automatic atomic region identification in shared memory {SPMD} programs},
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 = {652--670},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869513},
doi = {10.1145/1869459.1869513},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/UpadhyayaMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/VerwaestBGLN10,
author = {Toon Verwaest and
Camillo Bruni and
David Gurtner and
Adrian Lienhard and
Oscar Nierstrasz},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Pinocchio: bringing reflection to life with first-class interpreters},
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 = {774--789},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869522},
doi = {10.1145/1869459.1869522},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/VerwaestBGLN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WegielK10,
author = {Michal Wegiel and
Chandra Krintz},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Cross-language, type-safe, and transparent object sharing for co-located
managed runtimes},
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 = {223--240},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869479},
doi = {10.1145/1869459.1869479},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WegielK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WoodSCG10,
author = {Benjamin P. Wood and
Adrian Sampson and
Luis Ceze and
Dan Grossman},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Composable specifications for structured shared-memory communication},
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 = {140--159},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869473},
doi = {10.1145/1869459.1869473},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WoodSCG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZibinPLAE10,
author = {Yoav Zibin and
Alex Potanin and
Paley Li and
Mahmood Ali and
Michael D. Ernst},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Ownership and immutability in generic Java},
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 = {598--617},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869509},
doi = {10.1145/1869459.1869509},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ZibinPLAE10.bib},
bibsource = {dblp computer science bibliography, https://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},
url = {https://doi.org/10.1145/1869459},
doi = {10.1145/1869459},
isbn = {978-1-4503-0203-6},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/2010.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-11 22:03 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:
