Author of the publication

Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs.

, , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1648-1676 (October 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Why do I Invite Friends to Join: an Empirical Study of Mobile Social Network Game., , and . PACIS, page 137. (2014)A Secure Digital Watermark Skeleton Based on Cloud Computing Web Services., and . EMC/HumanCom, volume 260 of Lecture Notes in Electrical Engineering, page 527-533. Springer, (2013)Membrane protein structure determination: back to the membrane, , , , and . Methods Mol. Biol., (2013)Event detection in sports video based on generative-discriminative models., and . EIMM@MM, page 17-24. ACM, (2009)Evaluating Reinforcement Learning Algorithms in Observational Health Settings., , , , , , , , , and 9 other author(s). CoRR, (2018)Mountainous Landslide Recognition Based on Gaofen-3 Polarimetric SAR Imagery., , , , , , and . IGARSS, page 9634-9637. IEEE, (2019)Affective preference measurement of product appearance based on event-related potentials., , , and . Cogn. Technol. Work., 20 (2): 299-308 (2018)基于方位信息的改进LZW前缀编码方案 (Improved LZW Prefix Coding Scheme Based on Azimuth Information)., , , and . 计算机科学, 46 (8): 157-162 (2019)I hope and I continue: Integrating the concept of hope into the expectancy-disconfirmation framework.. Ind. Manag. Data Syst., 118 (4): 728-744 (2018)Methods and Systems for a Smart Energy City., , and . IEEE Trans. Ind. Electron., 66 (2): 1363-1367 (2019)