Author of the publication

A Framework For Inferring Properties of User-Defined Functions.

, , and . ICSE, page 108:1-108:11. ACM, (2024)

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

AntEpiSeeker: detecting epistatic interactions for case-control studies using a two-stage ant colony optimization algorithm, , , and . BMC Research Notes, 3 (1): 117 (2010)A novel 3-DOF high acceleration/high precision robot optimal design and experimental verification., , , and . IROS, page 289-294. IEEE, (2005)Improving the Spatial Prediction of Soil Organic Carbon Content Using Phenological Factors: A Case Study in the Middle and Upper Reaches of Heihe River Basin, China., , and . Remote. Sens., 15 (7): 1847 (April 2023)SD-OVS: SYN Flooding Attack Defending Open vSwitch for SDN., , and . WISA, volume 10144 of Lecture Notes in Computer Science, page 29-41. (2016)Hierarchical Subspace Regression for Compressed Face Image Restoration., , and . WCSP, page 1-6. IEEE, (2018)Sensitivity loss training based implicit feedback., , and . ICPADS, page 241-248. IEEE, (2021)Robotic Barrier Construction through Weaved, Inflatable Tubes., , , , , , and . IROS, page 8318-8323. (2023)Distilling neural representations of data structure manipulation using fMRI and fNIRS., , , , , , and . ICSE, page 396-407. IEEE / ACM, (2019)Automatic Detection of Performance Bugs in Database Systems using Equivalent Queries., , , and . ICSE, page 225-236. ACM, (2022)Coarse-to-fine Foreground Segmentation based on Co-occurrence Pixel-Block and Spatio-Temporal Attention Model., and . ICPR, page 3807-3813. IEEE, (2020)