Adaptive Concretization for Parallel Program Synthesis. Jeon, J., Qiu, X., Solar-Lezama, A., & Foster, J. S. In Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II, pages 377–394, 2015.
![Adaptive Concretization for Parallel Program Synthesis [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex
Paper doi bibtex @inproceedings{DBLP:conf/cav/JeonQSF15,
author = {Jinseong Jeon and
Xiaokang Qiu and
Armando Solar{-}Lezama and
Jeffrey S. Foster},
title = {Adaptive Concretization for Parallel Program Synthesis},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{II}},
pages = {377--394},
year = {2015},
crossref = {DBLP:conf/cav/2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_22},
doi = {10.1007/978-3-319-21668-3\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/JeonQSF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}Downloads: 0
{"_id":"cmfqXzKbe3r92Abo9","bibbaseid":"jeon-qiu-solarlezama-foster-adaptiveconcretizationforparallelprogramsynthesis-2015","downloads":0,"creationDate":"2015-08-12T00:47:03.288Z","title":"Adaptive Concretization for Parallel Program Synthesis","author_short":["Jeon, J.","Qiu, X.","Solar-Lezama, A.","Foster, J. S."],"year":2015,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jinseong"],"propositions":[],"lastnames":["Jeon"],"suffixes":[]},{"firstnames":["Xiaokang"],"propositions":[],"lastnames":["Qiu"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]},{"firstnames":["Jeffrey","S."],"propositions":[],"lastnames":["Foster"],"suffixes":[]}],"title":"Adaptive Concretization for Parallel Program Synthesis","booktitle":"Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II","pages":"377–394","year":"2015","crossref":"DBLP:conf/cav/2015","url":"https://doi.org/10.1007/978-3-319-21668-3\\_22","doi":"10.1007/978-3-319-21668-3_22","timestamp":"Sun, 25 Oct 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cav/JeonQSF15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cav/JeonQSF15,\n author = {Jinseong Jeon and\n Xiaokang Qiu and\n Armando Solar{-}Lezama and\n Jeffrey S. Foster},\n title = {Adaptive Concretization for Parallel Program Synthesis},\n booktitle = {Computer Aided Verification - 27th International Conference, {CAV}\n 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part\n {II}},\n pages = {377--394},\n year = {2015},\n crossref = {DBLP:conf/cav/2015},\n url = {https://doi.org/10.1007/978-3-319-21668-3\\_22},\n doi = {10.1007/978-3-319-21668-3\\_22},\n timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cav/JeonQSF15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Jeon, J.","Qiu, X.","Solar-Lezama, A.","Foster, J. S."],"key":"DBLP:conf/cav/JeonQSF15","id":"DBLP:conf/cav/JeonQSF15","bibbaseid":"jeon-qiu-solarlezama-foster-adaptiveconcretizationforparallelprogramsynthesis-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-21668-3\\_22"},"metadata":{"authorlinks":{"solar-lezama, a":"https://groups.csail.mit.edu/cap/","jeon, j":"http://www.cs.umd.edu/~jsjeon/dblp.html"}},"downloads":0,"html":""},"search_terms":["adaptive","concretization","parallel","program","synthesis","jeon","qiu","solar-lezama","foster"],"keywords":[],"authorIDs":["2vCMvupKjBzH2XBxx","499J3cbcHxnsXbRXJ","4SeZ9RLWeXWC9hDte","4c777cEMcaFfBcBFm","4cFFGXLMwud45qQCq","4fTgobBkmLMgx6f6H","4pKiaeQbqpbwmiN2F","4qWJegYY87jgjPD9b","527b7gxaLwwsALLRs","5552edf1c9f7b7de4a0007f0","5599afe9f8b71a5307001b66","57YZ5DEGs4P3SJnjJ","5DKFtLFR9M4ZtmQtP","5de966b5d574c6de010001b5","5de974dc768c31df010000e6","5deab5a803c11ade01000218","5dee5c38773914de0100002e","5dee913dfc4c19df01000286","5dee9de00ceb4cdf010000fc","5def3cbd66cfe0df01000009","5df02f825d7361de01000107","5df04dcaaa8415de010000fd","5df133c08fc423de010001ad","5df221271e4fe9df010000cb","5df33a65683178f301000096","5df43ee896bfa7de010000b9","5df5585dff5784de010000f5","5df558d7ff5784de010000fe","5df5aa9aa0eab8de010000d8","5df5bf5b64d1d0df01000042","5df5e94df65dd9de010000da","5df6033ba37a40df010000f1","5df6e900da9d91de010000ec","5df6fb86df3bb9f2010000cf","5df7c84992a8e4df01000157","5df83a60dc1981de01000134","5df85a99b99bcff301000004","5dfa7de02a0346de0100008f","5dfafb7ffa2bbbde01000115","5dfc2052ff6df7de0100004f","5dfc78e44a82f3f20100006a","5dfdcabeb6b936e40100005d","5e0259986ffa15df010000e2","5e036f9cb1544ef2010000da","5e056db6981708de01000003","5e077e7d23a4eadf010000b3","5e0818ea973979df01000028","5e0a6f7f3eccf6e0010000ac","5e0a892ba1f959df01000083","5e0a8d4fa1f959df010000a1","5e0ab54b27625ede0100000c","5e0aeff63830a1df01000022","5e0b2c5dfc92e9de01000054","5e0b7a3bca6111df01000014","5e0bc98794c532f301000104","5e0ca7ab6a5164de010000ab","5e0cd14d6762d1de0100005c","5e0d15619ecb35de010000b1","5e0e24c72b8028de01000060","5e0e40c9d2eb5bdf0100007b","5e10093386fd12e801000076","5e10ec6f45c12cde010000af","5e11fd9ee9f185de0100008a","5e1296f6551229df010000ad","5e13db92dd177ade01000067","5e16be24dc7739de01000106","5e1758154df69dde0100003c","5e17832fcf35a4de01000146","5e19f037c1012bde010000c4","5e1a48b13a430ede01000108","5e1c6bcc92587bde010000a0","5e1ce46cabed9bde01000160","5e1cf9a0633f2ade01000099","5e1d0951633f2ade01000164","5e1e38a1407a20de010001b7","5e1e5f1cce9ed9de01000022","5e1e8877cda997de010000ce","5e1f51c39ddd0fde010001c2","5e1f95a44fcd1cde01000020","5e20388502c04cde0100016b","5e20820280350bdf0100012a","5e210e8dc63e88df010000a8","5e21ad8896aea7de0100003b","5e21ebef59a877de010000a1","5e251399b55b9edf0100001c","5e27056c9667abde0100018b","5e2733de557b88de0100013c","5e28a66d88416fde0100015f","5e28b82a6acacbdf01000079","5e28e120a3df5bdf010000f7","5e29fa4e8fb0e6de010001af","5e2a474d2d8494f201000082","5e2b083ddf8a5dde0100006b","5e2b43a5b9f2cade0100008b","5e2c746dce5606de01000034","5e2de923133023de010000b5","5e2e33b6185844df0100002f","5e2ea591b84405df0100004d","5e30c10d2a1e4bde010000fc","5e32042b7c8d24df010001b8","5e32c502466076df0100012b","5e331f39200286df010001fc","5e334519e0067bde01000086","5e33ad6417f2c9de01000153","5e33ea36d41331de01000042","5e347d54fae8b9de010000d6","5e34cee062bc74de0100006a","5e354674ba591ddf01000079","5e357bc54c2e37de01000069","5e35a548e5db93df010000b7","5e38cfdd87bbe9de01000110","5e3918817f8bf3f301000066","5e391f0d7f8bf3f301000099","5e39a9c8ad94f9de010000de","5e39dc913687dddf0100008a","5e39e02c3687dddf010000d2","5e39e8da3687dddf01000173","5e3a0dffc268d2de01000016","5e3a129bc268d2de0100004f","5e3a163fc268d2de0100008f","5e3a1c78c268d2de010000d1","5e3a3604237cdede0100009a","5e3ab990f2a00cdf01000046","5e3ae7221b85fadf010001b8","5e3b052d55f0f2df0100017d","5e3b2636ba2e16df010001d3","5e3b2967255dcade01000049","5e3b4a9d930f80df0100007c","5e3bc12f657d0bdf01000096","5e3c506cc798e0de010000f1","5e3c6bb867788ede010000d5","5e3c961ef99721de0100001e","5e3d97a7f33211df0100004e","5e3dbdab07ca74de010000eb","5e3dd7ddd51253de010000df","5e3fa0eacecf86de010001b2","5e40e52bfd6934df01000073","5e41e5f9a9454ade010000db","5e41ee19a9454ade0100016c","5e420099ebe241de010000b9","5e423f1dac099bde010000be","5e426825e4402ade0100001b","5e42e311a6f4a6f2010000e9","5e42fb64aefe1adf0100009a","5e4446dadf3c2af30100002b","5e445c46df3c2af3010001ac","5e4474a2084293df0100014b","5e4489e9ec14b3de010000b0","5e44b6697759a7df0100000c","5e44ce4c7759a7df0100013f","5e44d883ab9cedde0100005c","5e45630849667cde01000052","5e4593ed86f11cdf010001ba","5e45c6da0920e8de01000189","5e45f666a5737fde01000076","5e461a33b57382df010000c7","5e471122a2783dde010000e5","5e4727fff6106ade01000059","5e47482bd8f94bde0100008f","5e474abbd8f94bde010000a2","5e482d1c08d3f9de010000a6","5e48a93e6ac344de0100011d","5e496d6916841dde01000115","5e49a9accb98e8de0100001b","5e4ab5b615f6c7df01000181","5e4abe7615f6c7df01000219","5e4b20fdc59ab1f3010000dc","5e4b423ca44fbbde010000c4","5e4c324fc1eb51df0100004e","5e4c4b7b271596df0100001e","5e4d725908a8e5de0100012e","5e4da45ae671efde010000c1","5e4dab3ae671efde010001a8","5e4ee2282962cadf0100013c","5e4eef13338acfde01000024","5e4f207ae5389bde0100011b","5e4f6a52a01931de01000065","5e500023f5b214df0100017a","5e501b02933046de0100010e","5e50418bc708b1de01000031","5e50ee2f9f7a6dde0100003d","5e514aa4fe5af9df010000ae","5e523ea7bf8729de0100002c","5e536fc702f674de0100000e","5e53eba7d26e87df010000d3","5e5427ed80c0b0de01000130","5e54295480c0b0de01000155","5e542ceb80c0b0de0100019b","5e54372d7a758fde01000079","5e549bcefd5b13df010000cf","5e5556bae89e5fde0100008d","5e55fabc819fabdf01000040","5e5831701f3fc8de01000083","5e58506d2c2732de010000cc","5e588d01c8b5dede01000054","5e5985b58049fcde010000a6","5e5c178682b694df01000146","5e5c25ad15d8f5de01000072","5e5c9c8d9933dade01000080","5e5d3a8b73eb2edf01000074","5e5d4df573eb2edf0100022a","5e5d9f7d5726ecdf0100011c","5e5e32261e54a8df01000360","5e5ed2068c261adf01000115","5e5f43f19771b7de01000105","5e5faacb19c3fade010000f5","5e604223182590df010000f9","5e6054004a1c7edf01000095","5e6283766f352ede010000e2","5e62bd00cb259cde010000a7","5e644894b8c607de0100004b","5e65a2945dd5c8de010000d7","5e66a6ab44d2c4de0100022d","5e66edab85689bf30100007c","5e69ff628a1455de0100015c","5e6a9bd10e8744de01000245","5e6aa493f216f6de010000a5","5k5TkxFvHfBJPdzQw","5wkYbFRkmLT4ycQPr","6GodyDmxbM5YpEbSf","6bYFeEhjWzztbppEH","6kWPXnMELgo45QZCs","7AnEYn32wJfyQSjzv","7RJ9qMxeGuWGwY72D","7YNjyBFmMYK2yistw","7cfm8Kt2s7WuNnQRF","7mtkcS7QwZLpiZPEW","7wZtAs5fehHTCZnNi","7x8WuEtfCRNwFMygd","82pQP3juta7zX2mbE","846RCby5GRkp4RBZo","858ir3W7KjQoAaHTe","88Xu9kRggjFc5Dyae","8J7ahq2JxuqiM6SKX","8kjee98vLeSZrmzsP","9AxtvvcrEfeQsfQfG","9FjudRb6f6kii6xic","9iou6qNQiwhkTMzpM","9n8eNzwirdzv6gmAf","9q9yNAbbxduLfSNBK","Aav3eorHFkdngCBYa","BczaBKMFQd6A3GuGm","C4C3ka4CGiTti8Qiy","CAWbTMGpjYnnZQNRi","CAwMbvFH5qfzfpg4S","CKofMdusL6vFWBbkZ","Cy8DyL8m3XL7hjd2R","DXyw29A5HzTBAnNBr","DgmTWfwRZYXXKk4oY","DsvBkq4tKqwDHdG4F","Dyg3zYAjksEZQeLsn","E2cdKbbBoqdWxrPw5","Erbzy62B7qZTYwrq2","FizErfvqTtZSdvEXs","G6YFTrNjYLjwtyYZT","GNDG7jN4NcBAe8MZj","GgRMDyG9m3KeYHbAr","GvEtMWmmXmpZFp2hP","HYBTGJdfxcqLHpvKC","HnTio3WGNjvxHb4Dp","Hu8DCKYcKA7szjCRF","JKHRAxbDBDE3W9jZ2","KD5cdbzyqqxBMkTjW","KHMesfvuB2rsDNqRS","LB4D7ujbQEpeenuki","LBeJPQ7PdFXsxedWJ","LeAgjpSNNdD7yo55q","MYYRabbXXbmdofyyR","MuvzQaATpfKDQtvsi","MwFiHNAmMXTrrBoAn","MzXxa2YpWGrj76o3q","NdmHbsqkqPRQPdpMv","NpRWqaCbGYXMs4PT8","PLpQPTLhnvK7qMWjo","PqiiJSnFPt4tuaHsL","PwJr8FmuqSpbN5uQF","Q3PWrzsodyyvvgNb5","QQNbRdFpENHNtgCzv","QbKB5aDnq7HDNggKR","QqhKmAFoNZMsdpdyN","RoAjs2vo8TQ4J6y3h","S6HdbR2wjjwtZC5Jv","SBhXgdAjpdYr7DRhH","TDabsrATZGRGY2PrP","TscQhKsJdWAyoWLik","W3TknY5axD2oYJGej","XAowCbXNMAAyRdyyX","ZEJ2Yzs6WAFBp6FFJ","ZYDMKQTgMZqWFHATf","Zgf6wXutupiiZsBPx","ZnNcqEXSbJGPAtbQ5","a8gCMXLNmZfC24Tim","ageBWuYTb2fiit9c3","anmrWXHApgNH7LCtp","c63vMpHQtBYNFeXtj","c9esxTCZBg8jkZC7c","ctSF5cEAmuWZ4gsfs","dW3jkd73CLSe4W8cs","dWhZMpXAzx4uQkQNt","e3gRGNKwaMNs3Ctxb","es5w83THMJjdpiY24","f6ToxTmrc2zzPS8e9","fFCBRWZ7rkTHHkxce","ffufG3d3cypp59YF5","fiqTzL57t8xAgSZri","fpSD9vJ2WTG5FpKxq","fy4LNqpyTL4SkRKN6","fz9gBcbXmLnJqbMvP","gYYvb3bmpmBwPQTG7","giZZg5Y8bAFqbeu7o","h5GP3NPk8phguHJKb","hE6QnPYsjgQpFrZCP","ha4JQTv7oysjgQ7jL","hrbTGGtxakKPNS89B","iCuWxmuuSdDrA9yJz","iDZJ4rmT2yRBfCgYQ","iSWtNB4pnn5cPmRkC","ioprYbXgc23SpLtHa","iprrzidWAyo4M6AAP","ispbDi2Ephu6S64js","iytrWw35cfjsxDbH9","j2Yi9iMYc72HFKXzL","k2RzHuyXocSweWdJj","k5TYkrCNAGJFfezzg","ka4ZbSJPdaTZq3urK","kzphG3ae7NC7qfcnm","mAYwFLAmqswRxjCfN","mJ5oWuXc8X5AMKsaA","mYAnn9vxCSsr8hjfg","mmGwgGTBJWZsD5Fnt","nAbd88xy6JBnMoBpJ","nEy7inb3at7WM4Hod","nmjH7ag56JWJcxuG8","nqJMtTAimMbJ8SANo","nrE9zhKnaPY87JjnS","oAEtJWd9FfNig4FMo","ob8fnyf3CjN4mp4JQ","opiCyiHv3qXomEArT","pBmr6vSAD7hviqSff","pCyigoTtho9LqTGRg","pa5Hq2DHgmWGj8Cph","prj3tkYhgpNprWBfg","rEysuDssR7jvtFCmm","rLnKYiEvmnBmmvNMh","rgMyNMXyEcya2vEuY","rwsCMQBtYjEEHrJ7M","sPLnowbQ4HhFxcszm","ssJekByu8sMQoLBvh","t6Ttmpun32kBQeQ3k","t6gP3QkT5pW2mj4Tv","tHLZLzXveeJSXhCuA","tRG62ri4x3Z7fiepE","tcaZyiifxvutJ4w7B","tdwMgnc8HKXBfEhJg","te7NjKLst5vwus5NH","uB4aRhJq5amsiwj4a","uZacRCiFMpKwkGXcJ","uyxJ83nTc9N73cAam","vPKw62Am8Eyq4L8zB","vh9PknYTKxyQ36A9e","vrhcvSqSCJXmszoGi","x2FGgpRJSxHk8AAXp","xAvWFhRt3Y5qhQRjK","xMGYsfDN46sEnWAjo","xeyohgW3t4eCzjP4Y","xoPQLn4B4Prn7jCgT","y7Nfs4GoRsZ45zMW8","yMgt6xQnkpkjsg2hg","yPSK3BxbS8iM2K9Xu","yowCF98e4HRj7cryQ","zCJy4eQ4LJndwA5eH","zEAynDKTYrvdknCbn","zxuu8SYiwZsbJpy9M"],"dataSources":["rGuy4xgsrB7zfgooW","5gWsbsooR8f5Eey2m","hu6gnCePSjXrq4RZY","DAnxudWukpMXCtWy8"]}