Author of the publication

Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths.

, , , , , , and . USENIX Security Symposium, page 4365-4382. USENIX Association, (2022)

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

Doubly Fair Dynamic Pricing., , and . CoRR, (2022)Application of Data Augmentation in Lane Line Detection., , and . ICCCS, page 1-5. IEEE, (2020)Non-Destructive Monitoring of Peanut Leaf Area Index by Combing UAV Spectral and Textural Characteristics., , , , , , , and . Remote. Sens., 16 (12): 2182 (June 2024)EEG rhythm separation and time-frequency analysis of fast multivariate empirical mode decomposition for motor imagery BCI., , , , , and . Biol. Cybern., 118 (1-2): 21-37 (April 2024)Stable Minima Cannot Overfit in Univariate ReLU Networks: Generalization by Large Step Sizes., , , , and . CoRR, (2024)Offline Reinforcement Learning with Differential Privacy., and . NeurIPS, (2023)Low-Cost Massive MIMO: Pilot Length and ADC Resolution., , , , and . J. Commun. Inf. Networks, 3 (2): 23-36 (2018)Sample-Efficient Reinforcement Learning with loglog(T) Switching Cost., , , and . ICML, volume 162 of Proceedings of Machine Learning Research, page 18031-18061. PMLR, (2022)Object Fusion Tracking Based on Visible and Infrared Images Using Fully Convolutional Siamese Networks., , , , , and . FUSION, page 1-8. IEEE, (2019)Towards Better Hierarchical Text Classification with Data Generation., , , , , , , and . ACL (Findings), page 7722-7739. Association for Computational Linguistics, (2023)