{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:53Z","timestamp":1750220933026,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":73,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314593","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"702-716","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Programming support for autonomizing software"],"prefix":"10.1145","author":[{"given":"Wen-Chuan","family":"Lee","sequence":"first","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Liu","sequence":"additional","affiliation":[{"name":"IBM, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yingqi","family":"Liu","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiqing","family":"Ma","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature24270"},{"key":"e_1_3_2_2_2_1","volume-title":"Neural architecture search with reinforcement learning","author":"Zoph B.","year":"2017","unstructured":"B. Zoph and Q. V. Le , \u201c Neural architecture search with reinforcement learning ,\u201d 2017 . {Online}. Available: https:\/\/arxiv.org\/abs\/1611.01578 B. Zoph and Q. V. Le, \u201cNeural architecture search with reinforcement learning,\u201d 2017. {Online}. Available: https:\/\/arxiv.org\/abs\/1611.01578"},{"key":"e_1_3_2_2_3_1","volume-title":"CGO 2019","author":"Lee W.-C.","year":"2019","unstructured":"W.-C. Lee , Y. Liu , P. Liu , S. Ma , H. Choi , X. Zhang , and R. Gupta , \u201c White-box program tuning,\u201d ser . CGO 2019 , 2019 . W.-C. Lee, Y. Liu, P. Liu, S. Ma, H. Choi, X. Zhang, and R. Gupta, \u201cWhite-box program tuning,\u201d ser. CGO 2019, 2019."},{"key":"e_1_3_2_2_4_1","volume-title":"Mario bizhawk emulator. {Online}. Available: https:\/\/pastebin.com\/u\/SethBling","author":"Bling S.","year":"2018","unstructured":"S. Bling . ( 2018 ) Mario bizhawk emulator. {Online}. Available: https:\/\/pastebin.com\/u\/SethBling S. Bling. (2018) Mario bizhawk emulator. {Online}. Available: https:\/\/pastebin.com\/u\/SethBling"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature14236"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.4018\/IJISMD.2015070103"},{"key":"e_1_3_2_2_7_1","volume-title":"mario-ai: Playing mario with deep reinforcement learning. {Online}. Available: https:\/\/github.com\/aleju\/mario- ai","author":"Jung A.","year":"2018","unstructured":"A. Jung . ( 2018 ) mario-ai: Playing mario with deep reinforcement learning. {Online}. Available: https:\/\/github.com\/aleju\/mario- ai A. Jung. (2018) mario-ai: Playing mario with deep reinforcement learning. {Online}. Available: https:\/\/github.com\/aleju\/mario- ai"},{"key":"e_1_3_2_2_8_1","volume-title":"Openai gym","author":"Brockman G.","year":"2016","unstructured":"G. Brockman , V. Cheung , L. Pettersson , J. Schneider , J. Schulman , J. Tang , and W. Zaremba , \u201c Openai gym ,\u201d 2016 . G. Brockman, V. Cheung, L. Pettersson, J. Schneider, J. Schulman, J. Tang, and W. Zaremba, \u201cOpenai gym,\u201d 2016."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.5244\/C.29.41"},{"key":"e_1_3_2_2_10_1","volume-title":"Deep reinforcement learning doesn\u2019t work yet. {Online}. Available: https:\/\/www.alexirpan.com\/2018\/02\/14\/rl- hard. html","author":"Irpan A.","year":"2018","unstructured":"A. Irpan . ( 2018 ) Deep reinforcement learning doesn\u2019t work yet. {Online}. Available: https:\/\/www.alexirpan.com\/2018\/02\/14\/rl- hard. html A. Irpan. (2018) Deep reinforcement learning doesn\u2019t work yet. {Online}. Available: https:\/\/www.alexirpan.com\/2018\/02\/14\/rl- hard. html"},{"key":"e_1_3_2_2_11_1","volume-title":"CoRR","author":"Hessel M.","year":"2017","unstructured":"M. Hessel , J. Modayil , H. van Hasselt , T. Schaul , G. Ostrovski , W. Dabney , D. Horgan , B. Piot , M. G. Azar , and D. Silver , \u201c Rainbow: Combining improvements in deep reinforcement learning ,\u201d CoRR , 2017 . M. Hessel, J. Modayil, H. van Hasselt, T. Schaul, G. Ostrovski, W. Dabney, D. Horgan, B. Piot, M. G. Azar, and D. Silver, \u201cRainbow: Combining improvements in deep reinforcement learning,\u201d CoRR, 2017."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1989.1.4.541"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1986.4767851"},{"key":"e_1_3_2_2_14_1","volume-title":"ICASSP \u201903","author":"Lamere P.","year":"2003","unstructured":"P. Lamere , P. Kwok , E. Gouvea , B. Raj , R. Singh , W. Walker , M. Warmuth , and P. Wolf , \u201c The cmu sphinx-4 speech recognition system ,\u201d in ICASSP \u201903 , 2003 . P. Lamere, P. Kwok, E. Gouvea, B. Raj, R. Singh, W. Walker, M. Warmuth, and P. Wolf, \u201cThe cmu sphinx-4 speech recognition system,\u201d in ICASSP \u201903, 2003."},{"key":"e_1_3_2_2_15_1","volume-title":"jakowskidev\/umario_jakowski: umario c++\/sdl2 game by lukasz jakowski. {Online}. Available: https:\/\/github.com\/ jakowskidev\/uMario_Jakowski","author":"Jakowski L.","year":"2018","unstructured":"L. Jakowski . ( 2018 ) jakowskidev\/umario_jakowski: umario c++\/sdl2 game by lukasz jakowski. {Online}. Available: https:\/\/github.com\/ jakowskidev\/uMario_Jakowski L. Jakowski. (2018) jakowskidev\/umario_jakowski: umario c++\/sdl2 game by lukasz jakowski. {Online}. Available: https:\/\/github.com\/ jakowskidev\/uMario_Jakowski"},{"volume-title":"Autonomizer. {Online}. Available: https:\/\/github. com\/ProjectDemooo\/Autonomizer","year":"2018","key":"e_1_3_2_2_16_1","unstructured":"Autnomizer. ( 2018 ) Autonomizer. {Online}. Available: https:\/\/github. com\/ProjectDemooo\/Autonomizer Autnomizer. (2018) Autonomizer. {Online}. Available: https:\/\/github. com\/ProjectDemooo\/Autonomizer"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00992698"},{"key":"e_1_3_2_2_18_1","volume-title":"CoRR","author":"Kingma D. P.","year":"2014","unstructured":"D. P. Kingma and J. Ba , \u201c Adam: A method for stochastic optimization ,\u201d CoRR , 2014 . D. P. Kingma and J. Ba, \u201cAdam: A method for stochastic optimization,\u201d CoRR, 2014."},{"key":"e_1_3_2_2_19_1","volume-title":"Neural networks for perception","author":"Hecht-Nielsen R.","year":"1992","unstructured":"R. Hecht-Nielsen , \u201c Neural networks for perception ,\u201d 1992 , ch. Theory of the Backpropagation Neural Network . R. Hecht-Nielsen, \u201cNeural networks for perception,\u201d 1992, ch. Theory of the Backpropagation Neural Network."},{"key":"e_1_3_2_2_20_1","volume-title":"OSDI \u201916","author":"Abadi M.","year":"2016","unstructured":"M. Abadi , P. Barham , J. Chen , Z. Chen , A. Davis , J. Dean , M. Devin , S. Ghemawat , G. Irving , M. Isard , M. Kudlur , J. Levenberg , R. Monga , S. Moore , D. G. Murray , B. Steiner , P. Tucker , V. Vasudevan , P. Warden , M. Wicke , Y. Yu , and X. Zheng , \u201c Tensorflow: A system for large-scale machine learning ,\u201d in OSDI \u201916 , 2016 . M. Abadi, P. Barham, J. Chen, Z. Chen, A. Davis, J. Dean, M. Devin, S. Ghemawat, G. Irving, M. Isard, M. Kudlur, J. Levenberg, R. Monga, S. Moore, D. G. Murray, B. Steiner, P. Tucker, V. Vasudevan, P. Warden, M. Wicke, Y. Yu, and X. Zheng, \u201cTensorflow: A system for large-scale machine learning,\u201d in OSDI \u201916, 2016."},{"volume-title":"Extending python with c or c++. {Online}. Available: https:\/\/docs.python.org\/2\/extending\/extending.html","year":"2018","key":"e_1_3_2_2_21_1","unstructured":"Python2.7. ( 2018 ) Extending python with c or c++. {Online}. Available: https:\/\/docs.python.org\/2\/extending\/extending.html Python2.7. (2018) Extending python with c or c++. {Online}. Available: https:\/\/docs.python.org\/2\/extending\/extending.html"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2600239.2600241"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1344209.1344217"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_2_25_1","volume-title":"wmkhoo\/taintgrind - github. {Online}. Available: https:\/\/github.com\/wmkhoo\/taintgrind","author":"Khoo W. M.","year":"2013","unstructured":"W. M. Khoo . ( 2013 ) wmkhoo\/taintgrind - github. {Online}. Available: https:\/\/github.com\/wmkhoo\/taintgrind W. M. Khoo. (2013) wmkhoo\/taintgrind - github. {Online}. Available: https:\/\/github.com\/wmkhoo\/taintgrind"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCV.1995.477034"},{"key":"e_1_3_2_2_27_1","volume-title":"Phylip-phylogeny inference package (version 3.2)","author":"Plotree D.","year":"1989","unstructured":"D. Plotree and D. Plotgram , \u201c Phylip-phylogeny inference package (version 3.2) ,\u201d cladistics, vol. 5 , 1989 . D. Plotree and D. Plotgram, \u201cPhylip-phylogeny inference package (version 3.2),\u201d cladistics, vol. 5, 1989."},{"volume-title":"Cycle-accurate nes emulator. {Online}. Available: https:\/\/github.com\/AndreaOrru\/LaiNES","year":"2017","key":"e_1_3_2_2_28_1","unstructured":"AndreaOrru. ( 2017 ) Cycle-accurate nes emulator. {Online}. Available: https:\/\/github.com\/AndreaOrru\/LaiNES AndreaOrru. (2017) Cycle-accurate nes emulator. {Online}. Available: https:\/\/github.com\/AndreaOrru\/LaiNES"},{"key":"e_1_3_2_2_29_1","volume-title":"Stella: A multiplatform atari 2600 vcs emulator. {Online}. Available: https: \/\/stella- emu.github.io\/","author":"Mott S. A.","year":"1995","unstructured":"S. A. Bradford W. Mott and T. S. Team . ( 1995 ) Stella: A multiplatform atari 2600 vcs emulator. {Online}. Available: https: \/\/stella- emu.github.io\/ S. A. Bradford W. Mott and T. S. Team. (1995) Stella: A multiplatform atari 2600 vcs emulator. {Online}. Available: https: \/\/stella- emu.github.io\/"},{"volume-title":"Computer vision and image understanding","author":"Heath M.","key":"e_1_3_2_2_30_1","unstructured":"M. Heath , S. Sarkar , T. Sanocki , and K. Bowyer , \u201c Comparison of edge detectors: a methodology and initial study ,\u201d Computer vision and image understanding , vol. 69 , no. 1, pp. 38\u201354, 1998. M. Heath, S. Sarkar, T. Sanocki, and K. Bowyer, \u201cComparison of edge detectors: a methodology and initial study,\u201d Computer vision and image understanding, vol. 69, no. 1, pp. 38\u201354, 1998."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628071.2628092"},{"key":"e_1_3_2_2_32_1","volume-title":"Selected Topics in Human Language Technology and Pattern Recognition","author":"D.","year":"2014","unstructured":"D. stutz, \u201cIntroduction to neural networks ,\u201d Selected Topics in Human Language Technology and Pattern Recognition , 2014 . D. stutz, \u201cIntroduction to neural networks,\u201d Selected Topics in Human Language Technology and Pattern Recognition, 2014."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2010.161"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIP.2003.819861"},{"key":"e_1_3_2_2_35_1","volume-title":"CoRR","author":"Mnih V.","year":"2016","unstructured":"V. Mnih , A. Badia , M. Mirza , A. Graves , T. P. Lillicrap , T. Harley , D. Silver , and K. Kavukcuoglu , \u201c Asynchronous methods for deep reinforcement learning ,\u201d CoRR , 2016 . V. Mnih, A. Badia, M. Mirza, A. Graves, T. P. Lillicrap, T. Harley, D. Silver, and K. Kavukcuoglu, \u201cAsynchronous methods for deep reinforcement learning,\u201d CoRR, 2016."},{"key":"e_1_3_2_2_36_1","volume-title":"CoRR","author":"You Y.","year":"2017","unstructured":"Y. You , X. Pan , Z. Wang , and C. Lu , \u201c Virtual to real reinforcement learning for autonomous driving ,\u201d CoRR , 2017 . Y. You, X. Pan, Z. Wang, and C. Lu, \u201cVirtual to real reinforcement learning for autonomous driving,\u201d CoRR, 2017."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2015.312"},{"key":"e_1_3_2_2_38_1","volume-title":"Eds.","author":"Katagiri T.","year":"2003","unstructured":"T. Katagiri , K. Kise , H. Honda , and T. Yuba , \u201c Fiber: A generalized framework for auto-tuning software,\u201d in HPC \u201903, A. Veidenbaum, K. Joe, H. Amano, and H. Aiso , Eds. , 2003 . T. Katagiri, K. Kise, H. Honda, and T. Yuba, \u201cFiber: A generalized framework for auto-tuning software,\u201d in HPC \u201903, A. Veidenbaum, K. Joe, H. Amano, and H. Aiso, Eds., 2003."},{"key":"e_1_3_2_2_39_1","volume-title":"ICML \u201915","author":"Maclaurin D.","year":"2015","unstructured":"D. Maclaurin , D. Duvenaud , and R. P. Adams , \u201c Gradient-based hyperparameter optimization through reversible learning ,\u201d in ICML \u201915 , 2015 . D. Maclaurin, D. Duvenaud, and R. P. Adams, \u201cGradient-based hyperparameter optimization through reversible learning,\u201d in ICML \u201915, 2015."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2739480.2754648"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882296"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161054"},{"volume-title":"SIGPLAN Not.","author":"Hoffmann H.","key":"e_1_3_2_2_43_1","unstructured":"H. Hoffmann , S. Sidiroglou , M. Carbin , S. Misailovic , A. Agarwal , and M. Rinard , \u201c Dynamic knobs for responsive power-aware computing ,\u201d SIGPLAN Not. , vol. 46 , no. 3, 2011. H. Hoffmann, S. Sidiroglou, M. Carbin, S. Misailovic, A. Agarwal, and M. Rinard, \u201cDynamic knobs for responsive power-aware computing,\u201d SIGPLAN Not., vol. 46, no. 3, 2011."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2006.1662377"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011464226688"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809028.1806620"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542481"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737969"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380403.2380425"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/266800.266825"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.107"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.65"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509552"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818821"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970311"},{"key":"e_1_3_2_2_58_1","first-page":"59","volume-title":"ASE \u201917","author":"Godefroid P.","year":"2017","unstructured":"P. Godefroid , H. Peleg , and R. Singh , \u201c Learn&fuzz: Machine learning for input fuzzing ,\u201d in ASE \u201917 , 2017 , pp. 50\u2013 59 . P. Godefroid, H. Peleg, and R. Singh, \u201cLearn&fuzz: Machine learning for input fuzzing,\u201d in ASE \u201917, 2017, pp. 50\u201359."},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062349"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPW.2018.00026"},{"key":"e_1_3_2_2_61_1","first-page":"1351","volume-title":"AAAI \u201917","author":"Gupta R.","year":"2017","unstructured":"R. Gupta , S. Pal , A. Kanade , and S. Shevade , \u201c Deepfix: Fixing common c language errors by deep learning .\u201d in AAAI \u201917 , 2017 , pp. 1345\u2013 1351 . R. Gupta, S. Pal, A. Kanade, and S. Shevade, \u201cDeepfix: Fixing common c language errors by deep learning.\u201d in AAAI \u201917, 2017, pp. 1345\u20131351."},{"key":"e_1_3_2_2_62_1","volume-title":"CoRR","author":"Wang K.","year":"2017","unstructured":"K. Wang , R. Singh , and Z. Su , \u201c Dynamic neural program embedding for program repair ,\u201d CoRR , 2017 . K. Wang, R. Singh, and Z. Su, \u201cDynamic neural program embedding for program repair,\u201d CoRR, 2017."},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.73"},{"key":"e_1_3_2_2_64_1","volume-title":"NIPS \u201912","author":"Krizhevsky A.","year":"2012","unstructured":"A. Krizhevsky , I. Sutskever , and G. E. Hinton , \u201c Imagenet classification with deep convolutional neural networks ,\u201d in NIPS \u201912 , 2012 . A. Krizhevsky, I. Sutskever, and G. E. Hinton, \u201cImagenet classification with deep convolutional neural networks,\u201d in NIPS \u201912, 2012."},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2013.465"},{"key":"e_1_3_2_2_66_1","volume-title":"CVPR \u201915","author":"Shen W.","year":"2015","unstructured":"W. Shen , X. Wang , Y. Wang , X. Bai , and Z. Zhang , \u201c Deepcontour: A deep convolutional feature learned by positive-sharing loss for contour detection ,\u201d in CVPR \u201915 , 2015 . W. Shen, X. Wang, Y. Wang, X. Bai, and Z. Zhang, \u201cDeepcontour: A deep convolutional feature learned by positive-sharing loss for contour detection,\u201d in CVPR \u201915, 2015."},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASL.2011.2134090"},{"key":"e_1_3_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2013.6638947"},{"key":"e_1_3_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2016.11.015"},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btw074"},{"key":"e_1_3_2_2_71_1","volume-title":"Cs229 final report reinforcement learning to play mario","author":"Liao Y.","year":"2012","unstructured":"Y. Liao , K. Yi , and Y. Zhe , \u201c Cs229 final report reinforcement learning to play mario ,\u201d 2012 . Y. Liao, K. Yi, and Y. Zhe, \u201cCs229 final report reinforcement learning to play mario,\u201d 2012."},{"key":"e_1_3_2_2_72_1","volume-title":"CoRR","author":"Lample G.","year":"2016","unstructured":"G. Lample and D. S. Chaplot , \u201c Playing FPS games with deep reinforcement learning ,\u201d CoRR , 2016 . G. Lample and D. S. Chaplot, \u201cPlaying FPS games with deep reinforcement learning,\u201d CoRR, 2016."},{"key":"e_1_3_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.5555\/2566972.2566979"},{"key":"e_1_3_2_2_74_1","volume-title":"The first level of super mario bros. is easy with lexicographic orderings and time travel... after that it gets a little tricky","author":"Tom D.","year":"2013","unstructured":"D. Tom and M. V. P. D , \u201c The first level of super mario bros. is easy with lexicographic orderings and time travel... after that it gets a little tricky .\u201d 2013 . D. Tom and M. V. P. D, \u201cThe first level of super mario bros. is easy with lexicographic orderings and time travel... after that it gets a little tricky.\u201d 2013."}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Phoenix AZ USA","acronym":"PLDI '19"},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314593","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:22Z","timestamp":1750204402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314593"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":73,"alternative-id":["10.1145\/3314221.3314593","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314593","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}