{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T13:57:30Z","timestamp":1758981450916,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T00:00:00Z","timestamp":1608508800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Ag\u00eancia Nacional de Inova\u00e7\u00e3o","award":["045917"],"award-info":[{"award-number":["045917"]}]},{"name":"National Science Foundation","award":["1762363"],"award-info":[{"award-number":["1762363"]}]},{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award":["UIDB\/50021\/2020"],"award-info":[{"award-number":["UIDB\/50021\/2020"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,12,21]]},"DOI":"10.1145\/3324884.3416613","type":"proceedings-article","created":{"date-parts":[[2021,1,27]],"date-time":"2021-01-27T23:38:56Z","timestamp":1611790736000},"page":"175-186","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["UnchartIt"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Ramos","sequence":"first","affiliation":[{"name":"U. Lisboa, Lisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Pereira","sequence":"additional","affiliation":[{"name":"U. Lisboa. Lisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"In\u00eas","family":"Lynce","sequence":"additional","affiliation":[{"name":"U. Lisboa, Lisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasco","family":"Manquinho","sequence":"additional","affiliation":[{"name":"U. Lisboa, Lisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruben","family":"Martins","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,1,27]]},"reference":[{"volume-title":"Dependable Software Systems Engineering","author":"Alur Rajeev","key":"e_1_3_2_1_1_1","unstructured":"Rajeev Alur, Rastislav Bod\u00edk, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2015. Syntax-Guided Synthesis. In Dependable Software Systems Engineering. IOS Press, 1--25."},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. International Conference on Learning Representations.","author":"Balog Matej","year":"2017","unstructured":"Matej Balog, Alexander Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2017. DeepCoder: Learning to Write Programs. In Proc. International Conference on Learning Representations."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3174168"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-017-9432-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_14"},{"key":"e_1_3_2_1_6_1","volume-title":"2015 (accessed","author":"Fran\u00e7ois Chollet","year":"2020","unstructured":"Fran\u00e7ois Chollet et al. 2015 (accessed May 8, 2020). Keras. https:\/\/keras.io."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"e_1_3_2_1_8_1","volume-title":"Stuckey","author":"Demirovic Emir","year":"2019","unstructured":"Emir Demirovic and Peter J. Stuckey. 2019. Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. In Proc. International Conference Principles and Practice of Constraint Programming. Springer, 177--194."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.04.007"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/227"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. Annual Conference on Neural Information Processing Systems. 6062--6071","author":"Ellis Kevin","year":"2018","unstructured":"Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, and Josh Tenenbaum. 2018. Learning to Infer Graphics Programs from Hand-Drawn Images. In Proc. Annual Conference on Neural Information Processing Systems. 6062--6071."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642987"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192382"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062351"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737977"},{"volume-title":"Proc. International Conference on Automated Software Engineering. ACM, 888--891","author":"Gadelha Mikhail R.","key":"e_1_3_2_1_16_1","unstructured":"Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, and Denis A. Nicole. 2018. ESBMC 5.0: An Industrial-Strength C Model Checker. In Proc. International Conference on Automated Software Engineering. ACM, 888--891."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568250"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-008-0075-2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630034"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000010"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386025"},{"volume-title":"Proc. International Conference on Management of Data. ACM, 683--698","author":"Jin Zhongjun","key":"e_1_3_2_1_23_1","unstructured":"Zhongjun Jin, Michael R. Anderson, Michael J. Cafarella, and H. V. Jagadish. 2017. Foofah: Transforming Data By Example. In Proc. International Conference on Management of Data. ACM, 683--698."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3025453.3025957"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3183727"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978942.1979444"},{"key":"e_1_3_2_1_27_1","volume-title":"On the Variance of the Adaptive Learning Rate and Beyond. CoRR abs\/1908.03265","author":"Liu Liyuan","year":"2019","unstructured":"Liyuan Liu, Haoming Jiang, Pengcheng He, Weizhu Chen, Xiaodong Liu, Jianfeng Gao, and Jiawei Han. 2019. On the Variance of the Adaptive Learning Rate and Beyond. CoRR abs\/1908.03265 (2019)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.14778\/3352063.3352098"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807442.2807459"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_18"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2005.55"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. ACM Program. Lang. 2, OOPSLA","author":"Padhi Saswat","year":"2018","unstructured":"Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, and Todd D. Millstein. 2018. FlashProfile: a framework for synthesizing data profiles. Proc. ACM Program. Lang. 2, OOPSLA (2018), 150:1--150:28."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.10668"},{"key":"e_1_3_2_1_34_1","unstructured":"Ankit Rohatgi. 2019 (accessed May 8 2020). WebPlotDigitizer Version 4.2. https:\/\/automeris.io\/WebPlotDigitizer."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-015-0816-y"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047196.2047247"},{"volume-title":"Proc. International Conference on Machine Learning. 6105--6114","author":"Tan Mingxing","key":"e_1_3_2_1_37_1","unstructured":"Mingxing Tan and Quoc V. Le. 2019. EfficientNet: Rethinking Model Scaling for Convolutional Neural Networks. In Proc. International Conference on Machine Learning. 6105--6114."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3058738"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062365"},{"key":"e_1_3_2_1_40_1","volume-title":"POPL","author":"Wang Chenglong","year":"2020","unstructured":"Chenglong Wang, Yu Feng, Rastislav Bod\u00edk, Alvin Cheung, and Isil Dillig. 2020. Visualization by example. PACMPL 4, POPL (2020), 49:1--49:28."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501988.2502040"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.963440"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"volume-title":"Proc. Annual Conference on Neural Information Processing Systems. 9593--9604","author":"Zhang Michael R.","key":"e_1_3_2_1_44_1","unstructured":"Michael R. Zhang, James Lucas, Jimmy Ba, and Geoffrey E. Hinton. 2019. Looka-head Optimizer: k steps forward, 1 step back. In Proc. Annual Conference on Neural Information Processing Systems. 9593--9604."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693082"}],"event":{"name":"ASE '20: 35th IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Virtual Event Australia","acronym":"ASE '20"},"container-title":["Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416613","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3324884.3416613","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3324884.3416613","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:38Z","timestamp":1750197698000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416613"}},"subtitle":["an interactive framework for program recovery from charts"],"short-title":[],"issued":{"date-parts":[[2020,12,21]]},"references-count":45,"alternative-id":["10.1145\/3324884.3416613","10.1145\/3324884"],"URL":"https:\/\/doi.org\/10.1145\/3324884.3416613","relation":{},"subject":[],"published":{"date-parts":[[2020,12,21]]},"assertion":[{"value":"2021-01-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}