Author of the publication

Towards Synthesizing Complex Programs From Input-Output Examples.

, , and . ICLR (Poster), OpenReview.net, (2018)

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

Characterizing Adversarial Subspaces Using Local Intrinsic Dimensionality., , , , , , , , and . ICLR, OpenReview.net, (2018)CHURP: Dynamic-Committee Proactive Secret Sharing., , , , , , and . CCS, page 2369-2386. ACM, (2019)Opaak: using mobile phones to limit anonymous identities online., , , and . MobiSys, page 295-308. ACM, (2012)A Principled Approach to Data Valuation for Federated Learning., , , , and . Federated Learning, volume 12500 of Lecture Notes in Computer Science, Springer, (2020)Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection., , , , , and . CCS, page 363-376. ACM, (2017)Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing., , , , , , , , , and . CCS, page 1871-1885. ACM, (2022)MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKs., , , and . USENIX Security Symposium, page 2129-2146. USENIX Association, (2020)Perturbation type categorization for multiple adversarial perturbation robustness., , , and . UAI, volume 180 of Proceedings of Machine Learning Research, page 1317-1327. PMLR, (2022)The Secret Sharer: Evaluating and Testing Unintended Memorization in Neural Networks., , , , and . USENIX Security Symposium, page 267-284. USENIX Association, (2019)Privacy-Preserving Aggregation of Time-Series Data., , , , and . NDSS, The Internet Society, (2011)