Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/oopsla/oopsla2010.bht:"
@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} }
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.