Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rastislav Bodík
@article{DBLP:journals/pacmpl/CascavalBS23,
author = {Dan Cascaval and
Rastislav Bod{\'{\i}}k and
Adriana Schulz},
title = {A Lineage-Based Referencing {DSL} for Computer-Aided Design},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {76--99},
year = {2023},
url = {https://doi.org/10.1145/3591223},
doi = {10.1145/3591223},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/CascavalBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiuCA0B23,
author = {Junrui Liu and
Yanju Chen and
Eric Atkinson and
Yu Feng and
Rastislav Bod{\'{\i}}k},
title = {Conflict-Driven Synthesis for Layout Engines},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {638--659},
year = {2023},
url = {https://doi.org/10.1145/3591246},
doi = {10.1145/3591246},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/LiuCA0B23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LuB23,
author = {Sirui Lu and
Rastislav Bod{\'{\i}}k},
title = {Grisette: Symbolic Compilation as a Functional Programming Library},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {455--487},
year = {2023},
url = {https://doi.org/10.1145/3571209},
doi = {10.1145/3571209},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LuB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgf/CascavalSQBAS22,
author = {Dan Cascaval and
Mira Shalah and
Phillip Quinn and
Rastislav Bod{\'{\i}}k and
Maneesh Agrawala and
Adriana Schulz},
title = {Differentiable 3D {CAD} Programs for Bidirectional Editing},
journal = {Comput. Graph. Forum},
volume = {41},
number = {2},
pages = {309--323},
year = {2022},
url = {https://doi.org/10.1111/cgf.14476},
doi = {10.1111/CGF.14476},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cgf/CascavalSQBAS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/ChenLFB22,
author = {Yanju Chen and
Junrui Liu and
Yu Feng and
Rastislav Bod{\'{\i}}k},
editor = {Babak Falsafi and
Michael Ferdman and
Shan Lu and
Thomas F. Wenisch},
title = {Tree traversal synthesis using domain-specific symbolic compilation},
booktitle = {{ASPLOS} '22: 27th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Lausanne,
Switzerland, 28 February 2022 - 4 March 2022},
pages = {1030--1042},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3503222.3507751},
doi = {10.1145/3503222.3507751},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/ChenLFB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhouBCW22,
author = {Xiangyu Zhou and
Rastislav Bod{\'{\i}}k and
Alvin Cheung and
Chenglong Wang},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Synthesizing analytical {SQL} queries from computation demonstration},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {168--182},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523712},
doi = {10.1145/3519939.3523712},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ZhouBCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-07102,
author = {Xiangyu Zhou and
Rastislav Bod{\'{\i}}k and
Alvin Cheung and
Chenglong Wang},
title = {Synthesizing Analytical {SQL} Queries from Computation Demonstration},
journal = {CoRR},
volume = {abs/2204.07102},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.07102},
doi = {10.48550/ARXIV.2204.07102},
eprinttype = {arXiv},
eprint = {2204.07102},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-07102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/WangFBDCK21,
author = {Chenglong Wang and
Yu Feng and
Rastislav Bod{\'{\i}}k and
Isil Dillig and
Alvin Cheung and
Amy J. Ko},
editor = {Yoshifumi Kitamura and
Aaron Quigley and
Katherine Isbister and
Takeo Igarashi and
Pernille Bj{\o}rn and
Steven Mark Drucker},
title = {Falx: Synthesis-Powered Visualization Authoring},
booktitle = {{CHI} '21: {CHI} Conference on Human Factors in Computing Systems,
Virtual Event / Yokohama, Japan, May 8-13, 2021},
pages = {106:1--106:15},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3411764.3445249},
doi = {10.1145/3411764.3445249},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/WangFBDCK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-01024,
author = {Chenglong Wang and
Yu Feng and
Rastislav Bod{\'{\i}}k and
Isil Dillig and
Alvin Cheung and
Amy J. Ko},
title = {Falx: Synthesis-Powered Visualization Authoring},
journal = {CoRR},
volume = {abs/2102.01024},
year = {2021},
url = {https://arxiv.org/abs/2102.01024},
eprinttype = {arXiv},
eprint = {2102.01024},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-01024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-01182,
author = {Dan Cascaval and
Mira Shalah and
Phillip Quinn and
Rastislav Bod{\'{\i}}k and
Maneesh Agrawala and
Adriana Schulz},
title = {Differentiable 3D {CAD} Programs for Bidirectional Editing},
journal = {CoRR},
volume = {abs/2110.01182},
year = {2021},
url = {https://arxiv.org/abs/2110.01182},
eprinttype = {arXiv},
eprint = {2110.01182},
timestamp = {Fri, 08 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-01182.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FedyukovichKB20,
author = {Grigory Fedyukovich and
Samuel J. Kaufman and
Rastislav Bod{\'{\i}}k},
title = {Learning inductive invariants by sampling from frequency distributions},
journal = {Formal Methods Syst. Des.},
volume = {56},
number = {1},
pages = {154--177},
year = {2020},
url = {https://doi.org/10.1007/s10703-020-00349-x},
doi = {10.1007/S10703-020-00349-X},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/FedyukovichKB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/NewcombAJBK20,
author = {Julie L. Newcomb and
Andrew Adams and
Steven Johnson and
Rastislav Bod{\'{\i}}k and
Shoaib Kamil},
title = {Verifying and improving Halide's term rewriting system with program
synthesis},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {166:1--166:28},
year = {2020},
url = {https://doi.org/10.1145/3428234},
doi = {10.1145/3428234},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/NewcombAJBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WangFBCD20,
author = {Chenglong Wang and
Yu Feng and
Rastislav Bod{\'{\i}}k and
Alvin Cheung and
Isil Dillig},
title = {Visualization by example},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {49:1--49:28},
year = {2020},
url = {https://doi.org/10.1145/3371117},
doi = {10.1145/3371117},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WangFBCD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/HagedornEBBG20,
author = {Bastian Hagedorn and
Archibald Samuel Elliott and
Henrik Barthels and
Rastislav Bod{\'{\i}}k and
Vinod Grover},
editor = {Vivek Sarkar and
Hyesoon Kim},
title = {Fireiron: {A} Data-Movement-Aware Scheduling Language for GPUs},
booktitle = {{PACT} '20: International Conference on Parallel Architectures and
Compilation Techniques, Virtual Event, GA, USA, October 3-7, 2020},
pages = {71--82},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3410463.3414632},
doi = {10.1145/3410463.3414632},
timestamp = {Fri, 23 Oct 2020 10:46:26 +0200},
biburl = {https://dblp.org/rec/conf/IEEEpact/HagedornEBBG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FengTB20,
author = {Yu Feng and
Emina Torlak and
Rastislav Bod{\'{\i}}k},
title = {Summary-Based Symbolic Evaluation for Smart Contracts},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {1141--1152},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416646},
doi = {10.1145/3324884.3416646},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FengTB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-06324,
author = {Bastian Hagedorn and
Archibald Samuel Elliott and
Henrik Barthels and
Rastislav Bod{\'{\i}}k and
Vinod Grover},
title = {Fireiron: {A} Scheduling Language for High-Performance Linear Algebra
on GPUs},
journal = {CoRR},
volume = {abs/2003.06324},
year = {2020},
url = {https://arxiv.org/abs/2003.06324},
eprinttype = {arXiv},
eprint = {2003.06324},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-06324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-03704,
author = {Rajeev Alur and
Richard G. Baraniuk and
Rastislav Bod{\'{\i}}k and
Ann W. Drobnis and
Sumit Gulwani and
Bjoern Hartmann and
Yasmin B. Kafai and
Jeff Karpicke and
Ran Libeskind{-}Hadas and
Debra J. Richardson and
Armando Solar{-}Lezama and
Candace Thille and
Moshe Y. Vardi},
title = {Computer-Aided Personalized Education},
journal = {CoRR},
volume = {abs/2007.03704},
year = {2020},
url = {https://arxiv.org/abs/2007.03704},
eprinttype = {arXiv},
eprint = {2007.03704},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-03704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/WillseyLCBC19,
author = {Max Willsey and
Vincent T. Lee and
Alvin Cheung and
Rastislav Bod{\'{\i}}k and
Luis Ceze},
title = {Iterative Search for Reconfigurable Accelerator Blocks With a Compiler
in the Loop},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {38},
number = {3},
pages = {407--418},
year = {2019},
url = {https://doi.org/10.1109/TCAD.2018.2878194},
doi = {10.1109/TCAD.2018.2878194},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/WillseyLCBC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/PhothilimthanaE19,
author = {Phitchaya Mangpo Phothilimthana and
Archibald Samuel Elliott and
An Wang and
Abhinav Jangda and
Bastian Hagedorn and
Henrik Barthels and
Samuel J. Kaufman and
Vinod Grover and
Emina Torlak and
Rastislav Bod{\'{\i}}k},
editor = {Iris Bahar and
Maurice Herlihy and
Emmett Witchel and
Alvin R. Lebeck},
title = {Swizzle Inventor: Data Movement Synthesis for {GPU} Kernels},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2019, Providence, RI, USA, April 13-17, 2019},
pages = {65--78},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297858.3304059},
doi = {10.1145/3297858.3304059},
timestamp = {Sat, 06 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/PhothilimthanaE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2019,
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-113-9},
isbn = {978-3-95977-113-9},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-06067,
author = {Yu Feng and
Emina Torlak and
Rastislav Bod{\'{\i}}k},
title = {Precise Attack Synthesis for Smart Contracts},
journal = {CoRR},
volume = {abs/1902.06067},
year = {2019},
url = {http://arxiv.org/abs/1902.06067},
eprinttype = {arXiv},
eprint = {1902.06067},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-06067.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-11206,
author = {Julie L. Newcomb and
Rastislav Bod{\'{\i}}k},
title = {Using human-in-the-loop synthesis to author functional reactive programs},
journal = {CoRR},
volume = {abs/1909.11206},
year = {2019},
url = {http://arxiv.org/abs/1909.11206},
eprinttype = {arXiv},
eprint = {1909.11206},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-11206.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-09668,
author = {Chenglong Wang and
Yu Feng and
Rastislav Bod{\'{\i}}k and
Alvin Cheung and
Isil Dillig},
title = {Visualization by Example},
journal = {CoRR},
volume = {abs/1911.09668},
year = {2019},
url = {http://arxiv.org/abs/1911.09668},
eprinttype = {arXiv},
eprint = {1911.09668},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-09668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WangCB18,
author = {Chenglong Wang and
Alvin Cheung and
Rastislav Bod{\'{\i}}k},
title = {Speeding up symbolic reasoning for relational queries},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {157:1--157:25},
year = {2018},
url = {https://doi.org/10.1145/3276527},
doi = {10.1145/3276527},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WangCB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChandraB18,
author = {Kartik Chandra and
Rastislav Bod{\'{\i}}k},
title = {Bonsai: synthesis-based reasoning for type systems},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {62:1--62:34},
year = {2018},
url = {https://doi.org/10.1145/3158150},
doi = {10.1145/3158150},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ChandraB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/PhothilimthanaL18,
author = {Phitchaya Mangpo Phothilimthana and
Ming Liu and
Antoine Kaufmann and
Simon Peter and
Rastislav Bod{\'{\i}}k and
Thomas E. Anderson},
editor = {Andrea C. Arpaci{-}Dusseau and
Geoff Voelker},
title = {Floem: {A} Programming System for NIC-Accelerated Network Applications},
booktitle = {13th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2018, Carlsbad, CA, USA, October 8-10, 2018},
pages = {663--679},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/osdi18/presentation/phothilimthana},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/PhothilimthanaL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FedyukovichB18,
author = {Grigory Fedyukovich and
Rastislav Bod{\'{\i}}k},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Accelerating Syntax-Guided Invariant Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10805},
pages = {251--269},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89960-2\_14},
doi = {10.1007/978-3-319-89960-2\_14},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FedyukovichB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/ChasinsMB18,
author = {Sarah E. Chasins and
Maria Mueller and
Rastislav Bod{\'{\i}}k},
editor = {Patrick Baudisch and
Albrecht Schmidt and
Andy Wilson},
title = {Rousillon: Scraping Distributed Hierarchical Web Data},
booktitle = {The 31st Annual {ACM} Symposium on User Interface Software and Technology,
{UIST} 2018, Berlin, Germany, October 14-17, 2018},
pages = {963--975},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3242587.3242661},
doi = {10.1145/3242587.3242661},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uist/ChasinsMB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChasinsB17,
author = {Sarah E. Chasins and
Rastislav Bod{\'{\i}}k},
title = {Skip blocks: reusing execution history to accelerate web scripts},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {51:1--51:28},
year = {2017},
url = {https://doi.org/10.1145/3133875},
doi = {10.1145/3133875},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ChasinsB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FedyukovichKB17,
author = {Grigory Fedyukovich and
Samuel J. Kaufman and
Rastislav Bod{\'{\i}}k},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Sampling invariants from frequency distributions},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {100--107},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102247},
doi = {10.23919/FMCAD.2017.8102247},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/FedyukovichKB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WangCB17,
author = {Chenglong Wang and
Alvin Cheung and
Rastislav Bod{\'{\i}}k},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Synthesizing highly expressive {SQL} queries from input-output examples},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {452--466},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062365},
doi = {10.1145/3062341.3062365},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/WangCB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FedyukovichAB17,
author = {Grigory Fedyukovich and
Maaz Bin Safeer Ahmad and
Rastislav Bod{\'{\i}}k},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Gradual synthesis for static parallelization of single-pass array-processing
programs},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {572--585},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062382},
doi = {10.1145/3062341.3062382},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FedyukovichAB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/WangCB17,
author = {Chenglong Wang and
Alvin Cheung and
Rastislav Bod{\'{\i}}k},
editor = {Semih Salihoglu and
Wenchao Zhou and
Rada Chirkova and
Jun Yang and
Dan Suciu},
title = {Interactive Query Synthesis from Input-Output Examples},
booktitle = {Proceedings of the 2017 {ACM} International Conference on Management
of Data, {SIGMOD} Conference 2017, Chicago, IL, USA, May 14-19, 2017},
pages = {1631--1634},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3035918.3058738},
doi = {10.1145/3035918.3058738},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/WangCB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/BodikCPY17,
author = {Rastislav Bod{\'{\i}}k and
Kartik Chandra and
Phitchaya Mangpo Phothilimthana and
Nathaniel Yazdani},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Domain-Specific Symbolic Compilation},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {2:1--2:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.2},
doi = {10.4230/LIPICS.SNAPL.2017.2},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/snapl/BodikCPY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2017,
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-032-3},
isbn = {978-3-95977-032-3},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-00551,
author = {Kartik Chandra and
Rastislav Bod{\'{\i}}k},
title = {Bonsai: Synthesis-Based Reasoning for Type Systems},
journal = {CoRR},
volume = {abs/1708.00551},
year = {2017},
url = {http://arxiv.org/abs/1708.00551},
eprinttype = {arXiv},
eprint = {1708.00551},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-00551.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/PhothilimthanaT16,
author = {Phitchaya Mangpo Phothilimthana and
Aditya Thakur and
Rastislav Bod{\'{\i}}k and
Dinakar Dhurjati},
editor = {Tom Conte and
Yuanyuan Zhou},
title = {Scaling up Superoptimization},
booktitle = {Proceedings of the Twenty-First International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2016, Atlanta, GA, USA, April 2-6, 2016},
pages = {297--310},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2872362.2872387},
doi = {10.1145/2872362.2872387},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/PhothilimthanaT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/PhothilimthanaT16,
author = {Phitchaya Mangpo Phothilimthana and
Aditya Thakur and
Rastislav Bod{\'{\i}}k and
Dinakar Dhurjati},
editor = {Ayal Zaks and
Manuel V. Hermenegildo},
title = {GreenThumb: superoptimizer construction framework},
booktitle = {Proceedings of the 25th International Conference on Compiler Construction,
{CC} 2016, Barcelona, Spain, March 12-18, 2016},
pages = {261--262},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2892208.2892233},
doi = {10.1145/2892208.2892233},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/PhothilimthanaT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WuLRB16,
author = {Yi Wu and
Lei Li and
Stuart Russell and
Rastislav Bod{\'{\i}}k},
editor = {Subbarao Kambhampati},
title = {Swift: Compiled Inference for Probabilistic Programming Languages},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {3637--3645},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/512},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WuLRB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/PhothilimthanaS16,
author = {Phitchaya Mangpo Phothilimthana and
Michael Schuldt and
Rastislav Bod{\'{\i}}k},
editor = {Tei{-}Wei Kuo and
David B. Whalley},
title = {Compiling a gesture recognition application for a low-power spatial
architecture},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, Tools, and Theory for Embedded Systems, {LCTES} 2016, Santa
Barbara, CA, USA, June 13 - 14, 2016},
pages = {102--112},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2907950.2907962},
doi = {10.1145/2907950.2907962},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/PhothilimthanaS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BarmanCBG16,
author = {Shaon Barman and
Sarah E. Chasins and
Rastislav Bod{\'{\i}}k and
Sumit Gulwani},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Ringer: web automation by demonstration},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {748--764},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984020},
doi = {10.1145/2983990.2984020},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BarmanCBG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FedyukovichB16,
author = {Grigory Fedyukovich and
Rastislav Bod{\'{\i}}k},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {55--66},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.6},
doi = {10.4204/EPTCS.229.6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/FedyukovichB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2016,
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614},
doi = {10.1145/2837614},
isbn = {978-1-4503-3549-2},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ShahTB16,
author = {Rohin Shah and
Emina Torlak and
Rastislav Bod{\'{\i}}k},
title = {{SIMPL:} {A} {DSL} for Automatic Specialization of Inference Algorithms},
journal = {CoRR},
volume = {abs/1604.04729},
year = {2016},
url = {http://arxiv.org/abs/1604.04729},
eprinttype = {arXiv},
eprint = {1604.04729},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ShahTB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WuLRB16,
author = {Yi Wu and
Lei Li and
Stuart Russell and
Rastislav Bod{\'{\i}}k},
title = {Swift: Compiled Inference for Probabilistic Programming Languages},
journal = {CoRR},
volume = {abs/1606.09242},
year = {2016},
url = {http://arxiv.org/abs/1606.09242},
eprinttype = {arXiv},
eprint = {1606.09242},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WuLRB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Bodik15,
author = {Rastislav Bod{\'{\i}}k},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Program synthesis: opportunities for the next decade},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2789052},
doi = {10.1145/2784731.2789052},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Bodik15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HottelierB15,
author = {Thibaud Hottelier and
Rastislav Bod{\'{\i}}k},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Synthesis of layout engines from relational constraints},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {74--88},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814291},
doi = {10.1145/2814270.2814291},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/HottelierB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BarmanBCTBC15,
author = {Shaon Barman and
Rastislav Bod{\'{\i}}k and
Satish Chandra and
Emina Torlak and
Arka Aloke Bhattacharya and
David E. Culler},
editor = {Gail C. Murphy and
Guy L. Steele Jr.},
title = {Toward tool support for interactive synthesis},
booktitle = {2015 {ACM} International Symposium on New Ideas, New Paradigms, and
Reflections on Programming and Software, Onward! 2015, Pittsburgh,
PA, USA, October 25-30, 2015},
pages = {121--136},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814228.2814235},
doi = {10.1145/2814228.2814235},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BarmanBCTBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/ChasinsBBG15,
author = {Sarah E. Chasins and
Shaon Barman and
Rastislav Bod{\'{\i}}k and
Sumit Gulwani},
editor = {Aldo Gangemi and
Stefano Leonardi and
Alessandro Panconesi},
title = {Browser Record and Replay as a Building Block for End-User Web Automation
Tools},
booktitle = {Proceedings of the 24th International Conference on World Wide Web
Companion, {WWW} 2015, Florence, Italy, May 18-22, 2015 - Companion
Volume},
pages = {179--182},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2740908.2742849},
doi = {10.1145/2740908.2742849},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/ChasinsBBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15,
author = {Rajeev Alur and
Rastislav Bod{\'{\i}}k and
Eric Dallal and
Dana Fisman and
Pranav Garg and
Garvit Juniwal and
Hadas Kress{-}Gazit and
P. Madhusudan and
Milo M. K. Martin and
Mukund Raghothaman and
Shambwaditya Saha and
Sanjit A. Seshia and
Rishabh Singh and
Armando Solar{-}Lezama and
Emina Torlak and
Abhishek Udupa},
editor = {Maximilian Irlbeck and
Doron A. Peled and
Alexander Pretschner},
title = {Syntax-Guided Synthesis},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {40},
pages = {1--25},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-495-4-1},
doi = {10.3233/978-1-61499-495-4-1},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2015,
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {http://www.dagstuhl.de/dagpub/978-3-939897-80-4},
isbn = {978-3-939897-80-4},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GalensonRBHS14,
author = {Joel Galenson and
Philip Reames and
Rastislav Bod{\'{\i}}k and
Bj{\"{o}}rn Hartmann and
Koushik Sen},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {CodeHint: dynamic and interactive synthesis of code snippets},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {653--663},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568250},
doi = {10.1145/2568225.2568250},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GalensonRBHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PhothilimthanaJSTCB14,
author = {Phitchaya Mangpo Phothilimthana and
Tikhon Jelvis and
Rohin Shah and
Nishant Totla and
Sarah E. Chasins and
Rastislav Bod{\'{\i}}k},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Chlorophyll: synthesis-aided compiler for low-power spatial architectures},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {396--407},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594339},
doi = {10.1145/2594291.2594339},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/PhothilimthanaJSTCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TorlakB14,
author = {Emina Torlak and
Rastislav Bod{\'{\i}}k},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {A lightweight symbolic virtual machine for solver-aided host languages},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {530--541},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594340},
doi = {10.1145/2594291.2594340},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TorlakB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/HottelierBR14,
author = {Thibaud Hottelier and
Ras Bod{\'{\i}}k and
Kimiko Ryokai},
editor = {Hrvoje Benko and
Mira Dontcheva and
Daniel Wigdor},
title = {Programming by manipulation for layout},
booktitle = {The 27th Annual {ACM} Symposium on User Interface Software and Technology,
{UIST} '14, Honolulu, HI, USA, October 5-8, 2014},
pages = {231--241},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642918.2647378},
doi = {10.1145/2642918.2647378},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uist/HottelierBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BodikJ13,
author = {Rastislav Bod{\'{\i}}k and
Barbara Jobstmann},
title = {Algorithmic program synthesis: introduction},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {5-6},
pages = {397--411},
year = {2013},
url = {https://doi.org/10.1007/s10009-013-0287-9},
doi = {10.1007/S10009-013-0287-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BodikJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AlurBJMRSSSTU13,
author = {Rajeev Alur and
Rastislav Bod{\'{\i}}k and
Garvit Juniwal and
Milo M. K. Martin and
Mukund Raghothaman and
Sanjit A. Seshia and
Rishabh Singh and
Armando Solar{-}Lezama and
Emina Torlak and
Abhishek Udupa},
title = {Syntax-guided synthesis},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {1--8},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679385/},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AlurBJMRSSSTU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/Bodik13,
author = {Rastislav Bod{\'{\i}}k},
editor = {Jaakko J{\"{a}}rvi and
Christian K{\"{a}}stner},
title = {Modeling biology with solver-aided programming languages},
booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis,
IN, {USA} - October 27 - 28, 2013},
pages = {1--2},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517208.2517229},
doi = {10.1145/2517208.2517229},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/Bodik13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TorlakB13,
author = {Emina Torlak and
Rastislav Bod{\'{\i}}k},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Robert Hirschfeld},
title = {Growing solver-aided languages with rosette},
booktitle = {{ACM} Symposium on New Ideas in Programming and Reflections on Software,
Onward! 2013, part of {SPLASH} '13, Indianapolis, IN, USA, October
26-31, 2013},
pages = {135--152},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509578.2509586},
doi = {10.1145/2509578.2509586},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TorlakB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KoksalPSBFP13,
author = {Ali Sinan K{\"{o}}ksal and
Yewen Pu and
Saurabh Srivastava and
Rastislav Bod{\'{\i}}k and
Jasmin Fisher and
Nir Piterman},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Synthesis of biological models from mutation experiments},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {469--482},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429125},
doi = {10.1145/2429069.2429125},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/KoksalPSBFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/MeyerovichTAB13,
author = {Leo A. Meyerovich and
Matthew E. Torok and
Eric Atkinson and
Rastislav Bod{\'{\i}}k},
editor = {Alex Nicolau and
Xiaowei Shen and
Saman P. Amarasinghe and
Richard W. Vuduc},
title = {Parallel schedule synthesis for attribute grammars},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '13, Shenzhen, China, February 23-27, 2013},
pages = {187--196},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2442516.2442535},
doi = {10.1145/2442516.2442535},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/MeyerovichTAB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2013,
editor = {Vivek Sarkar and
Rastislav Bod{\'{\i}}k},
title = {Architectural Support for Programming Languages and Operating Systems,
{ASPLOS} 2013, Houston, TX, USA, March 16-20, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2451116},
doi = {10.1145/2451116},
isbn = {978-1-4503-1870-9},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Bodik12,
author = {Rastislav Bod{\'{\i}}k},
title = {Compiling what to how: technical perspective},
journal = {Commun. {ACM}},
volume = {55},
number = {2},
pages = {102},
year = {2012},
url = {https://doi.org/10.1145/2076450.2076471},
doi = {10.1145/2076450.2076471},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Bodik12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BodikT12,
author = {Rastislav Bod{\'{\i}}k and
Emina Torlak},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Synthesizing Programs with Constraint Solvers},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {3},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_3},
doi = {10.1007/978-3-642-31424-7\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BodikT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BodikGY12,
author = {Rastislav Bod{\'{\i}}k and
Sumit Gulwani and
Eran Yahav},
title = {Software Synthesis (Dagstuhl Seminar 12152)},
journal = {Dagstuhl Reports},
volume = {2},
number = {4},
pages = {21--38},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.4.21},
doi = {10.4230/DAGREP.2.4.21},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BodikGY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChandraTBB11,
author = {Satish Chandra and
Emina Torlak and
Shaon Barman and
Rastislav Bod{\'{\i}}k},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Angelic debugging},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {121--130},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985811},
doi = {10.1145/1985793.1985811},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChandraTBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PuBS11,
author = {Yewen Pu and
Rastislav Bod{\'{\i}}k and
Saurabh Srivastava},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Synthesis of first-order dynamic programming algorithms},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {83--98},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048076},
doi = {10.1145/2048066.2048076},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PuBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ArnoldHKBS10,
author = {Gilad Arnold and
Johannes H{\"{o}}lzl and
Ali Sinan K{\"{o}}ksal and
Rastislav Bod{\'{\i}}k and
Mooly Sagiv},
editor = {Paul Hudak and
Stephanie Weirich},
title = {Specifying and verifying sparse matrix codes},
booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
27-29, 2010},
pages = {249--260},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863543.1863581},
doi = {10.1145/1863543.1863581},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ArnoldHKBS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BodikCGKTBR10,
author = {Rastislav Bod{\'{\i}}k and
Satish Chandra and
Joel Galenson and
Doug Kimelman and
Nicholas Tung and
Shaon Barman and
Casey Rodarmor},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Programming with angelic nondeterminism},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {339--352},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706339},
doi = {10.1145/1706299.1706339},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BodikCGKTBR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LitvakDBRS10,
author = {Shay Litvak and
Nurit Dor and
Rastislav Bod{\'{\i}}k and
Noam Rinetzky and
Mooly Sagiv},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Field-sensitive program dependence analysis},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {287--296},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882334},
doi = {10.1145/1882291.1882334},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LitvakDBRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/MeyerovichB10,
author = {Leo A. Meyerovich and
Rastislav Bod{\'{\i}}k},
editor = {Michael Rappa and
Paul Jones and
Juliana Freire and
Soumen Chakrabarti},
title = {Fast and parallel webpage layout},
booktitle = {Proceedings of the 19th International Conference on World Wide Web,
{WWW} 2010, Raleigh, North Carolina, USA, April 26-30, 2010},
pages = {711--720},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1772690.1772763},
doi = {10.1145/1772690.1772763},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/MeyerovichB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AsanovicBDKKKMPSWWY09,
author = {Krste Asanovic and
Rastislav Bod{\'{\i}}k and
James Demmel and
Tony M. Keaveny and
Kurt Keutzer and
John Kubiatowicz and
Nelson Morgan and
David A. Patterson and
Koushik Sen and
John Wawrzynek and
David Wessel and
Katherine A. Yelick},
title = {A view of the parallel computing landscape},
journal = {Commun. {ACM}},
volume = {52},
number = {10},
pages = {56--67},
year = {2009},
url = {https://doi.org/10.1145/1562764.1562783},
doi = {10.1145/1562764.1562783},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/AsanovicBDKKKMPSWWY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RaabeB09,
author = {Andreas Raabe and
Rastislav Bod{\'{\i}}k},
title = {Synthesizing hardware from sketches},
booktitle = {Proceedings of the 46th Design Automation Conference, {DAC} 2009,
San Francisco, CA, USA, July 26-31, 2009},
pages = {623--624},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629911.1630074},
doi = {10.1145/1629911.1630074},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/RaabeB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Bodik09,
author = {Rastislav Bod{\'{\i}}k},
editor = {Jens Palsberg and
Zhendong Su},
title = {Algorithmic Program Synthesis with Partial Programs and Decision Procedures},
booktitle = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
CA, USA, August 9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5673},
pages = {1},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03237-0\_1},
doi = {10.1007/978-3-642-03237-0\_1},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sas/Bodik09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9501,
editor = {Rastislav Bod{\'{\i}}k and
Orna Kupferman and
Douglas R. Smith and
Eran Yahav},
title = {Software Synthesis, 06.12. - 11.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09501},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09501/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BodikKSY09,
author = {Rastislav Bod{\'{\i}}k and
Orna Kupferman and
Douglas R. Smith and
Eran Yahav},
editor = {Rastislav Bod{\'{\i}}k and
Orna Kupferman and
Douglas R. Smith and
Eran Yahav},
title = {09501 Abstracts Collection - Software Synthesis},
booktitle = {Software Synthesis, 06.12. - 11.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09501},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2669/},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BodikKSY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/AllenBBBFFHKKLLLPRRSTW08,
author = {Eric Allen and
Mark W. Bailey and
Rastislav Bod{\'{\i}}k and
Kim B. Bruce and
Kathleen Fisher and
Stephen N. Freund and
Robert Harper and
Chandra Krintz and
Shriram Krishnamurthi and
James R. Larus and
Doug Lea and
Gary T. Leavens and
Lori L. Pollock and
Stuart Reges and
Martin C. Rinard and
Mark A. Sheldon and
Franklyn A. Turbak and
Mitchell Wand},
title = {{SIGPLAN} programming language curriculum workshop: Discussion Summaries
and recommendations},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {6--29},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480831},
doi = {10.1145/1480828.1480831},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/AllenBBBFFHKKLLLPRRSTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Bodik08,
author = {Rastislav Bod{\'{\i}}k},
title = {Small languages in an undergraduate PL/Compiler course},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {39--44},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480836},
doi = {10.1145/1480828.1480836},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Bodik08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ShankarAB08,
author = {Ajeet Shankar and
Matthew Arnold and
Rastislav Bod{\'{\i}}k},
editor = {Gail E. Harris},
title = {Jolt: lightweight dynamic analysis and removal of object churn},
booktitle = {Proceedings of the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-23, 2008, Nashville, TN, {USA}},
pages = {127--142},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449764.1449775},
doi = {10.1145/1449764.1449775},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ShankarAB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Bodik08,
author = {Rastislav Bod{\'{\i}}k},
editor = {Robert Gl{\"{u}}ck and
Oege de Moor},
title = {Software synthesis with sketching},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco,
California, USA, January 7-8, 2008},
pages = {1--2},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328408.1328409},
doi = {10.1145/1328408.1328409},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Bodik08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Solar-LezamaJB08,
author = {Armando Solar{-}Lezama and
Christopher Grant Jones and
Rastislav Bod{\'{\i}}k},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Sketching concurrent data structures},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {136--148},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375599},
doi = {10.1145/1375581.1375599},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Solar-LezamaJB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/ChandraSSB08,
author = {Satish Chandra and
Vijay A. Saraswat and
Vivek Sarkar and
Rastislav Bod{\'{\i}}k},
editor = {Siddhartha Chatterjee and
Michael L. Scott},
title = {Type inference for locality analysis of distributed data structures},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2008, Salt Lake City, UT,
USA, February 20-23, 2008},
pages = {11--22},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1345206.1345211},
doi = {10.1145/1345206.1345211},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/ChandraSSB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/XuBH07,
author = {Min Xu and
Rastislav Bod{\'{\i}}k and
Mark D. Hill},
title = {A Hardware Memory Race Recorder for Deterministic Replay},
journal = {{IEEE} Micro},
volume = {27},
number = {1},
pages = {48--55},
year = {2007},
url = {https://doi.org/10.1109/MM.2007.2},
doi = {10.1109/MM.2007.2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/XuBH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SridharanFB07,
author = {Manu Sridharan and
Stephen J. Fink and
Rastislav Bod{\'{\i}}k},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Thin slicing},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {112--122},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250748},
doi = {10.1145/1250734.1250748},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SridharanFB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Solar-LezamaATBSS07,
author = {Armando Solar{-}Lezama and
Gilad Arnold and
Liviu Tancau and
Rastislav Bod{\'{\i}}k and
Vijay A. Saraswat and
Sanjit A. Seshia},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Sketching stencils},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {167--178},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250754},
doi = {10.1145/1250734.1250754},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Solar-LezamaATBSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShankarB07,
author = {Ajeet Shankar and
Rastislav Bod{\'{\i}}k},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {{DITTO:} automatic incrementalization of data structure invariant
checks (in Java)},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {310--319},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250770},
doi = {10.1145/1250734.1250770},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ShankarB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/XuHB06,
author = {Min Xu and
Mark D. Hill and
Rastislav Bod{\'{\i}}k},
editor = {John Paul Shen and
Margaret Martonosi},
title = {A regulated transitive reduction {(RTR)} for longer memory race recording},
booktitle = {Proceedings of the 12th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2006, San Jose, CA, USA, October 21-25, 2006},
pages = {49--60},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1168857.1168865},
doi = {10.1145/1168857.1168865},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/XuHB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/Solar-LezamaTBSS06,
author = {Armando Solar{-}Lezama and
Liviu Tancau and
Rastislav Bod{\'{\i}}k and
Sanjit A. Seshia and
Vijay A. Saraswat},
editor = {John Paul Shen and
Margaret Martonosi},
title = {Combinatorial sketching for finite programs},
booktitle = {Proceedings of the 12th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2006, San Jose, CA, USA, October 21-25, 2006},
pages = {404--415},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1168857.1168907},
doi = {10.1145/1168857.1168907},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/Solar-LezamaTBSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SridharanB06,
author = {Manu Sridharan and
Rastislav Bod{\'{\i}}k},
editor = {Michael I. Schwartzbach and
Thomas Ball},
title = {Refinement-based context-sensitive points-to analysis for Java},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
Language Design and Implementation, Ottawa, Ontario, Canada, June
11-14, 2006},
pages = {387--400},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133981.1134027},
doi = {10.1145/1133981.1134027},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SridharanB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SridharanGSB05,
author = {Manu Sridharan and
Denis Gopan and
Lexin Shan and
Rastislav Bod{\'{\i}}k},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Demand-driven points-to analysis for Java},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {59--76},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094817},
doi = {10.1145/1094811.1094817},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SridharanGSB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ShankarSBS05,
author = {Ajeet Shankar and
S. Subramanya Sastry and
Rastislav Bod{\'{\i}}k and
James E. Smith},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Runtime specialization with optimistic heap analysis},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {327--343},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094837},
doi = {10.1145/1094811.1094837},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ShankarSBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/XuBH05,
author = {Min Xu and
Rastislav Bod{\'{\i}}k and
Mark D. Hill},
editor = {Vivek Sarkar and
Mary W. Hall},
title = {A serializability violation detector for shared-memory server programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
Language Design and Implementation, Chicago, IL, USA, June 12-15,
2005},
pages = {1--14},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065010.1065013},
doi = {10.1145/1065010.1065013},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/XuBH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MandelinXBK05,
author = {David Mandelin and
Lin Xu and
Rastislav Bod{\'{\i}}k and
Doug Kimelman},
editor = {Vivek Sarkar and
Mary W. Hall},
title = {Jungloid mining: helping to navigate the {API} jungle},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
Language Design and Implementation, Chicago, IL, USA, June 12-15,
2005},
pages = {48--61},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065010.1065018},
doi = {10.1145/1065010.1065018},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MandelinXBK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Solar-LezamaRBE05,
author = {Armando Solar{-}Lezama and
Rodric M. Rabbah and
Rastislav Bod{\'{\i}}k and
Kemal Ebcioglu},
editor = {Vivek Sarkar and
Mary W. Hall},
title = {Programming by sketching for bit-streaming programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
Language Design and Implementation, Chicago, IL, USA, June 12-15,
2005},
pages = {281--294},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065010.1065045},
doi = {10.1145/1065010.1065045},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Solar-LezamaRBE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2005,
editor = {Rastislav Bod{\'{\i}}k},
title = {Compiler Construction, 14th International Conference, {CC} 2005, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3443},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b107108},
doi = {10.1007/B107108},
isbn = {3-540-25411-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/FieldsBHN04,
author = {Brian A. Fields and
Rastislav Bod{\'{\i}}k and
Mark D. Hill and
Chris J. Newburn},
title = {Interaction Cost: For When Event Counts Just Don't Add Up},
journal = {{IEEE} Micro},
volume = {24},
number = {6},
pages = {57--61},
year = {2004},
url = {https://doi.org/10.1109/MM.2004.78},
doi = {10.1109/MM.2004.78},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/FieldsBHN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/FieldsBHN04,
author = {Brian A. Fields and
Rastislav Bod{\'{\i}}k and
Mark D. Hill and
Chris J. Newburn},
title = {Interaction cost and shotgun profiling},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {1},
number = {3},
pages = {272--304},
year = {2004},
url = {https://doi.org/10.1145/1022969.1022971},
doi = {10.1145/1022969.1022971},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taco/FieldsBHN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/XuBH03,
author = {Min Xu and
Rastislav Bod{\'{\i}}k and
Mark D. Hill},
editor = {Allan Gottlieb and
Kai Li},
title = {A "Flight Data Recorder" for Enabling Full-System Multiprocessor
Deterministic Replay},
booktitle = {30th International Symposium on Computer Architecture {(ISCA} 2003),
9-11 June 2003, San Diego, California, {USA}},
pages = {122--133},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/ISCA.2003.1206994},
doi = {10.1109/ISCA.2003.1206994},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/XuBH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/FieldsBHN03,
author = {Brian A. Fields and
Rastislav Bod{\'{\i}}k and
Mark D. Hill and
Chris J. Newburn},
title = {Using Interaction Costs for Microarchitectural Bottleneck Analysis},
booktitle = {Proceedings of the 36th Annual International Symposium on Microarchitecture,
San Diego, CA, USA, December 3-5, 2003},
pages = {228--242},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MICRO.2003.1253198},
doi = {10.1109/MICRO.2003.1253198},
timestamp = {Tue, 31 May 2022 14:39:58 +0200},
biburl = {https://dblp.org/rec/conf/micro/FieldsBHN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AmmonsMBL03,
author = {Glenn Ammons and
David Mandelin and
Rastislav Bod{\'{\i}}k and
James R. Larus},
editor = {Ron Cytron and
Rajiv Gupta},
title = {Debugging temporal specifications with concept analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2003 Conference on Programming
Language Design and Implementation 2003, San Diego, California, USA,
June 9-11, 2003},
pages = {182--195},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/781131.781152},
doi = {10.1145/781131.781152},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AmmonsMBL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/FieldsBH02,
author = {Brian A. Fields and
Rastislav Bod{\'{\i}}k and
Mark D. Hill},
editor = {Yale N. Patt and
Dirk Grunwald and
Kevin Skadron},
title = {Slack: Maximizing Performance Under Technological Constraints},
booktitle = {29th International Symposium on Computer Architecture {(ISCA} 2002),
25-29 May 2002, Anchorage, AK, {USA}},
pages = {47--58},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISCA.2002.1003561},
doi = {10.1109/ISCA.2002.1003561},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/FieldsBH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AmmonsBL02,
author = {Glenn Ammons and
Rastislav Bod{\'{\i}}k and
James R. Larus},
editor = {John Launchbury and
John C. Mitchell},
title = {Mining specifications},
booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, OR, USA, January
16-18, 2002},
pages = {4--16},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503272.503275},
doi = {10.1145/503272.503275},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/popl/AmmonsBL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RubinBC02,
author = {Shai Rubin and
Rastislav Bod{\'{\i}}k and
Trishul M. Chilimbi},
editor = {John Launchbury and
John C. Mitchell},
title = {An efficient profile-analysis framework for data-layout optimizations},
booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, OR, USA, January
16-18, 2002},
pages = {140--153},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503272.503287},
doi = {10.1145/503272.503287},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/RubinBC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/FieldsRB01,
author = {Brian A. Fields and
Shai Rubin and
Rastislav Bod{\'{\i}}k},
editor = {Per Stenstr{\"{o}}m},
title = {Focusing processor policies via critical-path prediction},
booktitle = {Proceedings of the 28th Annual International Symposium on Computer
Architecture, {ISCA} 2001, G{\"{o}}teborg, Sweden, June 30-July
4, 2001},
pages = {74--85},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379240.379253},
doi = {10.1145/379240.379253},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/FieldsRB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/SastryBS01,
author = {S. Subramanya Sastry and
Rastislav Bod{\'{\i}}k and
James E. Smith},
editor = {Per Stenstr{\"{o}}m},
title = {Rapid profiling via stratified sampling},
booktitle = {Proceedings of the 28th Annual International Symposium on Computer
Architecture, {ISCA} 2001, G{\"{o}}teborg, Sweden, June 30-July
4, 2001},
pages = {278--289},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379240.379273},
doi = {10.1145/379240.379273},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isca/SastryBS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2001om,
editor = {Rastislav Bod{\'{\i}}k and
Vugranam C. Sreedhar},
title = {Proceedings of the 2001 {ACM} {SIGPLAN} Workshop on Optimization of
Middleware and Distributed Systems, {OM} '01, Snow Bird, Utah, {USA}},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384198},
doi = {10.1145/384198},
timestamp = {Wed, 12 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/2001om.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BodikGS00,
author = {Rastislav Bod{\'{\i}}k and
Rajiv Gupta and
Vivek Sarkar},
editor = {Monica S. Lam},
title = {{ABCD:} eliminating array bounds checks on demand},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Vancouver, Britith Columbia,
Canada, June 18-21, 2000},
pages = {321--333},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/349299.349342},
doi = {10.1145/349299.349342},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BodikGS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/GuptaB99,
author = {Rajiv Gupta and
Rastislav Bod{\'{\i}}k},
editor = {Stefan J{\"{a}}hnichen},
title = {Register Pressure Sensitive Redundancy Elimination},
booktitle = {Compiler Construction, 8th International Conference, CC'99, Held as
Part of the European Joint Conferences on the Theory and Practice
of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1575},
pages = {107--121},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-49051-7\_8},
doi = {10.1007/978-3-540-49051-7\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/GuptaB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BodikGS99,
author = {Rastislav Bod{\'{\i}}k and
Rajiv Gupta and
Mary Lou Soffa},
editor = {Barbara G. Ryder and
Benjamin G. Zorn},
title = {Load-Reuse Analysis: Design and Evaluation},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Atlanta, Georgia, USA,
May 1-4, 1999},
pages = {64--76},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/301618.301643},
doi = {10.1145/301618.301643},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BodikGS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BodikGS98,
author = {Rastislav Bod{\'{\i}}k and
Rajiv Gupta and
Mary Lou Soffa},
editor = {Jack W. Davidson and
Keith D. Cooper and
A. Michael Berman},
title = {Complete Removal of Redundant Computations},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
pages = {1--14},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277650.277653},
doi = {10.1145/277650.277653},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BodikGS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BodikGS98a,
author = {Rastislav Bod{\'{\i}}k and
Rajiv Gupta and
Mary Lou Soffa},
editor = {Kathryn S. McKinley},
title = {Complete removal of redundant expressions (with retrospective)},
booktitle = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language
Design and Implementation 1979-1999, {A} Selection},
pages = {596--611},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/989393.989453},
doi = {10.1145/989393.989453},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BodikGS98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BodikA98,
author = {Rastislav Bod{\'{\i}}k and
Sadun Anik},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Path-Sensitive Value-Flow Analysis},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {237--251},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268966},
doi = {10.1145/268946.268966},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BodikA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/BodikGS98,
author = {Rastislav Bod{\'{\i}}k and
Rajiv Gupta and
Mary Lou Soffa},
editor = {Mehdi Jazayeri and
Helmut Schauer},
title = {Refining Data Flow Information Using Infeasible Paths},
booktitle = {Software Engineering - {ESEC/FSE} '97, 6th European Software Engineering
Conference Held Jointly with the 5th {ACM} {SIGSOFT} Symposium on
Foundations of Software Engineering, Zurich, Switzerland, September
22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1301},
pages = {361--377},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63531-9\_25},
doi = {10.1007/3-540-63531-9\_25},
timestamp = {Wed, 04 May 2022 13:01:10 +0200},
biburl = {https://dblp.org/rec/conf/esec/BodikGS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BodikGS97,
author = {Rastislav Bod{\'{\i}}k and
Rajiv Gupta and
Mary Lou Soffa},
editor = {Marina C. Chen and
Ron K. Cytron and
A. Michael Berman},
title = {Interprocedural Conditional Branch Elimination},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '97 Conference on Programming Language
Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18,
1997},
pages = {146--158},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258915.258929},
doi = {10.1145/258915.258929},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BodikGS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BodikG97,
author = {Rastislav Bod{\'{\i}}k and
Rajiv Gupta},
editor = {Marina C. Chen and
Ron K. Cytron and
A. Michael Berman},
title = {Partial Dead Code Elimination using Slicing Transformations},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '97 Conference on Programming Language
Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18,
1997},
pages = {159--170},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258915.258930},
doi = {10.1145/258915.258930},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BodikG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/BodikG96,
author = {Rastislav Bod{\'{\i}}k and
Rajiv Gupta},
title = {Array Data Flow Analysis for Load-Store Optimizations in Fine-Grained
Architectures},
journal = {Int. J. Parallel Program.},
volume = {24},
number = {6},
pages = {481--512},
year = {1996},
url = {https://doi.org/10.1007/bf03356757},
doi = {10.1007/BF03356757},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/BodikG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/BodikG95,
author = {Rastislav Bod{\'{\i}}k and
Rajiv Gupta},
editor = {Chua{-}Huang Huang and
P. Sadayappan and
Utpal Banerjee and
David Gelernter and
Alexandru Nicolau and
David A. Padua},
title = {Array Data Flow Analysis for Load-Store Optimizations in Superscalar
Architectures},
booktitle = {Languages and Compilers for Parallel Computing, 8th International
Workshop, LCPC'95, Columbus, Ohio, USA, August 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1033},
pages = {1--15},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014188},
doi = {10.1007/BFB0014188},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/BodikG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spdp/GuptaB95,
author = {Rajiv Gupta and
Rastislav Bod{\'{\i}}k},
title = {Adaptive loop transformations for scientific programs},
booktitle = {Proceedings of the Seventh {IEEE} Symposium on Parallel and Distributed
Processing, {SPDP} 1995, San Antonio, Texas , USA, October 25-28,
1995},
pages = {368--375},
publisher = {{IEEE}},
year = {1995},
url = {https://doi.org/10.1109/SPDP.1995.530707},
doi = {10.1109/SPDP.1995.530707},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spdp/GuptaB95.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.
last updated on 2024-04-03 22:44 CEST 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:
