Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin C. Rinard
@article{DBLP:journals/pacmpl/LewGRM23,
author = {Alexander K. Lew and
Matin Ghavamizadeh and
Martin C. Rinard and
Vikash K. Mansinghka},
title = {Probabilistic Programming with Stochastic Probabilities},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1708--1732},
year = {2023},
url = {https://doi.org/10.1145/3591290},
doi = {10.1145/3591290},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/LewGRM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/JinSR23,
author = {Charles Jin and
Melinda Sun and
Martin C. Rinard},
title = {Incompatibility Clustering as a Defense Against Backdoor Poisoning
Attacks},
booktitle = {The Eleventh International Conference on Learning Representations,
{ICLR} 2023, Kigali, Rwanda, May 1-5, 2023},
publisher = {OpenReview.net},
year = {2023},
url = {https://openreview.net/pdf?id=mkJm5Uy4HrQ},
timestamp = {Fri, 30 Jun 2023 14:38:38 +0200},
biburl = {https://dblp.org/rec/conf/iclr/JinSR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2307-07448,
author = {Farid Arthaud and
Martin C. Rinard},
editor = {Rineke Verbrugge},
title = {Depth-bounded Epistemic Logic},
booktitle = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
series = {{EPTCS}},
volume = {379},
pages = {46--65},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.379.7},
doi = {10.4204/EPTCS.379.7},
timestamp = {Fri, 11 Aug 2023 14:29:27 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-07448.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-16806,
author = {Yichen Yang and
Martin C. Rinard},
title = {Emergence of Locally Suboptimal Behavior in Finitely Repeated Games},
journal = {CoRR},
volume = {abs/2303.16806},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.16806},
doi = {10.48550/ARXIV.2303.16806},
eprinttype = {arXiv},
eprint = {2303.16806},
timestamp = {Fri, 21 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-16806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-11237,
author = {Kai Jia and
Martin C. Rinard},
title = {Effective Neural Network L\({}_{\mbox{0}}\) Regularization With BinMask},
journal = {CoRR},
volume = {abs/2304.11237},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.11237},
doi = {10.48550/ARXIV.2304.11237},
eprinttype = {arXiv},
eprint = {2304.11237},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-11237.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-13957,
author = {Charles Jin and
Zhang{-}Wei Hong and
Farid Arthaud and
Idan Orzech and
Martin C. Rinard},
title = {Decentralized Inference via Capability Type Structures in Cooperative
Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2304.13957},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.13957},
doi = {10.48550/ARXIV.2304.13957},
eprinttype = {arXiv},
eprint = {2304.13957},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-13957.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-08607,
author = {Farid Arthaud and
Martin C. Rinard},
title = {Depth-bounded epistemic logic},
journal = {CoRR},
volume = {abs/2305.08607},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.08607},
doi = {10.48550/ARXIV.2305.08607},
eprinttype = {arXiv},
eprint = {2305.08607},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-08607.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-11169,
author = {Charles Jin and
Martin C. Rinard},
title = {Evidence of Meaning in Language Models Trained on Programs},
journal = {CoRR},
volume = {abs/2305.11169},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.11169},
doi = {10.48550/ARXIV.2305.11169},
eprinttype = {arXiv},
eprint = {2305.11169},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-11169.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-06134,
author = {Kai Jia and
Pasapol Saowakon and
Limor Appelbaum and
Martin C. Rinard},
title = {Sound Explanation for Trustworthy Machine Learning},
journal = {CoRR},
volume = {abs/2306.06134},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.06134},
doi = {10.48550/ARXIV.2306.06134},
eprinttype = {arXiv},
eprint = {2306.06134},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-06134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-08047,
author = {Idan Orzech and
Martin C. Rinard},
title = {Correlated vs. Uncorrelated Randomness in Adversarial Congestion Team
Games},
journal = {CoRR},
volume = {abs/2308.08047},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.08047},
doi = {10.48550/ARXIV.2308.08047},
eprinttype = {arXiv},
eprint = {2308.08047},
timestamp = {Wed, 23 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-08047.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-06205,
author = {Kai Jia and
Martin C. Rinard},
title = {A nonsmooth optimization method},
journal = {CoRR},
volume = {abs/2311.06205},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.06205},
doi = {10.48550/ARXIV.2311.06205},
eprinttype = {arXiv},
eprint = {2311.06205},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-06205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-17364,
author = {Edan Orzech and
Martin C. Rinard},
title = {Randomness Requirements and Asymmetries in Nash Equilibria},
journal = {CoRR},
volume = {abs/2312.17364},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.17364},
doi = {10.48550/ARXIV.2312.17364},
eprinttype = {arXiv},
eprint = {2312.17364},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-17364.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/0001RV22,
author = {Jiasi Shen and
Martin C. Rinard and
Nikos Vasilakis},
editor = {Jaejin Lee and
Kunal Agrawal and
Michael F. Spear},
title = {Automatic synthesis of parallel unix commands and pipelines with KumQuat},
booktitle = {PPoPP '22: 27th {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022},
pages = {431--432},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3503221.3508400},
doi = {10.1145/3503221.3508400},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/0001RV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sagt/YangJR22,
author = {Yichen Yang and
Kai Jia and
Martin C. Rinard},
editor = {Panagiotis Kanellopoulos and
Maria Kyropoulou and
Alexandros A. Voudouris},
title = {On the Impact of Player Capability on Congestion Games},
booktitle = {Algorithmic Game Theory - 15th International Symposium, {SAGT} 2022,
Colchester, UK, September 12-15, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13584},
pages = {311--328},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15714-1\_18},
doi = {10.1007/978-3-031-15714-1\_18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sagt/YangJR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-09905,
author = {Yichen Yang and
Kai Jia and
Martin C. Rinard},
title = {On the Impact of Player Capability on Congestion Games},
journal = {CoRR},
volume = {abs/2205.09905},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.09905},
doi = {10.48550/ARXIV.2205.09905},
eprinttype = {arXiv},
eprint = {2205.09905},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-09905.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-04516,
author = {Kai Jia and
Martin C. Rinard and
Yichen Yang},
title = {Mixed Capability Games},
journal = {CoRR},
volume = {abs/2208.04516},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.04516},
doi = {10.48550/ARXIV.2208.04516},
eprinttype = {arXiv},
eprint = {2208.04516},
timestamp = {Mon, 22 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04516.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HandaKVR21,
author = {Shivam Handa and
Konstantinos Kallas and
Nikos Vasilakis and
Martin C. Rinard},
title = {An order-aware dataflow model for parallel Unix pipelines},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{ICFP}},
pages = {1--28},
year = {2021},
url = {https://doi.org/10.1145/3473570},
doi = {10.1145/3473570},
timestamp = {Tue, 26 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/HandaKVR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/ZogajCRC21,
author = {Fatjon Zogaj and
Jos{\'{e}} Pablo Cambronero and
Martin C. Rinard and
J{\"{u}}rgen Cito},
title = {Doing More with Less: Characterizing Dataset Downsampling for AutoML},
journal = {Proc. {VLDB} Endow.},
volume = {14},
number = {11},
pages = {2059--2072},
year = {2021},
url = {http://www.vldb.org/pvldb/vol14/p2059-zogaj.pdf},
doi = {10.14778/3476249.3476262},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/ZogajCRC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ShenR21,
author = {Jiasi Shen and
Martin C. Rinard},
title = {Active Learning for Inference and Regeneration of Applications that
Access Databases},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {4},
pages = {18:1--18:119},
year = {2021},
url = {https://doi.org/10.1145/3430952},
doi = {10.1145/3430952},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/ShenR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/VasilakisBHS0R21,
author = {Nikos Vasilakis and
Achilles Benetopoulos and
Shivam Handa and
Alizee Schoen and
Jiasi Shen and
Martin C. Rinard},
editor = {Yongdae Kim and
Jong Kim and
Giovanni Vigna and
Elaine Shi},
title = {Supply-Chain Vulnerability Elimination via Active Learning and Regeneration},
booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications
Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
pages = {1755--1770},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460120.3484736},
doi = {10.1145/3460120.3484736},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/VasilakisBHS0R21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/JinR21,
author = {Charles Jin and
Martin C. Rinard},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Towards Context-Agnostic Learning Using Synthetic Data},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {26223--26236},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/dccb1c3a558c50d389c24d69a9856730-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/JinR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/YangIBPSR21,
author = {Yichen Yang and
Jeevana Priya Inala and
Osbert Bastani and
Yewen Pu and
Armando Solar{-}Lezama and
Martin C. Rinard},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Program Synthesis Guided Reinforcement Learning for Partially Observed
Environments},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {29669--29683},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/f7e2b2b75b04175610e5a00c1e221ebb-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/YangIBPSR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SaadRM21,
author = {Feras A. Saad and
Martin C. Rinard and
Vikash K. Mansinghka},
editor = {Stephen N. Freund and
Eran Yahav},
title = {{SPPL:} probabilistic programming with fast exact symbolic inference},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {804--819},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454078},
doi = {10.1145/3453483.3454078},
timestamp = {Thu, 09 Dec 2021 07:39:43 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SaadRM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JiaR21,
author = {Kai Jia and
Martin C. Rinard},
editor = {Cezara Dragoi and
Suvam Mukherjee and
Kedar S. Namjoshi},
title = {Exploiting Verified Neural Networks via Floating Point Numerical Error},
booktitle = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
IL, USA, October 17-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12913},
pages = {191--205},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88806-0\_9},
doi = {10.1007/978-3-030-88806-0\_9},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/JiaR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JiaR21a,
author = {Kai Jia and
Martin C. Rinard},
editor = {Cezara Dragoi and
Suvam Mukherjee and
Kedar S. Namjoshi},
title = {Verifying Low-Dimensional Input Neural Networks via Input Quantization},
booktitle = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
IL, USA, October 17-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12913},
pages = {206--214},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88806-0\_10},
doi = {10.1007/978-3-030-88806-0\_10},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/JiaR21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/VasilakisNHR21,
author = {Nikos Vasilakis and
Grigoris Ntousakis and
Veit Heller and
Martin C. Rinard},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Efficient module-level dynamic analysis for dynamic languages with
module recontextualization},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {1202--1213},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468574},
doi = {10.1145/3468264.3468574},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/VasilakisNHR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-03238,
author = {Jeevana Priya Inala and
Yichen Yang and
James Paulos and
Yewen Pu and
Osbert Bastani and
Vijay Kumar and
Martin C. Rinard and
Armando Solar{-}Lezama},
title = {Neurosymbolic Transformers for Multi-Agent Communication},
journal = {CoRR},
volume = {abs/2101.03238},
year = {2021},
url = {https://arxiv.org/abs/2101.03238},
eprinttype = {arXiv},
eprint = {2101.03238},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-03238.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-11137,
author = {Yichen Yang and
Jeevana Priya Inala and
Osbert Bastani and
Yewen Pu and
Armando Solar{-}Lezama and
Martin C. Rinard},
title = {Program Synthesis Guided Reinforcement Learning},
journal = {CoRR},
volume = {abs/2102.11137},
year = {2021},
url = {https://arxiv.org/abs/2102.11137},
eprinttype = {arXiv},
eprint = {2102.11137},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-11137.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-05030,
author = {Shivam Handa and
Martin C. Rinard},
title = {Program Synthesis Over Noisy Data with Guarantees},
journal = {CoRR},
volume = {abs/2103.05030},
year = {2021},
url = {https://arxiv.org/abs/2103.05030},
eprinttype = {arXiv},
eprint = {2103.05030},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-05030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-09669,
author = {Thurston H. Y. Dang and
Jos{\'{e}} Pablo Cambronero and
Martin C. Rinard},
title = {Inferring Drop-in Binary Parsers from Program Executions},
journal = {CoRR},
volume = {abs/2104.09669},
year = {2021},
url = {https://arxiv.org/abs/2104.09669},
eprinttype = {arXiv},
eprint = {2104.09669},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-09669.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-13315,
author = {Shivam Handa and
Martin C. Rinard},
title = {Inductive Program Synthesis over Noisy Datasets using Abstraction
Refinement Based Optimization},
journal = {CoRR},
volume = {abs/2104.13315},
year = {2021},
url = {https://arxiv.org/abs/2104.13315},
eprinttype = {arXiv},
eprint = {2104.13315},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-13315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-03692,
author = {Charles Jin and
Melinda Sun and
Martin C. Rinard},
title = {Provable Guarantees against Data Poisoning Using Self-Expansion and
Compatibility},
journal = {CoRR},
volume = {abs/2105.03692},
year = {2021},
url = {https://arxiv.org/abs/2105.03692},
eprinttype = {arXiv},
eprint = {2105.03692},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-03692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-07961,
author = {Kai Jia and
Martin C. Rinard},
title = {Verifying Low-dimensional Input Neural Networks via Input Quantization},
journal = {CoRR},
volume = {abs/2108.07961},
year = {2021},
url = {https://arxiv.org/abs/2108.07961},
eprinttype = {arXiv},
eprint = {2108.07961},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-07961.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-05638,
author = {Malavika Samak and
Jos{\'{e}} Pablo Cambronero and
Martin C. Rinard},
title = {Searching for Replacement Classes},
journal = {CoRR},
volume = {abs/2110.05638},
year = {2021},
url = {https://arxiv.org/abs/2110.05638},
eprinttype = {arXiv},
eprint = {2110.05638},
timestamp = {Thu, 21 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-05638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/Stanley-Marbell20,
author = {Phillip Stanley{-}Marbell and
Martin C. Rinard},
title = {Warp: {A} Hardware Platform for Efficient Multimodal Sensing With
Adaptive Approximation},
journal = {{IEEE} Micro},
volume = {40},
number = {1},
pages = {57--66},
year = {2020},
url = {https://doi.org/10.1109/MM.2019.2951004},
doi = {10.1109/MM.2019.2951004},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/Stanley-Marbell20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SaadFRM20,
author = {Feras A. Saad and
Cameron E. Freer and
Martin C. Rinard and
Vikash K. Mansinghka},
title = {Optimal approximate sampling from discrete probability distributions},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {36:1--36:31},
year = {2020},
url = {https://doi.org/10.1145/3371104},
doi = {10.1145/3371104},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SaadFRM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SamakKR20,
author = {Malavika Samak and
Deokhwan Kim and
Martin C. Rinard},
title = {Synthesizing replacement classes},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {52:1--52:33},
year = {2020},
url = {https://doi.org/10.1145/3371120},
doi = {10.1145/3371120},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SamakKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/SaadFRM20,
author = {Feras Saad and
Cameron E. Freer and
Martin C. Rinard and
Vikash Mansinghka},
editor = {Silvia Chiappa and
Roberto Calandra},
title = {The Fast Loaded Dice Roller: {A} Near-Optimal Exact Sampler for Discrete
Probability Distributions},
booktitle = {The 23rd International Conference on Artificial Intelligence and Statistics,
{AISTATS} 2020, 26-28 August 2020, Online [Palermo, Sicily, Italy]},
series = {Proceedings of Machine Learning Research},
volume = {108},
pages = {1036--1046},
publisher = {{PMLR}},
year = {2020},
url = {http://proceedings.mlr.press/v108/saad20a.html},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aistats/SaadFRM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/AchourR20,
author = {Sara Achour and
Martin C. Rinard},
editor = {James R. Larus and
Luis Ceze and
Karin Strauss},
title = {Noise-Aware Dynamical System Compilation for Analog Devices with Legno},
booktitle = {{ASPLOS} '20: Architectural Support for Programming Languages and
Operating Systems, Lausanne, Switzerland, March 16-20, 2020},
pages = {149--166},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373376.3378449},
doi = {10.1145/3373376.3378449},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/AchourR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/PerkinsECR20,
author = {Jeff H. Perkins and
Jordan Eikenberry and
Alessandro Coglio and
Martin C. Rinard},
title = {Comprehensive Java Metadata Tracking for Attack Detection and Repair},
booktitle = {50th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2020, Valencia, Spain, June 29 - July 2, 2020},
pages = {39--51},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DSN48063.2020.00024},
doi = {10.1109/DSN48063.2020.00024},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/PerkinsECR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/Cito0R20,
author = {J{\"{u}}rgen Cito and
Jiasi Shen and
Martin C. Rinard},
editor = {Sunghun Kim and
Georgios Gousios and
Sarah Nadi and
Joseph Hejderup},
title = {An Empirical Study on the Impact of Deimplicitization on Comprehension
in Programs Using Application Frameworks},
booktitle = {{MSR} '20: 17th International Conference on Mining Software Repositories,
Seoul, Republic of Korea, 29-30 June, 2020},
pages = {598--601},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3379597.3387507},
doi = {10.1145/3379597.3387507},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msr/Cito0R20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/Inala0PPB0RS20,
author = {Jeevana Priya Inala and
Yichen Yang and
James Paulos and
Yewen Pu and
Osbert Bastani and
Vijay Kumar and
Martin C. Rinard and
Armando Solar{-}Lezama},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Neurosymbolic Transformers for Multi-Agent Communication},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/9d740bd0f36aaa312c8d504e28c42163-Abstract.html},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/Inala0PPB0RS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/JiaR20,
author = {Kai Jia and
Martin C. Rinard},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Efficient Exact Verification of Binarized Neural Networks},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/1385974ed5904a438616ff7bdb3f7439-Abstract.html},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/JiaR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HandaR20,
author = {Shivam Handa and
Martin C. Rinard},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {Inductive program synthesis over noisy data},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {87--98},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3409732},
doi = {10.1145/3368089.3409732},
timestamp = {Tue, 10 Nov 2020 10:30:27 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HandaR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CambroneroCR20,
author = {Jos{\'{e}} Pablo Cambronero and
J{\"{u}}rgen Cito and
Martin C. Rinard},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {{AMS:} generating AutoML search spaces from weak specifications},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {763--774},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3409700},
doi = {10.1145/3368089.3409700},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/CambroneroCR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-04555,
author = {Feras A. Saad and
Cameron E. Freer and
Martin C. Rinard and
Vikash K. Mansinghka},
title = {Optimal Approximate Sampling from Discrete Probability Distributions},
journal = {CoRR},
volume = {abs/2001.04555},
year = {2020},
url = {https://arxiv.org/abs/2001.04555},
eprinttype = {arXiv},
eprint = {2001.04555},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-04555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03021,
author = {Kai Jia and
Martin C. Rinard},
title = {Exploiting Verified Neural Networks via Floating Point Numerical Error},
journal = {CoRR},
volume = {abs/2003.03021},
year = {2020},
url = {https://arxiv.org/abs/2003.03021},
eprinttype = {arXiv},
eprint = {2003.03021},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-03021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03830,
author = {Feras A. Saad and
Cameron E. Freer and
Martin C. Rinard and
Vikash K. Mansinghka},
title = {The Fast Loaded Dice Roller: {A} Near-Optimal Exact Sampler for Discrete
Probability Distributions},
journal = {CoRR},
volume = {abs/2003.03830},
year = {2020},
url = {https://arxiv.org/abs/2003.03830},
eprinttype = {arXiv},
eprint = {2003.03830},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-03830.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-04286,
author = {Charles Jin and
Martin C. Rinard},
title = {Manifold Regularization for Adversarial Robustness},
journal = {CoRR},
volume = {abs/2003.04286},
year = {2020},
url = {https://arxiv.org/abs/2003.04286},
eprinttype = {arXiv},
eprint = {2003.04286},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-04286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-03597,
author = {Kai Jia and
Martin C. Rinard},
title = {Efficient Exact Verification of Binarized Neural Networks},
journal = {CoRR},
volume = {abs/2005.03597},
year = {2020},
url = {https://arxiv.org/abs/2005.03597},
eprinttype = {arXiv},
eprint = {2005.03597},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-03597.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-14707,
author = {Charles Jin and
Martin C. Rinard},
title = {Learning From Context-Agnostic Synthetic Data},
journal = {CoRR},
volume = {abs/2005.14707},
year = {2020},
url = {https://arxiv.org/abs/2005.14707},
eprinttype = {arXiv},
eprint = {2005.14707},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-14707.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-12015,
author = {Martin C. Rinard and
Austin Gadient},
title = {Dataflow Analysis With Prophecy and History Variables},
journal = {CoRR},
volume = {abs/2007.12015},
year = {2020},
url = {https://arxiv.org/abs/2007.12015},
eprinttype = {arXiv},
eprint = {2007.12015},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-12015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-10272,
author = {Shivam Handa and
Martin C. Rinard},
title = {Inductive Program Synthesis Over Noisy Data},
journal = {CoRR},
volume = {abs/2009.10272},
year = {2020},
url = {https://arxiv.org/abs/2009.10272},
eprinttype = {arXiv},
eprint = {2009.10272},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10272.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03485,
author = {Feras A. Saad and
Martin C. Rinard and
Vikash K. Mansinghka},
title = {Exact Symbolic Inference in Probabilistic Programs via Sum-Product
Representations},
journal = {CoRR},
volume = {abs/2010.03485},
year = {2020},
url = {https://arxiv.org/abs/2010.03485},
eprinttype = {arXiv},
eprint = {2010.03485},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-03485.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-15422,
author = {Shivam Handa and
Konstantinos Kallas and
Nikos Vasilakis and
Martin C. Rinard},
title = {An Order-aware Dataflow Model for Extracting Shell Script Parallelism},
journal = {CoRR},
volume = {abs/2012.15422},
year = {2020},
url = {https://arxiv.org/abs/2012.15422},
eprinttype = {arXiv},
eprint = {2012.15422},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-15422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-15443,
author = {Nikos Vasilakis and
Jiasi Shen and
Martin C. Rinard},
title = {Automatic Synthesis of Parallel and Distributed Unix Commands with
KumQuat},
journal = {CoRR},
volume = {abs/2012.15443},
year = {2020},
url = {https://arxiv.org/abs/2012.15443},
eprinttype = {arXiv},
eprint = {2012.15443},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-15443.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Rinard19,
author = {Martin C. Rinard},
title = {Technical perspective: Borrowing big code to automate programming
activities},
journal = {Commun. {ACM}},
volume = {62},
number = {3},
pages = {98},
year = {2019},
url = {https://doi.org/10.1145/3306206},
doi = {10.1145/3306206},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/Rinard19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/CambroneroR19,
author = {Jos{\'{e}} Pablo Cambronero and
Martin C. Rinard},
title = {{AL:} autogenerating supervised learning programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {175:1--175:28},
year = {2019},
url = {https://doi.org/10.1145/3360601},
doi = {10.1145/3360601},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/CambroneroR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SaadCSRM19,
author = {Feras A. Saad and
Marco F. Cusumano{-}Towner and
Ulrich Schaechtle and
Martin C. Rinard and
Vikash K. Mansinghka},
title = {Bayesian synthesis of probabilistic programs for automatic data modeling},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {37:1--37:32},
year = {2019},
url = {https://doi.org/10.1145/3290350},
doi = {10.1145/3290350},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SaadCSRM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CitoLRG19,
author = {J{\"{u}}rgen Cito and
Philipp Leitner and
Martin C. Rinard and
Harald C. Gall},
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {Interactive production performance feedback in the {IDE}},
booktitle = {Proceedings of the 41st International Conference on Software Engineering,
{ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
pages = {971--981},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE.2019.00102},
doi = {10.1109/ICSE.2019.00102},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/CitoLRG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CambroneroDV0WR19,
author = {Jos{\'{e}} Pablo Cambronero and
Thurston H. Y. Dang and
Nikos Vasilakis and
Jiasi Shen and
Jerry Wu and
Martin C. Rinard},
editor = {Hidehiko Masuhara and
Tomas Petricek},
title = {Active learning for software engineering},
booktitle = {Proceedings of the 2019 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2019, Athens, Greece, October 23-24, 2019},
pages = {62--78},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359591.3359732},
doi = {10.1145/3359591.3359732},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CambroneroDV0WR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0001R19,
author = {Jiasi Shen and
Martin C. Rinard},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Using active learning to synthesize models of applications that access
databases},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {269--285},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314591},
doi = {10.1145/3314221.3314591},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/0001R19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/Cambronero0CGR19,
author = {Jos{\'{e}} Pablo Cambronero and
Jiasi Shen and
J{\"{u}}rgen Cito and
Elena L. Glassman and
Martin C. Rinard},
editor = {Justin Smith and
Christopher Bogart and
Judith Good and
Scott D. Fleming},
title = {Characterizing Developer Use of Automatically Generated Patches},
booktitle = {2019 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2019, Memphis, Tennessee, USA, October 14-18, 2019},
pages = {181--185},
publisher = {{IEEE} Computer Society},
year = {2019},
url = {https://doi.org/10.1109/VLHCC.2019.8818884},
doi = {10.1109/VLHCC.2019.8818884},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vl/Cambronero0CGR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-01030,
author = {Yichen Yang and
Martin C. Rinard},
title = {Correctness Verification of Neural Networks},
journal = {CoRR},
volume = {abs/1906.01030},
year = {2019},
url = {http://arxiv.org/abs/1906.01030},
eprinttype = {arXiv},
eprint = {1906.01030},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-01030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05451,
author = {Shivam Handa and
Vikash Mansinghka and
Martin C. Rinard},
title = {Compositional Inference Metaprogramming with Convergence Guarantees},
journal = {CoRR},
volume = {abs/1907.05451},
year = {2019},
url = {http://arxiv.org/abs/1907.05451},
eprinttype = {arXiv},
eprint = {1907.05451},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-05451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-06249,
author = {Feras A. Saad and
Marco F. Cusumano{-}Towner and
Ulrich Schaechtle and
Martin C. Rinard and
Vikash K. Mansinghka},
title = {Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling},
journal = {CoRR},
volume = {abs/1907.06249},
year = {2019},
url = {http://arxiv.org/abs/1907.06249},
eprinttype = {arXiv},
eprint = {1907.06249},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-06249.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-06535,
author = {Jos{\'{e}} Pablo Cambronero and
Jiasi Shen and
J{\"{u}}rgen Cito and
Elena L. Glassman and
Martin C. Rinard},
title = {Characterizing Developer Use of Automatically Generated Patches},
journal = {CoRR},
volume = {abs/1907.06535},
year = {2019},
url = {http://arxiv.org/abs/1907.06535},
eprinttype = {arXiv},
eprint = {1907.06535},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-06535.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/Stanley-Marbell18,
author = {Phillip Stanley{-}Marbell and
Martin C. Rinard},
title = {Perceived-Color Approximation Transforms for Programs that Draw},
journal = {{IEEE} Micro},
volume = {38},
number = {4},
pages = {20--29},
year = {2018},
url = {https://doi.org/10.1109/MM.2018.043191122},
doi = {10.1109/MM.2018.043191122},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/Stanley-Marbell18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/KirianskyXRA18,
author = {Vladimir Kiriansky and
Haoran Xu and
Martin C. Rinard and
Saman P. Amarasinghe},
editor = {Skevos Evripidou and
Per Stenstr{\"{o}}m and
Michael F. P. O'Boyle},
title = {Cimple: instruction and memory level parallelism: a {DSL} for uncovering
{ILP} and {MLP}},
booktitle = {Proceedings of the 27th International Conference on Parallel Architectures
and Compilation Techniques, {PACT} 2018, Limassol, Cyprus, November
01-04, 2018},
pages = {30:1--30:16},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3243176.3243185},
doi = {10.1145/3243176.3243185},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEpact/KirianskyXRA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/AchourR18,
author = {Sara Achour and
Martin C. Rinard},
editor = {Xipeng Shen and
James Tuck and
Ricardo Bianchini and
Vivek Sarkar},
title = {Time Dilation and Contraction for Programmable Analog Devices with
Jaunt},
booktitle = {Proceedings of the Twenty-Third International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2018, Williamsburg, VA, USA, March 24-28, 2018},
pages = {229--242},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3173162.3173179},
doi = {10.1145/3173162.3173179},
timestamp = {Tue, 23 Jan 2024 20:31:22 +0100},
biburl = {https://dblp.org/rec/conf/asplos/AchourR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RinardSM18,
author = {Martin C. Rinard and
Jiasi Shen and
Varun Mangalick},
editor = {Elisa Gonzalez Boix and
Richard P. Gabriel},
title = {Active learning for inference and regeneration of computer programs
that store and retrieve data},
booktitle = {Proceedings of the 2018 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2018, Boston, MA, USA, November 7-8, 2018},
pages = {12--28},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3276954.3276959},
doi = {10.1145/3276954.3276959},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RinardSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GottschlichSTCR18,
author = {Justin Gottschlich and
Armando Solar{-}Lezama and
Nesime Tatbul and
Michael Carbin and
Martin C. Rinard and
Regina Barzilay and
Saman P. Amarasinghe and
Joshua B. Tenenbaum and
Tim Mattson},
editor = {Justin Gottschlich and
Alvin Cheung},
title = {The three pillars of machine programming},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on Machine
Learning and Programming Languages, MAPL@PLDI 2018, Philadelphia,
PA, USA, June 18-22, 2018},
pages = {69--80},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3211346.3211355},
doi = {10.1145/3211346.3211355},
timestamp = {Sun, 12 Nov 2023 02:12:56 +0100},
biburl = {https://dblp.org/rec/conf/pldi/GottschlichSTCR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MansinghkaSHRCR18,
author = {Vikash K. Mansinghka and
Ulrich Schaechtle and
Shivam Handa and
Alexey Radul and
Yutian Chen and
Martin C. Rinard},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Probabilistic programming with programmable inference},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {603--616},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192409},
doi = {10.1145/3192366.3192409},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MansinghkaSHRCR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/Rinard18,
author = {Martin C. Rinard},
editor = {David J. Pearce and
Tanja Mayerhofer and
Friedrich Steimann},
title = {A new approach for software correctness and reliability (keynote)},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2018, Boston, MA, USA, November
05-06, 2018},
pages = {1--2},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3276604.3284957},
doi = {10.1145/3276604.3284957},
timestamp = {Wed, 26 May 2021 08:40:05 +0200},
biburl = {https://dblp.org/rec/conf/sle/Rinard18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-07244,
author = {Justin Gottschlich and
Armando Solar{-}Lezama and
Nesime Tatbul and
Michael Carbin and
Martin C. Rinard and
Regina Barzilay and
Saman P. Amarasinghe and
Joshua B. Tenenbaum and
Tim Mattson},
title = {The Three Pillars of Machine-Based Programming},
journal = {CoRR},
volume = {abs/1803.07244},
year = {2018},
url = {http://arxiv.org/abs/1803.07244},
eprinttype = {arXiv},
eprint = {1803.07244},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-07244.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-08420,
author = {Jos{\'{e}} Pablo Cambronero and
Phillip Stanley{-}Marbell and
Martin C. Rinard},
title = {Incremental Color Quantization for Color-Vision-Deficient Observers
Using Mobile Gaming Data},
journal = {CoRR},
volume = {abs/1803.08420},
year = {2018},
url = {http://arxiv.org/abs/1803.08420},
eprinttype = {arXiv},
eprint = {1803.08420},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-08420.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-09241,
author = {Phillip Stanley{-}Marbell and
Martin C. Rinard},
title = {A Hardware Platform for Efficient Multi-Modal Sensing with Adaptive
Approximation},
journal = {CoRR},
volume = {abs/1804.09241},
year = {2018},
url = {http://arxiv.org/abs/1804.09241},
eprinttype = {arXiv},
eprint = {1804.09241},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-09241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-01624,
author = {Vladimir Kiriansky and
Haoran Xu and
Martin C. Rinard and
Saman P. Amarasinghe},
title = {Cimple: Instruction and Memory Level Parallelism},
journal = {CoRR},
volume = {abs/1807.01624},
year = {2018},
url = {http://arxiv.org/abs/1807.01624},
eprinttype = {arXiv},
eprint = {1807.01624},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-01624.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fteda/Stanley-Marbell17,
author = {Phillip Stanley{-}Marbell and
Martin C. Rinard},
title = {Error-Efficient Computing Systems},
journal = {Found. Trends Electron. Des. Autom.},
volume = {11},
number = {4},
pages = {362--461},
year = {2017},
url = {https://doi.org/10.1561/1000000049},
doi = {10.1561/1000000049},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fteda/Stanley-Marbell17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Sidiroglou-Douskos17,
author = {Stelios Sidiroglou{-}Douskos and
Eric Lahtinen and
Anthony Eden and
Fan Long and
Martin C. Rinard},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {CodeCarbonCopy},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {95--105},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106269},
doi = {10.1145/3106237.3106269},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Sidiroglou-Douskos17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LongAR17,
author = {Fan Long and
Peter Amidon and
Martin C. Rinard},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Automatic inference of code transforms for patch generation},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {727--739},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106253},
doi = {10.1145/3106237.3106253},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LongAR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/ShenR17,
author = {Jiasi Shen and
Martin C. Rinard},
editor = {Beno{\^{\i}}t Combemale and
Marjan Mernik and
Bernhard Rumpe},
title = {Robust programs with filtered iterators},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2017, Vancouver, BC, Canada,
October 23-24, 2017},
pages = {244--255},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136014.3136030},
doi = {10.1145/3136014.3136030},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sle/ShenR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/CarbinMR16,
author = {Michael Carbin and
Sasa Misailovic and
Martin C. Rinard},
title = {Verifying quantitative reliability for programs that execute on unreliable
hardware},
journal = {Commun. {ACM}},
volume = {59},
number = {8},
pages = {83--91},
year = {2016},
url = {https://doi.org/10.1145/2958738},
doi = {10.1145/2958738},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/CarbinMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/KhaniRL16,
author = {Fereshte Khani and
Martin C. Rinard and
Percy Liang},
title = {Unanimous Prediction for 100{\%} Precision with Application to Learning
Semantic Mappings},
booktitle = {Proceedings of the 54th Annual Meeting of the Association for Computational
Linguistics, {ACL} 2016, August 7-12, 2016, Berlin, Germany, Volume
1: Long Papers},
publisher = {The Association for Computer Linguistics},
year = {2016},
url = {https://doi.org/10.18653/v1/p16-1090},
doi = {10.18653/V1/P16-1090},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/KhaniRL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Stanley-Marbell16,
author = {Phillip Stanley{-}Marbell and
Martin C. Rinard},
title = {Reducing serial {I/O} power in error-tolerant applications by efficient
lossy encoding},
booktitle = {Proceedings of the 53rd Annual Design Automation Conference, {DAC}
2016, Austin, TX, USA, June 5-9, 2016},
pages = {62:1--62:6},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897937.2898079},
doi = {10.1145/2897937.2898079},
timestamp = {Tue, 06 Nov 2018 16:58:19 +0100},
biburl = {https://dblp.org/rec/conf/dac/Stanley-Marbell16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimva/PerkinsECWSR16,
author = {Jeff H. Perkins and
Jordan Eikenberry and
Alessandro Coglio and
Daniel Willenson and
Stelios Sidiroglou{-}Douskos and
Martin C. Rinard},
editor = {Juan Caballero and
Urko Zurutuza and
Ricardo J. Rodr{\'{\i}}guez},
title = {AutoRand: Automatic Keyword Randomization to Prevent Injection Attacks},
booktitle = {Detection of Intrusions and Malware, and Vulnerability Assessment
- 13th International Conference, {DIMVA} 2016, San Sebasti{\'{a}}n,
Spain, July 7-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9721},
pages = {37--57},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40667-1\_3},
doi = {10.1007/978-3-319-40667-1\_3},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/dimva/PerkinsECWSR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/Stanley-Marbell16,
author = {Phillip Stanley{-}Marbell and
Virginia Estellers and
Martin C. Rinard},
editor = {Cristian Cadar and
Peter R. Pietzuch and
Kimberly Keeton and
Rodrigo Rodrigues},
title = {Crayon: saving power through shape and color approximation on next-generation
displays},
booktitle = {Proceedings of the Eleventh European Conference on Computer Systems,
EuroSys 2016, London, United Kingdom, April 18-21, 2016},
pages = {11:1--11:17},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2901318.2901347},
doi = {10.1145/2901318.2901347},
timestamp = {Thu, 12 Nov 2020 16:34:18 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/Stanley-Marbell16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotchips/Stanley-Marbell16,
author = {Phillip Stanley{-}Marbell and
Pier Andrea Francese and
Martin C. Rinard},
title = {Encoder logic for reducing serial {I/O} power in sensors and sensor
hubs},
booktitle = {2016 {IEEE} Hot Chips 28 Symposium (HCS), Cupertino, CA, USA, August
21-23, 2016},
pages = {1--2},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/HOTCHIPS.2016.7936231},
doi = {10.1109/HOTCHIPS.2016.7936231},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotchips/Stanley-Marbell16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LongR16,
author = {Fan Long and
Martin C. Rinard},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {An analysis of the search spaces for generate and validate patch generation
systems},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {702--713},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884872},
doi = {10.1145/2884781.2884872},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/LongR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RubinR16,
author = {Julia Rubin and
Martin C. Rinard},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {The challenges of staying together while moving fast: an exploratory
study},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {982--993},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884871},
doi = {10.1145/2884781.2884871},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/RubinR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CitoRSR16,
author = {J{\"{u}}rgen Cito and
Julia Rubin and
Phillip Stanley{-}Marbell and
Martin C. Rinard},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Battery-aware transformations in mobile applications},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {702--707},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970324},
doi = {10.1145/2970276.2970324},
timestamp = {Sat, 30 Sep 2023 09:51:40 +0200},
biburl = {https://dblp.org/rec/conf/kbse/CitoRSR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AchourSR16,
author = {Sara Achour and
Rahul Sarpeshkar and
Martin C. Rinard},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Configuration synthesis for programmable analog devices with Arco},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {177--193},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908116},
doi = {10.1145/2908080.2908116},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AchourSR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LongR16,
author = {Fan Long and
Martin C. Rinard},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Automatic patch generation by learning correct code},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {298--312},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837617},
doi = {10.1145/2837614.2837617},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/LongR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LongR16,
author = {Fan Long and
Martin C. Rinard},
title = {An Analysis of the Search Spaces for Generate and Validate Patch Generation
Systems},
journal = {CoRR},
volume = {abs/1602.05643},
year = {2016},
url = {http://arxiv.org/abs/1602.05643},
eprinttype = {arXiv},
eprint = {1602.05643},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LongR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KhaniRL16,
author = {Fereshte Khani and
Martin C. Rinard and
Percy Liang},
title = {Unanimous Prediction for 100{\%} Precision with Application to Learning
Semantic Mappings},
journal = {CoRR},
volume = {abs/1606.06368},
year = {2016},
url = {http://arxiv.org/abs/1606.06368},
eprinttype = {arXiv},
eprint = {1606.06368},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KhaniRL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esl/Stanley-Marbell15,
author = {Phillip Stanley{-}Marbell and
Martin C. Rinard},
title = {Efficiency Limits for Value-Deviation-Bounded Approximate Communication},
journal = {{IEEE} Embed. Syst. Lett.},
volume = {7},
number = {4},
pages = {109--112},
year = {2015},
url = {https://doi.org/10.1109/LES.2015.2475216},
doi = {10.1109/LES.2015.2475216},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/esl/Stanley-Marbell15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/Sidiroglou-Douskos15,
author = {Stelios Sidiroglou{-}Douskos and
Eric Lahtinen and
Nathan Rittenhouse and
Paolo Piselli and
Fan Long and
Deokhwan Kim and
Martin C. Rinard},
editor = {{\"{O}}zcan {\"{O}}zturk and
Kemal Ebcioglu and
Sandhya Dwarkadas},
title = {Targeted Automatic Integer Overflow Discovery Using Goal-Directed
Conditional Branch Enforcement},
booktitle = {Proceedings of the Twentieth International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2015, Istanbul, Turkey, March 14-18, 2015},
pages = {473--486},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2694344.2694389},
doi = {10.1145/2694344.2694389},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/Sidiroglou-Douskos15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/EvansLOSROS15,
author = {Isaac Evans and
Fan Long and
Ulziibayar Otgonbaatar and
Howard E. Shrobe and
Martin C. Rinard and
Hamed Okhravi and
Stelios Sidiroglou{-}Douskos},
editor = {Indrajit Ray and
Ninghui Li and
Christopher Kruegel},
title = {Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity},
booktitle = {Proceedings of the 22nd {ACM} {SIGSAC} Conference on Computer and
Communications Security, Denver, CO, USA, October 12-16, 2015},
pages = {901--913},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2810103.2813646},
doi = {10.1145/2810103.2813646},
timestamp = {Tue, 10 Nov 2020 19:58:09 +0100},
biburl = {https://dblp.org/rec/conf/ccs/EvansLOSROS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/Stanley-Marbell15,
author = {Phillip Stanley{-}Marbell and
Martin C. Rinard},
editor = {George Candea},
title = {Lax: Driver Interfaces for Approximate Sensor Device Access},
booktitle = {15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause
Ittingen, Switzerland, May 18-20, 2015},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/stanley-marbell},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotos/Stanley-Marbell15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpec/AmidonDSR15,
author = {Peter Amidon and
Eli Davis and
Stelios Sidiroglou{-}Douskos and
Martin C. Rinard},
title = {Program fracture and recombination for efficient automatic code reuse},
booktitle = {2015 {IEEE} High Performance Extreme Computing Conference, {HPEC}
2015, Waltham, MA, USA, September 15-17, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/HPEC.2015.7396314},
doi = {10.1109/HPEC.2015.7396314},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/hpec/AmidonDSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/QiLAR15,
author = {Zichao Qi and
Fan Long and
Sara Achour and
Martin C. Rinard},
editor = {Michal Young and
Tao Xie},
title = {An analysis of patch plausibility and correctness for generate-and-validate
patch generation systems},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {24--36},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2771791},
doi = {10.1145/2771783.2771791},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/QiLAR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RubinGNR15,
author = {Julia Rubin and
Michael I. Gordon and
Nguyen Nguyen and
Martin C. Rinard},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Covert Communication in Mobile Applications {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {647--657},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.66},
doi = {10.1109/ASE.2015.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RubinGNR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/GordonKPGNR15,
author = {Michael I. Gordon and
Deokhwan Kim and
Jeff H. Perkins and
Limei Gilham and
Nguyen Nguyen and
Martin C. Rinard},
title = {Information Flow Analysis of Android Applications in DroidSafe},
booktitle = {22nd Annual Network and Distributed System Security Symposium, {NDSS}
2015, San Diego, California, USA, February 8-11, 2015},
publisher = {The Internet Society},
year = {2015},
url = {https://www.ndss-symposium.org/ndss2015/information-flow-analysis-android-applications-droidsafe},
timestamp = {Thu, 22 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ndss/GordonKPGNR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/JubaMLSR15,
author = {Brendan Juba and
Christopher Musco and
Fan Long and
Stelios Sidiroglou{-}Douskos and
Martin C. Rinard},
title = {Principled Sampling for Anomaly Detection},
booktitle = {22nd Annual Network and Distributed System Security Symposium, {NDSS}
2015, San Diego, California, USA, February 8-11, 2015},
publisher = {The Internet Society},
year = {2015},
url = {https://www.ndss-symposium.org/ndss2015/principled-sampling-anomaly-detection},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ndss/JubaMLSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AchourR15,
author = {Sara Achour and
Martin C. Rinard},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Approximate computation with outlier detection in Topaz},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {711--730},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814314},
doi = {10.1145/2814270.2814314},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AchourR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Sidiroglou-Douskos15,
author = {Stelios Sidiroglou{-}Douskos and
Eric Lahtinen and
Fan Long and
Martin C. Rinard},
editor = {David Grove and
Stephen M. Blackburn},
title = {Automatic error elimination by horizontal code transfer across multiple
applications},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {43--54},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737988},
doi = {10.1145/2737924.2737988},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Sidiroglou-Douskos15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LongR15,
author = {Fan Long and
Martin C. Rinard},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Staged program repair with condition synthesis},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {166--178},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786811},
doi = {10.1145/2786805.2786811},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LongR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/EvansFGOTSSRO15,
author = {Isaac Evans and
Sam Fingeret and
Julian Gonzalez and
Ulziibayar Otgonbaatar and
Tiffany Tang and
Howard E. Shrobe and
Stelios Sidiroglou{-}Douskos and
Martin C. Rinard and
Hamed Okhravi},
title = {Missing the Point(er): On the Effectiveness of Code Pointer Integrity},
booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
CA, USA, May 17-21, 2015},
pages = {781--796},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SP.2015.53},
doi = {10.1109/SP.2015.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/EvansFGOTSSRO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MisailovicCAQR14,
author = {Sasa Misailovic and
Michael Carbin and
Sara Achour and
Zichao Qi and
Martin C. Rinard},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Chisel: reliability- and accuracy-aware optimization of approximate
computational kernels},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
pages = {309--328},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660231},
doi = {10.1145/2660193.2660231},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MisailovicCAQR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LongSR14,
author = {Fan Long and
Stelios Sidiroglou{-}Douskos and
Martin C. Rinard},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Automatic runtime error repair and containment via recovery shepherding},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {227--238},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594337},
doi = {10.1145/2594291.2594337},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LongSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LongSKR14,
author = {Fan Long and
Stelios Sidiroglou{-}Douskos and
Deokhwan Kim and
Martin C. Rinard},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Sound input filter generation for integer overflow errors},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {439--452},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535888},
doi = {10.1145/2535838.2535888},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/LongSKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/MisailovicKR13,
author = {Sasa Misailovic and
Deokhwan Kim and
Martin C. Rinard},
title = {Parallelizing Sequential Programs with Statistical Accuracy Tests},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {2s},
pages = {88:1--88:26},
year = {2013},
url = {https://doi.org/10.1145/2465787.2465790},
doi = {10.1145/2465787.2465790},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/MisailovicKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/JayaramanTGRC13,
author = {Karthick Jayaraman and
Mahesh V. Tripunitara and
Vijay Ganesh and
Martin C. Rinard and
Steve J. Chapin},
title = {Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying
Access Control Policies},
journal = {{ACM} Trans. Inf. Syst. Secur.},
volume = {15},
number = {4},
pages = {18:1--18:28},
year = {2013},
url = {https://doi.org/10.1145/2445566.2445570},
doi = {10.1145/2445566.2445570},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tissec/JayaramanTGRC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/LeiLBR13,
author = {Tao Lei and
Fan Long and
Regina Barzilay and
Martin C. Rinard},
title = {From Natural Language Specifications to Program Input Parsers},
booktitle = {Proceedings of the 51st Annual Meeting of the Association for Computational
Linguistics, {ACL} 2013, 4-9 August 2013, Sofia, Bulgaria, Volume
1: Long Papers},
pages = {1294--1303},
publisher = {The Association for Computer Linguistics},
year = {2013},
url = {https://aclanthology.org/P13-1127/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/LeiLBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/KhmelevskyRS13,
author = {Youry Khmelevsky and
Martin C. Rinard and
Stelios Sidiroglou{-}Douskos},
editor = {James R. Cordy and
Krzystof Czarnecki and
Sang{-}Ah Han},
title = {A source-to-source transformation tool for error fixing},
booktitle = {Center for Advanced Studies on Collaborative Research, {CASCON} '13,
Toronto, ON, Canada, November 18-20, 2013},
pages = {147--160},
publisher = {{IBM} / {ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2555540},
timestamp = {Wed, 27 Jan 2016 19:49:08 +0100},
biburl = {https://dblp.org/rec/conf/cascon/KhmelevskyRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotpar/Rinard13,
author = {Martin C. Rinard},
editor = {Emery D. Berger and
Kim M. Hazelwood},
title = {Parallel Synchronization-Free Approximate Data Structure Construction},
booktitle = {5th {USENIX} Workshop on Hot Topics in Parallelism, HotPar'13, San
Jose, CA, USA, June 24-25, 2013},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/hotpar13/workshop-program/presentation/rinard},
timestamp = {Sat, 30 Sep 2023 09:42:37 +0200},
biburl = {https://dblp.org/rec/conf/hotpar/Rinard13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/ChenJDDMMWRS13,
author = {Kevin Zhijie Chen and
Noah M. Johnson and
Vijay D'Silva and
Shuaifu Dai and
Kyle MacNamara and
Thomas R. Magrino and
Edward XueJun Wu and
Martin C. Rinard and
Dawn Xiaodong Song},
title = {Contextual Policy Enforcement in Android Applications with Permission
Event Graphs},
booktitle = {20th Annual Network and Distributed System Security Symposium, {NDSS}
2013, San Diego, California, USA, February 24-27, 2013},
publisher = {The Internet Society},
year = {2013},
url = {https://www.ndss-symposium.org/ndss2013/contextual-policy-enforcement-android-applications-permission-event-graphs},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ndss/ChenJDDMMWRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CarbinMR13,
author = {Michael Carbin and
Sasa Misailovic and
Martin C. Rinard},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Verifying quantitative reliability for programs that execute on unreliable
hardware},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {33--52},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509546},
doi = {10.1145/2509136.2509546},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CarbinMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CarbinKMR13,
author = {Michael Carbin and
Deokhwan Kim and
Sasa Misailovic and
Martin C. Rinard},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Verified integrity properties for safe approximate program transformations},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {63--66},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426901},
doi = {10.1145/2426890.2426901},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/CarbinKMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GaneshMSR13,
author = {Vijay Ganesh and
Mia Minnes and
Armando Solar{-}Lezama and
Martin C. Rinard},
title = {(Un)Decidability Results for Word Equations with Length and Regular
Expression Constraints},
journal = {CoRR},
volume = {abs/1306.6054},
year = {2013},
url = {http://arxiv.org/abs/1306.6054},
eprinttype = {arXiv},
eprint = {1306.6054},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GaneshMSR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Rinard12,
author = {Martin C. Rinard},
title = {Example-driven program synthesis for end-user programming: technical
perspective},
journal = {Commun. {ACM}},
volume = {55},
number = {8},
pages = {96},
year = {2012},
url = {https://doi.org/10.1145/2240236.2240259},
doi = {10.1145/2240236.2240259},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Rinard12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HawkinsRASF12,
author = {Peter Hawkins and
Martin C. Rinard and
Alex Aiken and
Mooly Sagiv and
Kathleen Fisher},
title = {An introduction to data representation synthesis},
journal = {Commun. {ACM}},
volume = {55},
number = {12},
pages = {91--99},
year = {2012},
url = {https://doi.org/10.1145/2380656.2380677},
doi = {10.1145/2380656.2380677},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/HawkinsRASF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/Rinard12,
author = {Martin C. Rinard},
editor = {Robert Hirschfeld and
{\'{E}}ric Tanter and
Kevin J. Sullivan and
Richard P. Gabriel},
title = {What to do when things go wrong: recovery in complex (computer) systems},
booktitle = {Companion Volume of the 11th International Conference on Aspect-oriented
Software Development, {AOSD} 2012, Potsdam, Germany, March 25-30,
2012},
pages = {1--2},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2162110.2162112},
doi = {10.1145/2162110.2162112},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/aosd/Rinard12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Rinard12,
author = {Martin C. Rinard},
editor = {Patrick Groeneveld and
Donatella Sciuto and
Soha Hassoun},
title = {Obtaining and reasoning about good enough software},
booktitle = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San
Francisco, CA, USA, June 3-7, 2012},
pages = {930--935},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2228360.2228526},
doi = {10.1145/2228360.2228526},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Rinard12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HawkinsAFRS12,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Helmut Seidl},
title = {Reasoning about Lock Placements},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {336--356},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_17},
doi = {10.1007/978-3-642-28869-2\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/HawkinsAFRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/GaneshMSR12,
author = {Vijay Ganesh and
Mia Minnes and
Armando Solar{-}Lezama and
Martin C. Rinard},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {Word Equations with Length Constraints: What's Decidable?},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {209--226},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_21},
doi = {10.1007/978-3-642-39611-3\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/GaneshMSR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LongGCSR12,
author = {Fan Long and
Vijay Ganesh and
Michael Carbin and
Stelios Sidiroglou and
Martin C. Rinard},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Automatic input rectification},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {80--90},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227204},
doi = {10.1109/ICSE.2012.6227204},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LongGCSR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MisailovicSR12,
author = {Sasa Misailovic and
Stelios Sidiroglou and
Martin C. Rinard},
editor = {Andrew P. Black and
Theo D'Hondt and
Doug Kimelman and
Martin C. Rinard and
David M. Ungar},
title = {Dancing with uncertainty},
booktitle = {Proceedings of the 2012 {ACM} workshop on Relaxing synchronization
for multicore and manycore scalability, RACES@SPLASH 2012, Tucson,
Arizona, USA, October 21, 2012},
pages = {51--60},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2414729.2414738},
doi = {10.1145/2414729.2414738},
timestamp = {Fri, 29 Apr 2022 19:55:45 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MisailovicSR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BlackDKRU12,
author = {Andrew P. Black and
Theo D'Hondt and
Doug Kimelman and
Martin C. Rinard and
David M. Ungar},
editor = {Gary T. Leavens},
title = {Workshop on relaxing synchronization for multicore and manycore scalability
{(RACES} 2012)},
booktitle = {SPLASH'12 - Proceedings of the 2012 {ACM} Conference on Systems, Programming,
and Applications: Software for Humanity, Tucson, AZ, USA, October
21-25, 2012},
pages = {221--222},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384716.2384779},
doi = {10.1145/2384716.2384779},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BlackDKRU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KlingMCR12,
author = {Michael Kling and
Sasa Misailovic and
Michael Carbin and
Martin C. Rinard},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Bolt: on-demand infinite loop escape in unmodified binaries},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {431--450},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384648},
doi = {10.1145/2384616.2384648},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KlingMCR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CarbinKMR12,
author = {Michael Carbin and
Deokhwan Kim and
Sasa Misailovic and
Martin C. Rinard},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Proving acceptability properties of relaxed nondeterministic approximate
programs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {169--180},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254086},
doi = {10.1145/2254064.2254086},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CarbinKMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HawkinsAFRS12,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Concurrent data representation synthesis},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {417--428},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254114},
doi = {10.1145/2254064.2254114},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HawkinsAFRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ZhuMKR12,
author = {Zeyuan Allen Zhu and
Sasa Misailovic and
Jonathan A. Kelner and
Martin C. Rinard},
editor = {John Field and
Michael Hicks},
title = {Randomized accuracy-aware program transformations for efficient approximate
computations},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {441--454},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103710},
doi = {10.1145/2103656.2103710},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/ZhuMKR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Rinard12,
author = {Martin C. Rinard},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {From Runtime Verification to Runtime Intervention and Adaptation},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {276},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_26},
doi = {10.1007/978-3-642-35632-2\_26},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/Rinard12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GaneshOSDRS12,
author = {Vijay Ganesh and
Charles W. O'Donnell and
Mate Soos and
Srinivas Devadas and
Martin C. Rinard and
Armando Solar{-}Lezama},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Lynx: {A} Programmatic {SAT} Solver for the RNA-Folding Problem},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {143--156},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_12},
doi = {10.1007/978-3-642-31612-8\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/GaneshOSDRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2012races,
editor = {Andrew P. Black and
Theo D'Hondt and
Doug Kimelman and
Martin C. Rinard and
David M. Ungar},
title = {Proceedings of the 2012 {ACM} workshop on Relaxing synchronization
for multicore and manycore scalability, RACES@SPLASH 2012, Tucson,
Arizona, USA, October 21, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2414729},
doi = {10.1145/2414729},
isbn = {978-1-4503-1632-3},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/2012races.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-0359,
author = {Vijay Ganesh and
Michael Carbin and
Martin C. Rinard},
title = {Cryptographic Path Hardening: Hiding Vulnerabilities in Software through
Cryptography},
journal = {CoRR},
volume = {abs/1202.0359},
year = {2012},
url = {http://arxiv.org/abs/1202.0359},
eprinttype = {arXiv},
eprint = {1202.0359},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-0359.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/HoffmannSCMAR11,
author = {Henry Hoffmann and
Stelios Sidiroglou and
Michael Carbin and
Sasa Misailovic and
Anant Agarwal and
Martin C. Rinard},
editor = {Rajiv Gupta and
Todd C. Mowry},
title = {Dynamic knobs for responsive power-aware computing},
booktitle = {Proceedings of the 16th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2011, Newport Beach, CA, USA, March 5-11, 2011},
pages = {199--212},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1950365.1950390},
doi = {10.1145/1950365.1950390},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/HoffmannSCMAR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/JayaramanGTRC11,
author = {Karthick Jayaraman and
Vijay Ganesh and
Mahesh V. Tripunitara and
Martin C. Rinard and
Steve J. Chapin},
editor = {Yan Chen and
George Danezis and
Vitaly Shmatikov},
title = {Automatic error finding in access-control policies},
booktitle = {Proceedings of the 18th {ACM} Conference on Computer and Communications
Security, {CCS} 2011, Chicago, Illinois, USA, October 17-21, 2011},
pages = {163--174},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2046707.2046727},
doi = {10.1145/2046707.2046727},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/JayaramanGTRC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CarbinMKR11,
author = {Michael Carbin and
Sasa Misailovic and
Michael Kling and
Martin C. Rinard},
editor = {Mira Mezini},
title = {Detecting and Escaping Infinite Loops with Jolt},
booktitle = {{ECOOP} 2011 - Object-Oriented Programming - 25th European Conference,
Lancaster, UK, July 25-29, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6813},
pages = {609--633},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22655-7\_28},
doi = {10.1007/978-3-642-22655-7\_28},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/CarbinMKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Rinard11,
author = {Martin C. Rinard},
editor = {Siau{-}Cheng Khoo and
Jeremy G. Siek},
title = {Probabilistic accuracy bounds for perforated programs: a new foundation
for program analysis and transformation},
booktitle = {Proceedings of the 2011 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2011, Austin, TX, USA, January 24-25,
2011},
pages = {79--80},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1929501.1929517},
doi = {10.1145/1929501.1929517},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Rinard11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HawkinsAFRS11,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Mary W. Hall and
David A. Padua},
title = {Data representation synthesis},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {38--49},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993504},
doi = {10.1145/1993498.1993504},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HawkinsAFRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KimR11,
author = {Deokhwan Kim and
Martin C. Rinard},
editor = {Mary W. Hall and
David A. Padua},
title = {Verification of semantic commutativity conditions and inverse operations
on linked data structures},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {528--541},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993561},
doi = {10.1145/1993498.1993561},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KimR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MisailovicRR11,
author = {Sasa Misailovic and
Daniel M. Roy and
Martin C. Rinard},
editor = {Eran Yahav},
title = {Probabilistically Accurate Program Transformations},
booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
Italy, September 14-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6887},
pages = {316--333},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23702-7\_24},
doi = {10.1007/978-3-642-23702-7\_24},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/MisailovicRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Sidiroglou-DouskosMHR11,
author = {Stelios Sidiroglou{-}Douskos and
Sasa Misailovic and
Henry Hoffmann and
Martin C. Rinard},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Managing performance vs. accuracy trade-offs with loop perforation},
booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
2011},
pages = {124--134},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025133},
doi = {10.1145/2025113.2025133},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Sidiroglou-DouskosMHR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ais/Rinard11,
author = {Martin C. Rinard},
editor = {Sushil Jajodia and
Anup K. Ghosh and
Vipin Swarup and
Cliff Wang and
Xiaoyang Sean Wang},
title = {Manipulating Program Functionality to Eliminate Security Vulnerabilities},
booktitle = {Moving Target Defense - Creating Asymmetric Uncertainty for Cyber
Threats},
series = {Advances in Information Security},
volume = {54},
pages = {109--115},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-1-4614-0977-9\_6},
doi = {10.1007/978-1-4614-0977-9\_6},
timestamp = {Tue, 16 May 2017 14:24:25 +0200},
biburl = {https://dblp.org/rec/series/ais/Rinard11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-2849,
author = {Karthick Jayaraman and
Vijay Ganesh and
Mahesh V. Tripunitara and
Martin C. Rinard and
Steve J. Chapin},
title = {{ARBAC} Policy for a Large Multi-National Bank},
journal = {CoRR},
volume = {abs/1110.2849},
year = {2011},
url = {http://arxiv.org/abs/1110.2849},
eprinttype = {arXiv},
eprint = {1110.2849},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-2849.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/PezzeRWZ11,
author = {Mauro Pezz{\`{e}} and
Martin C. Rinard and
Westley Weimer and
Andreas Zeller},
title = {Self-Repairing Programs (Dagstuhl Seminar 11062)},
journal = {Dagstuhl Reports},
volume = {1},
number = {2},
pages = {16--29},
year = {2011},
url = {https://doi.org/10.4230/DagRep.1.2.16},
doi = {10.4230/DAGREP.1.2.16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/PezzeRWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HawkinsAFRS10,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Kazunori Ueda},
title = {Data Structure Fusion},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
Shanghai, China, November 28 - December 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6461},
pages = {204--221},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_15},
doi = {10.1007/978-3-642-17164-2\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HawkinsAFRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MisailovicSHR10,
author = {Sasa Misailovic and
Stelios Sidiroglou and
Henry Hoffmann and
Martin C. Rinard},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Quality of service profiling},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {25--34},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806799.1806808},
doi = {10.1145/1806799.1806808},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MisailovicSHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CarbinR10,
author = {Michael Carbin and
Martin C. Rinard},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Automatically identifying critical input regions and code in applications},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {37--48},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831713},
doi = {10.1145/1831708.1831713},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/CarbinR10.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 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RinardHMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/AndreiCRO10,
author = {Stefan Andrei and
Albert Mo Kim Cheng and
Martin C. Rinard and
Lawrence Osborne},
title = {Optimal Scheduling of Urgent Preemptive Tasks},
booktitle = {16th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2010, Macau, SAR, China, 23-25 August
2010},
pages = {377--386},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RTCSA.2010.20},
doi = {10.1109/RTCSA.2010.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/AndreiCRO10.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}
}
@proceedings{DBLP:conf/oopsla/2010c,
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Companion to the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
part of {SPLASH} 2010, October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869542},
doi = {10.1145/1869542},
isbn = {978-1-4503-0240-1},
timestamp = {Fri, 11 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/2010c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/VuORT09,
author = {Quang Hieu Vu and
Beng Chin Ooi and
Martin C. Rinard and
Kian{-}Lee Tan},
title = {Histogram-Based Global Load Balancing in Structured Peer-to-Peer Systems},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {21},
number = {4},
pages = {595--608},
year = {2009},
url = {https://doi.org/10.1109/TKDE.2008.182},
doi = {10.1109/TKDE.2008.182},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/VuORT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DemskyR09,
author = {Brian Demsky and
Martin C. Rinard},
title = {Automatic Extraction of Heap Reference Properties in Object-Oriented
Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {35},
number = {3},
pages = {305--324},
year = {2009},
url = {https://doi.org/10.1109/TSE.2008.91},
doi = {10.1109/TSE.2008.91},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DemskyR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Rinard09,
author = {Martin C. Rinard},
editor = {Renate A. Schmidt},
title = {Integrated Reasoning and Proof Choice Point Selection in the Jahob
System - Mechanisms for Program Survival},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {1--16},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_1},
doi = {10.1007/978-3-642-02959-2\_1},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Rinard09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/KushmanBBKBR09,
author = {Nate Kushman and
Micah Z. Brodsky and
S. R. K. Branavan and
Dina Katabi and
Regina Barzilay and
Martin C. Rinard},
editor = {Lakshminarayanan Subramanian and
Will E. Leland and
Ratul Mahajan},
title = {WikiDo},
booktitle = {Eight {ACM} Workshop on Hot Topics in Networks (HotNets-VIII), {HOTNETS}
'09, New York City, NY, USA, October 22-23, 2009},
publisher = {{ACM} {SIGCOMM}},
year = {2009},
url = {http://conferences.sigcomm.org/hotnets/2009/papers/hotnets2009-final50.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/KushmanBBKBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GaneshLR09,
author = {Vijay Ganesh and
Tim Leek and
Martin C. Rinard},
title = {Taint-based directed whitebox fuzzing},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {474--484},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070546},
doi = {10.1109/ICSE.2009.5070546},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GaneshLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Rinard09,
author = {Martin C. Rinard},
title = {Survival strategies for synthesized hardware systems},
booktitle = {7th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2009), July 13-15, 2009, Cambridge, Massachusetts,
{USA}},
pages = {116--120},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/MEMCOD.2009.5185387},
doi = {10.1109/MEMCOD.2009.5185387},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Rinard09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZeeKR09,
author = {Karen Zee and
Viktor Kuncak and
Martin C. Rinard},
editor = {Michael Hind and
Amer Diwan},
title = {An integrated proof language for imperative programs},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {338--351},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542514},
doi = {10.1145/1542476.1542514},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZeeKR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/PerkinsKLABCPSSSWZER09,
author = {Jeff H. Perkins and
Sunghun Kim and
Samuel Larsen and
Saman P. Amarasinghe and
Jonathan Bachrach and
Michael Carbin and
Carlos Pacheco and
Frank Sherwood and
Stelios Sidiroglou and
Gregory T. Sullivan and
Weng{-}Fai Wong and
Yoav Zibin and
Michael D. Ernst and
Martin C. Rinard},
editor = {Jeanna Neefe Matthews and
Thomas E. Anderson},
title = {Automatically patching errors in deployed software},
booktitle = {Proceedings of the 22nd {ACM} Symposium on Operating Systems Principles
2009, {SOSP} 2009, Big Sky, Montana, USA, October 11-14, 2009},
pages = {87--102},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629575.1629585},
doi = {10.1145/1629575.1629585},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/PerkinsKLABCPSSSWZER09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AndreiGRY09,
author = {Stefan Andrei and
Gheorghe Grigoras and
Martin C. Rinard and
Roland H. C. Yap},
editor = {Stephen M. Watt and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {A Hierarchy of Tractable Subclasses for {SAT} and Counting {SAT} Problems},
booktitle = {11th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2009, Timisoara, Romania, September
26-29, 2009},
pages = {61--68},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SYNASC.2009.12},
doi = {10.1109/SYNASC.2009.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AndreiGRY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Rinard08,
author = {Martin C. Rinard},
title = {Technical perspective - Patching program errors},
journal = {Commun. {ACM}},
volume = {51},
number = {12},
pages = {86},
year = {2008},
url = {https://doi.org/10.1145/1409360.1409381},
doi = {10.1145/1409360.1409381},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Rinard08.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/Rinard08,
author = {Martin C. Rinard},
title = {Using programming language concepts to teach general thinking skills},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {111--118},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480853},
doi = {10.1145/1480828.1480853},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Rinard08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ZeeKR08,
author = {Karen Zee and
Viktor Kuncak and
Martin C. Rinard},
title = {Verifying linked data structure implementations},
booktitle = {22nd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2008, Miami, Florida USA, April 14-18, 2008},
pages = {1--5},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/IPDPS.2008.4536430},
doi = {10.1109/IPDPS.2008.4536430},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/ZeeKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZeeKR08,
author = {Karen Zee and
Viktor Kuncak and
Martin C. Rinard},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Full functional verification of linked data structures},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {349--361},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375624},
doi = {10.1145/1375581.1375624},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZeeKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KuncakR07,
author = {Viktor Kuncak and
Martin C. Rinard},
editor = {Frank Pfenning},
title = {Towards Efficient Satisfiability Checking for Boolean Algebra with
Presburger Arithmetic},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {215--230},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_15},
doi = {10.1007/978-3-540-73595-3\_15},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KuncakR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MarnetteKR07,
author = {Bruno Marnette and
Viktor Kuncak and
Martin C. Rinard},
editor = {Helmut Seidl},
title = {Polynomial Constraints for Sets with Cardinality Bounds},
booktitle = {Foundations of Software Science and Computational Structures, 10th
International Conference, {FOSSACS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007,
Braga, Portugal, March 24-April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4423},
pages = {258--273},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71389-0\_19},
doi = {10.1007/978-3-540-71389-0\_19},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MarnetteKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/LamR07,
author = {Patrick Lam and
Martin C. Rinard},
title = {Static Verification of Design Constraints and Software Correctness
Properties in the Hob System},
booktitle = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
pages = {1--6},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IPDPS.2007.370521},
doi = {10.1109/IPDPS.2007.370521},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/LamR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/NguyenR07,
author = {Huu Hai Nguyen and
Martin C. Rinard},
editor = {Greg Morrisett and
Mooly Sagiv},
title = {Detecting and eliminating memory leaks using cyclic memory allocation},
booktitle = {Proceedings of the 6th International Symposium on Memory Management,
{ISMM} 2007, Montreal, Quebec, Canada, October 21-22, 2007},
pages = {15--30},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1296907.1296912},
doi = {10.1145/1296907.1296912},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/NguyenR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Rinard07,
author = {Martin C. Rinard},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Using early phase termination to eliminate load imbalances at barrier
synchronization points},
booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {369--386},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297027.1297055},
doi = {10.1145/1297027.1297055},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Rinard07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Rinard07a,
author = {Martin C. Rinard},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Living in the comfort zone},
booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {611--622},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297027.1297072},
doi = {10.1145/1297027.1297072},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Rinard07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ZeeKTR07,
author = {Karen Zee and
Viktor Kuncak and
Michael B. Taylor and
Martin C. Rinard},
editor = {Oleg Sokolsky and
Serdar Tasiran},
title = {Runtime Checking for Program Verification},
booktitle = {Runtime Verification, 7th International Workshop, {RV} 2007, Vancouver,
Canada, March 13, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4839},
pages = {202--213},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77395-5\_17},
doi = {10.1007/978-3-540-77395-5\_17},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ZeeKTR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BouillaguetKWZR07,
author = {Charles Bouillaguet and
Viktor Kuncak and
Thomas Wies and
Karen Zee and
Martin C. Rinard},
editor = {Byron Cook and
Andreas Podelski},
title = {Using First-Order Theorem Provers in the Jahob Data Structure Verification
System},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4349},
pages = {74--88},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1\_5},
doi = {10.1007/978-3-540-69738-1\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BouillaguetKWZR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KuncakNR06,
author = {Viktor Kuncak and
Huu Hai Nguyen and
Martin C. Rinard},
title = {Deciding Boolean Algebra with Presburger Arithmetic},
journal = {J. Autom. Reason.},
volume = {36},
number = {3},
pages = {213--239},
year = {2006},
url = {https://doi.org/10.1007/s10817-006-9042-1},
doi = {10.1007/S10817-006-9042-1},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KuncakNR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DemskyR06,
author = {Brian Demsky and
Martin C. Rinard},
title = {Goal-Directed Reasoning for Specification-Based Data Structure Repair},
journal = {{IEEE} Trans. Software Eng.},
volume = {32},
number = {12},
pages = {931--951},
year = {2006},
url = {https://doi.org/10.1109/TSE.2006.122},
doi = {10.1109/TSE.2006.122},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DemskyR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KuncakLZR06,
author = {Viktor Kuncak and
Patrick Lam and
Karen Zee and
Martin C. Rinard},
title = {Modular Pluggable Analyses for Data Structure Consistency},
journal = {{IEEE} Trans. Software Eng.},
volume = {32},
number = {12},
pages = {988--1005},
year = {2006},
url = {https://doi.org/10.1109/TSE.2006.125},
doi = {10.1109/TSE.2006.125},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KuncakLZR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/Rinard06,
author = {Martin C. Rinard},
editor = {Gregory K. Egan and
Yoichi Muraoka},
title = {Probabilistic accuracy bounds for fault-tolerant computations that
discard tasks},
booktitle = {Proceedings of the 20th Annual International Conference on Supercomputing,
{ICS} 2006, Cairns, Queensland, Australia, June 28 - July 01, 2006},
pages = {324--334},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1183401.1183447},
doi = {10.1145/1183401.1183447},
timestamp = {Tue, 06 Nov 2018 11:07:03 +0100},
biburl = {https://dblp.org/rec/conf/ics/Rinard06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/KuncakR06,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {An overview of the Jahob analysis system: project goals and current
status},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639580},
doi = {10.1109/IPDPS.2006.1639580},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/KuncakR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DemskyEGMPR06,
author = {Brian Demsky and
Michael D. Ernst and
Philip J. Guo and
Stephen McCamant and
Jeff H. Perkins and
Martin C. Rinard},
editor = {Lori L. Pollock and
Mauro Pezz{\`{e}}},
title = {Inference and enforcement of data structure consistency specifications},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
2006},
pages = {233--244},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146238.1146266},
doi = {10.1145/1146238.1146266},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/DemskyEGMPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FraserKLNNRSS06,
author = {Steven Fraser and
Gregor Kiczales and
Ricardo L{\'{o}}pez and
Peter G. Neumann and
Linda M. Northrop and
Martin C. Rinard and
Douglas C. Schmidt and
Kevin J. Sullivan},
editor = {Peri L. Tarr and
William R. Cook},
title = {The ultra challenge: software systems beyond big},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {929--933},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176747},
doi = {10.1145/1176617.1176747},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/FraserKLNNRSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AndreiCR06,
author = {Stefan Andrei and
Wei{-}Ngan Chin and
Martin C. Rinard},
editor = {Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Ajith Abraham and
Bruno Buchberger and
Alexandru Cicortas and
Dorian Gorgan and
Jo{\"{e}}l Quinqueton},
title = {Incremental Deterministic Planning},
booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing {(SYNASC} 2006), 26-29 September 2006, Timisoara,
Romania},
pages = {93--102},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SYNASC.2006.47},
doi = {10.1109/SYNASC.2006.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AndreiCR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WiesKLPR06,
author = {Thomas Wies and
Viktor Kuncak and
Patrick Lam and
Andreas Podelski and
Martin C. Rinard},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Field Constraint Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {157--173},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_11},
doi = {10.1007/11609773\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/WiesKLPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rinard07,
author = {Martin C. Rinard},
editor = {Roderick Bloem and
Marco Roveri and
Fabio Somenzi},
title = {Automated Techniques for Surviving (Otherwise) Fatal Software Errors},
booktitle = {Proceedings of the Workshop on Verification and Debugging, V{\&}D@FLoC
2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {4},
pages = {113--116},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.033},
doi = {10.1016/J.ENTCS.2006.12.033},
timestamp = {Fri, 27 Jan 2023 12:15:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rinard07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0609104,
author = {Thomas Wies and
Viktor Kuncak and
Karen Zee and
Andreas Podelski and
Martin C. Rinard},
title = {On Verifying Complex Properties using Symbolic Shape Analysis},
journal = {CoRR},
volume = {abs/cs/0609104},
year = {2006},
url = {http://arxiv.org/abs/cs/0609104},
eprinttype = {arXiv},
eprint = {cs/0609104},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609104.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RuginaR05,
author = {Radu Rugina and
Martin C. Rinard},
title = {Symbolic bounds analysis of pointers, array indices, and accessed
memory regions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {2},
pages = {185--235},
year = {2005},
url = {https://doi.org/10.1145/1057387.1057388},
doi = {10.1145/1057387.1057388},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RuginaR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/LamKR05,
author = {Patrick Lam and
Viktor Kuncak and
Martin C. Rinard},
editor = {Mira Mezini and
Peri L. Tarr},
title = {Crosscutting techniques in program specification and analysis},
booktitle = {Proceedings of the 4th International Conference on Aspect-Oriented
Software Development, {AOSD} 2005, Chicago, Illinois, USA, March 14-18,
2005},
pages = {169--180},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1052898.1052913},
doi = {10.1145/1052898.1052913},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/LamKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KuncakNR05,
author = {Viktor Kuncak and
Huu Hai Nguyen and
Martin C. Rinard},
editor = {Robert Nieuwenhuis},
title = {An Algorithm for Deciding {BAPA:} Boolean Algebra with Presburger
Arithmetic},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {260--277},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_20},
doi = {10.1007/11532231\_20},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/KuncakNR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/LamKR05,
author = {Patrick Lam and
Viktor Kuncak and
Martin C. Rinard},
editor = {Rastislav Bod{\'{\i}}k},
title = {Hob: {A} Tool for Verifying Data Structure Consistency},
booktitle = {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},
pages = {237--241},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31985-6\_16},
doi = {10.1007/978-3-540-31985-6\_16},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/LamKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DemskyR05,
author = {Brian Demsky and
Martin C. Rinard},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Data structure repair using goal-directed reasoning},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {176--185},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062499},
doi = {10.1145/1062455.1062499},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DemskyR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RinardCN05,
author = {Martin C. Rinard and
Cristian Cadar and
Huu Hai Nguyen},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Exploring the acceptability envelope},
booktitle = {Companion to 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 = {21--30},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094855.1094866},
doi = {10.1145/1094855.1094866},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RinardCN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChinNQR05,
author = {Wei{-}Ngan Chin and
Huu Hai Nguyen and
Shengchao Qin and
Martin C. Rinard},
editor = {Chris Hankin and
Igor Siveroni},
title = {Memory Usage Verification for {OO} Programs},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {70--86},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_7},
doi = {10.1007/11547662\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChinNQR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MarinovKBZR05,
author = {Darko Marinov and
Sarfraz Khurshid and
Suhabe Bugrara and
Lintao Zhang and
Martin C. Rinard},
editor = {Fahiem Bacchus and
Toby Walsh},
title = {Optimizations for Compiling Declarative Models into Boolean Formulas},
booktitle = {Theory and Applications of Satisfiability Testing, 8th International
Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3569},
pages = {187--202},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499107\_14},
doi = {10.1007/11499107\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/MarinovKBZR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SalcianuR05,
author = {Alexandru Salcianu and
Martin C. Rinard},
editor = {Radhia Cousot},
title = {Purity and Side Effect Analysis for Java Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {199--215},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_14},
doi = {10.1007/978-3-540-30579-8\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SalcianuR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LamKR05,
author = {Patrick Lam and
Viktor Kuncak and
Martin C. Rinard},
editor = {Radhia Cousot},
title = {Generalized Typestate Checking for Data Structure Consistency},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {430--447},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_28},
doi = {10.1007/978-3-540-30579-8\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/LamKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/KuncakLZR05,
author = {Viktor Kuncak and
Patrick Lam and
Karen Zee and
Martin C. Rinard},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Implications of a Data Structure Consistency Checking System},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {214--226},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_23},
doi = {10.1007/978-3-540-69149-5\_23},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/KuncakLZR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KuncakR05,
author = {Viktor Kuncak and
Martin C. Rinard},
editor = {Agostino Cortesi and
Francesco Logozzo},
title = {Decision Procedures for Set-Valued Fields},
booktitle = {Proceedings of the First International Workshop on Abstract Interpretation
of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
21, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {131},
pages = {51--62},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.01.022},
doi = {10.1016/J.ENTCS.2005.01.022},
timestamp = {Tue, 13 Dec 2022 15:04:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KuncakR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KuncakRM05,
author = {Viktor Kuncak and
Martin C. Rinard and
Bruno Marnette},
editor = {Franz Baader and
Peter Baumgartner and
Robert Nieuwenhuis and
Andrei Voronkov},
title = {On Algorithms and Complexity for Sets with Cardinality Constraints},
booktitle = {Deduction and Applications, 23.-28. October 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05431},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/512},
timestamp = {Sun, 02 Oct 2022 15:58:47 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KuncakRM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0508123,
author = {Bruno Marnette and
Viktor Kuncak and
Martin C. Rinard},
title = {On Algorithms and Complexity for Sets with Cardinality Constraints},
journal = {CoRR},
volume = {abs/cs/0508123},
year = {2005},
url = {http://arxiv.org/abs/cs/0508123},
eprinttype = {arXiv},
eprint = {cs/0508123},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/LamKR04,
author = {Patrick Lam and
Viktor Kuncak and
Martin C. Rinard},
title = {Generalized typestate checking using set interfaces and pluggable
analyses},
journal = {{ACM} {SIGPLAN} Notices},
volume = {39},
number = {3},
pages = {46--55},
year = {2004},
url = {https://doi.org/10.1145/981009.981016},
doi = {10.1145/981009.981016},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/LamKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/RinardCDRL04,
author = {Martin C. Rinard and
Cristian Cadar and
Daniel Dumitran and
Daniel M. Roy and
Tudor Leu},
title = {A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities
(and Other Memory Errors)},
booktitle = {20th Annual Computer Security Applications Conference {(ACSAC} 2004),
6-10 December 2004, Tucson, AZ, {USA}},
pages = {82--90},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CSAC.2004.2},
doi = {10.1109/CSAC.2004.2},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/RinardCDRL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ArkoudasZKR04,
author = {Konstantine Arkoudas and
Karen Zee and
Viktor Kuncak and
Martin C. Rinard},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Verifying a File System Implementation},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {373--390},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_32},
doi = {10.1007/978-3-540-30482-1\_32},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ArkoudasZKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/RinardCDRLB04,
author = {Martin C. Rinard and
Cristian Cadar and
Daniel Dumitran and
Daniel M. Roy and
Tudor Leu and
William S. Beebee},
editor = {Eric A. Brewer and
Peter Chen},
title = {Enhancing Server Availability and Security Through Failure-Oblivious
Computing},
booktitle = {6th Symposium on Operating System Design and Implementation {(OSDI}
2004), San Francisco, California, USA, December 6-8, 2004},
pages = {303--316},
publisher = {{USENIX} Association},
year = {2004},
url = {http://www.usenix.org/events/osdi04/tech/rinard.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/RinardCDRLB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChinCQR04,
author = {Wei{-}Ngan Chin and
Florin Craciun and
Shengchao Qin and
Martin C. Rinard},
editor = {William W. Pugh and
Craig Chambers},
title = {Region inference for an object-oriented language},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2004 Conference on Programming
Language Design and Implementation 2004, Washington, DC, USA, June
9-11, 2004},
pages = {243--254},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996841.996871},
doi = {10.1145/996841.996871},
timestamp = {Mon, 04 Apr 2022 21:23:55 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChinCQR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KuncakR04,
author = {Viktor Kuncak and
Martin C. Rinard},
editor = {Roberto Giacobazzi},
title = {Generalized Records and Spatial Conjunction in Role Logic},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {361--376},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_26},
doi = {10.1007/978-3-540-27864-1\_26},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/KuncakR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/RinardSB04,
author = {Martin C. Rinard and
Alexandru Salcianu and
Suhabe Bugrara},
editor = {Richard N. Taylor and
Matthew B. Dwyer},
title = {A classification system and analysis for aspect-oriented programs},
booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
October 31 - November 6, 2004},
pages = {147--158},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029894.1029917},
doi = {10.1145/1029894.1029917},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/RinardSB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KuncakR04,
author = {Viktor Kuncak and
Martin C. Rinard},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Boolean Algebra of Shape Analysis Constraints},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {59--72},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_7},
doi = {10.1007/978-3-540-24622-0\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KuncakR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArkoudasR05,
author = {Konstantine Arkoudas and
Martin C. Rinard},
editor = {Klaus Havelund and
Grigore Rosu},
title = {Deductive Runtime Certification},
booktitle = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {113},
pages = {45--63},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.035},
doi = {10.1016/J.ENTCS.2004.01.035},
timestamp = {Fri, 16 Dec 2022 11:10:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArkoudasR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0407045,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {The First-Order Theory of Sets with Cardinality Constraints is Decidable},
journal = {CoRR},
volume = {cs.LO/0407045},
year = {2004},
url = {http://arxiv.org/abs/cs.LO/0407045},
doi = {10.48550/ARXIV.CS/0407045},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0407045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0408015,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {On the Theory of Structural Subtyping},
journal = {CoRR},
volume = {cs.LO/0408015},
year = {2004},
url = {http://arxiv.org/abs/cs.LO/0408015},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0408015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0410073,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {On Spatial Conjunction as Second-Order Logic},
journal = {CoRR},
volume = {cs.LO/0410073},
year = {2004},
url = {http://arxiv.org/abs/cs.LO/0410073},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0410073.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0408013,
author = {Viktor Kuncak and
Patrick Lam and
Martin C. Rinard},
title = {Roles Are Really Great!},
journal = {CoRR},
volume = {cs.PL/0408013},
year = {2004},
url = {http://arxiv.org/abs/cs.PL/0408013},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0408013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0408014,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {Typestate Checking and Regular Graph Constraints},
journal = {CoRR},
volume = {cs.PL/0408014},
year = {2004},
url = {http://arxiv.org/abs/cs.PL/0408014},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0408014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0408018,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {On Role Logic},
journal = {CoRR},
volume = {cs.PL/0408018},
year = {2004},
url = {http://arxiv.org/abs/cs.PL/0408018},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0408018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0408019,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {On Generalized Records and Spatial Conjunction in Role Logic},
journal = {CoRR},
volume = {cs.PL/0408019},
year = {2004},
url = {http://arxiv.org/abs/cs.PL/0408019},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0408019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RuginaR03,
author = {Radu Rugina and
Martin C. Rinard},
title = {Pointer analysis for structured parallel programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {25},
number = {1},
pages = {70--116},
year = {2003},
url = {https://doi.org/10.1145/596980.596982},
doi = {10.1145/596980.596982},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RuginaR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RinardD03,
author = {Martin C. Rinard and
Pedro C. Diniz},
title = {Eliminating synchronization bottlenecks using adaptive replication},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {25},
number = {3},
pages = {316--359},
year = {2003},
url = {https://doi.org/10.1145/641909.641911},
doi = {10.1145/641909.641911},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/RinardD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/ArkoudasKMR03,
author = {Konstantine Arkoudas and
Sarfraz Khurshid and
Darko Marinov and
Martin C. Rinard},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Integrating Model Checking and Theorem Proving for Relational Reasoning},
booktitle = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
Seminar on Relational Methods in Computer Science and 2nd International
Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
May 12-17, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3051},
pages = {21--33},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24771-5\_3},
doi = {10.1007/978-3-540-24771-5\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/ArkoudasKMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LamR03,
author = {Patrick Lam and
Martin C. Rinard},
editor = {Luca Cardelli},
title = {A Type System and Analysis for the Automatic Extraction and Enforcement
of Design Information},
booktitle = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
Darmstadt, Germany, July 21-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2743},
pages = {275--302},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45070-2\_13},
doi = {10.1007/978-3-540-45070-2\_13},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LamR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ZhaoR03,
author = {Jianjun Zhao and
Martin C. Rinard},
editor = {Mauro Pezz{\`{e}}},
title = {Pipa: {A} Behavioral Interface Specification Language for AspectJ},
booktitle = {Fundamental Approaches to Software Engineering, 6th International
Conference, {FASE} 2003, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland,
April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2621},
pages = {150--165},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36578-8\_11},
doi = {10.1007/3-540-36578-8\_11},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/ZhaoR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MarinescuR03,
author = {Maria{-}Cristina V. Marinescu and
Martin C. Rinard},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {A Formal Framework for Modular Synchronous System Design},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {482--502},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_27},
doi = {10.1007/978-3-540-45236-2\_27},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/MarinescuR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DemskyR03,
author = {Brian Demsky and
Martin C. Rinard},
title = {Static Specification Analysis for Termination of Specification-Based
Data Structure Repair},
booktitle = {14th International Symposium on Software Reliability Engineering {(ISSRE}
2003), 17-20 November 2003, Denver, CO, {USA}},
pages = {71--84},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISSRE.2003.1251032},
doi = {10.1109/ISSRE.2003.1251032},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/DemskyR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/AnanianR03,
author = {C. Scott Ananian and
Martin C. Rinard},
editor = {Frank Mueller and
Ulrich Kremer},
title = {Data size optimizations for java programs},
booktitle = {Proceedings of the 2003 Conference on Languages, Compilers, and Tools
for Embedded Systems (LCTES'03). San Diego, California, USA, June
11-13, 2003},
pages = {59--68},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/780732.780741},
doi = {10.1145/780732.780741},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/AnanianR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KuncakR03,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {Structural Subtyping of Non-Recursive Types is Decidable},
booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003),
22-25 June 2003, Ottawa, Canada, Proceedings},
pages = {96--107},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/LICS.2003.1210049},
doi = {10.1109/LICS.2003.1210049},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KuncakR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DemskyR03,
author = {Brian Demsky and
Martin C. Rinard},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {Automatic detection and repair of errors in data structures},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2003, October
26-30, 2003, Anaheim, CA, {USA}},
pages = {78--95},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949305.949314},
doi = {10.1145/949305.949314},
timestamp = {Fri, 25 Jun 2021 17:19:58 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DemskyR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Rinard03,
author = {Martin C. Rinard},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {Acceptability-oriented computing},
booktitle = {Companion of the 18th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2003,
October 26-30, 2003, Anaheim, CA, {USA}},
pages = {221--239},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949344.949402},
doi = {10.1145/949344.949402},
timestamp = {Sat, 26 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Rinard03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/FeizabadiBRLR03,
author = {Shahrooz Feizabadi and
William S. Beebee and
Binoy Ravindran and
Peng Li and
Martin C. Rinard},
editor = {Robert Meersman and
Zahir Tari},
title = {Utilitiy Accrual Scheduling with Real-Time Java},
booktitle = {On The Move to Meaningful Internet Systems 2003: {OTM} 2003 Workshops,
{OTM} Confederated International Workshops, HCI-SWWA, IPW, JTRES,
WORM, WMS, and {WRSM} 2003, Catania, Sicily, Italy, November 3-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2889},
pages = {550--563},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39962-9\_59},
doi = {10.1007/978-3-540-39962-9\_59},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/otm/FeizabadiBRLR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BoyapatiSBR03,
author = {Chandrasekhar Boyapati and
Alexandru Salcianu and
William S. Beebee and
Martin C. Rinard},
editor = {Ron Cytron and
Rajiv Gupta},
title = {Ownership types for safe region-based memory management in real-time
Java},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2003 Conference on Programming
Language Design and Implementation 2003, San Diego, California, USA,
June 9-11, 2003},
pages = {324--337},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/781131.781168},
doi = {10.1145/781131.781168},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BoyapatiSBR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GheorghioiuSR03,
author = {Ovidiu Gheorghioiu and
Alexandru Salcianu and
Martin C. Rinard},
editor = {Alex Aiken and
Greg Morrisett},
title = {Interprocedural compatibility analysis for static object preallocation},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {273--284},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604154},
doi = {10.1145/604131.604154},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/popl/GheorghioiuSR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KuncakR03,
author = {Viktor Kuncak and
Martin C. Rinard},
editor = {Radhia Cousot},
title = {Existential Heap Abstraction Entailment Is Undecidable},
booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
CA, USA, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2694},
pages = {418--438},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44898-5\_24},
doi = {10.1007/3-540-44898-5\_24},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/KuncakR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppopp/2003,
editor = {Rudolf Eigenmann and
Martin C. Rinard},
title = {Proceedings of the {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, {PPOPP} 2003, June 11-13, 2003, San Diego,
CA, {USA}},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/781498},
doi = {10.1145/781498},
isbn = {1-58113-588-2},
timestamp = {Sun, 12 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/ZeeR02,
author = {Karen Zee and
Martin C. Rinard},
title = {Write barrier removal by static analysis},
journal = {{ACM} {SIGPLAN} Notices},
volume = {37},
number = {4},
pages = {32--41},
year = {2002},
url = {https://doi.org/10.1145/510857.510866},
doi = {10.1145/510857.510866},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/ZeeR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DemskyR02,
author = {Brian Demsky and
Martin C. Rinard},
editor = {Will Tracz and
Michal Young and
Jeff Magee},
title = {Role-based exploration of object-oriented programs},
booktitle = {Proceedings of the 24th International Conference on Software Engineering,
{ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
pages = {313--334},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581339.581379},
doi = {10.1145/581339.581379},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DemskyR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZeeR02,
author = {Karen Zee and
Martin C. Rinard},
editor = {Mamdouh Ibrahim and
Satoshi Matsuoka},
title = {Write barrier removal by static analysis},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2002, Seattle,
Washington, USA, November 4-8, 2002},
pages = {191--210},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/582419.582439},
doi = {10.1145/582419.582439},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ZeeR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BoyapatiLR02,
author = {Chandrasekhar Boyapati and
Robert Lee and
Martin C. Rinard},
editor = {Mamdouh Ibrahim and
Satoshi Matsuoka},
title = {Ownership types for safe programming: preventing data races and deadlocks},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2002, Seattle,
Washington, USA, November 4-8, 2002},
pages = {211--230},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/582419.582440},
doi = {10.1145/582419.582440},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BoyapatiLR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KuncakLR02,
author = {Viktor Kuncak and
Patrick Lam and
Martin C. Rinard},
editor = {John Launchbury and
John C. Mitchell},
title = {Role analysis},
booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, OR, USA, January
16-18, 2002},
pages = {17--32},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503272.503276},
doi = {10.1145/503272.503276},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/popl/KuncakLR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/MarinescuR01,
author = {Maria{-}Cristina V. Marinescu and
Martin C. Rinard},
editor = {Satoshi Goto},
title = {High-level specification and efficient implementation of pipelined
circuits},
booktitle = {Proceedings of {ASP-DAC} 2001, Asia and South Pacific Design Automation
Conference 2001, January 30-February 2, 2001, Yokohama, Japan},
pages = {655--661},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/370155.370575},
doi = {10.1145/370155.370575},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/MarinescuR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/RuginaR01,
author = {Radu Rugina and
Martin C. Rinard},
editor = {Reinhard Wilhelm},
title = {Design-Driven Compilation},
booktitle = {Compiler Construction, 10th International Conference, {CC} 2001 Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2027},
pages = {150--164},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45306-7\_11},
doi = {10.1007/3-540-45306-7\_11},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/RuginaR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BeebeeR01,
author = {William S. Beebee and
Martin C. Rinard},
editor = {Thomas A. Henzinger and
Christoph M. Kirsch},
title = {An Implementation of Scoped Memory for Real-Time Java},
booktitle = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
City, CA, USA, October, 8-10, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2211},
pages = {289--305},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45449-7\_21},
doi = {10.1007/3-540-45449-7\_21},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BeebeeR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss/MarinescuR01,
author = {Maria{-}Cristina V. Marinescu and
Martin C. Rinard},
editor = {Rom{\'{a}}n Hermida and
El Mostapha Aboulhamid},
title = {High-level automatic pipelining for sequential circuits},
booktitle = {Proceedings of the 14th International Symposium on Systems Synthesis,
{ISSS} 2001, Montr{\'{e}}l, Qu{\'{e}}bec, Canada, September
30 - October 3, 2001},
pages = {215--220},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2001},
url = {https://doi.ieeecomputersociety.org/10.1109/ISSS.2001.957944},
doi = {10.1109/ISSS.2001.957944},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isss/MarinescuR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/KuncakLR01,
author = {Viktor Kuncak and
Patrick Lam and
Martin C. Rinard},
editor = {Henry G. Dietz},
title = {A Language for Role Specifications},
booktitle = {Languages and Compilers for Parallel Computing, 14th International
Workshop, {LCPC} 2001, Cumberland Falls, KY, USA, August 1-3, 2001.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2624},
pages = {366--382},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-35767-X\_24},
doi = {10.1007/3-540-35767-X\_24},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/KuncakLR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BoyapatiR01,
author = {Chandrasekhar Boyapati and
Martin C. Rinard},
editor = {Linda M. Northrop and
John M. Vlissides},
title = {A Parameterized Type System for Race-Free Java Programs},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2001, Tampa,
Florida, USA, October 14-18, 2001},
pages = {56--69},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/504282.504287},
doi = {10.1145/504282.504287},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BoyapatiR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VivienR01,
author = {Fr{\'{e}}d{\'{e}}ric Vivien and
Martin C. Rinard},
editor = {Michael Burke and
Mary Lou Soffa},
title = {Incrementalized Pointer and Escape Analysis},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
20-22, 2001},
pages = {35--46},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378795.378804},
doi = {10.1145/378795.378804},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/pldi/VivienR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/SalcianuR01,
author = {Alexandru Salcianu and
Martin C. Rinard},
editor = {Michael T. Heath and
Andrew Lumsdaine},
title = {Pointer and escape analysis for multithreaded programs},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming (PPOPP'01), Snowbird, Utah, USA,
June 18-20, 2001},
pages = {12--23},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379539.379553},
doi = {10.1145/379539.379553},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/SalcianuR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Rinard01,
author = {Martin C. Rinard},
editor = {Patrick Cousot},
title = {Analysis of Multithreaded Programs},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {1--19},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_1},
doi = {10.1007/3-540-47764-0\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Rinard01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JacksonR00,
author = {Daniel Jackson and
Martin C. Rinard},
editor = {Anthony Finkelstein},
title = {Software analysis: a roadmap: a roadmap},
booktitle = {22nd International Conference on on Software Engineering, Future of
Software Engineering Track, {ICSE} 2000, Limerick Ireland, June 4-11,
2000},
pages = {133--145},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/336512.336545},
doi = {10.1145/336512.336545},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/JacksonR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/RuginaR00,
author = {Radu Rugina and
Martin C. Rinard},
editor = {Samuel P. Midkiff and
Jos{\'{e}} E. Moreira and
Manish Gupta and
Siddhartha Chatterjee and
Jeanne Ferrante and
Jan F. Prins and
William W. Pugh and
Chau{-}Wen Tseng},
title = {Recursion Unrolling for Divide and Conquer Programs},
booktitle = {Languages and Compilers for Parallel Computing, 13th International
Workshop, {LCPC} 2000, Yorktown Heights, NY, USA, August 10-12, 2000,
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2017},
pages = {34--48},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45574-4\_3},
doi = {10.1007/3-540-45574-4\_3},
timestamp = {Mon, 04 Apr 2022 21:23:55 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/RuginaR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RuginaR00,
author = {Radu Rugina and
Martin C. Rinard},
editor = {Monica S. Lam},
title = {Symbolic bounds analysis of pointers, array indices, and accessed
memory regions},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Vancouver, Britith Columbia,
Canada, June 18-21, 2000},
pages = {182--195},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/349299.349325},
doi = {10.1145/349299.349325},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RuginaR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/DinizR99,
author = {Pedro C. Diniz and
Martin C. Rinard},
title = {Synchronization transformations for parallel computing},
journal = {Concurr. Pract. Exp.},
volume = {11},
number = {13},
pages = {773--802},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1096-9128(199911)11:13\&\#60;773::AID-CPE453\&\#62;3.0.CO;2-5},
doi = {10.1002/(SICI)1096-9128(199911)11:13\&\#60;773::AID-CPE453\&\#62;3.0.CO;2-5},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/DinizR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/DinizR99,
author = {Pedro C. Diniz and
Martin C. Rinard},
title = {Eliminating Synchronization Overhead in Automatically Parallelized
Programs Using Dynamic Feedback},
journal = {{ACM} Trans. Comput. Syst.},
volume = {17},
number = {2},
pages = {89--132},
year = {1999},
url = {https://doi.org/10.1145/312203.312210},
doi = {10.1145/312203.312210},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocs/DinizR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/Rinard99,
author = {Martin C. Rinard},
title = {Effective fine-grain synchronization for automatically parallelized
programs using optimistic synchronization primitives},
journal = {{ACM} Trans. Comput. Syst.},
volume = {17},
number = {4},
pages = {337--371},
year = {1999},
url = {https://doi.org/10.1145/329466.329486},
doi = {10.1145/329466.329486},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/Rinard99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/BabbRMLFBA99,
author = {Jonathan Babb and
Martin C. Rinard and
Csaba Andras Moritz and
Walter Lee and
Matthew I. Frank and
Rajeev Barua and
Saman P. Amarasinghe},
title = {Parallelizing Applications into Silicon},
booktitle = {7th {IEEE} Symposium on Field-Programmable Custom Computing Machines
{(FCCM} '99), 21-23 April 1999, Napa, CA, {USA}},
pages = {70},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/FPGA.1999.803669},
doi = {10.1109/FPGA.1999.803669},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fccm/BabbRMLFBA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/RinardD99,
author = {Martin C. Rinard and
Pedro C. Diniz},
editor = {Theodore S. Papatheodorou and
Mateo Valero and
Constantine D. Polychronopoulos and
Yoichi Muraoka and
Jes{\'{u}}s Labarta},
title = {Eliminating synchronization bottlenecks in object-based programs using
adaptive replication},
booktitle = {Proceedings of the 13th international conference on Supercomputing,
{ICS} 1999, Rhodes, Greece, June 20-25, 1999},
pages = {83--92},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/305138.305167},
doi = {10.1145/305138.305167},
timestamp = {Tue, 06 Nov 2018 11:07:02 +0100},
biburl = {https://dblp.org/rec/conf/ics/RinardD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-5/MarinescuR99,
author = {Maria{-}Cristina V. Marinescu and
Martin C. Rinard},
editor = {L. Miguel Silveira and
Srinivas Devadas and
Ricardo Augusto da Luz Reis},
title = {A Synthesis Algorithm for Modular Design of Pipelined Circuits},
booktitle = {{VLSI:} Systems on a Chip, {IFIP} {TC10/WG10.5} Tenth International
Conference on Very Large Scale Integration {(VLSI} '99), December
1-4, 1999, Lisbon, Portugal},
series = {{IFIP} Conference Proceedings},
volume = {162},
pages = {620--635},
publisher = {Kluwer},
year = {1999},
timestamp = {Mon, 14 Oct 2002 13:30:59 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-5/MarinescuR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WhaleyR99,
author = {John Whaley and
Martin C. Rinard},
editor = {Brent Hailpern and
Linda M. Northrop and
A. Michael Berman},
title = {Compositional Pointer and Escape Analysis for Java Programs},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1999,
Denver, Colorado, USA, November 1-5, 1999},
pages = {187--206},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/320384.320400},
doi = {10.1145/320384.320400},
timestamp = {Wed, 30 Mar 2022 13:58:42 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WhaleyR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RuginaR99,
author = {Radu Rugina and
Martin C. Rinard},
editor = {Barbara G. Ryder and
Benjamin G. Zorn},
title = {Pointer Analysis for Multithreaded Programs},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Atlanta, Georgia, USA,
May 1-4, 1999},
pages = {77--90},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/301618.301645},
doi = {10.1145/301618.301645},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RuginaR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/RuginaR99,
author = {Radu Rugina and
Martin C. Rinard},
editor = {Marc Snir and
Andrew A. Chien},
title = {Automatic Parallelization of Divide and Conquer Algorithms},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming (PPOPP'99), Atlanta, Georgia, USA,
May 4-6, 1999},
pages = {72--83},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/301104.301111},
doi = {10.1145/301104.301111},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/RuginaR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/Rinard98,
author = {Martin C. Rinard},
title = {Applications experience in Jade},
journal = {Concurr. Pract. Exp.},
volume = {10},
number = {6},
pages = {417--448},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1096-9128(199805)10:6\&\#60;417::AID-CPE292\&\#62;3.0.CO;2-K},
doi = {10.1002/(SICI)1096-9128(199805)10:6\&\#60;417::AID-CPE292\&\#62;3.0.CO;2-K},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/Rinard98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/DinizR98,
author = {Pedro C. Diniz and
Martin C. Rinard},
title = {Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized
Object-Based Programs},
journal = {J. Parallel Distributed Comput.},
volume = {49},
number = {2},
pages = {218--244},
year = {1998},
url = {https://doi.org/10.1006/jpdc.1998.1441},
doi = {10.1006/JPDC.1998.1441},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/DinizR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpl/Rinard98,
author = {Martin C. Rinard},
title = {Implicitly synchronized abstract data types: data structures for modular
parallel programming},
journal = {J. Program. Lang.},
volume = {6},
number = {1},
pages = {1--35},
year = {1998},
url = {http://compscinet.dcs.kcl.ac.uk/JP/jp060101.abs.html},
timestamp = {Thu, 29 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpl/Rinard98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RinardL98,
author = {Martin C. Rinard and
Monica S. Lam},
title = {The Design, Implementation, and Evaluation of Jade},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {20},
number = {3},
pages = {483--545},
year = {1998},
url = {https://doi.org/10.1145/291889.291893},
doi = {10.1145/291889.291893},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RinardL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/IbarraDR97,
author = {Oscar H. Ibarra and
Pedro C. Diniz and
Martin C. Rinard},
title = {On the Complexity of Commutativity Analysis},
journal = {Int. J. Found. Comput. Sci.},
volume = {8},
number = {1},
pages = {81--94},
year = {1997},
url = {https://doi.org/10.1142/S0129054197000069},
doi = {10.1142/S0129054197000069},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/IbarraDR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhsc/Rinard97,
author = {Martin C. Rinard},
title = {Locality Optimizations for Parallel Computing Using Data Access Information},
journal = {Int. J. High Speed Comput.},
volume = {9},
number = {2},
pages = {161--179},
year = {1997},
url = {https://doi.org/10.1142/S0129053397000118},
doi = {10.1142/S0129053397000118},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhsc/Rinard97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RinardD97,
author = {Martin C. Rinard and
Pedro C. Diniz},
title = {Commutativity Analysis: {A} New Analysis Technique for Parallelizing
Compilers},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {19},
number = {6},
pages = {942--991},
year = {1997},
url = {https://doi.org/10.1145/267959.269969},
doi = {10.1145/267959.269969},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RinardD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DinizR97,
author = {Pedro C. Diniz and
Martin C. Rinard},
editor = {Marina C. Chen and
Ron K. Cytron and
A. Michael Berman},
title = {Dynamic Feedback: An Effective Technique for Adaptive Computing},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '97 Conference on Programming Language
Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18,
1997},
pages = {71--84},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258915.258923},
doi = {10.1145/258915.258923},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DinizR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RinardD97,
author = {Pedro C. Diniz and
Martin C. Rinard},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {Synchronization Transformations for Parallel Computing},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {187--200},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263718},
doi = {10.1145/263699.263718},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/RinardD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/Rinard97,
author = {Martin C. Rinard},
editor = {Robert Schreiber and
Keshav Pingali and
A. Michael Berman},
title = {Effective Fine-Grain Synchronization for Automatically Parallelized
Programs Using Optimistic Synchronization Primitives},
booktitle = {Proceedings of the Sixth {ACM} {SIGPLAN} Symposium on Principles {\&}
Practice of Parallel Programming (PPOPP), Las Vegas, Nevada, USA,
June 18-21, 1997},
pages = {112--123},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/263764.263781},
doi = {10.1145/263764.263781},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/Rinard97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/IbarraDR96,
author = {Oscar H. Ibarra and
Pedro C. Diniz and
Martin C. Rinard},
editor = {Jin{-}yi Cai and
C. K. Wong},
title = {On the Complexity of Commutativity Analysis},
booktitle = {Computing and Combinatorics, Second Annual International Conference,
{COCOON} '96, Hong Kong, June 17-19, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1090},
pages = {323--332},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61332-3\_166},
doi = {10.1007/3-540-61332-3\_166},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/IbarraDR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/RinardD96,
author = {Martin C. Rinard and
Pedro C. Diniz},
editor = {Luc Boug{\'{e}} and
Pierre Fraigniaud and
Anne Mignotte and
Yves Robert},
title = {Semantic Foundations of Commutativity Analysis},
booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
Lyon, France, August 26-29, 1996, Proceedings, Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1123},
pages = {414--423},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61626-8\_55},
doi = {10.1007/3-540-61626-8\_55},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/RinardD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/RinardD96,
author = {Martin C. Rinard and
Pedro C. Diniz},
title = {Commutativity Analysis: {A} Technique for Automatically Parallelizing
Pointer-Based Computations},
booktitle = {Proceedings of {IPPS} '96, The 10th International Parallel Processing
Symposium, April 15-19, 1996, Honolulu, Hawaii, {USA}},
pages = {14--22},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/IPPS.1996.508033},
doi = {10.1109/IPPS.1996.508033},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/RinardD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Rinard96,
author = {Martin C. Rinard},
title = {An Integrated Synchronization and Consistency Protocol for the Implementation
of a High-Level Parallel Programming Language},
booktitle = {Proceedings of {IPPS} '96, The 10th International Parallel Processing
Symposium, April 15-19, 1996, Honolulu, Hawaii, {USA}},
pages = {549--553},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/IPPS.1996.508110},
doi = {10.1109/IPPS.1996.508110},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/Rinard96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/DinizR96,
author = {Pedro C. Diniz and
Martin C. Rinard},
editor = {David C. Sehr and
Utpal Banerjee and
David Gelernter and
Alexandru Nicolau and
David A. Padua},
title = {Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized
Object-Based Programs},
booktitle = {Languages and Compilers for Parallel Computing, 9th International
Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1239},
pages = {285--299},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0017259},
doi = {10.1007/BFB0017259},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/DinizR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RinardD96,
author = {Martin C. Rinard and
Pedro C. Diniz},
editor = {Charles N. Fischer},
title = {Commutativity Analysis: {A} New Analysis Framework for Parallelizing
Compilers},
booktitle = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
May 21-24, 1996},
pages = {54--67},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/231379.231390},
doi = {10.1145/231379.231390},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RinardD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/Rinard95,
author = {Martin C. Rinard},
editor = {Sidney Karin},
title = {Communication Optimizations for Parallel Computing Using Data Access
Information},
booktitle = {Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8,
1995},
pages = {69},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224170.224413},
doi = {10.1145/224170.224413},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/Rinard95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Rinard94,
author = {Martin C. Rinard},
title = {The design, implementation and evaluation of Jade: a portable, implicitly
parallel programming language},
school = {Stanford University, {USA}},
year = {1994},
url = {https://searchworks.stanford.edu/view/2941735},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Rinard94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/RinardSL93,
author = {Martin C. Rinard and
Daniel J. Scales and
Monica S. Lam},
title = {Jade: {A} High-Level, Machine-Independent Language for Parallel Programming},
journal = {Computer},
volume = {26},
number = {6},
pages = {28--38},
year = {1993},
url = {https://doi.org/10.1109/2.214440},
doi = {10.1109/2.214440},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/RinardSL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RinardL92,
author = {Martin C. Rinard and
Monica S. Lam},
editor = {Ravi Sethi},
title = {Semantic Foundations of Jade},
booktitle = {Conference Record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, Albuquerque, New
Mexico, USA, January 19-22, 1992},
pages = {105--118},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143165.143189},
doi = {10.1145/143165.143189},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/RinardL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/RinardSL92,
author = {Martin C. Rinard and
Daniel J. Scales and
Monica S. Lam},
editor = {Robert Werner},
title = {Heterogeneous Parallel Programming in Jade},
booktitle = {Proceedings Supercomputing '92, Minneapolis, MN, USA, November 16-20,
1992},
pages = {245--256},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SUPERC.1992.236678},
doi = {10.1109/SUPERC.1992.236678},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/RinardSL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/ScalesRLA91,
author = {Daniel J. Scales and
Martin C. Rinard and
Monica S. Lam and
Jennifer{-}Ann M. Anderson},
editor = {Utpal Banerjee and
David Gelernter and
Alexandru Nicolau and
David A. Padua},
title = {Hierarchical Concurrency in Jade},
booktitle = {Languages and Compilers for Parallel Computing, Fourth International
Workshop, Santa Clara, California, USA, August 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {589},
pages = {50--64},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0038657},
doi = {10.1007/BFB0038657},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/ScalesRLA91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SaraswatRP91,
author = {Vijay A. Saraswat and
Martin C. Rinard and
Prakash Panangaden},
editor = {David S. Wise},
title = {Semantic Foundations of Concurrent Constraint Programming},
booktitle = {Conference Record of the Eighteenth Annual {ACM} Symposium on Principles
of Programming Languages, Orlando, Florida, USA, January 21-23, 1991},
pages = {333--352},
publisher = {{ACM} Press},
year = {1991},
url = {https://doi.org/10.1145/99583.99627},
doi = {10.1145/99583.99627},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SaraswatRP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/LamR91,
author = {Monica S. Lam and
Martin C. Rinard},
editor = {David S. Wise},
title = {Coarse-Grain Parallel Programming in Jade},
booktitle = {Proceedings of the Third {ACM} {SIGPLAN} Symposium on Principles {\&}
Practice of Parallel Programming (PPOPP), Williamsburg, Virginia,
USA, April 21-24, 1991},
pages = {94--105},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/109625.109636},
doi = {10.1145/109625.109636},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/LamR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SaraswatR90,
author = {Vijay A. Saraswat and
Martin C. Rinard},
editor = {Frances E. Allen},
title = {Concurrent Constraint Programming},
booktitle = {Conference Record of the Seventeenth Annual {ACM} Symposium on Principles
of Programming Languages, San Francisco, California, USA, January
1990},
pages = {232--245},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/96709.96733},
doi = {10.1145/96709.96733},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SaraswatR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/GiacaloneRD84,
author = {Alessandro Giacalone and
Martin C. Rinard and
Thomas W. Doeppner Jr.},
editor = {William E. Riddle and
Peter B. Henderson},
title = {{IDEOSY:} An Ideographic and Interactive Program Description System},
booktitle = {Proceedings of the {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
on Practical Software Development Environments, Pittsburgh, Pennsylvania,
USA, April 23-25, 1984},
pages = {15--20},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800020.808244},
doi = {10.1145/800020.808244},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/sde/GiacaloneRD84.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-25 05:38 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:
